|
|
14829a3866
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 20]
|
2017-12-03 04:20:09 +01:00 |
|
|
|
5e5d353fcb
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 19]
|
2017-12-03 04:06:02 +01:00 |
|
|
|
3111931ed6
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 18]
|
2017-12-03 03:58:52 +01:00 |
|
|
|
461d0539e4
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 17]
|
2017-12-03 03:57:20 +01:00 |
|
|
|
8e5c6c6208
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 16]
|
2017-12-03 03:41:25 +01:00 |
|
|
|
9d536bdbb7
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 15]
|
2017-12-03 03:38:55 +01:00 |
|
|
|
4568dd9f57
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 14]
|
2017-12-03 03:36:32 +01:00 |
|
|
|
c027a3219b
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 13]
|
2017-12-03 03:34:31 +01:00 |
|
|
|
b65ac6ed07
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 12]
|
2017-12-03 03:33:24 +01:00 |
|
|
|
0d28ec65af
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 11]
|
2017-12-03 03:32:39 +01:00 |
|
|
|
9205a146cd
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 10]
|
2017-12-03 03:31:23 +01:00 |
|
|
|
efdb1fb8e8
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 9]
|
2017-12-03 03:22:08 +01:00 |
|
|
|
8f6b39a86e
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 8]
|
2017-12-03 03:06:09 +01:00 |
|
|
|
34e2b6379f
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 7]
|
2017-12-03 03:03:14 +01:00 |
|
|
|
f76987bdbb
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 6]
|
2017-12-03 02:54:58 +01:00 |
|
|
|
9f75a304d3
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 5]
|
2017-12-03 02:50:06 +01:00 |
|
|
|
cbaa6cd4c3
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 4]
|
2017-12-03 02:45:03 +01:00 |
|
|
|
3fceba8df2
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 3]
|
2017-12-03 02:40:04 +01:00 |
|
|
|
d9d26ed2ec
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 2]
|
2017-12-03 02:38:04 +01:00 |
|
|
|
4152da3125
|
Add benchmark result [m-mp | ipc-2011 | no-mystery-sequential-satisficing | 1]
|
2017-12-03 02:37:13 +01:00 |
|
|
|
bd78529f76
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 20]
|
2017-12-03 02:36:27 +01:00 |
|
|
|
3cb7de5018
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 19]
|
2017-12-03 02:35:43 +01:00 |
|
|
|
841bf34c14
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 18]
|
2017-12-03 02:34:51 +01:00 |
|
|
|
2c39fe723e
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 17]
|
2017-12-03 02:34:07 +01:00 |
|
|
|
2f8b713c21
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 16]
|
2017-12-03 02:33:23 +01:00 |
|
|
|
97d4452508
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 15]
|
2017-12-03 02:32:39 +01:00 |
|
|
|
18072c15f7
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 14]
|
2017-12-03 02:31:56 +01:00 |
|
|
|
79f54d0f5a
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 13]
|
2017-12-03 02:31:12 +01:00 |
|
|
|
e810ea1a7a
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 12]
|
2017-12-03 02:30:28 +01:00 |
|
|
|
4d24871dc8
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 11]
|
2017-12-03 02:29:46 +01:00 |
|
|
|
fba9d168a9
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 10]
|
2017-12-03 02:29:03 +01:00 |
|
|
|
fd92539f90
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 9]
|
2017-12-03 02:28:20 +01:00 |
|
|
|
f72ad8c2f6
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 8]
|
2017-12-03 02:27:37 +01:00 |
|
|
|
99e3a6522c
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 7]
|
2017-12-03 02:26:54 +01:00 |
|
|
|
faf2e29f2b
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 6]
|
2017-12-03 02:26:11 +01:00 |
|
|
|
ee0a103ce4
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 5]
|
2017-12-03 02:25:29 +01:00 |
|
|
|
6560f90215
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 4]
|
2017-12-03 02:24:44 +01:00 |
|
|
|
e52e289e33
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 3]
|
2017-12-03 02:24:01 +01:00 |
|
|
|
982bd8f66d
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 2]
|
2017-12-03 02:23:19 +01:00 |
|
|
|
f936181d89
|
Add benchmark result [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 1]
|
2017-12-03 02:22:36 +01:00 |
|
|
|
f9a3273ff9
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 20]
|
2017-12-03 02:20:44 +01:00 |
|
|
|
6935bf4d68
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 19]
|
2017-12-03 02:16:08 +01:00 |
|
|
|
4f23e19c9b
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 18]
|
2017-12-03 02:10:56 +01:00 |
|
|
|
334da2a813
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 17]
|
2017-12-03 02:07:59 +01:00 |
|
|
|
6d5d3aabb5
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 16]
|
2017-12-03 02:05:14 +01:00 |
|
|
|
f17bae899d
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 15]
|
2017-12-03 02:02:42 +01:00 |
|
|
|
f28337d3f9
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 14]
|
2017-12-03 02:00:44 +01:00 |
|
|
|
2b1f4573ab
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 13]
|
2017-12-03 01:58:52 +01:00 |
|
|
|
7f0c30e633
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 12]
|
2017-12-03 01:57:10 +01:00 |
|
|
|
264db0de1f
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 11]
|
2017-12-03 01:55:30 +01:00 |
|
|
|
8ab4933a35
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 10]
|
2017-12-03 01:54:09 +01:00 |
|
|
|
eb1bd756c8
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 9]
|
2017-12-03 01:52:56 +01:00 |
|
|
|
7361d8b3d3
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 8]
|
2017-12-03 01:51:44 +01:00 |
|
|
|
ce23d46982
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 7]
|
2017-12-03 01:50:38 +01:00 |
|
|
|
b13ac3c09a
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 6]
|
2017-12-03 01:49:32 +01:00 |
|
|
|
9e8b42f7fd
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 5]
|
2017-12-03 01:48:36 +01:00 |
|
|
|
c1c38c41bd
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 4]
|
2017-12-03 01:47:46 +01:00 |
|
|
|
c6b8071797
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 3]
|
2017-12-03 01:46:44 +01:00 |
|
|
|
811caa7429
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 2]
|
2017-12-03 01:45:41 +01:00 |
|
|
|
c4be5a80d0
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 1]
|
2017-12-03 01:44:52 +01:00 |
|
|
|
03030334e8
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 20]
|
2017-12-03 01:44:05 +01:00 |
|
|
|
136915139f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 19]
|
2017-12-03 01:28:17 +01:00 |
|
|
|
33cf23b5db
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 18]
|
2017-12-03 01:12:29 +01:00 |
|
|
|
35345ee027
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 17]
|
2017-12-03 00:56:40 +01:00 |
|
|
|
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 |
|
|
|
5705734980
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 26]
|
2017-12-02 12:03:52 +01:00 |
|
|
|
2c186b5fb8
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 25]
|
2017-12-02 11:48:04 +01:00 |
|
|
|
0fcac0558d
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 24]
|
2017-12-02 11:32:23 +01:00 |
|
|
|
80e7cd6361
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 23]
|
2017-12-02 11:16:41 +01:00 |
|
|
|
b059e72857
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 22]
|
2017-12-02 11:01:00 +01:00 |
|
|
|
db8b80c138
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 21]
|
2017-12-02 10:45:21 +01:00 |
|
|
|
1f66eb64ca
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 20]
|
2017-12-02 10:29:36 +01:00 |
|
|
|
3b281bf6f1
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 19]
|
2017-12-02 10:19:35 +01:00 |
|
|
|
1e74d667f4
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 18]
|
2017-12-02 10:11:17 +01:00 |
|
|
|
a2afed3e98
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 17]
|
2017-12-02 10:09:44 +01:00 |
|
|
|
8d77314ae6
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 16]
|
2017-12-02 09:54:05 +01:00 |
|
|
|
5b6924d462
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 15]
|
2017-12-02 09:38:25 +01:00 |
|
|
|
bcffb30bb1
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 14]
|
2017-12-02 09:24:52 +01:00 |
|
|
|
77d451b3b4
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 13]
|
2017-12-02 09:23:48 +01:00 |
|
|
|
9796e7604b
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 12]
|
2017-12-02 09:22:54 +01:00 |
|
|
|
ebe27afce6
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 11]
|
2017-12-02 09:22:03 +01:00 |
|
|
|
e0f23feb58
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 10]
|
2017-12-02 09:21:20 +01:00 |
|
|
|
e75d457836
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 9]
|
2017-12-02 09:20:34 +01:00 |
|
|
|
9601d78908
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 8]
|
2017-12-02 09:19:48 +01:00 |
|
|
|
5a9bbaaf47
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 7]
|
2017-12-02 09:19:07 +01:00 |
|
|
|
fe24d08455
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 6]
|
2017-12-02 09:18:21 +01:00 |
|
|
|
90bca935fd
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 5]
|
2017-12-02 09:17:36 +01:00 |
|
|
|
2070b3961b
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 4]
|
2017-12-02 09:16:56 +01:00 |
|
|
|
231e0d230d
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 3]
|
2017-12-02 09:16:10 +01:00 |
|
|
|
064a86e09c
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 2]
|
2017-12-02 09:15:25 +01:00 |
|
|
|
c9415c5ced
|
Add benchmark result [m-mp | ipc-2006 | tpp-propositional | 1]
|
2017-12-02 09:14:45 +01:00 |
|
|
|
b7efbfb180
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 30]
|
2017-12-02 08:59:06 +01:00 |
|
|
|
51e9822505
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 29]
|
2017-12-02 08:42:56 +01:00 |
|
|
|
c4a680e60a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 28]
|
2017-12-02 08:26:44 +01:00 |
|
|
|
afac3def27
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 27]
|
2017-12-02 08:10:22 +01:00 |
|
|
|
ac9cdd0416
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 26]
|
2017-12-02 07:54:34 +01:00 |
|
|
|
e0d4038423
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 25]
|
2017-12-02 07:38:41 +01:00 |
|
|
|
a3fc7aa1cb
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 24]
|
2017-12-02 07:22:36 +01:00 |
|
|
|
48db146e4b
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 23]
|
2017-12-02 07:06:42 +01:00 |
|
|
|
f9695b98f7
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 22]
|
2017-12-02 06:51:01 +01:00 |
|
|
|
0a63322eb2
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 21]
|
2017-12-02 06:35:20 +01:00 |
|
|
|
f252a4c56f
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 20]
|
2017-12-02 06:19:38 +01:00 |
|
|
|
c78b6bfd0a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 19]
|
2017-12-02 06:16:43 +01:00 |
|
|
|
499eb94fb0
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 18]
|
2017-12-02 06:01:04 +01:00 |
|
|
|
28f9ddb948
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 17]
|
2017-12-02 05:45:23 +01:00 |
|
|
|
fb4ed12a3f
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 16]
|
2017-12-02 05:44:36 +01:00 |
|
|
|
fcd43aa365
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 15]
|
2017-12-02 05:38:57 +01:00 |
|
|
|
e350c85e82
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 14]
|
2017-12-02 05:38:13 +01:00 |
|
|
|
adce1667c9
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 13]
|
2017-12-02 05:37:32 +01:00 |
|
|
|
795d375149
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 12]
|
2017-12-02 05:21:52 +01:00 |
|
|
|
8a86cca2d9
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 11]
|
2017-12-02 05:14:34 +01:00 |
|
|
|
2f454db8ba
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 10]
|
2017-12-02 05:13:54 +01:00 |
|
|
|
4846c284ba
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 9]
|
2017-12-02 05:13:08 +01:00 |
|
|
|
9d97beb29d
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 8]
|
2017-12-02 05:12:22 +01:00 |
|
|
|
d77650dd13
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 7]
|
2017-12-02 05:11:42 +01:00 |
|
|
|
1c9c68bc0a
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 6]
|
2017-12-02 05:10:56 +01:00 |
|
|
|
5fa25bb0c7
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 5]
|
2017-12-02 05:10:11 +01:00 |
|
|
|
34420890f5
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 4]
|
2017-12-02 05:09:30 +01:00 |
|
|
|
742551dfb0
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 3]
|
2017-12-02 05:08:45 +01:00 |
|
|
|
577dfa0a78
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 2]
|
2017-12-02 05:07:59 +01:00 |
|
|
|
347c5db772
|
Add benchmark result [m-mp | ipc-2006 | storage-propositional | 1]
|
2017-12-02 05:07:19 +01:00 |
|
|
|
dc3897c423
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 40]
|
2017-12-02 04:51:41 +01:00 |
|
|
|
f241d23069
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 39]
|
2017-12-02 04:31:14 +01:00 |
|
|
|
fff8f39634
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 38]
|
2017-12-02 04:11:34 +01:00 |
|
|
|
0bdae4fa3c
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 37]
|
2017-12-02 03:52:38 +01:00 |
|
|
|
3b3076c375
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 36]
|
2017-12-02 03:34:24 +01:00 |
|
|
|
6db08532b4
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 35]
|
2017-12-02 03:17:03 +01:00 |
|
|
|
7987058cb3
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 34]
|
2017-12-02 03:13:47 +01:00 |
|
|
|
62cff9c406
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 33]
|
2017-12-02 02:57:16 +01:00 |
|
|
|
a4c15b3ee0
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 32]
|
2017-12-02 02:41:07 +01:00 |
|
|
|
bcc2aab20f
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 31]
|
2017-12-02 02:39:23 +01:00 |
|
|
|
792f9d1f88
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 30]
|
2017-12-02 02:37:31 +01:00 |
|
|
|
aac700ee5b
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 29]
|
2017-12-02 02:36:20 +01:00 |
|
|
|
8020f05b69
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 28]
|
2017-12-02 02:35:15 +01:00 |
|
|
|
1346ab7e9a
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 27]
|
2017-12-02 02:34:16 +01:00 |
|
|
|
fce806a09d
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 26]
|
2017-12-02 02:33:23 +01:00 |
|
|
|
5ee57a5153
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 25]
|
2017-12-02 02:32:32 +01:00 |
|
|
|
85c06517b6
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 24]
|
2017-12-02 02:31:31 +01:00 |
|
|
|
5e181d000e
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 23]
|
2017-12-02 02:30:29 +01:00 |
|
|
|
25396c5bf4
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 22]
|
2017-12-02 02:29:33 +01:00 |
|
|
|
fa2740713e
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 21]
|
2017-12-02 02:28:37 +01:00 |
|
|
|
b36228b4f7
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 20]
|
2017-12-02 02:27:47 +01:00 |
|
|
|
e7cc809b9a
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 19]
|
2017-12-02 02:26:58 +01:00 |
|
|
|
404c11e1a5
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 18]
|
2017-12-02 02:26:16 +01:00 |
|
|
|
8cc7e03050
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 17]
|
2017-12-02 02:25:30 +01:00 |
|
|
|
058aea7b9e
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 16]
|
2017-12-02 02:24:46 +01:00 |
|
|
|
10ebce001b
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 15]
|
2017-12-02 02:24:04 +01:00 |
|
|
|
008449550e
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 14]
|
2017-12-02 02:23:20 +01:00 |
|
|
|
1e23a97517
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 13]
|
2017-12-02 02:22:37 +01:00 |
|
|
|
4ca6c5961d
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 12]
|
2017-12-02 02:21:57 +01:00 |
|
|
|
24c38348a8
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 11]
|
2017-12-02 02:21:14 +01:00 |
|
|
|
58952e6981
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 10]
|
2017-12-02 02:20:31 +01:00 |
|
|
|
b2a2d38ff1
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 9]
|
2017-12-02 02:19:51 +01:00 |
|
|
|
b5b5f055c0
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 8]
|
2017-12-02 02:19:07 +01:00 |
|
|
|
10dd3e82bf
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 7]
|
2017-12-02 02:18:25 +01:00 |
|
|
|
286dc4cbda
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 6]
|
2017-12-02 02:17:46 +01:00 |
|
|
|
64c9868a51
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 5]
|
2017-12-02 02:17:05 +01:00 |
|
|
|
5a136e3cc9
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 4]
|
2017-12-02 02:16:27 +01:00 |
|
|
|
42fda8481f
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 3]
|
2017-12-02 02:15:45 +01:00 |
|
|
|
a610a996c3
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 2]
|
2017-12-02 02:15:02 +01:00 |
|
|
|
33bc76a9ce
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 1]
|
2017-12-02 02:14:24 +01:00 |
|
|
|
e3588c4e1c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 30]
|
2017-12-02 02:08:08 +01:00 |
|
|
|
285242be5c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 29]
|
2017-12-02 02:02:11 +01:00 |
|
|
|
31f5dbd84c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 28]
|
2017-12-02 01:55:59 +01:00 |
|
|
|
1352f65c91
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 27]
|
2017-12-02 01:49:44 +01:00 |
|
|
|
8e6c58fb20
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 26]
|
2017-12-02 01:43:47 +01:00 |
|
|
|
41d9a4372d
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 25]
|
2017-12-02 01:37:45 +01:00 |
|
|
|
5287f38146
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 24]
|
2017-12-02 01:31:39 +01:00 |
|
|
|
7cc9c7f571
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 23]
|
2017-12-02 01:25:45 +01:00 |
|
|
|
1fcc71777c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 22]
|
2017-12-02 01:19:50 +01:00 |
|
|
|
d4a4171864
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 21]
|
2017-12-02 01:13:42 +01:00 |
|
|
|
fb39da5298
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 20]
|
2017-12-02 01:07:49 +01:00 |
|
|
|
6865614722
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 19]
|
2017-12-02 01:01:55 +01:00 |
|
|
|
4bd79e3a7d
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 18]
|
2017-12-02 00:56:08 +01:00 |
|
|
|
62790912b9
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 17]
|
2017-12-02 00:50:18 +01:00 |
|
|
|
da34a38dbf
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 16]
|
2017-12-02 00:44:28 +01:00 |
|
|
|
032055f084
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 15]
|
2017-12-02 00:38:44 +01:00 |
|
|
|
73d4850a1a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 14]
|
2017-12-02 00:32:56 +01:00 |
|
|
|
785327cac3
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 13]
|
2017-12-02 00:27:10 +01:00 |
|
|
|
3bbac6b963
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 12]
|
2017-12-02 00:21:17 +01:00 |
|
|
|
f347929805
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 11]
|
2017-12-02 00:15:34 +01:00 |
|
|
|
123821391f
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 10]
|
2017-12-02 00:09:51 +01:00 |
|
|
|
c96c1500f3
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 9]
|
2017-12-02 00:04:08 +01:00 |
|
|
|
d8f8ea4b78
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 8]
|
2017-12-01 23:58:23 +01:00 |
|
|
|
e20bb84dc4
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 7]
|
2017-12-01 23:52:42 +01:00 |
|
|
|
2a4e8e46af
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 6]
|
2017-12-01 23:47:00 +01:00 |
|
|
|
7ff759b34f
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 5]
|
2017-12-01 23:41:16 +01:00 |
|
|
|
33a010b2a4
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 4]
|
2017-12-01 23:40:11 +01:00 |
|
|
|
2a513a9a7a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 3]
|
2017-12-01 23:39:05 +01:00 |
|
|
|
306352eb1a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 2]
|
2017-12-01 23:38:22 +01:00 |
|
|
|
367464a21e
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 1]
|
2017-12-01 23:37:27 +01:00 |
|
|
|
ceb885f177
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 36]
|
2017-12-01 23:21:49 +01:00 |
|
|
|
c54924cbcd
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 35]
|
2017-12-01 23:04:37 +01:00 |
|
|
|
a783db1a57
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 34]
|
2017-12-01 22:47:42 +01:00 |
|
|
|
8236a31400
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 33]
|
2017-12-01 22:31:07 +01:00 |
|
|
|
427347ef88
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 32]
|
2017-12-01 22:14:17 +01:00 |
|
|
|
a6b6214a47
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 31]
|
2017-12-01 21:57:58 +01:00 |
|
|
|
04666fbb86
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 30]
|
2017-12-01 21:41:26 +01:00 |
|
|
|
f3a6c0e894
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 29]
|
2017-12-01 21:25:23 +01:00 |
|
|
|
1a2c50f965
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 28]
|
2017-12-01 21:09:32 +01:00 |
|
|
|
b065de4fd2
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 27]
|
2017-12-01 20:53:46 +01:00 |
|
