Commit Graph

921 Commits

Author SHA1 Message Date
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
c853d1ffd1
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 26] 2017-12-01 20:38:06 +01:00
ce7f599fd0
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 25] 2017-12-01 20:22:27 +01:00
6c9ced8e92
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 24] 2017-12-01 20:06:47 +01:00
d05e128106
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 23] 2017-12-01 19:51:08 +01:00
d05d3a601c
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 22] 2017-12-01 19:49:01 +01:00
4be0762ebe
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 21] 2017-12-01 19:33:23 +01:00
e2c9340915
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 20] 2017-12-01 19:32:28 +01:00
330713b41b
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 19] 2017-12-01 19:31:28 +01:00
4c8b64e4e8
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 18] 2017-12-01 19:30:47 +01:00
e2d30d725c
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 17] 2017-12-01 19:15:10 +01:00
4399c4b1ee
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 16] 2017-12-01 18:59:33 +01:00
e7fc4a08d3
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 15] 2017-12-01 18:58:14 +01:00
2375e9f6b3
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 14] 2017-12-01 18:57:27 +01:00
a63b91582d
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 13] 2017-12-01 18:56:40 +01:00
53b4d81078
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 12] 2017-12-01 18:55:53 +01:00
5a166914b8
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 11] 2017-12-01 18:55:13 +01:00
0bda1b8d88
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 10] 2017-12-01 18:54:28 +01:00
9deb29655e
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 9] 2017-12-01 18:53:45 +01:00