Commit Graph

82 Commits

Author SHA1 Message Date
4fb07bff4a Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:38 +01:00
b1e26366c3 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:09 +01:00
841dfe6824 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:31:04 +01:00
8469dc78f1 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:51 +01:00
217b14c356 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:12:51 +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
5ca1e1c5a4 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:32:53 +01:00
c3705d8580 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:28 +01:00
a7f7ebfda0 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:08:56 +01:00
e49bb98025 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:05:55 +01:00
a9f35f0474 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:02:56 +01:00
df802c8a63 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 16:59:58 +01:00
55213ac801 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:56:58 +01:00
ec49f2d342 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:54:02 +01:00
1b945e8474 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:51:06 +01:00
cef5d5b2de Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:13 +01:00
30c349d37b Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:45:17 +01:00
7081f3e787 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:08:03 +01:00
4454a98adc Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:33:21 +01:00
4b6fea23c4 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:29:36 +01:00
ee945ed4aa Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:09:52 +01:00
d28bd52760 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:28:00 +01:00
366eed4241 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 08:32:37 +01:00
22268fe258 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:47:37 +01:00
2886d91c1a Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:40:39 +01:00
1c2fb8dc79 Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:50:39 +01:00
7b2e8f7c5d Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 02:46:09 +01:00
4b9a07febd Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-23 23:41:13 +01:00
12ce283e0a Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:47:42 +01:00
48b091424d Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:11:04 +01:00
3961dcd16e Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:19:04 +01:00
c3ecf2fec7 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:31:51 +01:00
a0cbfea5dd Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 16:51:45 +01:00
95b6abe33f Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:31:27 +01:00
d77bd2fce4 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 13:57:40 +01:00
ebfdfe45ce Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:39:18 +01:00
82d04f2b9e Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:10:20 +01:00
49eced9d2c Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 09:58:36 +01:00
14e2733c05 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:39:11 +01:00
1116db174f Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:29:24 +01:00
be2bc8f013 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:26:26 +01:00
c04101a000 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:40:52 +01:00
00f91cf609 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:44:01 +01:00
f0f4434d03 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:02:53 +01:00
0e2777ebe3 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:14:26 +01:00
408c856d33 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:34:54 +01:00
2b6d0b8c0f Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 01:57:14 +01:00
08b3e43455 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:32:02 +01:00
eff5738962 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 00:55:07 +01:00
d23d79d181 Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 26] 2017-11-23 00:30:18 +01:00