Potassco Bot
47f3c0e68e
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 08:01:14 +01:00
Potassco Bot
e82a80d9af
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 05:52:57 +01:00
Potassco Bot
50302489b8
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:28:41 +01:00
Potassco Bot
7c179f27e7
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:15:32 +01:00
Potassco Bot
3a43a9f327
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:35:43 +01:00
Potassco Bot
a8ed1a0248
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:17:33 +01:00
Potassco Bot
ae5f058b98
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:12:27 +01:00
Potassco Bot
1439b32c6c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:09:14 +01:00
Potassco Bot
d0f9092ade
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:52:02 +01:00
Potassco Bot
d4850e6739
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:49:53 +01:00
Potassco Bot
4381200171
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:47:47 +01:00
Potassco Bot
035b8250a6
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:02 +01:00
Potassco Bot
27f8d47eb7
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:42:32 +01:00
Potassco Bot
07ac7709c1
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:33:26 +01:00
Potassco Bot
421c12c66c
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:24:00 +01:00
Potassco Bot
14ff4a1a60
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:14:55 +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
87cffcd4eb
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:17 +01:00
Potassco Bot
64b09e034c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:29:52 +01:00
Potassco Bot
954ed69e73
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:20 +01:00
Potassco Bot
2202b84171
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:18 +01:00
Potassco Bot
6f58e1aef2
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:19 +01:00
Potassco Bot
bb40560e84
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:21 +01:00
Potassco Bot
2fa70e1e21
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:22 +01:00
Potassco Bot
529bf0a3a3
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:54:25 +01:00
Potassco Bot
d3dcdac56c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:51:29 +01:00
Potassco Bot
e54802390f
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:35 +01:00
Potassco Bot
4b575480ba
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:45:39 +01:00
Potassco Bot
ddc9e7d470
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:10:48 +01:00
Potassco Bot
7f938143a8
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:36:03 +01:00
Potassco Bot
8f571333bf
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:40:31 +01:00
Potassco Bot
7f390b60c7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:20:29 +01:00
Potassco Bot
8baad8c5c9
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:31:33 +01:00
Potassco Bot
4f4ec1e48c
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:05:09 +01:00
Potassco Bot
67cf70a2e2
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:52:17 +01:00
Potassco Bot
282a8f2bfb
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:55:36 +01:00
Potassco Bot
611ce1e3b7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:53:21 +01:00
Potassco Bot
67cde3e8b9
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 03:18:32 +01:00
Potassco Bot
7944b3f70a
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:13:36 +01:00
Potassco Bot
9a69188af2
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:56:57 +01:00
Potassco Bot
1825c96c34
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:13:33 +01:00
Potassco Bot
338f093806
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:37:09 +01:00
Potassco Bot
3bd19cfbb0
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:51:29 +01:00
Potassco Bot
c5f0abe024
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:11:25 +01:00
Potassco Bot
17f0f571c7
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:37:11 +01:00
Potassco Bot
174bd101e3
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:17:14 +01:00
Potassco Bot
92f194d26e
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:45:23 +01:00
Potassco Bot
99b9d768d5
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:28:12 +01:00
Potassco Bot
9535621395
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:05:25 +01:00
Potassco Bot
dc8126da05
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:57:14 +01:00