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