Commit Graph

5889 Commits

Author SHA1 Message Date
4eb39ad66b
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 5] 2017-12-02 13:29:17 +01:00
10c61873bd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 4] 2017-12-02 13:28:52 +01:00
6e6a9fbaa7
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 4] 2017-12-02 13:28:12 +01:00
bcb4f02842
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 3] 2017-12-02 13:27:54 +01:00
a239adc69a
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 3] 2017-12-02 13:27:15 +01:00
155cdfed16
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 2] 2017-12-02 13:26:56 +01:00
0b27d3f8be
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 2] 2017-12-02 13:26:29 +01:00
ee73bcf93b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:26:09 +01:00
219fe9cc0e
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:25:44 +01:00
accfb11dd1
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:25:26 +01:00
2e3daeaaaa
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:10:05 +01:00
c36891b78a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 29] 2017-12-02 13:07:47 +01:00
2056cd6348
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 29] 2017-12-02 12:52:26 +01:00
2eb1cbb834
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:51:45 +01:00
9d8298d46c
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:36:24 +01:00
12e2c5c9fb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:35:11 +01:00
f67169c7e2
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:19:50 +01:00
ae1ee7591e
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:19:13 +01:00
5705734980
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:03:52 +01:00
c89d5ebb66
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 25] 2017-12-02 12:03:26 +01:00
2c186b5fb8
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 25] 2017-12-02 11:48:04 +01:00
65f80469e8
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:47:44 +01:00
0fcac0558d
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:32:23 +01:00
5d41f47050
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:32:02 +01:00
80e7cd6361
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:16:41 +01:00
8be8f02247
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:16:22 +01:00
b059e72857
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:01:00 +01:00
656309c3cb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 21] 2017-12-02 11:00:41 +01:00
db8b80c138
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 21] 2017-12-02 10:45:21 +01:00
0c6d42adc9
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:44:57 +01:00
1f66eb64ca
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:29:36 +01:00
cc2fea9030
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 19] 2017-12-02 10:29:14 +01:00
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