Commit Graph

797 Commits

Author SHA1 Message Date
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
3b3076c375
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:34:24 +01:00
6db08532b4
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:17:03 +01:00
7987058cb3
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:13:47 +01:00
62cff9c406
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 33] 2017-12-02 02:57:16 +01:00
a4c15b3ee0
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:41:07 +01:00
bcc2aab20f
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:39:23 +01:00
792f9d1f88
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:37:31 +01:00
aac700ee5b
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:36:20 +01:00
8020f05b69
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:15 +01:00
1346ab7e9a
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:16 +01:00
fce806a09d
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:23 +01:00
5ee57a5153
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:32:32 +01:00
85c06517b6
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:31:31 +01:00
5e181d000e
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:30:29 +01:00
25396c5bf4
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:29:33 +01:00
fa2740713e
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:28:37 +01:00
b36228b4f7
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:27:47 +01:00
e7cc809b9a
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:26:58 +01:00