1
0
Fork 0
Commit Graph

95 Commits

Author SHA1 Message Date
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