patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
1,930 Commits 12 Branches 0 Tags
217b14c3565671d0aa96f1a88997b6bdff9927c0
Commit Graph
78 Commits
Author SHA1 Message Date
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
potassco-bot 1116db174f Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:29:24 +01:00
potassco-bot be2bc8f013 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:26:26 +01:00
potassco-bot c04101a000 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:40:52 +01:00
potassco-bot 00f91cf609 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:44:01 +01:00
potassco-bot f0f4434d03 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:02:53 +01:00
potassco-bot 0e2777ebe3 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:14:26 +01:00
potassco-bot 408c856d33 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:34:54 +01:00
potassco-bot 2b6d0b8c0f Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 01:57:14 +01:00
potassco-bot 08b3e43455 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:32:02 +01:00
potassco-bot eff5738962 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 00:55:07 +01:00
potassco-bot d23d79d181 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 26] 2017-11-23 00:30:18 +01:00
potassco-bot dbf305b4ca Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 31] 2017-11-22 22:31:00 +01:00
potassco-bot 76e28f7f30 Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 30] 2017-11-22 20:10:09 +01:00
potassco-bot 365044af47 Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 29] 2017-11-22 17:50:02 +01:00
potassco-bot b826d42037 Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 26] 2017-11-22 15:30:30 +01:00