5848 Commits

All Branches

Search

Author	SHA1	Message	Date
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
Potassco Bot	4ea70daea0	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 22]	2017-12-02 07:06:22 +01:00
Potassco Bot	f9695b98f7	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 22]	2017-12-02 06:51:01 +01:00
Potassco Bot	bac5c55aa4	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 21]	2017-12-02 06:50:41 +01:00
Potassco Bot	0a63322eb2	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 21]	2017-12-02 06:35:20 +01:00
Potassco Bot	ff90a5d2fd	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 20]	2017-12-02 06:34:59 +01:00
Potassco Bot	f252a4c56f	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 20]	2017-12-02 06:19:38 +01:00