patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
1,977 Commits 12 Branches 0 Tags
04ccf26f395d217724dcfef375d9d1142c331b77
Commit Graph
82 Commits
Author SHA1 Message Date
potassco-bot 8b49b195f1 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:27 +01:00
potassco-bot af9686fe20 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:41:58 +01:00
potassco-bot 55a2b776fd Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:29:54 +01:00
potassco-bot 29139e57a2 Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:16 +01:00
potassco-bot 94f5f86c8b Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:11:51 +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 81c9a9cc1d Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:32:40 +01:00
potassco-bot b73454b4a2 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:15 +01:00
potassco-bot 576f1fb83e Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:08:45 +01:00
potassco-bot 58b5722d5b Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:05:43 +01:00
potassco-bot 0c03848996 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:02:44 +01:00
potassco-bot 92c4f362e0 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 16:59:46 +01:00
potassco-bot 399aa7a4a6 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:56:46 +01:00
potassco-bot 6ac8a4bde4 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:53:50 +01:00
potassco-bot 7c9bce9a7b Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:50:54 +01:00
potassco-bot cc2f4a9591 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:01 +01:00
potassco-bot 3a906a2309 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:45:04 +01:00
potassco-bot 53e69d22b4 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:06:39 +01:00
potassco-bot 8a16e2d051 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:32:00 +01:00
potassco-bot 5f7b90535a Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:28:13 +01:00
potassco-bot c086f9aca8 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:08:30 +01:00
potassco-bot 2eb570d7a2 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:26:42 +01:00
potassco-bot 1e6f207f0a Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 08:31:18 +01:00
potassco-bot bc0da25971 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:46:21 +01:00
potassco-bot 232cb80d7a Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:39:25 +01:00
potassco-bot 9eb7cac200 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:49:27 +01:00
potassco-bot e9e41816f8 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 02:44:56 +01:00
potassco-bot 2fdd78c8d8 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-23 23:39:59 +01:00
potassco-bot 70d18033c9 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:46:33 +01:00
potassco-bot ffef5e12a2 Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:09:57 +01:00
potassco-bot 6a64060e91 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:17:57 +01:00
potassco-bot c785ef1524 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:30:46 +01:00
potassco-bot 8e15d4847a Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 16:50:34 +01:00
potassco-bot 6eef087f53 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:30:18 +01:00
potassco-bot 064104d1d1 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 13:56:32 +01:00
potassco-bot 5bd9d68797 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:38:12 +01:00
potassco-bot 8cf64b159f Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:09:15 +01:00
potassco-bot e3db628d56 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 09:57:31 +01:00
potassco-bot 134e872368 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:38:10 +01:00
potassco-bot 32bc31cede Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:28:23 +01:00
potassco-bot 952e14531e Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:25:25 +01:00
potassco-bot d3af5ad604 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:39:54 +01:00
potassco-bot 1c5a7e4f8f Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:43:05 +01:00
potassco-bot 3eb87aeea2 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:01:59 +01:00
potassco-bot 5e4e250e74 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:13:32 +01:00
potassco-bot 3ea4c643d2 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:34:02 +01:00
potassco-bot 9a0235ae98 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 01:56:24 +01:00
potassco-bot 717f3e018f Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:31:13 +01:00
potassco-bot 43b9c51ec0 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 00:54:18 +01:00
potassco-bot 58aab8e895 Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 26] 2017-11-23 00:29:30 +01:00