5212 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
potassco-bot	f599627caf	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18]	2017-11-30 16:10:09 +01:00
potassco-bot	425848ba4f	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17]	2017-11-30 16:09:52 +01:00
potassco-bot	27c2c7f8a1	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17]	2017-11-30 16:04:20 +01:00
potassco-bot	9fdb450182	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16]	2017-11-30 16:04:03 +01:00
potassco-bot	46b977d35b	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16]	2017-11-30 15:58:32 +01:00
potassco-bot	5b82caedb3	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15]	2017-11-30 15:58:16 +01:00
potassco-bot	cedd594ba3	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15]	2017-11-30 15:52:56 +01:00
potassco-bot	7c191377ab	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14]	2017-11-30 15:52:40 +01:00
potassco-bot	d4b661e475	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14]	2017-11-30 15:47:20 +01:00
potassco-bot	7f5264199e	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13]	2017-11-30 15:47:03 +01:00
potassco-bot	a74029aa21	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13]	2017-11-30 15:42:08 +01:00
potassco-bot	5515c69457	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12]	2017-11-30 15:41:52 +01:00
potassco-bot	1ab28dd445	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12]	2017-11-30 15:37:33 +01:00
potassco-bot	5917822a71	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11]	2017-11-30 15:37:17 +01:00
potassco-bot	a7933912b3	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11]	2017-11-30 15:32:38 +01:00
potassco-bot	de154348fd	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10]	2017-11-30 15:32:21 +01:00
potassco-bot	4bf4fba169	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10]	2017-11-30 15:28:31 +01:00
potassco-bot	45ea31c2ab	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9]	2017-11-30 15:28:15 +01:00
potassco-bot	df0115012b	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9]	2017-11-30 15:24:11 +01:00
potassco-bot	58b2b6ed54	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8]	2017-11-30 15:23:55 +01:00
potassco-bot	d50f4aa348	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8]	2017-11-30 15:20:55 +01:00
potassco-bot	0dbdf23f5c	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7]	2017-11-30 15:20:39 +01:00
potassco-bot	025bf86f1b	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7]	2017-11-30 15:17:25 +01:00
potassco-bot	56027e06ca	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6]	2017-11-30 15:17:08 +01:00
potassco-bot	6bb8813582	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6]	2017-11-30 15:14:25 +01:00
potassco-bot	4003014e86	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5]	2017-11-30 15:14:09 +01:00
potassco-bot	e09902340d	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5]	2017-11-30 15:11:23 +01:00
potassco-bot	97bd3b012b	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4]	2017-11-30 15:11:07 +01:00
potassco-bot	9ae4abc6ea	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4]	2017-11-30 15:08:35 +01:00
potassco-bot	2f7afc296d	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3]	2017-11-30 15:08:18 +01:00
potassco-bot	4a2cd3e7de	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3]	2017-11-30 15:05:20 +01:00
potassco-bot	bdefc25a03	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2]	2017-11-30 15:05:04 +01:00
potassco-bot	14d13cb0ff	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2]	2017-11-30 15:02:49 +01:00
potassco-bot	e902832f2e	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1]	2017-11-30 15:02:32 +01:00
potassco-bot	80c6613213	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1]	2017-11-30 14:59:50 +01:00
potassco-bot	296ac4ee85	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14]	2017-11-30 14:59:33 +01:00
potassco-bot	b394e80f96	Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14]	2017-11-30 14:44:15 +01:00
potassco-bot	e754591dcf	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13]	2017-11-30 14:43:33 +01:00
potassco-bot	e991221151	Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13]	2017-11-30 14:28:15 +01:00
potassco-bot	67b9ae0983	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12]	2017-11-30 14:27:49 +01:00
potassco-bot	665818c864	Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12]	2017-11-30 14:12:30 +01:00
potassco-bot	0734a80dda	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11]	2017-11-30 14:11:46 +01:00
potassco-bot	82d4f86d55	Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11]	2017-11-30 14:02:02 +01:00
potassco-bot	0c89ef1525	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10]	2017-11-30 14:01:27 +01:00
potassco-bot	2215be2093	Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]	2017-11-30 13:46:35 +01:00
potassco-bot	ccf35e65f8	Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]	2017-11-30 13:39:21 +01:00
potassco-bot	19ced5829c	Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]	2017-11-30 13:24:03 +01:00
potassco-bot	a8de453799	Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]	2017-11-30 13:08:47 +01:00
potassco-bot	2de39375ee	Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]	2017-11-30 12:53:30 +01:00
potassco-bot	86e130e002	Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]	2017-11-30 12:38:13 +01:00