patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
6,836 Commits 12 Branches 0 Tags
d89b2526452db58320e0eb14f6ecf871f6e63a3c
Commit Graph
93 Commits
Author SHA1 Message Date
potassco-bot 2860b1f6f7 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 07:30:51 +01:00
potassco-bot b03400bf4d Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 05:22:34 +01:00
potassco-bot 8f105c41bc Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 03:58:17 +01:00
potassco-bot 2e121919b1 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:07:37 +01:00
potassco-bot c0b5bb9337 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:33:41 +01:00
potassco-bot 0dcc6f0c3a Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:16:59 +01:00
potassco-bot 2d08c6726a Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:11:54 +01:00
potassco-bot 8f8003278a Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:08:45 +01:00
potassco-bot 889cfd37c8 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 01:51:38 +01:00
potassco-bot ce657da654 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:49:30 +01:00
potassco-bot 5c9d689987 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:47:24 +01:00
potassco-bot 4fb07bff4a Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:38 +01:00
potassco-bot b1e26366c3 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:09 +01:00
potassco-bot 841dfe6824 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:31:04 +01:00
potassco-bot 8469dc78f1 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:51 +01:00
potassco-bot 217b14c356 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:12: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 5ca1e1c5a4 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:32:53 +01:00
potassco-bot c3705d8580 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:28 +01:00
potassco-bot a7f7ebfda0 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:08:56 +01:00
potassco-bot e49bb98025 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:05:55 +01:00
potassco-bot a9f35f0474 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:02:56 +01:00
potassco-bot df802c8a63 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 16:59:58 +01:00
potassco-bot 55213ac801 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:56:58 +01:00
potassco-bot ec49f2d342 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:54:02 +01:00
potassco-bot 1b945e8474 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:51:06 +01:00
potassco-bot cef5d5b2de Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:13 +01:00
potassco-bot 30c349d37b Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:45:17 +01:00
potassco-bot 7081f3e787 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:08:03 +01:00
potassco-bot 4454a98adc Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:33:21 +01:00
potassco-bot 4b6fea23c4 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:29:36 +01:00
potassco-bot ee945ed4aa Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:09:52 +01:00
potassco-bot d28bd52760 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:28:00 +01:00
potassco-bot 366eed4241 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 08:32:37 +01:00
potassco-bot 22268fe258 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:47:37 +01:00
potassco-bot 2886d91c1a Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:40:39 +01:00
potassco-bot 1c2fb8dc79 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:50:39 +01:00
potassco-bot 7b2e8f7c5d Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 02:46:09 +01:00
potassco-bot 4b9a07febd Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-23 23:41:13 +01:00
potassco-bot 12ce283e0a Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:47:42 +01:00
potassco-bot 48b091424d Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:11:04 +01:00
potassco-bot 3961dcd16e Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:19:04 +01:00
potassco-bot c3ecf2fec7 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:31:51 +01:00
potassco-bot a0cbfea5dd Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 16:51:45 +01:00
potassco-bot 95b6abe33f Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:31:27 +01:00
potassco-bot d77bd2fce4 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 13:57:40 +01:00
potassco-bot ebfdfe45ce Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:39:18 +01:00
potassco-bot 82d04f2b9e Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:10:20 +01:00
potassco-bot 49eced9d2c Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 09:58:36 +01:00
potassco-bot 14e2733c05 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:39:11 +01:00