102 Commits
Author SHA1 Message Date
potassco-bot a1b20c3500 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-29 21:05:01 +01:00
potassco-bot b9cf0e49bd Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-29 20:49:45 +01:00
potassco-bot 2379da6729 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-29 20:34:29 +01:00
potassco-bot a387e8b9a1 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-29 20:19:14 +01:00
potassco-bot e12e8d0b88 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-29 20:03:58 +01:00
potassco-bot bb18464e67 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-29 19:28:53 +01:00
potassco-bot dcc020ed68 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-29 19:13:37 +01:00
potassco-bot 674a916414 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-29 18:58:22 +01:00
patrick 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
potassco-bot 38a1d1f19d Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 09:09:30 +01:00
potassco-bot d047e29ff5 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 07:00:11 +01:00
potassco-bot a106219563 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 04:51:54 +01:00
potassco-bot ad8284f2a9 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:36:51 +01:00
potassco-bot 3c82d9f5f8 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:57:31 +01:00
potassco-bot 6fc6ac745d Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:19:25 +01:00
potassco-bot 7616aff2ec Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:16:22 +01:00
potassco-bot 9fa956ad83 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:11:20 +01:00
potassco-bot 683b54f2e0 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 02:08:11 +01:00
potassco-bot 8a85a9fee8 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:51:03 +01:00
potassco-bot 553f2a45ac Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:48:56 +01:00
potassco-bot 02a37b89aa Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:46:51 +01:00
potassco-bot 8843e21ea6 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:44:04 +01:00
potassco-bot 6c97677cee Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:41:36 +01:00
potassco-bot 3fdcbcea9e Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:27:32 +01:00
potassco-bot 9f6ed06ae4 Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:21:07 +01:00
patrick 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 a859734220 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:34:31 +01:00
potassco-bot 8fadb64f4c Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:31:03 +01:00
potassco-bot 9a7b27cb9a Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:10:31 +01:00
potassco-bot 1482d150ff Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:07:28 +01:00
potassco-bot b444360b6d Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:04:30 +01:00
potassco-bot 1b59601126 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:01:30 +01:00
potassco-bot 748ac9a2bd Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:58:31 +01:00
potassco-bot 684d96fff5 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:55:35 +01:00
potassco-bot 1bb1df3bfb Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:52:39 +01:00
potassco-bot 11e2eaf3f3 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:49:44 +01:00
potassco-bot 3ee5fa83a2 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:46:50 +01:00
potassco-bot b79aecac50 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:19:10 +01:00
potassco-bot 16e4723b54 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:44:13 +01:00
potassco-bot f26ddba515 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 13:10:03 +01:00
potassco-bot f38ab8af5f Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:44:29 +01:00
potassco-bot 2ca7bee427 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:41:58 +01:00
potassco-bot f13480b3dc Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 10:04:35 +01:00
potassco-bot 54d8cd8558 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 07:05:08 +01:00
potassco-bot 453ff13839 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 06:22:45 +01:00
potassco-bot d6963fccb8 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 05:01:12 +01:00
potassco-bot 74cc4e0e09 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 04:29:35 +01:00
potassco-bot 51f8b8f082 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-24 01:19:39 +01:00
potassco-bot 9b03f3628c Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 22:35:22 +01:00
potassco-bot 99028fe472 Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:23:59 +01:00