patrick
/
tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
6,895 Commits 12 Branches 0 Tags 350 MiB
Commit Graph

93 Commits

Author SHA1 Message Date
Potassco Bot 757158cb38
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-25 08:16:50 +01:00
Potassco Bot 1a0adb28a6
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-25 06:08:29 +01:00
Potassco Bot cb5e25b2c7
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-25 04:29:33 +01:00
Potassco Bot 8c104e6784
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-25 03:16:06 +01:00
Potassco Bot 3e583cb60f
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-25 02:36:17 +01:00
Potassco Bot 798b84efa7
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:57 +01:00
Potassco Bot 68f486883a
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-25 02:12:51 +01:00
Potassco Bot 294227d8f3
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-25 02:09:37 +01:00
Potassco Bot c3b18761fb
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-25 01:52:25 +01:00
Potassco Bot 4aa1bc2dfe
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-25 01:50:16 +01:00
Potassco Bot 7c52e0096b
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:48:10 +01:00
Potassco Bot 30121f314d
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-25 01:45:24 +01:00
Potassco Bot 0790f27c08
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-25 01:42:56 +01:00
Potassco Bot fcc15d968d
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 33] 2017-11-25 01:35:54 +01:00
Potassco Bot c2808d644f
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 32] 2017-11-25 01:25:11 +01:00
Potassco Bot 958a339745
Add benchmark result [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 31] 2017-11-25 01:17:00 +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 66a72b5f6d
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 17] 2017-11-24 17:33:41 +01:00
Potassco Bot ddb89a13d9
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 16] 2017-11-24 17:30:15 +01:00
Potassco Bot 77f948311c
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 15] 2017-11-24 17:09:44 +01:00
Potassco Bot 65883064e2
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-24 17:06:42 +01:00
Potassco Bot bde7b52591
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-24 17:03:43 +01:00
Potassco Bot 7c88554534
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-24 17:00:44 +01:00
Potassco Bot 7931dcab1c
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 10] 2017-11-24 16:57:45 +01:00
Potassco Bot dfe61b7cb1
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 9] 2017-11-24 16:54:48 +01:00
Potassco Bot 1e8df2e1ab
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 8] 2017-11-24 16:51:53 +01:00
Potassco Bot f869bdd62c
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 7] 2017-11-24 16:48:58 +01:00
Potassco Bot 4283533ebc
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:46:03 +01:00
Potassco Bot 18f3c70755
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 4] 2017-11-24 14:13:35 +01:00
Potassco Bot dceea1d3cb
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 2] 2017-11-24 13:38:46 +01:00
Potassco Bot aef93f4439
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 17] 2017-11-24 12:48:53 +01:00
Potassco Bot 97e3eb710d
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 16] 2017-11-24 11:23:57 +01:00
Potassco Bot 90d2ed8a19
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 13] 2017-11-24 10:34:24 +01:00
Potassco Bot ae4f188efb
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 11] 2017-11-24 09:20:10 +01:00
Potassco Bot cc616937cc
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 10] 2017-11-24 06:54:59 +01:00
Potassco Bot 0841545d11
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 8] 2017-11-24 06:01:09 +01:00
Potassco Bot 7597f518de
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 7] 2017-11-24 04:55:48 +01:00
Potassco Bot 1791527fa5
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 6] 2017-11-24 03:36:01 +01:00
Potassco Bot 958303351c
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 5] 2017-11-24 00:30:59 +01:00
Potassco Bot e7236a174e
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 4] 2017-11-23 22:00:02 +01:00
Potassco Bot 4d5d1dd7db
Add benchmark result [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 3] 2017-11-23 21:15:50 +01:00
Potassco Bot ee851d0dc9
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45] 2017-11-23 20:39:25 +01:00
Potassco Bot 1a72137475
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 44] 2017-11-23 18:54:04 +01:00
Potassco Bot 007f37284c
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 43] 2017-11-23 17:13:52 +01:00
Potassco Bot 22218e3d24
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 42] 2017-11-23 15:40:12 +01:00
Potassco Bot 948f1662b7
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 41] 2017-11-23 14:20:12 +01:00
Potassco Bot 13519f47be
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 40] 2017-11-23 12:47:47 +01:00
Potassco Bot df6182a50e
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 39] 2017-11-23 11:30:24 +01:00
Potassco Bot 0cc6808f2b
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 38] 2017-11-23 10:07:35 +01:00
Potassco Bot 13c4a33115
Add benchmark result [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 37] 2017-11-23 08:59:24 +01:00