Commit Graph
92 Commits
Author SHA1 Message Date
potassco-bot 1f56172fef Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 06:38:53 +01:00
potassco-bot 1d943c6c18 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 04:30:15 +01:00
potassco-bot 0579600644 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:16:34 +01:00
potassco-bot 811f9a0d77 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:36:46 +01:00
potassco-bot 06b136c799 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:18:22 +01:00
potassco-bot 10c387674f Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:13:14 +01:00
potassco-bot 357156962b Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:10:00 +01:00
potassco-bot fdb44a34a8 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 01:52:48 +01:00
potassco-bot 590b51cdb5 Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:50:38 +01:00
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