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
d8c69e1408
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 8]
2017-12-01 18:53:06 +01:00
20c6e6c39b
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 7]
2017-12-01 18:52:23 +01:00
8c1c63b3dd
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 6]
2017-12-01 18:51:41 +01:00
c4dedb0756
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 5]
2017-12-01 18:51:02 +01:00
c04cd7a1de
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 4]
2017-12-01 18:50:23 +01:00
73a93794c2
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 3]
2017-12-01 18:49:45 +01:00
0dc92eb1d8
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 2]
2017-12-01 18:49:03 +01:00
a070d10fe9
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 1]
2017-12-01 18:48:21 +01:00
b701e206ac
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 50]
2017-12-01 18:47:43 +01:00
88388ca873
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 49]
2017-12-01 18:39:42 +01:00
853a9ff246
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 48]
2017-12-01 18:38:57 +01:00
8a5ca3a9bf
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 47]
2017-12-01 18:38:18 +01:00
df1549b9d4
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 46]
2017-12-01 18:37:23 +01:00
487a5cdc68
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 45]
2017-12-01 18:36:45 +01:00
104d79b4a3
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 44]
2017-12-01 18:36:06 +01:00
d4acab211f
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 43]
2017-12-01 18:35:28 +01:00
053affc772
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 42]
2017-12-01 18:34:46 +01:00
6cf8567ed1
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 41]
2017-12-01 18:34:04 +01:00
54ef344b84
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 40]
2017-12-01 18:33:20 +01:00
e99d73682a
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 39]
2017-12-01 18:32:37 +01:00
c211edb8cd
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 38]
2017-12-01 18:31:55 +01:00
9131b68db4
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 37]
2017-12-01 18:31:17 +01:00
fc6225066a
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 36]
2017-12-01 18:30:31 +01:00
978215ce37
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 35]
2017-12-01 18:29:47 +01:00
d9d0f2e273
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 34]
2017-12-01 18:29:08 +01:00
8615f54d41
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 33]
2017-12-01 18:28:29 +01:00
62091aa3f2
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 32]
2017-12-01 18:27:51 +01:00
47c28d48e9
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 31]
2017-12-01 18:27:05 +01:00
8a4d3f45f9
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 30]
2017-12-01 18:26:22 +01:00
490fd25808
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 29]
2017-12-01 18:25:43 +01:00
896f5028bf
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 28]
2017-12-01 18:24:59 +01:00
60af7978ad
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 27]
2017-12-01 18:24:16 +01:00
bc86774b19
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 26]
2017-12-01 18:23:39 +01:00
4b024d1077
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 25]
2017-12-01 18:21:49 +01:00
c0990bf0b1
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 24]
2017-12-01 18:21:11 +01:00
05a2088671
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 23]
2017-12-01 18:20:29 +01:00
e3ae51d3a8
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 22]
2017-12-01 18:19:45 +01:00
1320d11fa8
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 21]
2017-12-01 18:19:07 +01:00
76159f3f50
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 20]
2017-12-01 18:18:29 +01:00
a55a64b429
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 19]
2017-12-01 18:17:50 +01:00
23f2f56bac
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 18]
2017-12-01 18:17:08 +01:00
59d0af0371
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 17]
2017-12-01 18:16:26 +01:00
fe3b54dd68
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 16]
2017-12-01 18:15:48 +01:00
a9cbefb663
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 15]
2017-12-01 18:15:07 +01:00
b1bf5c011d
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 14]
2017-12-01 18:14:29 +01:00
35a13b4fb6
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 13]
2017-12-01 18:13:47 +01:00
a08ace5c5a
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 12]
2017-12-01 18:13:05 +01:00
2fd6d46d47
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 11]
2017-12-01 18:12:27 +01:00
4bdf95ab60
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 10]
2017-12-01 18:11:49 +01:00
8551532076
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 9]
2017-12-01 18:11:11 +01:00
7e32a4cb82
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 8]
2017-12-01 18:10:29 +01:00
33cb4273cb
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 7]
2017-12-01 18:09:47 +01:00
e93dc83215
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 6]
2017-12-01 18:09:09 +01:00
689405d7db
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 5]
2017-12-01 18:08:31 +01:00
fd7557101b
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 4]
2017-12-01 18:07:52 +01:00
b686ff107b
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 3]
2017-12-01 18:07:11 +01:00
2a43a13cdf
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 2]
2017-12-01 18:06:29 +01:00
fe8de1ef5e
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 1]
2017-12-01 18:05:52 +01:00
4ea087dc39
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50]
2017-12-01 18:03:04 +01:00
c7d11b28c2
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49]
2017-12-01 17:46:17 +01:00
a87b3ab34d
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48]
2017-12-01 17:29:31 +01:00
2ea0dbb34a
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47]
2017-12-01 16:58:54 +01:00
0c49aed3db
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46]
2017-12-01 16:28:18 +01:00
e28bf5df4b
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45]
2017-12-01 15:57:41 +01:00
dd842365ba
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 44]
2017-12-01 13:44:12 +01:00
4d5ac22e72
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 43]
2017-12-01 13:13:36 +01:00
d6da3389da
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 42]
2017-12-01 12:43:00 +01:00
81d0d91b6c
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 41]
2017-12-01 12:26:55 +01:00
3491aa1ae7
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 40]
2017-12-01 12:11:18 +01:00
000cd6cb63
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 39]
2017-12-01 12:01:16 +01:00
6427735f6b
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 38]
2017-12-01 11:45:32 +01:00
30c402daf4
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 37]
2017-12-01 11:29:45 +01:00
e6da24e3e5
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 36]
2017-12-01 11:14:04 +01:00
56565841be
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 35]
2017-12-01 11:12:06 +01:00
2b1a499959
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 34]
2017-12-01 11:01:26 +01:00
6580fcde3e
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 33]
2017-12-01 11:00:18 +01:00
4389137b02
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 32]
2017-12-01 10:57:36 +01:00
fe714acced
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 31]
2017-12-01 10:56:33 +01:00
11666bca01
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 30]
2017-12-01 10:50:19 +01:00
1f946c98ba
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 29]
2017-12-01 10:36:07 +01:00
5380f2bf39
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 28]
2017-12-01 10:34:01 +01:00
3d1c8fea30
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 27]
2017-12-01 10:31:58 +01:00
8775a4922a
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 26]
2017-12-01 10:29:12 +01:00
21280e67eb
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 25]
2017-12-01 10:12:53 +01:00
eecfc001f8
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 24]
2017-12-01 09:57:10 +01:00
eb130f7658
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 23]
2017-12-01 09:41:32 +01:00
0a56791490
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 22]
2017-12-01 09:40:07 +01:00
5d55daeeac
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 21]
2017-12-01 09:39:25 +01:00
ffbdcbcd57
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 20]
2017-12-01 09:37:45 +01:00
c5fd28175a
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 19]
2017-12-01 09:36:44 +01:00
7e03f361bf
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 18]
2017-12-01 09:35:51 +01:00
38596bb4e0
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 17]
2017-12-01 09:35:07 +01:00
ecb0bf9b90
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 16]
2017-12-01 09:19:32 +01:00
b380658196
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 15]
2017-12-01 09:12:30 +01:00
688e855274
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 14]
2017-12-01 09:07:09 +01:00
39c179c48f
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 13]
2017-12-01 09:06:20 +01:00
96058310b7
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 12]
2017-12-01 09:05:36 +01:00
9864b16731
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 11]
2017-12-01 09:04:52 +01:00
de4b5ea0a5
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 10]
2017-12-01 09:04:11 +01:00
75344169be
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 9]
2017-12-01 09:03:32 +01:00
ebe410cc65
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 8]
2017-12-01 09:02:49 +01:00
3d545aee2b
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 7]
2017-12-01 09:02:05 +01:00
4743802038
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 6]
2017-12-01 09:01:26 +01:00
7cd53e9a32
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 5]
2017-12-01 09:00:49 +01:00
76618aba57
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 4]
2017-12-01 09:00:12 +01:00
2d22f0e1ec
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 3]
2017-12-01 08:59:30 +01:00
7d538b86a4
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 2]
2017-12-01 08:58:48 +01:00
b4b4e85d56
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 1]
2017-12-01 08:58:12 +01:00
e282a54bc3
Add corrupt benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 50]
2017-12-01 08:42:38 +01:00
86349694c5
Add corrupt benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 49]
2017-12-01 08:26:08 +01:00
fde5c570e4
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 48]
2017-12-01 08:09:38 +01:00
841e4bfcaf
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 47]
2017-12-01 07:39:02 +01:00
52e721f5df
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 46]
2017-12-01 07:08:27 +01:00
eefd3a698f
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 45]
2017-12-01 06:40:09 +01:00
9c24ad2a26
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 44]
2017-12-01 06:09:34 +01:00
277b381118
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 43]
2017-12-01 05:39:00 +01:00
b66c18c172
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 42]
2017-12-01 05:08:28 +01:00
0498b9468a
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 41]
2017-12-01 04:51:58 +01:00
4343452603
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 40]
2017-12-01 04:36:18 +01:00
e63c9e4f04
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 39]
2017-12-01 04:09:24 +01:00
78c6eef742
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 38]
2017-12-01 03:48:22 +01:00
c1a8ba13ff
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 37]
2017-12-01 03:17:42 +01:00
aeaf489c4e
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 36]
2017-12-01 03:01:34 +01:00
be1b34f10d
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 35]
2017-12-01 02:42:31 +01:00
e64ae41619
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 34]
2017-12-01 02:23:42 +01:00
a31788e3bc
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 33]
2017-12-01 02:00:47 +01:00
b55e415675
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 32]
2017-12-01 01:47:20 +01:00
2c93bccefd
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 31]
2017-12-01 01:16:43 +01:00
c61e82b630
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 30]
2017-12-01 00:46:07 +01:00
2512234df9
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 29]
2017-12-01 00:15:31 +01:00
3aa41d8cf7
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 28]
2017-11-30 23:44:54 +01:00
dc30084d8d
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 27]
2017-11-30 23:14:12 +01:00
88ab4163d3
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 26]
2017-11-30 22:45:40 +01:00
81a4100b70
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 25]
2017-11-30 22:14:51 +01:00
17f766edf0
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 24]
2017-11-30 21:44:11 +01:00
7de25ba72b
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23]
2017-11-30 21:13:35 +01:00
f7b82e27e0
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22]
2017-11-30 20:54:16 +01:00
606a847e1e
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21]
2017-11-30 20:52:38 +01:00
d0f2a2ce53
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20]
2017-11-30 20:37:02 +01:00
a8ce4f7e32
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19]
2017-11-30 20:10:01 +01:00
3eef3a7b65
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18]
2017-11-30 19:54:07 +01:00
1d73969ee9
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17]
2017-11-30 19:38:06 +01:00
c4c50dff09
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16]
2017-11-30 19:07:30 +01:00
37d3a0bbba
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15]
2017-11-30 18:36:53 +01:00
507f73cd6c
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14]
2017-11-30 18:20:19 +01:00
a6726db178
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13]
2017-11-30 17:54:30 +01:00
5c20c3f185
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12]
2017-11-30 17:38:55 +01:00
69a52436d5
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11]
2017-11-30 17:30:08 +01:00
c1c99d3f67
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10]
2017-11-30 17:29:05 +01:00
4b8fe747e3
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9]
2017-11-30 17:28:06 +01:00
2032546aba
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8]
2017-11-30 17:27:13 +01:00
da779215ff
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7]
2017-11-30 17:26:25 +01:00
71f4a73e89
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]
2017-11-30 17:25:40 +01:00
45c9ed2437
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]
2017-11-30 17:24:55 +01:00
94918a4770
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]
2017-11-30 17:24:16 +01:00
52f264f334
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]
2017-11-30 17:23:31 +01:00
5f97dffa76
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]
2017-11-30 17:22:48 +01:00
7e26e69256
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]
2017-11-30 17:22:10 +01:00
98d1a1ceb3
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 29]
2017-11-30 17:15:59 +01:00
b5d911ea67
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 28]
2017-11-30 17:09:38 +01:00
09a83ff0e2
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 27]
2017-11-30 17:03:31 +01:00
40c1f0ea54
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 26]
2017-11-30 16:57:24 +01:00
3e7cf5de5d
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25]
2017-11-30 16:51:22 +01:00
8f9848766c
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24]
2017-11-30 16:45:15 +01:00
f6573530c8
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23]
2017-11-30 16:39:34 +01:00
ca24d85bd6
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22]
2017-11-30 16:33:38 +01:00
1401d0152d
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21]
2017-11-30 16:27:43 +01:00
89aaf30357
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20]
2017-11-30 16:21:51 +01:00
b955a1b92f
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19]
2017-11-30 16:15:59 +01:00
f599627caf
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18]
2017-11-30 16:10:09 +01:00
27c2c7f8a1
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17]
2017-11-30 16:04:20 +01:00
46b977d35b
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16]
2017-11-30 15:58:32 +01:00
cedd594ba3
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15]
2017-11-30 15:52:56 +01:00
d4b661e475
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14]
2017-11-30 15:47:20 +01:00
a74029aa21
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13]
2017-11-30 15:42:08 +01:00
1ab28dd445
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12]
2017-11-30 15:37:33 +01:00
a7933912b3
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11]
2017-11-30 15:32:38 +01:00
4bf4fba169
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10]
2017-11-30 15:28:31 +01:00
df0115012b
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9]
2017-11-30 15:24:11 +01:00
d50f4aa348
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8]
2017-11-30 15:20:55 +01:00
025bf86f1b
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7]
2017-11-30 15:17:25 +01:00
6bb8813582
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6]
2017-11-30 15:14:25 +01:00
e09902340d
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5]
2017-11-30 15:11:23 +01:00
9ae4abc6ea
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4]
2017-11-30 15:08:35 +01:00
4a2cd3e7de
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3]
2017-11-30 15:05:20 +01:00
14d13cb0ff
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2]
2017-11-30 15:02:49 +01:00
80c6613213
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1]
2017-11-30 14:59:50 +01:00
b394e80f96
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14]
2017-11-30 14:44:15 +01:00
e991221151
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13]
2017-11-30 14:28:15 +01:00
665818c864
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12]
2017-11-30 14:12:30 +01:00
82d4f86d55
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11]
2017-11-30 14:02:02 +01:00
2215be2093
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
2017-11-30 13:46:35 +01:00
ccf35e65f8
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
2017-11-30 13:39:21 +01:00
19ced5829c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]
2017-11-30 13:24:03 +01:00
a8de453799
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]
2017-11-30 13:08:47 +01:00
2de39375ee
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]
2017-11-30 12:53:30 +01:00
86e130e002
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]
2017-11-30 12:38:13 +01:00
e1ef25a354
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55]
2017-11-30 12:22:56 +01:00
540342a650
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54]
2017-11-30 12:07:39 +01:00
9aacdc27cd
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53]
2017-11-30 11:52:23 +01:00
3d46155b99
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52]
2017-11-30 11:37:06 +01:00
7b184afa4c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51]
2017-11-30 11:21:49 +01:00
f89ef94156
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50]
2017-11-30 11:06:32 +01:00
51f08a0883
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49]
2017-11-30 10:51:16 +01:00
d9d4a3b9b0
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48]
2017-11-30 10:35:58 +01:00
b6fe56b96e
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47]
2017-11-30 10:35:08 +01:00
6ebe68793c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46]
2017-11-30 10:19:52 +01:00
2fbb84b796
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45]
2017-11-30 10:04:35 +01:00
fb846c1853
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44]
2017-11-30 09:49:18 +01:00
557d16620e
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43]
2017-11-30 09:34:01 +01:00
ed563c3000
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42]
2017-11-30 09:32:45 +01:00
d482449501
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 41]
2017-11-30 09:29:45 +01:00
f6acb756e4
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40]
2017-11-30 09:14:28 +01:00
5dcfa73bbf
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39]
2017-11-30 08:59:28 +01:00
9f230aea97
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36]
2017-11-30 08:58:15 +01:00
f4714cc078
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14]
2017-11-30 08:54:32 +01:00
cc52708a2f
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7]
2017-11-30 08:51:14 +01:00
448783adf2
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4]
2017-11-30 08:35:58 +01:00
f02d5a1318
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18]
2017-11-29 18:35:27 +01:00
ad56190d53
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14]
2017-11-29 18:33:26 +01:00
583c544ec3
Remove Madagascar results with memouts
...
Madagascar automatically manages its memory consumption in order not to
have memouts. The memouts that were recorded by the benchmark runner are
the result of a difference in comupting memory consumption between the
benchmark runner and Madagascar. For this reason, these results are not
representative for Madagascar, and they will be redone with a softer
memory limit (with an extra margin of 256 MB).
2017-11-29 17:39:39 +01:00
766efcde6a
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 10]
2017-11-29 17:29:38 +01:00
ef3509d9b6
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 9]
2017-11-29 17:13:48 +01:00
7a07ac1a15
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 8]
2017-11-29 16:57:58 +01:00
ff4e3525dc
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 7]
2017-11-29 16:43:00 +01:00
41e2858ace
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 6]
2017-11-29 16:35:49 +01:00
3dc8eef244
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 5]
2017-11-29 16:29:10 +01:00
9a877551d4
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 4]
2017-11-29 16:22:42 +01:00
63a9b0be1d
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 3]
2017-11-29 16:17:50 +01:00
3561d8e75d
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 2]
2017-11-29 16:12:50 +01:00
c18f883fa9
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 1]
2017-11-29 16:09:53 +01:00
41fc7f5f00
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
2017-11-29 15:54:39 +01:00
77c74a222e
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 49]
2017-11-29 15:43:24 +01:00
489e57ffd6
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 48]
2017-11-29 15:35:08 +01:00
eb989f8478
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 47]
2017-11-29 15:19:21 +01:00
c2fdd66b9c
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 46]
2017-11-29 15:15:32 +01:00
a226e389eb
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 45]
2017-11-29 15:12:03 +01:00
2e168198dc
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 44]
2017-11-29 15:09:12 +01:00
eb4b59f0ab
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 43]
2017-11-29 15:06:32 +01:00
