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
9b4a1768ed
Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 19]
2017-11-25 00:14:16 +01:00
0bfb211b2e
Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 19]
2017-11-25 00:14:04 +01:00
b03eb01ce0
Add benchmark result [m-m | ipc-1998 | gripper-round-1-strips | 19]
2017-11-25 00:13:53 +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
97d17f5ff9
Add benchmark result [fd-pc-e1-sh | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:58:28 +01:00
0e1bc5a2fa
Add benchmark result [fd-pb-es | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:57:54 +01:00
afd57ccb86
Add benchmark result [fd-pb-e4 | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:42:40 +01:00
11f44769c9
Add benchmark result [fd-pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:41:50 +01:00
7711635935
Add benchmark result [fd-pb-e3-t0 | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:41:03 +01:00
9ad61995bf
Add benchmark result [fd-pb-e3 | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:40:46 +01:00
39b0fb32ea
Add benchmark result [fd-pb-e2 | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:39:55 +01:00
23bdb02d27
Add benchmark result [fd-pb-e1-sh | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:38:45 +01:00
6b7830252e
Add benchmark result [fd-pb-e0-sh | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:36:49 +01:00
cfa4ed8176
Add benchmark result [fd-pa-e1-sh | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:36:01 +01:00
2aad1b2bb4
Add benchmark result [fd-ps-e1-sh | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:27:02 +01:00
5bdccbb84d
Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:11:44 +01:00
2e58b54fcf
Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:11:32 +01:00
1be92bb88f
Add benchmark result [m-m | ipc-1998 | gripper-round-1-strips | 18]
2017-11-24 23:11:20 +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
4321c8c453
Add benchmark result [fd-pc-e1-sh | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:55:54 +01:00
b3f64878e0
Add benchmark result [fd-pb-es | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:55:22 +01:00
f2ba6a750a
Add benchmark result [fd-pb-e4 | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:40:06 +01:00
6bdbb424e6
Add benchmark result [fd-pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:39:21 +01:00
abe862acc3
Add benchmark result [fd-pb-e3-t0 | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:38:36 +01:00
25f4d7ad2b
Add benchmark result [fd-pb-e3 | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:38:21 +01:00
d4250ead57
Add benchmark result [fd-pb-e2 | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:37:35 +01:00
f154b789ac
Add benchmark result [fd-pb-e1-sh | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:36:19 +01:00
9c924c285c
Add benchmark result [fd-pb-e0-sh | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:33:55 +01:00
621b178c8b
Add benchmark result [fd-pa-e1-sh | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:33:12 +01:00
aa10f8ba97
Add benchmark result [fd-ps-e1-sh | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:24:26 +01:00
43f32a75a1
Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:09:12 +01:00
d293929278
Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:09:00 +01:00
7de7af2f00
Add benchmark result [m-m | ipc-1998 | gripper-round-1-strips | 17]
2017-11-24 22:08:49 +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
940116453e
Add benchmark result [fd-pc-e1-sh | ipc-1998 | gripper-round-1-strips | 16]
2017-11-24 21:53:25 +01:00
37f25b798a
Add benchmark result [fd-pb-es | ipc-1998 | gripper-round-1-strips | 16]
2017-11-24 21:52:55 +01:00
