Commit Graph

2673 Commits

Author SHA1 Message Date
8b49b195f1 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:27 +01:00
5bf0b85eea Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:16 +01:00
8843e21ea6 Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:44:04 +01:00
1761a5d775 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:53 +01:00
938c6094cd Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:18 +01:00
3f4e59a27c Add benchmark result [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:07 +01:00
0790f27c08 Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:56 +01:00
26ae3504ea Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:44 +01:00
27f8d47eb7 Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:32 +01:00
f26c680331 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:21 +01:00
b1e26366c3 Add benchmark result [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:09 +01:00
af9686fe20 Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:41:58 +01:00
c5ae120dc9 Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:41:47 +01:00
6c97677cee Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:41:36 +01:00
d5970b4604 Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:40:25 +01:00
c08e9e08fe Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:38:20 +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
fcc15d968d Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:35:54 +01:00
8d11e28462 Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:34:40 +01:00
07ac7709c1 Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:33:26 +01:00
c42797b94c Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:32:15 +01:00
841dfe6824 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:31:04 +01:00
55a2b776fd Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:29:54 +01:00
37ac4ab454 Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:28:43 +01:00
3fdcbcea9e Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:27:32 +01:00
d00a257c4e Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:26:57 +01:00
f8ffe29f67 Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:26:22 +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
c2808d644f Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:25:11 +01:00
958972346f Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:24:36 +01:00
421c12c66c Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:24:00 +01:00
8bcb7dd267 Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:23:25 +01:00
8469dc78f1 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:51 +01:00
29139e57a2 Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:22:16 +01:00
6e44576b41 Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:21:42 +01:00
9f6ed06ae4 Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:21:07 +01:00
12deaf5ceb Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:20:07 +01:00
9ed7e1da2b Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:19:05 +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
958a339745 Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:17:00 +01:00
2c00dd6305 Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:15:58 +01:00
14ff4a1a60 Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:14:55 +01:00
244e7caee8 Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:13:53 +01:00
217b14c356 Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:12:51 +01:00
94f5f86c8b Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:11:51 +01:00
fd68634b50 Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:10:49 +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
05674f65c9 Add benchmark result [fd-pb-e0-sh | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:44:53 +01:00
d5e03b51b5 Add benchmark result [fd-pa-e1-sh | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:44:07 +01:00
a9ef3bfdb0 Add benchmark result [fd-ps-e1-sh | ipc-1998 | gripper-round-1-strips | 19] 2017-11-25 00:29:29 +01:00