Commit Graph
93 Commits
Author SHA1 Message Date
potassco-bot 67dccef544 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 07:15:23 +01:00
potassco-bot 90b31cb5b8 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 05:07:05 +01:00
potassco-bot 46a87dedf7 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 03:42:52 +01:00
potassco-bot 5db763f847 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 02:59:23 +01:00
potassco-bot 8d698cfff4 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:22:01 +01:00
potassco-bot de0d37c3fd Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:16:34 +01:00
potassco-bot a65110974c Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:11:31 +01:00
potassco-bot 461bcac11a Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:08:22 +01:00
potassco-bot 6182abe4e9 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 01:51:15 +01:00
potassco-bot cc5fb4938b Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:49:08 +01:00
potassco-bot d675580eda Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:47:02 +01:00
potassco-bot 5bf0b85eea Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:16 +01:00
potassco-bot c5ae120dc9 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:41:47 +01:00
potassco-bot 37ac4ab454 Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:28:43 +01:00
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