5246 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
potassco-bot	71f4a73e89	Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]	2017-11-30 17:25:40 +01:00
potassco-bot	841c1e0ce7	Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]	2017-11-30 17:25:24 +01:00
potassco-bot	45c9ed2437	Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]	2017-11-30 17:24:55 +01:00
potassco-bot	aea32134de	Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]	2017-11-30 17:24:39 +01:00
potassco-bot	94918a4770	Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]	2017-11-30 17:24:16 +01:00
potassco-bot	e1080f5779	Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]	2017-11-30 17:23:54 +01:00
potassco-bot	52f264f334	Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]	2017-11-30 17:23:31 +01:00
potassco-bot	e1ade52616	Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]	2017-11-30 17:23:14 +01:00
potassco-bot	5f97dffa76	Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]	2017-11-30 17:22:48 +01:00
potassco-bot	9d0c093ff0	Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]	2017-11-30 17:22:31 +01:00
potassco-bot	7e26e69256	Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]	2017-11-30 17:22:10 +01:00
potassco-bot	7b89a5ab10	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29]	2017-11-30 17:21:53 +01:00
potassco-bot	98d1a1ceb3	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 29]	2017-11-30 17:15:59 +01:00
potassco-bot	5d2b82eafc	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28]	2017-11-30 17:15:42 +01:00
potassco-bot	b5d911ea67	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 28]	2017-11-30 17:09:38 +01:00
potassco-bot	4ce79dded3	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27]	2017-11-30 17:09:20 +01:00
potassco-bot	09a83ff0e2	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 27]	2017-11-30 17:03:31 +01:00
potassco-bot	11ff0d583a	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26]	2017-11-30 17:03:14 +01:00
potassco-bot	40c1f0ea54	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 26]	2017-11-30 16:57:24 +01:00
potassco-bot	c462fa1610	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25]	2017-11-30 16:57:07 +01:00
potassco-bot	3e7cf5de5d	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25]	2017-11-30 16:51:22 +01:00
potassco-bot	b52fde64cb	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24]	2017-11-30 16:51:05 +01:00
potassco-bot	8f9848766c	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24]	2017-11-30 16:45:15 +01:00
potassco-bot	c9d3f48427	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23]	2017-11-30 16:44:57 +01:00
potassco-bot	f6573530c8	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23]	2017-11-30 16:39:34 +01:00
potassco-bot	3fe3c7f78b	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22]	2017-11-30 16:39:17 +01:00
potassco-bot	ca24d85bd6	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22]	2017-11-30 16:33:38 +01:00
potassco-bot	31a44aa9b3	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21]	2017-11-30 16:33:21 +01:00
potassco-bot	1401d0152d	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21]	2017-11-30 16:27:43 +01:00
potassco-bot	cb83e2a9ed	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20]	2017-11-30 16:27:26 +01:00
potassco-bot	89aaf30357	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20]	2017-11-30 16:21:51 +01:00
potassco-bot	8dea3e7913	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19]	2017-11-30 16:21:34 +01:00
potassco-bot	b955a1b92f	Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19]	2017-11-30 16:15:59 +01:00
potassco-bot	d0f7c819d2	Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18]	2017-11-30 16:15:43 +01:00
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