595edd053d
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:16:20 +01:00
754f029fa2
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:36:32 +01:00
f7479d8dc2
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:18:09 +01:00
e95b7fafc9
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:13:02 +01:00
4a23e01700
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:09:49 +01:00
c630f345cb
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:52:36 +01:00
4e00a4bccf
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:50:27 +01:00
7b4e058282
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:21 +01:00
d51c4190c1
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:36 +01:00
3f4e59a27c
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:43:07 +01:00
584d59963a
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:37:05 +01:00
61bf7b2318
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:25:46 +01:00
c231ffda82
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:18:02 +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
1a838fbc0a
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 18]
2017-11-25 00:13:40 +01:00
aabcd65788
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 23:11:08 +01:00
93516fc745
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 16]
2017-11-24 22:08:37 +01:00
6d2daeae48
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 15]
2017-11-24 21:09:46 +01:00
119732c232
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 14]
2017-11-24 20:02:42 +01:00
304b7b668f
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 13]
2017-11-24 18:55:37 +01:00
7a78720010
Add benchmark result [pb-e1-sh-h | ipc-1998 | grid-round-2-strips | 2]
2017-11-24 18:02:59 +01:00
65d746364b
Add benchmark result [pb-e1-sh-h | ipc-1998 | grid-round-2-strips | 1]
2017-11-24 17:42:54 +01:00
fb0fb8319f
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:54 +01:00
18d4c04e34
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:27 +01:00
03d229d53a
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:56 +01:00
c1b6f862b5
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:54 +01:00
3ccbeaef01
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:55 +01:00
925fc4f7b4
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:56 +01:00
7975f467f4
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:56 +01:00
784b49d985
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:55:00 +01:00
2fc417a538
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:52:04 +01:00
47a7949344
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:49:09 +01:00
0edb86c7ed
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:14 +01:00
c1f4a9ada7
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:14:58 +01:00
7f071babcf
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:40:08 +01:00
918f8393a9
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:50:29 +01:00
9f43c07ef2
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:25:20 +01:00
57ce3540ed
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:35:45 +01:00
a45d722669
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:22:13 +01:00
83de90f58a
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:56:23 +01:00
2cd17fd389
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 06:02:31 +01:00
1a752a86ea
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:57:02 +01:00
945325f753
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 03:47:39 +01:00
7e17032c62
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:38:42 +01:00
2abaa60060
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 22:01:27 +01:00
87832e585a
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:17:01 +01:00
1faa6db62c
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:40:34 +01:00
4b4a9f93fb
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:55:17 +01:00
76cff25735
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:15:09 +01:00
bc62bfc83b
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:41:25 +01:00
d1742bb3a1
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:21:30 +01:00
b5e52cf677
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:48:57 +01:00
57e7cd8ffc
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:31:31 +01:00
906aef29fe
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:08:41 +01:00
4b7cf10c59
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 09:00:27 +01:00
b6e99e8029
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:37:38 +01:00
69fb858272
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:33:39 +01:00
c23452de09
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 34]
2017-11-23 05:46:16 +01:00
69622ac11f
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 33]
2017-11-23 04:49:29 +01:00
4f829b8726
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 32]
2017-11-23 04:08:26 +01:00
5c1468dd92
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 31]
2017-11-23 03:19:58 +01:00
123a504d4e
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 30]
2017-11-23 02:39:52 +01:00
36ffe096af
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 29]
2017-11-23 02:01:38 +01:00
7556394c8d
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 28]
2017-11-23 01:36:23 +01:00
2f7ae23192
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 27]
2017-11-23 00:59:21 +01:00
e9afc2124e
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 26]
2017-11-23 00:34:27 +01:00
779a8c3cb2
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 31]
2017-11-22 23:21:13 +01:00
f9ad71aa44
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 30]
2017-11-22 20:59:23 +01:00
c1465d8c7f
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 29]
2017-11-22 18:39:26 +01:00
9f4a58cb06
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 26]
2017-11-22 16:19:47 +01:00
dea2bd1a09
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 25]
2017-11-22 13:58:13 +01:00
13f7f6575c
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 24]
2017-11-22 11:37:12 +01:00
d4cf1942d2
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 23]
2017-11-22 09:15:06 +01:00
f14cef396e
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 22]
2017-11-22 07:00:55 +01:00
d7d5acf2f7
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 21]
2017-11-22 04:55:41 +01:00
b40927d31b
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 03:08:27 +01:00
91053a7a98
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:25:10 +01:00
9b031c2947
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 18]
2017-11-21 23:48:33 +01:00
1b3fd4064e
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 17]
2017-11-21 23:03:48 +01:00
97570a7fd2
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 16]
2017-11-21 22:11:54 +01:00
7aebcc30ac
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 15]
2017-11-21 21:22:53 +01:00
5c5fff776b
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 14]
2017-11-21 20:51:34 +01:00
66a5d63fcb
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 13]
2017-11-21 20:23:42 +01:00
6f50a090f0
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 20:04:04 +01:00
dd9cb4ee32
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:44:53 +01:00
4e0da8672f
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:27:58 +01:00
aa67606e7e
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 32]
2017-11-21 19:12:47 +01:00
da6b7230cb
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 31]
2017-11-21 18:59:36 +01:00
71000d0bd4
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 12]
2017-11-21 18:16:16 +01:00
e30fd1a9d2
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 11]
2017-11-21 15:40:26 +01:00
1b9bb10a57
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 10]
2017-11-21 13:04:26 +01:00
848c132e00
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 9]
2017-11-21 10:35:01 +01:00
560897a3d4
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 8]
2017-11-21 08:11:56 +01:00
5b81bc9a8a
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 7]
2017-11-21 05:58:00 +01:00
b48d6ad066
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 6]
2017-11-21 04:31:18 +01:00
d3606b3248
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 5]
2017-11-21 03:31:20 +01:00
062822e982
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 4]
2017-11-21 02:49:52 +01:00
234ccf27a5
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 3]
2017-11-21 02:36:35 +01:00
