|
|
6e8664b104
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15]
|
2017-12-02 00:44:10 +01:00 |
|
|
|
032055f084
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 15]
|
2017-12-02 00:38:44 +01:00 |
|
|
|
566d52a5b9
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14]
|
2017-12-02 00:38:27 +01:00 |
|
|
|
73d4850a1a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 14]
|
2017-12-02 00:32:56 +01:00 |
|
|
|
361023204d
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13]
|
2017-12-02 00:32:39 +01:00 |
|
|
|
785327cac3
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 13]
|
2017-12-02 00:27:10 +01:00 |
|
|
|
8dc8f4b8cf
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12]
|
2017-12-02 00:26:53 +01:00 |
|
|
|
3bbac6b963
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 12]
|
2017-12-02 00:21:17 +01:00 |
|
|
|
7e46734b7b
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11]
|
2017-12-02 00:21:00 +01:00 |
|
|
|
f347929805
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 11]
|
2017-12-02 00:15:34 +01:00 |
|
|
|
d9e0fccdb2
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10]
|
2017-12-02 00:15:17 +01:00 |
|
|
|
123821391f
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 10]
|
2017-12-02 00:09:51 +01:00 |
|
|
|
4645026487
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9]
|
2017-12-02 00:09:34 +01:00 |
|
|
|
c96c1500f3
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 9]
|
2017-12-02 00:04:08 +01:00 |
|
|
|
5b6ffb4219
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8]
|
2017-12-02 00:03:51 +01:00 |
|
|
|
d8f8ea4b78
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 8]
|
2017-12-01 23:58:23 +01:00 |
|
|
|
04315fbd26
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7]
|
2017-12-01 23:58:06 +01:00 |
|
|
|
e20bb84dc4
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 7]
|
2017-12-01 23:52:42 +01:00 |
|
|
|
e86a9ce028
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6]
|
2017-12-01 23:52:24 +01:00 |
|
|
|
2a4e8e46af
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 6]
|
2017-12-01 23:47:00 +01:00 |
|
|
|
681c164692
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5]
|
2017-12-01 23:46:43 +01:00 |
|
|
|
7ff759b34f
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 5]
|
2017-12-01 23:41:16 +01:00 |
|
|
|
c1dddb9eda
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4]
|
2017-12-01 23:40:59 +01:00 |
|
|
|
33a010b2a4
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 4]
|
2017-12-01 23:40:11 +01:00 |
|
|
|
fc669d55ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 3]
|
2017-12-01 23:39:53 +01:00 |
|
|
|
2a513a9a7a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 3]
|
2017-12-01 23:39:05 +01:00 |
|
|
|
f1fc46b528
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 2]
|
2017-12-01 23:38:48 +01:00 |
|
|
|
306352eb1a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 2]
|
2017-12-01 23:38:22 +01:00 |
|
|
|
d374c0e019
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 1]
|
2017-12-01 23:37:59 +01:00 |
|
|
|
367464a21e
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 1]
|
2017-12-01 23:37:27 +01:00 |
|
|
|
0307d1e309
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36]
|
2017-12-01 23:37:09 +01:00 |
|
|
|
ceb885f177
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 36]
|
2017-12-01 23:21:49 +01:00 |
|
|
|
ce22fcdde6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35]
|
2017-12-01 23:20:01 +01:00 |
|
|
|
c54924cbcd
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 35]
|
2017-12-01 23:04:37 +01:00 |
|
|
|
5e308432c9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 34]
|
2017-12-01 23:03:05 +01:00 |
|
|
|
a783db1a57
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 34]
|
2017-12-01 22:47:42 +01:00 |
|
|
|
809a25cfa9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 33]
|
2017-12-01 22:46:30 +01:00 |
|
|
|
8236a31400
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 33]
|
2017-12-01 22:31:07 +01:00 |
|
|
|
9b4b5ef5e6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 32]
|
2017-12-01 22:29:38 +01:00 |
|
|
|
427347ef88
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 32]
|
2017-12-01 22:14:17 +01:00 |
|
|
|
ad95beb6b0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 31]
|
2017-12-01 22:13:16 +01:00 |
|
|
|
a6b6214a47
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 31]
|
2017-12-01 21:57:58 +01:00 |
|
|
|
028be32474
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 30]
|
2017-12-01 21:56:45 +01:00 |
|
|
|
04666fbb86
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 30]
|
2017-12-01 21:41:26 +01:00 |
|
|
|
4813f3446d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 29]
|
2017-12-01 21:40:42 +01:00 |
|
|
|
f3a6c0e894
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 29]
|
2017-12-01 21:25:23 +01:00 |
|
|
|
877406f7e0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 28]
|
2017-12-01 21:24:51 +01:00 |
|
|
|
1a2c50f965
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 28]
|
2017-12-01 21:09:32 +01:00 |
|
|
|
497054482a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 27]
|
2017-12-01 21:09:06 +01:00 |
|
|
|
b065de4fd2
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 27]
|
2017-12-01 20:53:46 +01:00 |
|
