Potassco Bot
914ba8fc1f
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 08:47:13 +01:00
Potassco Bot
1f56172fef
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 06:38:53 +01:00
Potassco Bot
1d943c6c18
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:30:15 +01:00
Potassco Bot
0579600644
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:16:34 +01:00
Potassco Bot
811f9a0d77
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:36:46 +01:00
Potassco Bot
06b136c799
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:18:22 +01:00
Potassco Bot
10c387674f
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:13:14 +01:00
Potassco Bot
357156962b
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:10:00 +01:00
Potassco Bot
fdb44a34a8
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:52:48 +01:00
Potassco Bot
590b51cdb5
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:50:38 +01:00
Potassco Bot
9a53d1aa66
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:48:32 +01:00
Potassco Bot
ac92f44e68
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:47 +01:00
Potassco Bot
938c6094cd
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:43:18 +01:00
Potassco Bot
c08e9e08fe
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:38:20 +01:00
Potassco Bot
f8ffe29f67
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:26:22 +01:00
Potassco Bot
9ed7e1da2b
Add benchmark result [pb-e4 | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:19:05 +01:00
Patrick Lühne
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
Potassco Bot
9e76d6ec0c
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:34:06 +01:00
Potassco Bot
5038867280
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:39 +01:00
Potassco Bot
f2aceca91a
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:10:07 +01:00
Potassco Bot
117052cfaa
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:07:05 +01:00
Potassco Bot
b24a921bfb
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:04:06 +01:00
Potassco Bot
947ab466be
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:01:07 +01:00
Potassco Bot
41db886e2a
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:58:08 +01:00
Potassco Bot
2b020b03ff
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:55:11 +01:00
Potassco Bot
f0746b6024
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:52:16 +01:00
Potassco Bot
ab7f0b01b9
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:49:21 +01:00
Potassco Bot
92f3c5de31
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:46:26 +01:00
Potassco Bot
bf45d8422e
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:16:21 +01:00
Potassco Bot
6d02c955f6
Add benchmark result [pb-e4 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:41:30 +01:00
Potassco Bot
5f2472a5cb
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:52:19 +01:00
Potassco Bot
3697b90920
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:26:48 +01:00
Potassco Bot
46c0bce0b5
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:37:10 +01:00
Potassco Bot
ee359df48f
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:38:29 +01:00
Potassco Bot
2375f64663
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:57:43 +01:00
Potassco Bot
d918091a5b
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 06:04:45 +01:00
Potassco Bot
0bd0f486b6
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:58:16 +01:00
Potassco Bot
4d26643754
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 04:03:50 +01:00
Potassco Bot
cbe89b7d8f
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:54:52 +01:00
Potassco Bot
849ab17a19
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 22:17:35 +01:00
Potassco Bot
e06d312abf
Add benchmark result [pb-e4 | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:18:09 +01:00
Potassco Bot
6361f318fb
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:41:42 +01:00
Potassco Bot
e2bc8538e7
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 19:11:23 +01:00
Potassco Bot
aa28ac7c96
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:16:24 +01:00
Potassco Bot
4903f9f039
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:42:38 +01:00
Potassco Bot
3a34188e91
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:22:42 +01:00
Potassco Bot
74eafb1f71
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:50:04 +01:00
Potassco Bot
8d1541493d
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:32:38 +01:00
Potassco Bot
288b5fa6f2
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 10:09:48 +01:00
Potassco Bot
79b368796c
Add benchmark result [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 09:01:32 +01:00