|
|
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 |
|
|
|
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 |
|
