96c7e17c39
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-25 03:58:04 +01:00
941818be4a
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-25 03:07:25 +01:00
27498af54d
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-25 02:33:30 +01:00
ce0335f7f6
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-25 02:16:47 +01:00
7789a999f8
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-25 02:11:43 +01:00
7f2b5ddc12
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-25 02:08:34 +01:00
111e9ec2fd
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-25 01:51:27 +01:00
39065ab214
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-25 01:49:19 +01:00
757291c8ec
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-25 01:47:13 +01:00
8b49b195f1
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-25 01:44:27 +01:00
af9686fe20
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-25 01:41:58 +01:00
55a2b776fd
Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-25 01:29:54 +01:00
29139e57a2
Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 32]
2017-11-25 01:22:16 +01:00
94f5f86c8b
Add benchmark result [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 31]
2017-11-25 01:11:51 +01:00
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
81c9a9cc1d
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]
2017-11-24 17:32:40 +01:00
b73454b4a2
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]
2017-11-24 17:29:15 +01:00
576f1fb83e
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]
2017-11-24 17:08:45 +01:00
58b5722d5b
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]
2017-11-24 17:05:43 +01:00
0c03848996
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]
2017-11-24 17:02:44 +01:00
92c4f362e0
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]
2017-11-24 16:59:46 +01:00
399aa7a4a6
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]
2017-11-24 16:56:46 +01:00
6ac8a4bde4
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]
2017-11-24 16:53:50 +01:00
7c9bce9a7b
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]
2017-11-24 16:50:54 +01:00
cc2f4a9591
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]
2017-11-24 16:48:01 +01:00
3a906a2309
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]
2017-11-24 16:45:04 +01:00
53e69d22b4
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]
2017-11-24 14:06:39 +01:00
8a16e2d051
Add benchmark result [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
2017-11-24 13:32:00 +01:00
5f7b90535a
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 17]
2017-11-24 12:28:13 +01:00
c086f9aca8
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 16]
2017-11-24 11:08:30 +01:00
2eb570d7a2
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 13]
2017-11-24 10:26:42 +01:00
1e6f207f0a
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 11]
2017-11-24 08:31:18 +01:00
bc0da25971
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 10]
2017-11-24 06:46:21 +01:00
232cb80d7a
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 8]
2017-11-24 05:39:25 +01:00
9eb7cac200
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:49:27 +01:00
e9e41816f8
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 6]
2017-11-24 02:44:56 +01:00
2fdd78c8d8
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 5]
2017-11-23 23:39:59 +01:00
70d18033c9
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 4]
2017-11-23 21:46:33 +01:00
ffef5e12a2
Add benchmark result [pa-e1-sh | ipc-2002 | depots-strips-automatic | 3]
2017-11-23 21:09:57 +01:00
6a64060e91
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
2017-11-23 20:17:57 +01:00
c785ef1524
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
2017-11-23 18:30:46 +01:00
8e15d4847a
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
2017-11-23 16:50:34 +01:00
6eef087f53
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
2017-11-23 15:30:18 +01:00
064104d1d1
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41]
2017-11-23 13:56:32 +01:00
5bd9d68797
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40]
2017-11-23 12:38:12 +01:00
8cf64b159f
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39]
2017-11-23 11:09:15 +01:00
e3db628d56
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38]
2017-11-23 09:57:31 +01:00
134e872368
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37]
2017-11-23 08:38:10 +01:00
32bc31cede
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 36]
2017-11-23 07:28:23 +01:00
952e14531e
Add benchmark result [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 35]
2017-11-23 06:25:25 +01:00
