patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
6,873 Commits 12 Branches 0 Tags
0537edbbb404960c9b9e70be76a4e48729659dab
Commit Graph
93 Commits
Author SHA1 Message Date
potassco-bot e4434c9224 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 07:46:02 +01:00
potassco-bot bceda79bdd Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 05:37:45 +01:00
potassco-bot 1669b88f83 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 04:13:29 +01:00
potassco-bot 6f2bcf34fc Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:07:58 +01:00
potassco-bot b4f1319a45 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:34:09 +01:00
potassco-bot 0951c40c86 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:12 +01:00
potassco-bot 9fbab9993f Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:12:06 +01:00
potassco-bot 2f1b978b54 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:08:57 +01:00
potassco-bot 5f9184b9d7 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 01:51:50 +01:00
potassco-bot dfab863c7a Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:49:41 +01:00
potassco-bot fe82b422f5 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:47:35 +01:00
potassco-bot 2bc69fef65 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:44:49 +01:00
potassco-bot f26c680331 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:21 +01:00
potassco-bot c42797b94c Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:32:15 +01:00
potassco-bot 8bcb7dd267 Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:23:25 +01:00
potassco-bot 244e7caee8 Add benchmark result [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:13:53 +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 3a05d99dad Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:33:05 +01:00
potassco-bot 9b435a9207 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:29:40 +01:00
potassco-bot 00fec27033 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:09:08 +01:00
potassco-bot 01b98cf884 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:06:07 +01:00
potassco-bot 5693019915 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:03:07 +01:00
potassco-bot 3f372a7328 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:00:10 +01:00
potassco-bot 37cd017121 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:57:10 +01:00
potassco-bot c9415a28f5 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:54:14 +01:00
potassco-bot d5555639c6 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:51:18 +01:00
potassco-bot 8c6fc3e168 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:24 +01:00
potassco-bot 0c4bfac03d Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:45:28 +01:00
potassco-bot 15e3e1c356 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:09:26 +01:00
potassco-bot 4cb39450b2 Add benchmark result [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:34:42 +01:00
potassco-bot 09a704c434 Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:31:28 +01:00
potassco-bot b505bf87bb Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:11:27 +01:00
potassco-bot 1794aaec1e Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:29:20 +01:00
potassco-bot 931b31fc8e Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 08:48:54 +01:00
potassco-bot c760123ac3 Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:49:09 +01:00
potassco-bot 998e4f5e55 Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 05:42:16 +01:00
potassco-bot 10f77f98f6 Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:51:53 +01:00
potassco-bot 5913bc54ce Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 03:02:20 +01:00
potassco-bot 3124b92de6 Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-23 23:57:25 +01:00
potassco-bot d82e84108a Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 21:49:50 +01:00
potassco-bot 0a6ec96b23 Add benchmark result [pb-e1-sh | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:12:13 +01:00
potassco-bot de827946d4 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:35:11 +01:00
potassco-bot e693b22de6 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:47:56 +01:00
potassco-bot 8d733e4e78 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:08:10 +01:00
potassco-bot 41fe2401d7 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:33:51 +01:00
potassco-bot 2dd057d201 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:13:48 +01:00
potassco-bot 9a9088f88e Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:43:34 +01:00
potassco-bot 854f91942b Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:26:25 +01:00
potassco-bot 8d2462dddf Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 10:03:42 +01:00
potassco-bot 5f86ad1a41 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:55:12 +01:00