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