patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
1,991 Commits 12 Branches 0 Tags
9a53d1aa664cea3d4b9c2ed676aca982a61371c0
Commit Graph
83 Commits
Author SHA1 Message Date
potassco-bot 4381200171 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:47:47 +01:00
potassco-bot 035b8250a6 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:45:02 +01:00
potassco-bot 27f8d47eb7 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:32 +01:00
potassco-bot 07ac7709c1 Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:33:26 +01:00
potassco-bot 421c12c66c Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:24:00 +01:00
potassco-bot 14ff4a1a60 Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:14:55 +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 87cffcd4eb Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:33:17 +01:00
potassco-bot 64b09e034c Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:52 +01:00
potassco-bot 954ed69e73 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:09:20 +01:00
potassco-bot 2202b84171 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:06:18 +01:00
potassco-bot 6f58e1aef2 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:03:19 +01:00
potassco-bot bb40560e84 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:00:21 +01:00
potassco-bot 2fa70e1e21 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:57:22 +01:00
potassco-bot 529bf0a3a3 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:54:25 +01:00
potassco-bot d3dcdac56c Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:51:29 +01:00
potassco-bot e54802390f Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:35 +01:00
potassco-bot 4b575480ba Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:45:39 +01:00
potassco-bot ddc9e7d470 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:10:48 +01:00
potassco-bot 7f938143a8 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:36:03 +01:00
potassco-bot 8f571333bf Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:40:31 +01:00
potassco-bot 7f390b60c7 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:20:29 +01:00
potassco-bot 8baad8c5c9 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:31:33 +01:00
potassco-bot 4f4ec1e48c Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 09:05:09 +01:00
potassco-bot 67cf70a2e2 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:52:17 +01:00
potassco-bot 282a8f2bfb Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:55:36 +01:00
potassco-bot 611ce1e3b7 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:53:21 +01:00
potassco-bot 67cde3e8b9 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 03:18:32 +01:00
potassco-bot 7944b3f70a Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 5] 2017-11-24 00:13:36 +01:00
potassco-bot 9a69188af2 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:56:57 +01:00
potassco-bot 1825c96c34 Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:13:33 +01:00
potassco-bot 338f093806 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:37:09 +01:00
potassco-bot 3bd19cfbb0 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:51:29 +01:00
potassco-bot c5f0abe024 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:11:25 +01:00
potassco-bot 17f0f571c7 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:37:11 +01:00
potassco-bot 174bd101e3 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:17:14 +01:00
potassco-bot 92f194d26e Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:45:23 +01:00
potassco-bot 99b9d768d5 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:28:12 +01:00
potassco-bot 9535621395 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 10:05:25 +01:00
potassco-bot dc8126da05 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:57:14 +01:00
potassco-bot 97a12dec63 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:34:25 +01:00
potassco-bot 9fe573fae7 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:30:31 +01:00
potassco-bot e28e0d3a56 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:43:21 +01:00
potassco-bot 1d699e0ab6 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:46:35 +01:00
potassco-bot c48111e97d Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:05:38 +01:00
potassco-bot 90a85f1fec Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:17:07 +01:00
potassco-bot 034cd318eb Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:37:13 +01:00
potassco-bot d14cc6cb50 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 01:59:03 +01:00
potassco-bot 398f38898e Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:33:53 +01:00
potassco-bot 0ae9bfa8b0 Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 00:56:54 +01:00