Commit Graph

6007 Commits

Author SHA1 Message Date
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
afac3def27
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 27] 2017-12-02 08:10:22 +01:00
7b439627a7
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 26] 2017-12-02 08:09:54 +01:00
ac9cdd0416
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 26] 2017-12-02 07:54:34 +01:00
7d39d8545a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 25] 2017-12-02 07:54:02 +01:00
e0d4038423
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 25] 2017-12-02 07:38:41 +01:00
a2af1167f6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 24] 2017-12-02 07:37:56 +01:00