patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
1,998 Commits 12 Branches 0 Tags
d4850e6739e52fd43b2abb8cbc8cb31dcb8274a0
Commit Graph
83 Commits
Author SHA1 Message Date
potassco-bot 9a53d1aa66 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:48:32 +01:00
potassco-bot ac92f44e68 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:45:47 +01:00
potassco-bot 938c6094cd Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:18 +01:00
potassco-bot c08e9e08fe Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:38:20 +01:00
potassco-bot f8ffe29f67 Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:26:22 +01:00
potassco-bot 9ed7e1da2b Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:19:05 +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 9e76d6ec0c Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:34:06 +01:00
potassco-bot 5038867280 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:30:39 +01:00
potassco-bot f2aceca91a Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:10:07 +01:00
potassco-bot 117052cfaa Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:07:05 +01:00
potassco-bot b24a921bfb Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:04:06 +01:00
potassco-bot 947ab466be Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:01:07 +01:00
potassco-bot 41db886e2a Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:58:08 +01:00
potassco-bot 2b020b03ff Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:55:11 +01:00
potassco-bot f0746b6024 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:52:16 +01:00
potassco-bot ab7f0b01b9 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:49:21 +01:00
potassco-bot 92f3c5de31 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:46:26 +01:00
potassco-bot bf45d8422e Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:16:21 +01:00
potassco-bot 6d02c955f6 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:41:30 +01:00
potassco-bot 5f2472a5cb Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:52:19 +01:00
potassco-bot 3697b90920 Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:26:48 +01:00
potassco-bot 46c0bce0b5 Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:37:10 +01:00
potassco-bot ee359df48f Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 09:38:29 +01:00
potassco-bot 2375f64663 Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:57:43 +01:00
potassco-bot d918091a5b Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 06:04:45 +01:00
potassco-bot 0bd0f486b6 Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:58:16 +01:00
potassco-bot 4d26643754 Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 04:03:50 +01:00
potassco-bot cbe89b7d8f Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 5] 2017-11-24 00:54:52 +01:00
potassco-bot 849ab17a19 Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 22:17:35 +01:00
potassco-bot e06d312abf Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:18:09 +01:00
potassco-bot 6361f318fb Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:41:42 +01:00
potassco-bot e2bc8538e7 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 19:11:23 +01:00
potassco-bot aa28ac7c96 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:16:24 +01:00
potassco-bot 4903f9f039 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:42:38 +01:00
potassco-bot 3a34188e91 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:22:42 +01:00
potassco-bot 74eafb1f71 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:50:04 +01:00
potassco-bot 8d1541493d Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:32:38 +01:00
potassco-bot 288b5fa6f2 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 10:09:48 +01:00
potassco-bot 79b368796c Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 09:01:32 +01:00
potassco-bot 52615c534a Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:38:40 +01:00
potassco-bot e1dedaea27 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:34:36 +01:00
potassco-bot 2898f0910a Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:47:15 +01:00
potassco-bot 36c1300fe4 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:50:28 +01:00
potassco-bot 90daf13a9c Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:09:22 +01:00
potassco-bot c3d5e40fa5 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:20:53 +01:00
potassco-bot d28f8ac3db Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:40:45 +01:00
potassco-bot 2f9713ab83 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 02:02:29 +01:00
potassco-bot e6cfa355fc Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:37:13 +01:00
potassco-bot 72da907e01 Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 01:00:10 +01:00