|
|
8d77314ae6
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 16]
|
2017-12-02 09:54:05 +01:00 |
|
|
|
5b6924d462
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 15]
|
2017-12-02 09:38:25 +01:00 |
|
|
|
bcffb30bb1
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 14]
|
2017-12-02 09:24:52 +01:00 |
|
|
|
77d451b3b4
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 13]
|
2017-12-02 09:23:48 +01:00 |
|
|
|
9796e7604b
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 12]
|
2017-12-02 09:22:54 +01:00 |
|
|
|
ebe27afce6
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 11]
|
2017-12-02 09:22:03 +01:00 |
|
|
|
e0f23feb58
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 10]
|
2017-12-02 09:21:20 +01:00 |
|
|
|
e75d457836
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 9]
|
2017-12-02 09:20:34 +01:00 |
|
|
|
9601d78908
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 8]
|
2017-12-02 09:19:48 +01:00 |
|
|
|
5a9bbaaf47
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 7]
|
2017-12-02 09:19:07 +01:00 |
|
|
|
fe24d08455
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 6]
|
2017-12-02 09:18:21 +01:00 |
|
|
|
90bca935fd
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 5]
|
2017-12-02 09:17:36 +01:00 |
|
|
|
2070b3961b
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 4]
|
2017-12-02 09:16:56 +01:00 |
|
|
|
231e0d230d
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 3]
|
2017-12-02 09:16:10 +01:00 |
|
|
|
064a86e09c
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 2]
|
2017-12-02 09:15:25 +01:00 |
|
|
|
c9415c5ced
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 1]
|
2017-12-02 09:14:45 +01:00 |
|
|
|
b7efbfb180
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 30]
|
2017-12-02 08:59:06 +01:00 |
|
|
|
51e9822505
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 29]
|
2017-12-02 08:42:56 +01:00 |
|
|
|
c4a680e60a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 28]
|
2017-12-02 08:26:44 +01:00 |
|
|
|
afac3def27
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 27]
|
2017-12-02 08:10:22 +01:00 |
|
|
|
ac9cdd0416
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 26]
|
2017-12-02 07:54:34 +01:00 |
|
|
|
e0d4038423
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 25]
|
2017-12-02 07:38:41 +01:00 |
|
|
|
a3fc7aa1cb
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 24]
|
2017-12-02 07:22:36 +01:00 |
|
|
|
48db146e4b
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 23]
|
2017-12-02 07:06:42 +01:00 |
|
|
|
f9695b98f7
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 22]
|
2017-12-02 06:51:01 +01:00 |
|
|
|
0a63322eb2
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 21]
|
2017-12-02 06:35:20 +01:00 |
|
|
|
f252a4c56f
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 20]
|
2017-12-02 06:19:38 +01:00 |
|
|
|
c78b6bfd0a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 19]
|
2017-12-02 06:16:43 +01:00 |
|
|
|
499eb94fb0
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 18]
|
2017-12-02 06:01:04 +01:00 |
|
|
|
28f9ddb948
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 17]
|
2017-12-02 05:45:23 +01:00 |
|
|
|
fb4ed12a3f
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 16]
|
2017-12-02 05:44:36 +01:00 |
|
|
|
fcd43aa365
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 15]
|
2017-12-02 05:38:57 +01:00 |
|
|
|
e350c85e82
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 14]
|
2017-12-02 05:38:13 +01:00 |
|
|
|
adce1667c9
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 13]
|
2017-12-02 05:37:32 +01:00 |
|
|
|
795d375149
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 12]
|
2017-12-02 05:21:52 +01:00 |
|
|
|
8a86cca2d9
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 11]
|
2017-12-02 05:14:34 +01:00 |
|
|
|
2f454db8ba
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 10]
|
2017-12-02 05:13:54 +01:00 |
|
|
|
4846c284ba
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 9]
|
2017-12-02 05:13:08 +01:00 |
|
|
|
9d97beb29d
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 8]
|
2017-12-02 05:12:22 +01:00 |
|
|
|
d77650dd13
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 7]
|
2017-12-02 05:11:42 +01:00 |
|
|
|
1c9c68bc0a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 6]
|
2017-12-02 05:10:56 +01:00 |
|
|
|
5fa25bb0c7
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 5]
|
2017-12-02 05:10:11 +01:00 |
|
|
|
34420890f5
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 4]
|
2017-12-02 05:09:30 +01:00 |
|
|
|
742551dfb0
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 3]
|
2017-12-02 05:08:45 +01:00 |
|
|
|
577dfa0a78
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 2]
|
2017-12-02 05:07:59 +01:00 |
|
|
|
347c5db772
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 1]
|
2017-12-02 05:07:19 +01:00 |
|
|
|
dc3897c423
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 40]
|
2017-12-02 04:51:41 +01:00 |
|
|
|
f241d23069
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 39]
|
2017-12-02 04:31:14 +01:00 |
|
|
|
fff8f39634
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 38]
|
2017-12-02 04:11:34 +01:00 |
|
|
|
0bdae4fa3c
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 37]
|
2017-12-02 03:52:38 +01:00 |
|
