Potassco Bot
67dccef544
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 07:15:23 +01:00
Potassco Bot
90b31cb5b8
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 05:07:05 +01:00
Potassco Bot
46a87dedf7
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 03:42:52 +01:00
Potassco Bot
5db763f847
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 02:59:23 +01:00
Potassco Bot
8d698cfff4
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:22:01 +01:00
Potassco Bot
de0d37c3fd
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:16:34 +01:00
Potassco Bot
a65110974c
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:11:31 +01:00
Potassco Bot
461bcac11a
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:08:22 +01:00
Potassco Bot
6182abe4e9
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:51:15 +01:00
Potassco Bot
cc5fb4938b
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:49:08 +01:00
Potassco Bot
d675580eda
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:47:02 +01:00
Potassco Bot
5bf0b85eea
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:44:16 +01:00
Potassco Bot
c5ae120dc9
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:41:47 +01:00
Potassco Bot
37ac4ab454
Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:28:43 +01:00
Potassco Bot
6e44576b41
Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:21:42 +01:00
Potassco Bot
fd68634b50
Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:10:49 +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
85e08b2b11
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:32:28 +01:00
Potassco Bot
8c7d8abc5c
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:29:03 +01:00
Potassco Bot
fc2a3da638
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:08:33 +01:00
Potassco Bot
9d638b6dfa
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:05:31 +01:00
Potassco Bot
dc09e8a11c
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:02:32 +01:00
Potassco Bot
4ac59fe489
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 16:59:34 +01:00
Potassco Bot
0b540d0fd1
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:56:35 +01:00
Potassco Bot
dd5a2404bb
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:53:39 +01:00
Potassco Bot
aff37c8c6a
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:50:43 +01:00
Potassco Bot
7c7cd1558f
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:47:49 +01:00
Potassco Bot
953249d208
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:44:51 +01:00
Potassco Bot
e97763ef98
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:05:16 +01:00
Potassco Bot
056029d83c
Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:30:39 +01:00
Potassco Bot
8a7e9f92d2
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:24:43 +01:00
Potassco Bot
d89cc746f6
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:06:09 +01:00
Potassco Bot
93e30b7385
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:25:22 +01:00
Potassco Bot
8931ca9190
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 08:15:02 +01:00
Potassco Bot
75dcc5dab2
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:44:29 +01:00
Potassco Bot
ee6546f36f
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:36:22 +01:00
Potassco Bot
a49dfd28a4
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:48:14 +01:00
Potassco Bot
7532df4dad
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 02:28:45 +01:00
Potassco Bot
4993239d04
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 5]
2017-11-23 23:23:46 +01:00
Potassco Bot
69f529c9e7
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:44:16 +01:00
Potassco Bot
684d2804fd
Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:08:48 +01:00
Potassco Bot
a7dfb8773a
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:01:51 +01:00
Potassco Bot
33bfde8357
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:14:42 +01:00
Potassco Bot
ffeffc8511
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 16:34:20 +01:00
Potassco Bot
bec5430075
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:14:07 +01:00
Potassco Bot
7782a26069
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 13:40:24 +01:00
Potassco Bot
9d34e8db89
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:22:06 +01:00
Potassco Bot
07bd574bcf
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 10:53:11 +01:00
Potassco Bot
e48374abbf
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 09:50:09 +01:00
Potassco Bot
b7ed8de2fe
Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:26:54 +01:00