patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
5,436 Commits 12 Branches 0 Tags
14fd08dd90d4016546e2e9ad055558a2185c20cb
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 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 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