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
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
