1
0
Fork 0
Commit Graph

1139 Commits

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