93 Commits

Author	SHA1	Message	Date
Potassco Bot	67dccef544	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]	2017-11-25 07:15:23 +01:00
Potassco Bot	90b31cb5b8	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]	2017-11-25 05:07:05 +01:00
Potassco Bot	46a87dedf7	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]	2017-11-25 03:42:52 +01:00
Potassco Bot	5db763f847	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]	2017-11-25 02:59:23 +01:00
Potassco Bot	8d698cfff4	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]	2017-11-25 02:22:01 +01:00
Potassco Bot	de0d37c3fd	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]	2017-11-25 02:16:34 +01:00
Potassco Bot	a65110974c	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]	2017-11-25 02:11:31 +01:00
Potassco Bot	461bcac11a	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]	2017-11-25 02:08:22 +01:00
Potassco Bot	6182abe4e9	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]	2017-11-25 01:51:15 +01:00
Potassco Bot	cc5fb4938b	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]	2017-11-25 01:49:08 +01:00
Potassco Bot	d675580eda	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]	2017-11-25 01:47:02 +01:00
Potassco Bot	5bf0b85eea	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]	2017-11-25 01:44:16 +01:00
Potassco Bot	c5ae120dc9	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]	2017-11-25 01:41:47 +01:00
Potassco Bot	37ac4ab454	Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33]	2017-11-25 01:28:43 +01:00
Potassco Bot	6e44576b41	Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 32]	2017-11-25 01:21:42 +01:00
Potassco Bot	fd68634b50	Add benchmark result [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 31]	2017-11-25 01:10:49 +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	85e08b2b11	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]	2017-11-24 17:32:28 +01:00
Potassco Bot	8c7d8abc5c	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]	2017-11-24 17:29:03 +01:00
Potassco Bot	fc2a3da638	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]	2017-11-24 17:08:33 +01:00
Potassco Bot	9d638b6dfa	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]	2017-11-24 17:05:31 +01:00
Potassco Bot	dc09e8a11c	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]	2017-11-24 17:02:32 +01:00
Potassco Bot	4ac59fe489	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]	2017-11-24 16:59:34 +01:00
Potassco Bot	0b540d0fd1	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]	2017-11-24 16:56:35 +01:00
Potassco Bot	dd5a2404bb	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]	2017-11-24 16:53:39 +01:00
Potassco Bot	aff37c8c6a	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]	2017-11-24 16:50:43 +01:00
Potassco Bot	7c7cd1558f	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]	2017-11-24 16:47:49 +01:00
Potassco Bot	953249d208	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]	2017-11-24 16:44:51 +01:00
Potassco Bot	e97763ef98	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]	2017-11-24 14:05:16 +01:00
Potassco Bot	056029d83c	Add benchmark result [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]	2017-11-24 13:30:39 +01:00
Potassco Bot	8a7e9f92d2	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 17]	2017-11-24 12:24:43 +01:00
Potassco Bot	d89cc746f6	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 16]	2017-11-24 11:06:09 +01:00
Potassco Bot	93e30b7385	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 13]	2017-11-24 10:25:22 +01:00
Potassco Bot	8931ca9190	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 11]	2017-11-24 08:15:02 +01:00
Potassco Bot	75dcc5dab2	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 10]	2017-11-24 06:44:29 +01:00
Potassco Bot	ee6546f36f	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 8]	2017-11-24 05:36:22 +01:00
Potassco Bot	a49dfd28a4	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 7]	2017-11-24 04:48:14 +01:00
Potassco Bot	7532df4dad	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 6]	2017-11-24 02:28:45 +01:00
Potassco Bot	4993239d04	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 5]	2017-11-23 23:23:46 +01:00
Potassco Bot	69f529c9e7	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 4]	2017-11-23 21:44:16 +01:00
Potassco Bot	684d2804fd	Add benchmark result [ps-e1-sh | ipc-2002 | depots-strips-automatic | 3]	2017-11-23 21:08:48 +01:00
Potassco Bot	a7dfb8773a	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]	2017-11-23 20:01:51 +01:00
Potassco Bot	33bfde8357	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]	2017-11-23 18:14:42 +01:00
Potassco Bot	ffeffc8511	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]	2017-11-23 16:34:20 +01:00
Potassco Bot	bec5430075	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]	2017-11-23 15:14:07 +01:00
Potassco Bot	7782a26069	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 41]	2017-11-23 13:40:24 +01:00
Potassco Bot	9d34e8db89	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 40]	2017-11-23 12:22:06 +01:00
Potassco Bot	07bd574bcf	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 39]	2017-11-23 10:53:11 +01:00
Potassco Bot	e48374abbf	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 38]	2017-11-23 09:50:09 +01:00
Potassco Bot	b7ed8de2fe	Add benchmark result [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 37]	2017-11-23 08:26:54 +01:00