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