|
|
9ca0b1d1fc
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 16]
|
2017-12-03 00:40:52 +01:00 |
|
|
|
51a05d5e23
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 15]
|
2017-12-03 00:25:04 +01:00 |
|
|
|
bc7fb873cf
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 14]
|
2017-12-03 00:09:16 +01:00 |
|
|
|
81d769a64f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 13]
|
2017-12-02 23:53:28 +01:00 |
|
|
|
a6856af830
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 12]
|
2017-12-02 23:37:40 +01:00 |
|
|
|
8ee2975eda
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 11]
|
2017-12-02 23:21:53 +01:00 |
|
|
|
58c12fdd29
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 10]
|
2017-12-02 23:06:04 +01:00 |
|
|
|
c71e6d050f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 9]
|
2017-12-02 22:50:13 +01:00 |
|
|
|
083d873062
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 8]
|
2017-12-02 22:34:17 +01:00 |
|
|
|
cffe0d5d77
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 7]
|
2017-12-02 22:18:21 +01:00 |
|
|
|
cb83f3b735
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 6]
|
2017-12-02 22:17:13 +01:00 |
|
|
|
1f42379b08
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 5]
|
2017-12-02 22:15:45 +01:00 |
|
|
|
2c5c8d132a
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 4]
|
2017-12-02 22:07:39 +01:00 |
|
|
|
78402acbbc
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 3]
|
2017-12-02 22:06:48 +01:00 |
|
|
|
2550b1ab64
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 2]
|
2017-12-02 22:05:58 +01:00 |
|
|
|
b1f0447c8e
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 1]
|
2017-12-02 22:04:35 +01:00 |
|
|
|
855a311142
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 30]
|
2017-12-02 21:48:46 +01:00 |
|
|
|
eb1a533899
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 29]
|
2017-12-02 21:29:44 +01:00 |
|
|
|
298f823dcf
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 28]
|
2017-12-02 20:59:03 +01:00 |
|
|
|
7d132d1df8
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 27]
|
2017-12-02 20:28:22 +01:00 |
|
|
|
6b3aef3541
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 26]
|
2017-12-02 19:57:41 +01:00 |
|
|
|
a43aa374be
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 25]
|
2017-12-02 19:27:00 +01:00 |
|
|
|
d68bac08fb
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 24]
|
2017-12-02 18:56:19 +01:00 |
|
|
|
0a7cabbb8b
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 23]
|
2017-12-02 18:25:38 +01:00 |
|
|
|
0e0c90312f
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 22]
|
2017-12-02 17:54:57 +01:00 |
|
|
|
eba572850b
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 21]
|
2017-12-02 17:24:16 +01:00 |
|
|
|
03b8abc6ce
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 20]
|
2017-12-02 16:53:34 +01:00 |
|
|
|
b898f3989a
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 19]
|
2017-12-02 16:25:53 +01:00 |
|
|
|
a6b9d5f191
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 18]
|
2017-12-02 15:55:12 +01:00 |
|
|
|
8d2414e4d5
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 17]
|
2017-12-02 15:24:31 +01:00 |
|
|
|
9a246658d1
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 16]
|
2017-12-02 15:08:07 +01:00 |
|
|
|
b4f807466c
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 15]
|
2017-12-02 14:37:26 +01:00 |
|
|
|
f6e2c321ac
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 14]
|
2017-12-02 14:27:53 +01:00 |
|
|
|
ea0a26f853
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 13]
|
2017-12-02 14:21:30 +01:00 |
|
|
|
12357068cc
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 12]
|
2017-12-02 13:53:14 +01:00 |
|
|
|
ff4b0b2d71
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 11]
|
2017-12-02 13:46:47 +01:00 |
|
|
|
8ed0c03fcb
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 10]
|
2017-12-02 13:37:17 +01:00 |
|
|
|
5d3d7dfb08
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 9]
|
2017-12-02 13:35:08 +01:00 |
|
|
|
bfd9b18359
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 8]
|
2017-12-02 13:33:07 +01:00 |
|
|
|
e446260925
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 7]
|
2017-12-02 13:31:55 +01:00 |
|
|
|
001034d4ff
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 6]
|
2017-12-02 13:30:29 +01:00 |
|
|
|
4eb39ad66b
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 5]
|
2017-12-02 13:29:17 +01:00 |
|
|
|
6e6a9fbaa7
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 4]
|
2017-12-02 13:28:12 +01:00 |
|
|
|
a239adc69a
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 3]
|
2017-12-02 13:27:15 +01:00 |
|
|
|
0b27d3f8be
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 2]
|
2017-12-02 13:26:29 +01:00 |
|
|
|
219fe9cc0e
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 1]
|
2017-12-02 13:25:44 +01:00 |
|
|
|
2e3daeaaaa
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 30]
|
2017-12-02 13:10:05 +01:00 |
|
|
|
2056cd6348
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 29]
|
2017-12-02 12:52:26 +01:00 |
|
|
|
9d8298d46c
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 28]
|
2017-12-02 12:36:24 +01:00 |
|
|
|
f67169c7e2
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 27]
|
2017-12-02 12:19:50 +01:00 |
|
