patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
2,007 Commits 12 Branches 0 Tags
889cfd37c8ff36599d08e349a0dcfaf4a90822a6
Commit Graph
84 Commits
Author SHA1 Message Date
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
potassco-bot 10298d50af Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:50:55 +01:00
potassco-bot 9c94cdb314 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 19:29:46 +01:00
potassco-bot 2cb959ee3f Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:35:14 +01:00
potassco-bot 32ddfb8050 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 16:01:02 +01:00
potassco-bot 50e12a298c Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:41:10 +01:00
potassco-bot b232c587b6 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 13:07:52 +01:00
potassco-bot e99d398f41 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:49:59 +01:00
potassco-bot 531d016bc6 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 10:21:35 +01:00
potassco-bot 676ef07b05 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 09:18:56 +01:00
potassco-bot 5556e6b63c Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:56:01 +01:00
potassco-bot 1033290b81 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:51:52 +01:00
potassco-bot 4541b63d9b Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:50:34 +01:00
potassco-bot a54e3333f3 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 05:07:39 +01:00
potassco-bot 950964ffdb Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:12:30 +01:00
potassco-bot 0f1289ba21 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:29:34 +01:00
potassco-bot 63bf8aabc3 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:43:24 +01:00
potassco-bot e0f7129916 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 02:04:43 +01:00
potassco-bot 99a55bb8c8 Add benchmark result [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:39:02 +01:00