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