patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
1,953 Commits 12 Branches 0 Tags
c42797b94cb045cf791afbd3651ec88a7b2dd5c6
Commit Graph
80 Commits
Author SHA1 Message Date
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
potassco-bot 492979102d Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 36] 2017-11-23 07:32:39 +01:00
potassco-bot 8ba2b86730 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 35] 2017-11-23 06:29:15 +01:00
potassco-bot 59e21fd5e2 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 34] 2017-11-23 05:42:19 +01:00
potassco-bot 83c0c5b563 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 33] 2017-11-23 04:45:35 +01:00
potassco-bot 1ac5f6c5a3 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 32] 2017-11-23 04:04:21 +01:00
potassco-bot b9d0684fe1 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 31] 2017-11-23 03:15:56 +01:00
potassco-bot e1a65be4db Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 30] 2017-11-23 02:36:17 +01:00
potassco-bot 1446f334fc Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 29] 2017-11-23 01:58:08 +01:00
potassco-bot d2c1211960 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 28] 2017-11-23 01:33:00 +01:00
potassco-bot d47fa2ce3b Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 27] 2017-11-23 00:56:04 +01:00
potassco-bot 2a23abd818 Add benchmark result [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 26] 2017-11-23 00:31:11 +01:00
potassco-bot 6cdc0ba28f Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 31] 2017-11-22 22:46:47 +01:00
potassco-bot 44a4e03eb3 Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 30] 2017-11-22 20:25:53 +01:00