|
|
b059e72857
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 22]
|
2017-12-02 11:01:00 +01:00 |
|
|
|
656309c3cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 21]
|
2017-12-02 11:00:41 +01:00 |
|
|
|
db8b80c138
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 21]
|
2017-12-02 10:45:21 +01:00 |
|
|
|
0c6d42adc9
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 20]
|
2017-12-02 10:44:57 +01:00 |
|
|
|
1f66eb64ca
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 20]
|
2017-12-02 10:29:36 +01:00 |
|
|
|
cc2fea9030
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 19]
|
2017-12-02 10:29:14 +01:00 |
|
|
|
3b281bf6f1
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 19]
|
2017-12-02 10:19:35 +01:00 |
|
|
|
9086d77f9d
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 18]
|
2017-12-02 10:19:16 +01:00 |
|
|
|
1e74d667f4
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 18]
|
2017-12-02 10:11:17 +01:00 |
|
|
|
2cef301778
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 17]
|
2017-12-02 10:10:58 +01:00 |
|
|
|
a2afed3e98
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 17]
|
2017-12-02 10:09:44 +01:00 |
|
|
|
acaf0f382b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 16]
|
2017-12-02 10:09:25 +01:00 |
|
|
|
8d77314ae6
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 16]
|
2017-12-02 09:54:05 +01:00 |
|
|
|
4ff8a018d7
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 15]
|
2017-12-02 09:53:46 +01:00 |
|
|
|
5b6924d462
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 15]
|
2017-12-02 09:38:25 +01:00 |
|
|
|
8777a2d766
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 14]
|
2017-12-02 09:38:07 +01:00 |
|
|
|
bcffb30bb1
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 14]
|
2017-12-02 09:24:52 +01:00 |
|
|
|
f926fd382e
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 13]
|
2017-12-02 09:24:34 +01:00 |
|
|
|
77d451b3b4
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 13]
|
2017-12-02 09:23:48 +01:00 |
|
|
|
62ea285bf6
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 12]
|
2017-12-02 09:23:28 +01:00 |
|
|
|
9796e7604b
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 12]
|
2017-12-02 09:22:54 +01:00 |
|
|
|
8f09331724
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 11]
|
2017-12-02 09:22:36 +01:00 |
|
|
|
ebe27afce6
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 11]
|
2017-12-02 09:22:03 +01:00 |
|
|
|
84f536d884
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 10]
|
2017-12-02 09:21:44 +01:00 |
|
|
|
e0f23feb58
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 10]
|
2017-12-02 09:21:20 +01:00 |
|
|
|
e71489300a
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 9]
|
2017-12-02 09:20:58 +01:00 |
|
|
|
e75d457836
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 9]
|
2017-12-02 09:20:34 +01:00 |
|
|
|
3037edb2d0
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 8]
|
2017-12-02 09:20:15 +01:00 |
|
|
|
9601d78908
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 8]
|
2017-12-02 09:19:48 +01:00 |
|
|
|
ce7329c008
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 7]
|
2017-12-02 09:19:30 +01:00 |
|
|
|
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 |
|
