683b54f2e0
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 02:08:11 +01:00
8a85a9fee8
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:51:03 +01:00
553f2a45ac
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:56 +01:00
02a37b89aa
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:46:51 +01:00
8843e21ea6
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:44:04 +01:00
6c97677cee
Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:41:36 +01:00
3fdcbcea9e
Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:27:32 +01:00
9f6ed06ae4
Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:21:07 +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
a859734220
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:34:31 +01:00
8fadb64f4c
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:31:03 +01:00
9a7b27cb9a
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:10:31 +01:00
1482d150ff
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:07:28 +01:00
b444360b6d
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:04:30 +01:00
1b59601126
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:01:30 +01:00
748ac9a2bd
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:58:31 +01:00
684d96fff5
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:55:35 +01:00
1bb1df3bfb
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:52:39 +01:00
11e2eaf3f3
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:49:44 +01:00
3ee5fa83a2
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:50 +01:00
b79aecac50
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:19:10 +01:00
16e4723b54
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:44:13 +01:00
f26ddba515
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 13:10:03 +01:00
f38ab8af5f
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:44:29 +01:00
2ca7bee427
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:41:58 +01:00
f13480b3dc
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 10:04:35 +01:00
54d8cd8558
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 07:05:08 +01:00
453ff13839
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 06:22:45 +01:00
d6963fccb8
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 05:01:12 +01:00
74cc4e0e09
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 04:29:35 +01:00
51f8b8f082
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 01:19:39 +01:00
9b03f3628c
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 22:35:22 +01:00
99028fe472
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:23:59 +01:00
10298d50af
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:50:55 +01:00
9c94cdb314
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 19:29:46 +01:00
2cb959ee3f
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:35:14 +01:00
32ddfb8050
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 16:01:02 +01:00
50e12a298c
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:41:10 +01:00
b232c587b6
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 13:07:52 +01:00
e99d398f41
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:49:59 +01:00
531d016bc6
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:21:35 +01:00
676ef07b05
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 09:18:56 +01:00
5556e6b63c
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:56:01 +01:00
1033290b81
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:51:52 +01:00
4541b63d9b
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 34]
2017-11-23 05:50:34 +01:00
a54e3333f3
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 33]
2017-11-23 05:07:39 +01:00
950964ffdb
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 32]
2017-11-23 04:12:30 +01:00
0f1289ba21
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 31]
2017-11-23 03:29:34 +01:00
63bf8aabc3
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 30]
2017-11-23 02:43:24 +01:00
e0f7129916
Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 29]
2017-11-23 02:04:43 +01:00
