1
0
Fork 0
Commit Graph

95 Commits

Author SHA1 Message Date
Potassco Bot 70d7343cc7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 17] 2017-11-29 19:44:09 +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 47f3c0e68e
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 08:01:14 +01:00
Potassco Bot e82a80d9af
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 05:52:57 +01:00
Potassco Bot 50302489b8
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 04:28:41 +01:00
Potassco Bot 7c179f27e7
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:15:32 +01:00
Potassco Bot 3a43a9f327
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:35:43 +01:00
Potassco Bot a8ed1a0248
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:33 +01:00
Potassco Bot ae5f058b98
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:12:27 +01:00
Potassco Bot 1439b32c6c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:09:14 +01:00
Potassco Bot d0f9092ade
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 01:52:02 +01:00
Potassco Bot d4850e6739
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:49:53 +01:00
Potassco Bot 4381200171
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:47:47 +01:00
Potassco Bot 035b8250a6
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:45:02 +01:00
Potassco Bot 27f8d47eb7
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:32 +01:00
Potassco Bot 07ac7709c1
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:33:26 +01:00
Potassco Bot 421c12c66c
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:24:00 +01:00
Potassco Bot 14ff4a1a60
Add benchmark result [pb-e2 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:14:55 +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 87cffcd4eb
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:33:17 +01:00
Potassco Bot 64b09e034c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:52 +01:00
Potassco Bot 954ed69e73
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:09:20 +01:00
Potassco Bot 2202b84171
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:06:18 +01:00
Potassco Bot 6f58e1aef2
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:03:19 +01:00
Potassco Bot bb40560e84
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:00:21 +01:00
Potassco Bot 2fa70e1e21
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:57:22 +01:00
Potassco Bot 529bf0a3a3
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:54:25 +01:00
Potassco Bot d3dcdac56c
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:51:29 +01:00
Potassco Bot e54802390f
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:35 +01:00
Potassco Bot 4b575480ba
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:45:39 +01:00
Potassco Bot ddc9e7d470
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:10:48 +01:00
Potassco Bot 7f938143a8
Add benchmark result [pb-e2 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:36:03 +01:00
Potassco Bot 8f571333bf
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:40:31 +01:00
Potassco Bot 7f390b60c7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:20:29 +01:00
Potassco Bot 8baad8c5c9
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:31:33 +01:00
Potassco Bot 4f4ec1e48c
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 09:05:09 +01:00
Potassco Bot 67cf70a2e2
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:52:17 +01:00
Potassco Bot 282a8f2bfb
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:55:36 +01:00
Potassco Bot 611ce1e3b7
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:53:21 +01:00
Potassco Bot 67cde3e8b9
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 03:18:32 +01:00
Potassco Bot 7944b3f70a
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 5] 2017-11-24 00:13:36 +01:00
Potassco Bot 9a69188af2
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:56:57 +01:00
Potassco Bot 1825c96c34
Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:13:33 +01:00
Potassco Bot 338f093806
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:37:09 +01:00
Potassco Bot 3bd19cfbb0
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:51:29 +01:00
Potassco Bot c5f0abe024
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:11:25 +01:00
Potassco Bot 17f0f571c7
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:37:11 +01:00
Potassco Bot 174bd101e3
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:17:14 +01:00
Potassco Bot 92f194d26e
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:45:23 +01:00
Potassco Bot 99b9d768d5
Add benchmark result [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:28:12 +01:00