93 Commits

Author	SHA1	Message	Date
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