186e057cc4
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 11]
2017-11-25 13:29:39 +01:00
03e72f4607
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 10]
2017-11-25 13:23:26 +01:00
9b6e2ab1dd
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 9]
2017-11-25 12:56:51 +01:00
bc0570c1b0
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 8]
2017-11-25 12:33:39 +01:00
d2b2a2812c
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 7]
2017-11-25 12:21:10 +01:00
410f9d258b
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 6]
2017-11-25 12:13:33 +01:00
a1d54bbe7a
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 4]
2017-11-25 11:50:47 +01:00
d05e51442e
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 3]
2017-11-25 11:29:16 +01:00
59324b8083
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 2]
2017-11-25 11:08:20 +01:00
2564b23313
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 1]
2017-11-25 11:02:16 +01:00
c5c3e8be0a
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 20]
2017-11-25 10:57:03 +01:00
9d271fe8d7
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 19]
2017-11-25 09:47:15 +01:00
b25934c61b
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 08:32:01 +01:00
90be85f52a
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 06:23:40 +01:00
9ecb2e9531
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:29:57 +01:00
595edd053d
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:16:20 +01:00
754f029fa2
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:36:32 +01:00
f7479d8dc2
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:18:09 +01:00
e95b7fafc9
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:13:02 +01:00
4a23e01700
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:09:49 +01:00
c630f345cb
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:52:36 +01:00
4e00a4bccf
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:50:27 +01:00
7b4e058282
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:21 +01:00
d51c4190c1
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:36 +01:00
3f4e59a27c
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:43:07 +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
61bf7b2318
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:25:46 +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
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
1a838fbc0a
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 18]
2017-11-25 00:13:40 +01:00
aabcd65788
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 23:11:08 +01:00
93516fc745
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 16]
2017-11-24 22:08:37 +01:00
6d2daeae48
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 15]
2017-11-24 21:09:46 +01:00
119732c232
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 14]
2017-11-24 20:02:42 +01:00
304b7b668f
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 13]
2017-11-24 18:55:37 +01:00
7a78720010
Add benchmark result [pb-e1-sh-h | ipc-1998 | grid-round-2-strips | 2]
2017-11-24 18:02:59 +01:00
65d746364b
Add benchmark result [pb-e1-sh-h | ipc-1998 | grid-round-2-strips | 1]
2017-11-24 17:42:54 +01:00
fb0fb8319f
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:54 +01:00
18d4c04e34
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:27 +01:00
03d229d53a
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:56 +01:00
c1b6f862b5
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:54 +01:00
3ccbeaef01
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:55 +01:00
925fc4f7b4
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:56 +01:00
7975f467f4
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:56 +01:00
784b49d985
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:55:00 +01:00
2fc417a538
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:52:04 +01:00
47a7949344
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:49:09 +01:00
0edb86c7ed
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:14 +01:00
c1f4a9ada7
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:14:58 +01:00
7f071babcf
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:40:08 +01:00
