e12e8d0b88
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-29 20:03:58 +01:00
bb18464e67
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11]
2017-11-29 19:28:53 +01:00
dcc020ed68
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6]
2017-11-29 19:13:37 +01:00
674a916414
Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5]
2017-11-29 18:58:22 +01:00
fef5f1929f
Remove planner results with memouts
...
This removes all results obtained with our planner where memouts were
encountered. These were mainly due to the fact that we didn’t configure
the planner to respect the memory limit in the first place. With this
configuration now in place, we can redo all the affected measurements in
order to get actual, useful results.
2017-11-29 18:40:52 +01:00
38a1d1f19d
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 09:09:30 +01:00
d047e29ff5
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 07:00:11 +01:00
a106219563
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:51:54 +01:00
ad8284f2a9
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:36:51 +01:00
3c82d9f5f8
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:57:31 +01:00
6fc6ac745d
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:19:25 +01:00
7616aff2ec
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:16:22 +01:00
9fa956ad83
Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:11:20 +01:00
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
