|
|
387e068f32
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 18]
|
2017-12-02 02:26:41 +01:00 |
|
|
|
1285161f59
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 17]
|
2017-12-02 02:25:55 +01:00 |
|
|
|
0e786dc9f9
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 16]
|
2017-12-02 02:25:13 +01:00 |
|
|
|
a5a8beea92
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 15]
|
2017-12-02 02:24:27 +01:00 |
|
|
|
aa553dfda3
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 14]
|
2017-12-02 02:23:43 +01:00 |
|
|
|
2e131f654d
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 13]
|
2017-12-02 02:23:03 +01:00 |
|
|
|
c8059447f6
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 12]
|
2017-12-02 02:22:19 +01:00 |
|
|
|
57cdf78d00
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 11]
|
2017-12-02 02:21:36 +01:00 |
|
|
|
84134cbfb5
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 10]
|
2017-12-02 02:20:56 +01:00 |
|
|
|
89da950c93
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 9]
|
2017-12-02 02:20:12 +01:00 |
|
|
|
cae635a5ee
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 8]
|
2017-12-02 02:19:30 +01:00 |
|
|
|
2170288f81
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 7]
|
2017-12-02 02:18:50 +01:00 |
|
|
|
64f3f0e8c9
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 6]
|
2017-12-02 02:18:07 +01:00 |
|
|
|
747c57ce42
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 5]
|
2017-12-02 02:17:29 +01:00 |
|
|
|
4e985af796
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 4]
|
2017-12-02 02:16:48 +01:00 |
|
|
|
37e91e0f9c
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 3]
|
2017-12-02 02:16:05 +01:00 |
|
|
|
a35d2925bc
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 2]
|
2017-12-02 02:15:27 +01:00 |
|
|
|
cfb7ac2b42
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 1]
|
2017-12-02 02:14:45 +01:00 |
|
|
|
829954e76d
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 30]
|
2017-12-02 02:14:06 +01:00 |
|
|
|
5bdfcdb0d2
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 29]
|
2017-12-02 02:07:51 +01:00 |
|
|
|
4cb5c10b3f
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 28]
|
2017-12-02 02:01:53 +01:00 |
|
|
|
066e40cc62
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 27]
|
2017-12-02 01:55:41 +01:00 |
|
|
|
ccfed4f082
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 26]
|
2017-12-02 01:49:27 +01:00 |
|
|
|
768bc11954
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 25]
|
2017-12-02 01:43:30 +01:00 |
|
|
|
561d65b24b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 24]
|
2017-12-02 01:37:27 +01:00 |
|
|
|
2e5b0220ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 23]
|
2017-12-02 01:31:22 +01:00 |
|
|
|
ea5b998bcb
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 22]
|
2017-12-02 01:25:27 +01:00 |
|
|
|
7dd8f3060a
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 21]
|
2017-12-02 01:19:33 +01:00 |
|
|
|
db2af525b0
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 20]
|
2017-12-02 01:13:25 +01:00 |
|
|
|
514d980869
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 19]
|
2017-12-02 01:07:30 +01:00 |
|
|
|
cc9188b8c0
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 18]
|
2017-12-02 01:01:38 +01:00 |
|
|
|
209b387317
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 17]
|
2017-12-02 00:55:50 +01:00 |
|
|
|
d7092013ff
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 16]
|
2017-12-02 00:50:00 +01:00 |
|
|
|
6e8664b104
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15]
|
2017-12-02 00:44:10 +01:00 |
|
|
|
566d52a5b9
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14]
|
2017-12-02 00:38:27 +01:00 |
|
|
|
361023204d
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13]
|
2017-12-02 00:32:39 +01:00 |
|
|
|
8dc8f4b8cf
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12]
|
2017-12-02 00:26:53 +01:00 |
|
|
|
7e46734b7b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11]
|
2017-12-02 00:21:00 +01:00 |
|
|
|
d9e0fccdb2
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10]
|
2017-12-02 00:15:17 +01:00 |
|
|
|
4645026487
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9]
|
2017-12-02 00:09:34 +01:00 |
|
|
|
5b6ffb4219
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8]
|
2017-12-02 00:03:51 +01:00 |
|
|
|
04315fbd26
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7]
|
2017-12-01 23:58:06 +01:00 |
|
|
|
e86a9ce028
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6]
|
2017-12-01 23:52:24 +01:00 |
|
|
|
681c164692
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5]
|
2017-12-01 23:46:43 +01:00 |
|
|
|
c1dddb9eda
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4]
|
2017-12-01 23:40:59 +01:00 |
|
|
|
fc669d55ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 3]
|
2017-12-01 23:39:53 +01:00 |
|
|
|
f1fc46b528
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 2]
|
2017-12-01 23:38:48 +01:00 |
|
|
|
d374c0e019
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 1]
|
2017-12-01 23:37:59 +01:00 |
|
|
|
0307d1e309
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36]
|
2017-12-01 23:37:09 +01:00 |
|
|
|
ce22fcdde6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35]
|
2017-12-01 23:20:01 +01:00 |
|
