035b8250a6
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:02 +01:00
27f8d47eb7
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:42:32 +01:00
07ac7709c1
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:33:26 +01:00
421c12c66c
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:24:00 +01:00
14ff4a1a60
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:14:55 +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
87cffcd4eb
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:17 +01:00
64b09e034c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:29:52 +01:00
954ed69e73
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:20 +01:00
2202b84171
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:18 +01:00
6f58e1aef2
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:19 +01:00
bb40560e84
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:21 +01:00
2fa70e1e21
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:22 +01:00
529bf0a3a3
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:54:25 +01:00
d3dcdac56c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:51:29 +01:00
e54802390f
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:35 +01:00
4b575480ba
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:45:39 +01:00
ddc9e7d470
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:10:48 +01:00
7f938143a8
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:36:03 +01:00
8f571333bf
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:40:31 +01:00
7f390b60c7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:20:29 +01:00
8baad8c5c9
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:31:33 +01:00
4f4ec1e48c
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:05:09 +01:00
67cf70a2e2
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:52:17 +01:00
282a8f2bfb
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:55:36 +01:00
611ce1e3b7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:53:21 +01:00
67cde3e8b9
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 03:18:32 +01:00
7944b3f70a
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:13:36 +01:00
9a69188af2
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:56:57 +01:00
1825c96c34
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:13:33 +01:00
338f093806
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:37:09 +01:00
3bd19cfbb0
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:51:29 +01:00
c5f0abe024
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:11:25 +01:00
17f0f571c7
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:37:11 +01:00
174bd101e3
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:17:14 +01:00
92f194d26e
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:45:23 +01:00
99b9d768d5
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:28:12 +01:00
9535621395
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:05:25 +01:00
dc8126da05
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:57:14 +01:00
97a12dec63
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:34:25 +01:00
9fe573fae7
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:30:31 +01:00
e28e0d3a56
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 34]
2017-11-23 05:43:21 +01:00
1d699e0ab6
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 33]
2017-11-23 04:46:35 +01:00
c48111e97d
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 32]
2017-11-23 04:05:38 +01:00
90a85f1fec
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 31]
2017-11-23 03:17:07 +01:00
034cd318eb
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 30]
2017-11-23 02:37:13 +01:00
d14cc6cb50
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 29]
2017-11-23 01:59:03 +01:00
398f38898e
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 28]
2017-11-23 01:33:53 +01:00
0ae9bfa8b0
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 27]
2017-11-23 00:56:54 +01:00
9d9ae4d56d
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 26]
2017-11-23 00:32:01 +01:00
