Potassco Bot
e5f17a332f
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 17]
2017-11-29 19:48:43 +01:00
Patrick Lühne
fef5f1929f
Remove planner results with memouts
...
This removes all results obtained with our planner where memouts were
encountered. These were mainly due to the fact that we didn’t configure
the planner to respect the memory limit in the first place. With this
configuration now in place, we can redo all the affected measurements in
order to get actual, useful results.
2017-11-29 18:40:52 +01:00
Potassco Bot
0e99535a7b
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-25 08:16:25 +01:00
Potassco Bot
c4befb2370
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-25 06:08:09 +01:00
Potassco Bot
a6df0ac4e6
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 04:29:18 +01:00
Potassco Bot
a8c4a798c0
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:15:54 +01:00
Potassco Bot
985b105d1d
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:36:05 +01:00
Potassco Bot
75fab774cd
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:17:45 +01:00
Potassco Bot
461cafece9
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:12:39 +01:00
Potassco Bot
d7d2191020
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:09:26 +01:00
Potassco Bot
bebd861caa
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:52:13 +01:00
Potassco Bot
e7e81bd5d8
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:50:04 +01:00
Potassco Bot
a65e30d896
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:47:58 +01:00
Potassco Bot
04ccf26f39
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:45:13 +01:00
Potassco Bot
26ae3504ea
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:42:44 +01:00
Potassco Bot
8d11e28462
Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:34:40 +01:00
Potassco Bot
958972346f
Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:24:36 +01:00
Potassco Bot
2c00dd6305
Add benchmark result [pb-e3 | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:15:58 +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
4f9ce7261a
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:33:29 +01:00
Potassco Bot
4739cb9b6a
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:30:03 +01:00
Potassco Bot
63e1dbd585
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:09:32 +01:00
Potassco Bot
87af872cea
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:06:30 +01:00
Potassco Bot
a3f1635d9d
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:03:31 +01:00
Potassco Bot
e3bf6eceb1
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 17:00:33 +01:00
Potassco Bot
693bd42596
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:57:33 +01:00
Potassco Bot
2230bbdff3
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:54:36 +01:00
Potassco Bot
3747fd5e51
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:51:41 +01:00
Potassco Bot
7395175ae7
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:46 +01:00
Potassco Bot
b4beecb5a3
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:45:51 +01:00
Potassco Bot
1bc10a45a1
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:12:12 +01:00
Potassco Bot
4defacb659
Add benchmark result [pb-e3 | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:37:25 +01:00
Potassco Bot
cc63ae71b3
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:47:11 +01:00
Potassco Bot
ce4455d3c7
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:22:31 +01:00
Potassco Bot
dff2a6d81f
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:33:02 +01:00
Potassco Bot
5f07c8d916
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 09:18:39 +01:00
Potassco Bot
16ad6d2b56
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:53:41 +01:00
Potassco Bot
ffc3c25c2b
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:59:52 +01:00
Potassco Bot
24fbcbcb50
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:54:35 +01:00
Potassco Bot
4096b53b8e
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 03:34:43 +01:00
Potassco Bot
fb134d4121
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 5]
2017-11-24 00:29:46 +01:00
Potassco Bot
7c95f8e823
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:58:53 +01:00
Potassco Bot
b25f9f21c3
Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:14:42 +01:00
Potassco Bot
cfcef0f883
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:38:19 +01:00
Potassco Bot
3274a2585a
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:52:58 +01:00
Potassco Bot
6f9437ceff
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 17:12:40 +01:00
Potassco Bot
c15372efe5
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:39:02 +01:00
Potassco Bot
cddd41814b
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 14:19:03 +01:00
Potassco Bot
73b243e3bc
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:46:40 +01:00
Potassco Bot
bad544f839
Add benchmark result [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:29:19 +01:00