|
|
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 |
|
|
|
795d375149
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 12]
|
2017-12-02 05:21:52 +01:00 |
|
|
|
3a1e51e61c
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11]
|
2017-12-02 05:21:34 +01:00 |
|
|
|
8a86cca2d9
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 11]
|
2017-12-02 05:14:34 +01:00 |
|
|
|
ca524e237b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 10]
|
2017-12-02 05:14:16 +01:00 |
|
|
|
2f454db8ba
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 10]
|
2017-12-02 05:13:54 +01:00 |
|
|
|
37d56824d7
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 9]
|
2017-12-02 05:13:30 +01:00 |
|
|
|
4846c284ba
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 9]
|
2017-12-02 05:13:08 +01:00 |
|
|
|
a96aa25703
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 8]
|
2017-12-02 05:12:50 +01:00 |
|
|
|
9d97beb29d
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 8]
|
2017-12-02 05:12:22 +01:00 |
|
|
|
65fa4f517e
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 7]
|
2017-12-02 05:12:04 +01:00 |
|
|
|
d77650dd13
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 7]
|
2017-12-02 05:11:42 +01:00 |
|
|
|
6865ef4ce3
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 6]
|
2017-12-02 05:11:19 +01:00 |
|
|
|
1c9c68bc0a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 6]
|
2017-12-02 05:10:56 +01:00 |
|
|
|
bcb95740af
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 5]
|
2017-12-02 05:10:38 +01:00 |
|
|
|
5fa25bb0c7
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 5]
|
2017-12-02 05:10:11 +01:00 |
|
|
|
a1ac1fa187
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 4]
|
2017-12-02 05:09:53 +01:00 |
|
|
|
34420890f5
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 4]
|
2017-12-02 05:09:30 +01:00 |
|
|
|
9a7d55d916
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 3]
|
2017-12-02 05:09:07 +01:00 |
|
|
|
742551dfb0
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 3]
|
2017-12-02 05:08:45 +01:00 |
|
|
|
94597f17c4
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 2]
|
2017-12-02 05:08:27 +01:00 |
|
|
|
577dfa0a78
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 2]
|
2017-12-02 05:07:59 +01:00 |
|
|
|
6fb3ea4aa1
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 1]
|
2017-12-02 05:07:41 +01:00 |
|
|
|
347c5db772
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 1]
|
2017-12-02 05:07:19 +01:00 |
|
|
|
512f8ae1c3
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 40]
|
2017-12-02 05:07:01 +01:00 |
|
|
|
dc3897c423
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 40]
|
2017-12-02 04:51:41 +01:00 |
|
|
|
c733b16f8b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 39]
|
2017-12-02 04:46:34 +01:00 |
|
|
|
f241d23069
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 39]
|
2017-12-02 04:31:14 +01:00 |
|
|
|
7848aa746b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 38]
|
2017-12-02 04:26:55 +01:00 |
|
|
|
fff8f39634
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 38]
|
2017-12-02 04:11:34 +01:00 |
|
|
|
f21e191b25
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 37]
|
2017-12-02 04:07:59 +01:00 |
|
|
|
0bdae4fa3c
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 37]
|
2017-12-02 03:52:38 +01:00 |
|
|
|
0dc8164813
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 36]
|
2017-12-02 03:49:44 +01:00 |
|
|
|
3b3076c375
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 36]
|
2017-12-02 03:34:24 +01:00 |
|
|
|
8c1be6f28c
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 35]
|
2017-12-02 03:32:23 +01:00 |
|
|
|
6db08532b4
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 35]
|
2017-12-02 03:17:03 +01:00 |
|
|
|
66fb424a32
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 34]
|
2017-12-02 03:15:36 +01:00 |
|
|
|
7987058cb3
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 34]
|
2017-12-02 03:13:47 +01:00 |
|
|
|
aa3f52bcd6
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 33]
|
2017-12-02 03:12:41 +01:00 |
|
|
|
62cff9c406
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 33]
|
2017-12-02 02:57:16 +01:00 |
|
|
|
8b7d527277
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 32]
|
2017-12-02 02:56:26 +01:00 |
|
