|
|
a6b9d5f191
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 18]
|
2017-12-02 15:55:12 +01:00 |
|
|
|
5561ba315f
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 17]
|
2017-12-02 15:39:52 +01:00 |
|
|
|
8d2414e4d5
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 17]
|
2017-12-02 15:24:31 +01:00 |
|
|
|
c565132ec4
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 16]
|
2017-12-02 15:20:11 +01:00 |
|
|
|
9a246658d1
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 16]
|
2017-12-02 15:08:07 +01:00 |
|
|
|
7a8776f976
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 15]
|
2017-12-02 14:52:47 +01:00 |
|
|
|
b4f807466c
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 15]
|
2017-12-02 14:37:26 +01:00 |
|
|
|
7fb16972da
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 14]
|
2017-12-02 14:35:13 +01:00 |
|
|
|
f6e2c321ac
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 14]
|
2017-12-02 14:27:53 +01:00 |
|
|
|
118d8eeaa4
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 13]
|
2017-12-02 14:27:29 +01:00 |
|
|
|
ea0a26f853
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 13]
|
2017-12-02 14:21:30 +01:00 |
|
|
|
011ea29aee
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 12]
|
2017-12-02 14:06:10 +01:00 |
|
|
|
12357068cc
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 12]
|
2017-12-02 13:53:14 +01:00 |
|
|
|
a885d64b7c
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 11]
|
2017-12-02 13:52:47 +01:00 |
|
|
|
ff4b0b2d71
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 11]
|
2017-12-02 13:46:47 +01:00 |
|
|
|
d2ea43c38e
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 10]
|
2017-12-02 13:46:27 +01:00 |
|
|
|
8ed0c03fcb
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 10]
|
2017-12-02 13:37:17 +01:00 |
|
|
|
acdbe826a2
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 9]
|
2017-12-02 13:36:43 +01:00 |
|
|
|
5d3d7dfb08
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 9]
|
2017-12-02 13:35:08 +01:00 |
|
|
|
d86f7c1489
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 8]
|
2017-12-02 13:34:49 +01:00 |
|
|
|
bfd9b18359
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 8]
|
2017-12-02 13:33:07 +01:00 |
|
|
|
f2dc295fbd
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 7]
|
2017-12-02 13:32:46 +01:00 |
|
|
|
e446260925
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 7]
|
2017-12-02 13:31:55 +01:00 |
|
|
|
4e77f0d922
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 6]
|
2017-12-02 13:31:36 +01:00 |
|
|
|
001034d4ff
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 6]
|
2017-12-02 13:30:29 +01:00 |
|
|
|
2423df1253
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 5]
|
2017-12-02 13:30:06 +01:00 |
|
|
|
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 |
|
