67b7bb2b0a
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 14]
2017-11-26 11:21:38 +01:00
38630e234c
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 12]
2017-11-26 10:51:37 +01:00
6d23eb57ae
Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 9]
2017-11-26 09:03:19 +01:00
1409653df1
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 19]
2017-11-26 07:27:58 +01:00
98ba0a088d
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 15]
2017-11-26 07:04:31 +01:00
3b9be814ab
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 14]
2017-11-26 06:42:51 +01:00
e21800c136
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:23:54 +01:00
afff2e20c3
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 12]
2017-11-26 05:54:40 +01:00
b2b898736d
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 11]
2017-11-26 05:29:23 +01:00
2dbfce0a82
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 10]
2017-11-26 05:07:55 +01:00
50562ef198
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 9]
2017-11-26 04:50:27 +01:00
a9d858e194
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 8]
2017-11-26 04:33:06 +01:00
2fa9e5826a
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 7]
2017-11-26 04:15:38 +01:00
cf5a47093f
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 6]
2017-11-26 03:58:06 +01:00
62efc98b58
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 5]
2017-11-26 03:40:38 +01:00
33caa2856c
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 4]
2017-11-26 03:26:11 +01:00
dcf44b1111
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 3]
2017-11-26 03:08:30 +01:00
2eb7847845
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 2]
2017-11-26 02:54:39 +01:00
667019f37a
Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 1]
2017-11-26 02:40:18 +01:00
8ee8cd4dfb
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 59]
2017-11-26 02:25:51 +01:00
8655232b95
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 58]
2017-11-26 02:20:40 +01:00
fcb701e036
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 57]
2017-11-26 02:07:08 +01:00
0e99ee40be
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 56]
2017-11-26 01:46:56 +01:00
bf6ba690be
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 55]
2017-11-26 01:38:45 +01:00
f719ee0c39
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 54]
2017-11-26 01:34:15 +01:00
aed60beda4
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 53]
2017-11-26 01:19:15 +01:00
9d59fa38ff
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 52]
2017-11-26 01:09:09 +01:00
7811a626cd
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 51]
2017-11-26 01:05:05 +01:00
443e86b219
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 50]
2017-11-26 01:00:25 +01:00
2ad0ac81ee
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 49]
2017-11-26 00:56:24 +01:00
a598c0ce12
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 48]
2017-11-26 00:52:15 +01:00
9065c2a6d0
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 47]
2017-11-26 00:48:25 +01:00
c274b07cd9
Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 46]
2017-11-26 00:44:34 +01:00
6cd6504908
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 42]
2017-11-26 00:40:26 +01:00
e43abeddf0
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 41]
2017-11-26 00:17:47 +01:00
8c028b54eb
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 40]
2017-11-26 00:08:04 +01:00
a8718f8d30
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 39]
2017-11-25 23:47:26 +01:00
a0cb190dbd
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 38]
2017-11-25 23:25:58 +01:00
51bd6096e9
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 37]
2017-11-25 23:04:55 +01:00
a58539f1b4
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 36]
2017-11-25 22:44:29 +01:00
4a7bb1f66b
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 35]
2017-11-25 22:36:18 +01:00
22f0ca421c
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 34]
2017-11-25 22:20:22 +01:00
a1433aebd0
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 33]
2017-11-25 22:14:04 +01:00
322919f88d
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 32]
2017-11-25 22:01:22 +01:00
c9fe9348f0
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 28]
2017-11-25 21:41:54 +01:00
98283192c6
Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 27]
2017-11-25 21:36:47 +01:00
d640d93be4
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 30]
2017-11-25 21:31:48 +01:00
d4e3497216
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 29]
2017-11-25 21:20:46 +01:00
f6466c1a10
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 27]
2017-11-25 21:15:00 +01:00
3e02f9ebcf
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 26]
2017-11-25 21:09:22 +01:00
e939ee47f7
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 20]
2017-11-25 21:03:00 +01:00
3cd4446b75
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 19]
2017-11-25 20:48:30 +01:00
94f8249627
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 17]
2017-11-25 20:37:04 +01:00
3560c00ac7
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:16:45 +01:00
738d8f26e1
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:57:36 +01:00
0ee922c88f
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:36:56 +01:00
815e7eb9a2
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:08:27 +01:00
ba0ee6b42a
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 6]
2017-11-25 19:02:05 +01:00
f61d45fdbc
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 3]
2017-11-25 18:27:12 +01:00
461109b865
Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 2]
2017-11-25 18:20:50 +01:00
dbf3a46ab1
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 24]
2017-11-25 18:12:52 +01:00
8c88ea3bb8
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 23]
2017-11-25 17:35:19 +01:00
5f16d715b1
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 21]
2017-11-25 17:13:45 +01:00
3821981725
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 19]
2017-11-25 16:38:44 +01:00
ea5d0ba620
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 17]
2017-11-25 15:54:34 +01:00
3c44f3aa28
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 16]
2017-11-25 15:34:48 +01:00
5d4706bb7e
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 15]
2017-11-25 15:11:39 +01:00
37efd88866
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 14]
2017-11-25 14:50:52 +01:00
b06ef1f567
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 13]
2017-11-25 14:26:26 +01:00
11dfc1abc7
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 12]
2017-11-25 13:52:49 +01:00
186e057cc4
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 11]
2017-11-25 13:29:39 +01:00
03e72f4607
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 10]
2017-11-25 13:23:26 +01:00
9b6e2ab1dd
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 9]
2017-11-25 12:56:51 +01:00
bc0570c1b0
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 8]
2017-11-25 12:33:39 +01:00
d2b2a2812c
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 7]
2017-11-25 12:21:10 +01:00
410f9d258b
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 6]
2017-11-25 12:13:33 +01:00
a1d54bbe7a
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 4]
2017-11-25 11:50:47 +01:00
d05e51442e
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 3]
2017-11-25 11:29:16 +01:00
59324b8083
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 2]
2017-11-25 11:08:20 +01:00
2564b23313
Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 1]
2017-11-25 11:02:16 +01:00
c5c3e8be0a
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 20]
2017-11-25 10:57:03 +01:00
9d271fe8d7
Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 19]
2017-11-25 09:47:15 +01:00
b25934c61b
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 08:32:01 +01:00
90be85f52a
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 06:23:40 +01:00
9ecb2e9531
Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:29:57 +01:00
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
