9a53d1aa66
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:32 +01:00
ac92f44e68
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:47 +01:00
938c6094cd
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:43:18 +01:00
c08e9e08fe
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:38:20 +01:00
f8ffe29f67
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:26:22 +01:00
9ed7e1da2b
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:19:05 +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
9e76d6ec0c
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:34:06 +01:00
5038867280
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:39 +01:00
f2aceca91a
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:10:07 +01:00
117052cfaa
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:07:05 +01:00
b24a921bfb
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:04:06 +01:00
947ab466be
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:01:07 +01:00
41db886e2a
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:58:08 +01:00
2b020b03ff
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:55:11 +01:00
f0746b6024
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:52:16 +01:00
ab7f0b01b9
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:49:21 +01:00
92f3c5de31
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:26 +01:00
bf45d8422e
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:16:21 +01:00
6d02c955f6
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:41:30 +01:00
5f2472a5cb
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:52:19 +01:00
3697b90920
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:26:48 +01:00
46c0bce0b5
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:37:10 +01:00
ee359df48f
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:38:29 +01:00
2375f64663
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:57:43 +01:00
d918091a5b
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 06:04:45 +01:00
0bd0f486b6
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:58:16 +01:00
4d26643754
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 04:03:50 +01:00
cbe89b7d8f
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:54:52 +01:00
849ab17a19
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 22:17:35 +01:00
e06d312abf
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:18:09 +01:00
6361f318fb
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:41:42 +01:00
e2bc8538e7
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 19:11:23 +01:00
aa28ac7c96
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:16:24 +01:00
4903f9f039
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:42:38 +01:00
3a34188e91
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:22:42 +01:00
74eafb1f71
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:50:04 +01:00
8d1541493d
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:32:38 +01:00
288b5fa6f2
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:09:48 +01:00
79b368796c
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 09:01:32 +01:00
52615c534a
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:38:40 +01:00
e1dedaea27
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:34:36 +01:00
2898f0910a
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 34]
2017-11-23 05:47:15 +01:00
36c1300fe4
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 33]
2017-11-23 04:50:28 +01:00
90daf13a9c
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 32]
2017-11-23 04:09:22 +01:00
c3d5e40fa5
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 31]
2017-11-23 03:20:53 +01:00
d28f8ac3db
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 30]
2017-11-23 02:40:45 +01:00
2f9713ab83
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 29]
2017-11-23 02:02:29 +01:00
e6cfa355fc
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 28]
2017-11-23 01:37:13 +01:00
72da907e01
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 27]
2017-11-23 01:00:10 +01:00
