Potassco Bot
e4434c9224
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 07:46:02 +01:00
Potassco Bot
bceda79bdd
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 05:37:45 +01:00
Potassco Bot
1669b88f83
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:13:29 +01:00
Potassco Bot
6f2bcf34fc
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:07:58 +01:00
Potassco Bot
b4f1319a45
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:34:09 +01:00
Potassco Bot
0951c40c86
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:17:12 +01:00
Potassco Bot
9fbab9993f
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:12:06 +01:00
Potassco Bot
2f1b978b54
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:08:57 +01:00
Potassco Bot
5f9184b9d7
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:51:50 +01:00
Potassco Bot
dfab863c7a
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:49:41 +01:00
Potassco Bot
fe82b422f5
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:47:35 +01:00
Potassco Bot
2bc69fef65
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:44:49 +01:00
Potassco Bot
f26c680331
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:42:21 +01:00
Potassco Bot
c42797b94c
Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:32:15 +01:00
Potassco Bot
8bcb7dd267
Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:23:25 +01:00
Potassco Bot
244e7caee8
Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:13:53 +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
3a05d99dad
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:05 +01:00
Potassco Bot
9b435a9207
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:29:40 +01:00
Potassco Bot
00fec27033
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:08 +01:00
Potassco Bot
01b98cf884
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:07 +01:00
Potassco Bot
5693019915
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:07 +01:00
Potassco Bot
3f372a7328
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:10 +01:00
Potassco Bot
37cd017121
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:10 +01:00
Potassco Bot
c9415a28f5
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:54:14 +01:00
Potassco Bot
d5555639c6
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:51:18 +01:00
Potassco Bot
8c6fc3e168
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:24 +01:00
Potassco Bot
0c4bfac03d
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:45:28 +01:00
Potassco Bot
15e3e1c356
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:09:26 +01:00
Potassco Bot
4cb39450b2
Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:34:42 +01:00
Potassco Bot
09a704c434
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:31:28 +01:00
Potassco Bot
b505bf87bb
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:11:27 +01:00
Potassco Bot
1794aaec1e
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:29:20 +01:00
Potassco Bot
931b31fc8e
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 08:48:54 +01:00
Potassco Bot
c760123ac3
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:49:09 +01:00
Potassco Bot
998e4f5e55
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:42:16 +01:00
Potassco Bot
10f77f98f6
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:51:53 +01:00
Potassco Bot
5913bc54ce
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 03:02:20 +01:00
Potassco Bot
3124b92de6
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 5]
2017-11-23 23:57:25 +01:00
Potassco Bot
d82e84108a
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:49:50 +01:00
Potassco Bot
0a6ec96b23
Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:12:13 +01:00
Potassco Bot
de827946d4
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:35:11 +01:00
Potassco Bot
e693b22de6
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:47:56 +01:00
Potassco Bot
8d733e4e78
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:08:10 +01:00
Potassco Bot
41fe2401d7
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:33:51 +01:00
Potassco Bot
2dd057d201
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:13:48 +01:00
Potassco Bot
9a9088f88e
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:43:34 +01:00
Potassco Bot
854f91942b
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:26:25 +01:00
Potassco Bot
8d2462dddf
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:03:42 +01:00
Potassco Bot
5f86ad1a41
Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:55:12 +01:00