5854 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
potassco-bot	231e0d230d	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 3]	2017-12-02 09:16:10 +01:00
potassco-bot	3789350fef	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 2]	2017-12-02 09:15:52 +01:00
potassco-bot	064a86e09c	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 2]	2017-12-02 09:15:25 +01:00
potassco-bot	66f85445fc	Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 1]	2017-12-02 09:15:06 +01:00
potassco-bot	c9415c5ced	Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 1]	2017-12-02 09:14:45 +01:00
potassco-bot	65d5aa9fbf	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 30]	2017-12-02 09:14:27 +01:00
potassco-bot	b7efbfb180	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 30]	2017-12-02 08:59:06 +01:00
potassco-bot	c3d3b1f859	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 29]	2017-12-02 08:58:22 +01:00
potassco-bot	51e9822505	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 29]	2017-12-02 08:42:56 +01:00
potassco-bot	f4d0c276fe	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 28]	2017-12-02 08:42:04 +01:00
potassco-bot	c4a680e60a	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 28]	2017-12-02 08:26:44 +01:00
potassco-bot	5280aeb2dd	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 27]	2017-12-02 08:25:43 +01:00
potassco-bot	afac3def27	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 27]	2017-12-02 08:10:22 +01:00
potassco-bot	7b439627a7	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 26]	2017-12-02 08:09:54 +01:00
potassco-bot	ac9cdd0416	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 26]	2017-12-02 07:54:34 +01:00
potassco-bot	7d39d8545a	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 25]	2017-12-02 07:54:02 +01:00
potassco-bot	e0d4038423	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 25]	2017-12-02 07:38:41 +01:00
potassco-bot	a2af1167f6	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 24]	2017-12-02 07:37:56 +01:00
potassco-bot	a3fc7aa1cb	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 24]	2017-12-02 07:22:36 +01:00
potassco-bot	eb8ac12600	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 23]	2017-12-02 07:22:03 +01:00
potassco-bot	48db146e4b	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 23]	2017-12-02 07:06:42 +01:00