Commit Graph

82 Commits

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