c3b18761fb
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:52:25 +01:00
4aa1bc2dfe
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:50:16 +01:00
7c52e0096b
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:10 +01:00
30121f314d
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:24 +01:00
0790f27c08
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:42:56 +01:00
fcc15d968d
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:35:54 +01:00
c2808d644f
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:25:11 +01:00
958a339745
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:17:00 +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
66a72b5f6d
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:41 +01:00
ddb89a13d9
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:15 +01:00
77f948311c
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:44 +01:00
65883064e2
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:42 +01:00
bde7b52591
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:43 +01:00
7c88554534
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:44 +01:00
7931dcab1c
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:45 +01:00
dfe61b7cb1
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:54:48 +01:00
1e8df2e1ab
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:51:53 +01:00
f869bdd62c
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:58 +01:00
4283533ebc
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:03 +01:00
18f3c70755
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:13:35 +01:00
dceea1d3cb
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:38:46 +01:00
aef93f4439
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:48:53 +01:00
97e3eb710d
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:23:57 +01:00
90d2ed8a19
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:34:24 +01:00
ae4f188efb
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:20:10 +01:00
cc616937cc
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:54:59 +01:00
0841545d11
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 06:01:09 +01:00
7597f518de
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:55:48 +01:00
1791527fa5
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 03:36:01 +01:00
958303351c
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:30:59 +01:00
e7236a174e
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 22:00:02 +01:00
4d5d1dd7db
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:15:50 +01:00
ee851d0dc9
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:39:25 +01:00
1a72137475
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:54:04 +01:00
007f37284c
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:13:52 +01:00
22218e3d24
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:40:12 +01:00
948f1662b7
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:20:12 +01:00
13519f47be
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:47:47 +01:00
df6182a50e
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:30:24 +01:00
0cc6808f2b
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:07:35 +01:00
13c4a33115
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:59:24 +01:00
fbaa4cb107
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:36:36 +01:00
6221022180
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:32:32 +01:00
e070304ab9
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 34]
2017-11-23 05:45:18 +01:00
fb031400b8
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 33]
2017-11-23 04:48:31 +01:00
c0606170f0
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 32]
2017-11-23 04:07:30 +01:00
21ae116534
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 31]
2017-11-23 03:19:03 +01:00
a8e1291b78
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 30]
2017-11-23 02:38:58 +01:00
ad73ab820d
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 29]
2017-11-23 02:00:46 +01:00
