patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
1,949 Commits 12 Branches 0 Tags
3fdcbcea9e153758bb31ef3af64d42638f1d94d3
Commit Graph
79 Commits
Author SHA1 Message Date
potassco-bot 6e44576b41 Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:21:42 +01:00
potassco-bot fd68634b50 Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:10:49 +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 85e08b2b11 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:32:28 +01:00
potassco-bot 8c7d8abc5c Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:03 +01:00
potassco-bot fc2a3da638 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:08:33 +01:00
potassco-bot 9d638b6dfa Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:05:31 +01:00
potassco-bot dc09e8a11c Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:02:32 +01:00
potassco-bot 4ac59fe489 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 16:59:34 +01:00
potassco-bot 0b540d0fd1 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:56:35 +01:00
potassco-bot dd5a2404bb Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:53:39 +01:00
potassco-bot aff37c8c6a Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:50:43 +01:00
potassco-bot 7c7cd1558f Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:47:49 +01:00
potassco-bot 953249d208 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:44:51 +01:00
potassco-bot e97763ef98 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:05:16 +01:00
potassco-bot 056029d83c Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:30:39 +01:00
potassco-bot 8a7e9f92d2 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:24:43 +01:00
potassco-bot d89cc746f6 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:06:09 +01:00
potassco-bot 93e30b7385 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:25:22 +01:00
potassco-bot 8931ca9190 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 08:15:02 +01:00
potassco-bot 75dcc5dab2 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:44:29 +01:00
potassco-bot ee6546f36f Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:36:22 +01:00
potassco-bot a49dfd28a4 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:48:14 +01:00
potassco-bot 7532df4dad Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 02:28:45 +01:00
potassco-bot 4993239d04 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-23 23:23:46 +01:00
potassco-bot 69f529c9e7 Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:44:16 +01:00
potassco-bot 684d2804fd Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:08:48 +01:00
potassco-bot a7dfb8773a Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:01:51 +01:00
potassco-bot 33bfde8357 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:14:42 +01:00
potassco-bot ffeffc8511 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 16:34:20 +01:00
potassco-bot bec5430075 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:14:07 +01:00
potassco-bot 7782a26069 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 13:40:24 +01:00
potassco-bot 9d34e8db89 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:22:06 +01:00
potassco-bot 07bd574bcf Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 10:53:11 +01:00
potassco-bot e48374abbf Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 09:50:09 +01:00
potassco-bot b7ed8de2fe Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:26:54 +01:00
potassco-bot d5a30d1df1 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:22:35 +01:00
potassco-bot ad9fa4ea7f Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:20:50 +01:00
potassco-bot 63332e778c Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:37:21 +01:00
potassco-bot c5150eec00 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:41:52 +01:00
potassco-bot 9d8b3451c5 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 03:58:38 +01:00
potassco-bot f9e5df04c3 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:12:09 +01:00
potassco-bot 54d5626cc6 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:33:07 +01:00
potassco-bot 6436aa7468 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 01:55:20 +01:00
potassco-bot b3976f9021 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:30:20 +01:00
potassco-bot 7320f154c2 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 00:53:27 +01:00
potassco-bot f40f214242 Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 26] 2017-11-23 00:28:39 +01:00
potassco-bot 295e75d839 Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 31] 2017-11-22 22:14:20 +01:00
potassco-bot 9793ff35b6 Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 30] 2017-11-22 19:53:40 +01:00
potassco-bot bc2b55f3e4 Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 29] 2017-11-22 17:33:34 +01:00