5831 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
potassco-bot	76be03b222	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 19]	2017-12-02 06:19:18 +01:00
potassco-bot	c78b6bfd0a	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 19]	2017-12-02 06:16:43 +01:00
potassco-bot	f5c240f41d	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 18]	2017-12-02 06:16:24 +01:00
potassco-bot	499eb94fb0	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 18]	2017-12-02 06:01:04 +01:00
potassco-bot	d8c015c7ec	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 17]	2017-12-02 06:00:45 +01:00
potassco-bot	28f9ddb948	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 17]	2017-12-02 05:45:23 +01:00
potassco-bot	52a3fac750	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 16]	2017-12-02 05:45:04 +01:00
potassco-bot	fb4ed12a3f	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 16]	2017-12-02 05:44:36 +01:00
potassco-bot	2bd4556d1b	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 15]	2017-12-02 05:44:17 +01:00
potassco-bot	fcd43aa365	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 15]	2017-12-02 05:38:57 +01:00
potassco-bot	101ef7ded5	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14]	2017-12-02 05:38:38 +01:00
potassco-bot	e350c85e82	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 14]	2017-12-02 05:38:13 +01:00
potassco-bot	8377673ac6	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13]	2017-12-02 05:37:54 +01:00
potassco-bot	adce1667c9	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 13]	2017-12-02 05:37:32 +01:00
potassco-bot	15d424d25b	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12]	2017-12-02 05:37:13 +01:00
potassco-bot	795d375149	Add benchmark result [m-mp | ipc-2006 | storage-propositional | 12]	2017-12-02 05:21:52 +01:00
potassco-bot	3a1e51e61c	Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11]	2017-12-02 05:21:34 +01:00