889cfd37c8
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:51:38 +01:00
ce657da654
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:49:30 +01:00
5c9d689987
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:47:24 +01:00
4fb07bff4a
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:44:38 +01:00
b1e26366c3
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:42:09 +01:00
841dfe6824
Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:31:04 +01:00
8469dc78f1
Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:22:51 +01:00
217b14c356
Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:12:51 +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
5ca1e1c5a4
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:32:53 +01:00
c3705d8580
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:29:28 +01:00
a7f7ebfda0
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:08:56 +01:00
e49bb98025
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:05:55 +01:00
a9f35f0474
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:02:56 +01:00
df802c8a63
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 16:59:58 +01:00
55213ac801
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:56:58 +01:00
ec49f2d342
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:54:02 +01:00
1b945e8474
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:51:06 +01:00
cef5d5b2de
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:13 +01:00
30c349d37b
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:45:17 +01:00
7081f3e787
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:08:03 +01:00
4454a98adc
Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:33:21 +01:00
4b6fea23c4
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:29:36 +01:00
ee945ed4aa
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:09:52 +01:00
d28bd52760
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:28:00 +01:00
366eed4241
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 08:32:37 +01:00
22268fe258
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:47:37 +01:00
2886d91c1a
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:40:39 +01:00
1c2fb8dc79
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:50:39 +01:00
7b2e8f7c5d
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 02:46:09 +01:00
4b9a07febd
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 5]
2017-11-23 23:41:13 +01:00
12ce283e0a
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:47:42 +01:00
48b091424d
Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:11:04 +01:00
3961dcd16e
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:19:04 +01:00
c3ecf2fec7
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:31:51 +01:00
a0cbfea5dd
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 16:51:45 +01:00
95b6abe33f
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:31:27 +01:00
d77bd2fce4
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 13:57:40 +01:00
ebfdfe45ce
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:39:18 +01:00
82d04f2b9e
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:10:20 +01:00
49eced9d2c
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 09:58:36 +01:00
14e2733c05
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:39:11 +01:00
1116db174f
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:29:24 +01:00
be2bc8f013
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:26:26 +01:00
c04101a000
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 34]
2017-11-23 05:40:52 +01:00
00f91cf609
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 33]
2017-11-23 04:44:01 +01:00
f0f4434d03
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 32]
2017-11-23 04:02:53 +01:00
0e2777ebe3
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 31]
2017-11-23 03:14:26 +01:00
408c856d33
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 30]
2017-11-23 02:34:54 +01:00
2b6d0b8c0f
Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 29]
2017-11-23 01:57:14 +01:00
