Commit Graph

5933 Commits

Author SHA1 Message Date
5a9bbaaf47
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 7] 2017-12-02 09:19:07 +01:00
df95561661
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:44 +01:00
fe24d08455
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:21 +01:00
5c98e388e3
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:18:03 +01:00
90bca935fd
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:17:36 +01:00
86cc755cc5
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:17:18 +01:00
2070b3961b
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:16:56 +01:00
c7fb6e75fb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:32 +01:00
231e0d230d
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:10 +01:00
3789350fef
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:52 +01:00
064a86e09c
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:25 +01:00
66f85445fc
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:15:06 +01:00
c9415c5ced
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:14:45 +01:00
65d5aa9fbf
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 30] 2017-12-02 09:14:27 +01:00
b7efbfb180
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 30] 2017-12-02 08:59:06 +01:00
c3d3b1f859
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 29] 2017-12-02 08:58:22 +01:00
51e9822505
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 29] 2017-12-02 08:42:56 +01:00
f4d0c276fe
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 28] 2017-12-02 08:42:04 +01:00
c4a680e60a
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 28] 2017-12-02 08:26:44 +01:00
5280aeb2dd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 27] 2017-12-02 08:25:43 +01:00
afac3def27
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 27] 2017-12-02 08:10:22 +01:00
7b439627a7
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 26] 2017-12-02 08:09:54 +01:00
ac9cdd0416
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 26] 2017-12-02 07:54:34 +01:00
7d39d8545a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 25] 2017-12-02 07:54:02 +01:00
e0d4038423
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 25] 2017-12-02 07:38:41 +01:00
a2af1167f6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 24] 2017-12-02 07:37:56 +01:00
a3fc7aa1cb
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 24] 2017-12-02 07:22:36 +01:00
eb8ac12600
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 23] 2017-12-02 07:22:03 +01:00
48db146e4b
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 23] 2017-12-02 07:06:42 +01:00
4ea70daea0
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 22] 2017-12-02 07:06:22 +01:00
f9695b98f7
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 22] 2017-12-02 06:51:01 +01:00
bac5c55aa4
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 21] 2017-12-02 06:50:41 +01:00
0a63322eb2
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 21] 2017-12-02 06:35:20 +01:00
ff90a5d2fd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 20] 2017-12-02 06:34:59 +01:00
f252a4c56f
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 20] 2017-12-02 06:19:38 +01:00
76be03b222
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 19] 2017-12-02 06:19:18 +01:00
c78b6bfd0a
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 19] 2017-12-02 06:16:43 +01:00
f5c240f41d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 18] 2017-12-02 06:16:24 +01:00
499eb94fb0
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 18] 2017-12-02 06:01:04 +01:00
d8c015c7ec
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 17] 2017-12-02 06:00:45 +01:00
28f9ddb948
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 17] 2017-12-02 05:45:23 +01:00
52a3fac750
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 16] 2017-12-02 05:45:04 +01:00
fb4ed12a3f
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 16] 2017-12-02 05:44:36 +01:00
2bd4556d1b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 15] 2017-12-02 05:44:17 +01:00
fcd43aa365
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 15] 2017-12-02 05:38:57 +01:00
101ef7ded5
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:38 +01:00
e350c85e82
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:13 +01:00
8377673ac6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:54 +01:00
adce1667c9
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:32 +01:00
15d424d25b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12] 2017-12-02 05:37:13 +01:00