Potassco Bot
78c17ce7a3
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 09:02:25 +01:00
Potassco Bot
429bf6ace2
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 06:54:05 +01:00
Potassco Bot
3b355d83f3
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:45:27 +01:00
Potassco Bot
191038e18d
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:31:45 +01:00
Potassco Bot
155b690d69
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:51:58 +01:00
Potassco Bot
8185445300
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:19:12 +01:00
Potassco Bot
fa53a8991b
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:16:10 +01:00
Potassco Bot
ed93517e07
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:11:08 +01:00
Potassco Bot
aa241662fb
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 02:07:59 +01:00
Potassco Bot
b2a15a271a
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:50:52 +01:00
Potassco Bot
136911c45b
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:45 +01:00
Potassco Bot
33cdb810b7
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:46:39 +01:00
Potassco Bot
1761a5d775
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:43:53 +01:00
Potassco Bot
d5970b4604
Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:40:25 +01:00
Potassco Bot
d00a257c4e
Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:26:57 +01:00
Potassco Bot
12deaf5ceb
Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:20:07 +01:00
Patrick Lühne
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
40b18a1675
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:34:19 +01:00
Potassco Bot
38389b2fb5
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:51 +01:00
Potassco Bot
78eac7ed4a
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:10:19 +01:00
Potassco Bot
5af79bf256
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:07:17 +01:00
Potassco Bot
481a31b5c7
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:04:18 +01:00
Potassco Bot
cfb191cccf
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:01:19 +01:00
Potassco Bot
6fca76ca80
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:58:20 +01:00
Potassco Bot
48a712a274
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:55:23 +01:00
Potassco Bot
5f29b5cb9d
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:52:28 +01:00
Potassco Bot
7a96afa30f
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:49:33 +01:00
Potassco Bot
df83fff129
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:38 +01:00
Potassco Bot
61cd52a5ec
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:17:45 +01:00
Potassco Bot
3c8acf6b60
Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:42:51 +01:00
Potassco Bot
adff03d848
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 13:08:39 +01:00
Potassco Bot
12114e3de1
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:43:07 +01:00
Potassco Bot
baea977b73
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:40:36 +01:00
Potassco Bot
eb63ae166c
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:54:46 +01:00
Potassco Bot
eef47dc302
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 07:03:50 +01:00
Potassco Bot
044ba7c684
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 06:20:59 +01:00
Potassco Bot
9fe16ee243
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:59:58 +01:00
Potassco Bot
e6c841c49a
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 04:20:01 +01:00
Potassco Bot
643acbc1ac
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 01:11:02 +01:00
Potassco Bot
9ad9b4d97d
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 22:33:48 +01:00
Potassco Bot
ab5fb3136d
Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:22:39 +01:00
Potassco Bot
d53a9fcda4
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:43:30 +01:00
Potassco Bot
af12d50eb7
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 19:13:41 +01:00
Potassco Bot
acd9c43377
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:19:02 +01:00
Potassco Bot
b498e50619
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:44:53 +01:00
Potassco Bot
6ecda65888
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:25:01 +01:00
Potassco Bot
5344eb8543
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:51:44 +01:00
Potassco Bot
604e58de1e
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:33:54 +01:00
Potassco Bot
5b9bd691ee
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:11:10 +01:00
Potassco Bot
65d6ec60b2
Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 09:02:54 +01:00