Commit Graph

128 Commits

Author SHA1 Message Date
0ee922c88f Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:36:56 +01:00
815e7eb9a2 Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:08:27 +01:00
ba0ee6b42a Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 19:02:05 +01:00
f61d45fdbc Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 3] 2017-11-25 18:27:12 +01:00
461109b865 Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 2] 2017-11-25 18:20:50 +01:00
dbf3a46ab1 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 24] 2017-11-25 18:12:52 +01:00
8c88ea3bb8 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 23] 2017-11-25 17:35:19 +01:00
5f16d715b1 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 21] 2017-11-25 17:13:45 +01:00
3821981725 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 19] 2017-11-25 16:38:44 +01:00
ea5d0ba620 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 17] 2017-11-25 15:54:34 +01:00
3c44f3aa28 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 16] 2017-11-25 15:34:48 +01:00
5d4706bb7e Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 15] 2017-11-25 15:11:39 +01:00
37efd88866 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 14] 2017-11-25 14:50:52 +01:00
b06ef1f567 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 13] 2017-11-25 14:26:26 +01:00
11dfc1abc7 Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 12] 2017-11-25 13:52:49 +01:00
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