5875 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
potassco-bot	9d8298d46c	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 28]	2017-12-02 12:36:24 +01:00
potassco-bot	12e2c5c9fb	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 27]	2017-12-02 12:35:11 +01:00
potassco-bot	f67169c7e2	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 27]	2017-12-02 12:19:50 +01:00
potassco-bot	ae1ee7591e	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 26]	2017-12-02 12:19:13 +01:00
potassco-bot	5705734980	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 26]	2017-12-02 12:03:52 +01:00
potassco-bot	c89d5ebb66	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 25]	2017-12-02 12:03:26 +01:00
potassco-bot	2c186b5fb8	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 25]	2017-12-02 11:48:04 +01:00
potassco-bot	65f80469e8	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 24]	2017-12-02 11:47:44 +01:00
potassco-bot	0fcac0558d	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 24]	2017-12-02 11:32:23 +01:00
potassco-bot	5d41f47050	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 23]	2017-12-02 11:32:02 +01:00
potassco-bot	80e7cd6361	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 23]	2017-12-02 11:16:41 +01:00
potassco-bot	8be8f02247	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 22]	2017-12-02 11:16:22 +01:00
potassco-bot	b059e72857	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 22]	2017-12-02 11:01:00 +01:00
potassco-bot	656309c3cb	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 21]	2017-12-02 11:00:41 +01:00
potassco-bot	db8b80c138	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 21]	2017-12-02 10:45:21 +01:00
potassco-bot	0c6d42adc9	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 20]	2017-12-02 10:44:57 +01:00
potassco-bot	1f66eb64ca	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 20]	2017-12-02 10:29:36 +01:00
potassco-bot	cc2fea9030	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 19]	2017-12-02 10:29:14 +01:00
potassco-bot	3b281bf6f1	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 19]	2017-12-02 10:19:35 +01:00
potassco-bot	9086d77f9d	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 18]	2017-12-02 10:19:16 +01:00
potassco-bot	1e74d667f4	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 18]	2017-12-02 10:11:17 +01:00
potassco-bot	2cef301778	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 17]	2017-12-02 10:10:58 +01:00
potassco-bot	a2afed3e98	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 17]	2017-12-02 10:09:44 +01:00
potassco-bot	acaf0f382b	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 16]	2017-12-02 10:09:25 +01:00
potassco-bot	8d77314ae6	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 16]	2017-12-02 09:54:05 +01:00
potassco-bot	4ff8a018d7	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 15]	2017-12-02 09:53:46 +01:00
potassco-bot	5b6924d462	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 15]	2017-12-02 09:38:25 +01:00
potassco-bot	8777a2d766	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 14]	2017-12-02 09:38:07 +01:00
potassco-bot	bcffb30bb1	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 14]	2017-12-02 09:24:52 +01:00
potassco-bot	f926fd382e	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 13]	2017-12-02 09:24:34 +01:00
potassco-bot	77d451b3b4	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 13]	2017-12-02 09:23:48 +01:00
potassco-bot	62ea285bf6	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 12]	2017-12-02 09:23:28 +01:00
potassco-bot	9796e7604b	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 12]	2017-12-02 09:22:54 +01:00
potassco-bot	8f09331724	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 11]	2017-12-02 09:22:36 +01:00
potassco-bot	ebe27afce6	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 11]	2017-12-02 09:22:03 +01:00
potassco-bot	84f536d884	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 10]	2017-12-02 09:21:44 +01:00
potassco-bot	e0f23feb58	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 10]	2017-12-02 09:21:20 +01:00
potassco-bot	e71489300a	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 9]	2017-12-02 09:20:58 +01:00
potassco-bot	e75d457836	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 9]	2017-12-02 09:20:34 +01:00
potassco-bot	3037edb2d0	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 8]	2017-12-02 09:20:15 +01:00
potassco-bot	9601d78908	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 8]	2017-12-02 09:19:48 +01:00
potassco-bot	ce7329c008	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 7]	2017-12-02 09:19:30 +01:00
potassco-bot	5a9bbaaf47	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 7]	2017-12-02 09:19:07 +01:00
potassco-bot	df95561661	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 6]	2017-12-02 09:18:44 +01:00
potassco-bot	fe24d08455	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 6]	2017-12-02 09:18:21 +01:00
potassco-bot	5c98e388e3	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 5]	2017-12-02 09:18:03 +01:00
potassco-bot	90bca935fd	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 5]	2017-12-02 09:17:36 +01:00
potassco-bot	86cc755cc5	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 4]	2017-12-02 09:17:18 +01:00
potassco-bot	2070b3961b	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 4]	2017-12-02 09:16:56 +01:00
potassco-bot	c7fb6e75fb	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 3]	2017-12-02 09:16:32 +01:00