Commit Graph
93 Commits
Author SHA1 Message Date
potassco-bot 78c17ce7a3 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 09:02:25 +01:00
potassco-bot 429bf6ace2 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 06:54:05 +01:00
potassco-bot 3b355d83f3 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 04:45:27 +01:00
potassco-bot 191038e18d Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:31:45 +01:00
potassco-bot 155b690d69 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:51:58 +01:00
potassco-bot 8185445300 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:19:12 +01:00
potassco-bot fa53a8991b Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:16:10 +01:00
potassco-bot ed93517e07 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:11:08 +01:00
potassco-bot aa241662fb Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 02:07:59 +01:00
potassco-bot b2a15a271a Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:50:52 +01:00
potassco-bot 136911c45b Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:48:45 +01:00
potassco-bot 33cdb810b7 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:46:39 +01:00
potassco-bot 1761a5d775 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:43:53 +01:00
potassco-bot d5970b4604 Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:40:25 +01:00
potassco-bot d00a257c4e Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:26:57 +01:00
potassco-bot 12deaf5ceb Add benchmark result [pb-es | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:20:07 +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 40b18a1675 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:34:19 +01:00
potassco-bot 38389b2fb5 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:30:51 +01:00
potassco-bot 78eac7ed4a Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:10:19 +01:00
potassco-bot 5af79bf256 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:07:17 +01:00
potassco-bot 481a31b5c7 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:04:18 +01:00
potassco-bot cfb191cccf Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:01:19 +01:00
potassco-bot 6fca76ca80 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:58:20 +01:00
potassco-bot 48a712a274 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:55:23 +01:00
potassco-bot 5f29b5cb9d Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:52:28 +01:00
potassco-bot 7a96afa30f Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:49:33 +01:00
potassco-bot df83fff129 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:46:38 +01:00
potassco-bot 61cd52a5ec Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:17:45 +01:00
potassco-bot 3c8acf6b60 Add benchmark result [pb-es | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:42:51 +01:00
potassco-bot adff03d848 Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 13:08:39 +01:00
potassco-bot 12114e3de1 Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:43:07 +01:00
potassco-bot baea977b73 Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:40:36 +01:00
potassco-bot eb63ae166c Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 09:54:46 +01:00
potassco-bot eef47dc302 Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 07:03:50 +01:00
potassco-bot 044ba7c684 Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 06:20:59 +01:00
potassco-bot 9fe16ee243 Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:59:58 +01:00
potassco-bot e6c841c49a Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 04:20:01 +01:00
potassco-bot 643acbc1ac Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 5] 2017-11-24 01:11:02 +01:00
potassco-bot 9ad9b4d97d Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 22:33:48 +01:00
potassco-bot ab5fb3136d Add benchmark result [pb-es | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:22:39 +01:00
potassco-bot d53a9fcda4 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:43:30 +01:00
potassco-bot af12d50eb7 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 19:13:41 +01:00
potassco-bot acd9c43377 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:19:02 +01:00
potassco-bot b498e50619 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:44:53 +01:00
potassco-bot 6ecda65888 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:25:01 +01:00
potassco-bot 5344eb8543 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:51:44 +01:00
potassco-bot 604e58de1e Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:33:54 +01:00
potassco-bot 5b9bd691ee Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 10:11:10 +01:00
potassco-bot 65d6ec60b2 Add benchmark result [pb-es | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 09:02:54 +01:00