Commit Graph

1971 Commits

Author SHA1 Message Date
8843e21ea6
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:44:04 +01:00
1761a5d775
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:53 +01:00
938c6094cd
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:18 +01:00
3f4e59a27c
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:07 +01:00
0790f27c08
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:56 +01:00
26ae3504ea
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:44 +01:00
27f8d47eb7
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:32 +01:00
f26c680331
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:21 +01:00
b1e26366c3
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:09 +01:00
af9686fe20
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:41:58 +01:00
c5ae120dc9
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:41:47 +01:00
6c97677cee
Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:41:36 +01:00
d5970b4604
Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:40:25 +01:00
c08e9e08fe
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:38:20 +01:00
584d59963a
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:37:05 +01:00
fcc15d968d
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:35:54 +01:00
8d11e28462
Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:34:40 +01:00
07ac7709c1
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:33:26 +01:00
c42797b94c
Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:32:15 +01:00
841dfe6824
Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:31:04 +01:00
55a2b776fd
Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:29:54 +01:00
37ac4ab454
Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:28:43 +01:00
3fdcbcea9e
Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:27:32 +01:00
d00a257c4e
Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:26:57 +01:00
f8ffe29f67
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:26:22 +01:00
61bf7b2318
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:25:46 +01:00
c2808d644f
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:25:11 +01:00
958972346f
Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:24:36 +01:00
421c12c66c
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:24:00 +01:00
8bcb7dd267
Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:23:25 +01:00
8469dc78f1
Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:51 +01:00
29139e57a2
Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:16 +01:00
6e44576b41
Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:21:42 +01:00
9f6ed06ae4
Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:21:07 +01:00
12deaf5ceb
Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:20:07 +01:00
9ed7e1da2b
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:19:05 +01:00
c231ffda82
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:18:02 +01:00
958a339745
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:17:00 +01:00
2c00dd6305
Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:15:58 +01:00
14ff4a1a60
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:14:55 +01:00
244e7caee8
Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:13:53 +01:00
217b14c356
Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:12:51 +01:00
94f5f86c8b
Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:11:51 +01:00
fd68634b50
Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:10:49 +01:00
1215e9c543
Remove results with errors
Some instances have hyphens within variable names. Unfortunately,
support for hyphens in variable names was missing in plasp 3.1.0, which
resulted in incorrect ASP output. Additionally, clingo just printed an
info message in the affected cases, which is why these incorrect
benchmark runs weren’t easy to spot immediately.

This removes all the affected results in order to run them again with
plasp 3.1.1. Note that the new release doesn’t change anything else, and
thus, the other results aren’t invalidated by the plasp update.
2017-11-25 00:58:41 +01:00
05674f65c9
Add benchmark result [fd-pb-e0-sh | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:44:53 +01:00
d5e03b51b5
Add benchmark result [fd-pa-e1-sh | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:44:07 +01:00
a9ef3bfdb0
Add benchmark result [fd-ps-e1-sh | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:29:29 +01:00
9b4a1768ed
Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:14:16 +01:00
0bfb211b2e
Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:14:04 +01:00