Commit Graph

854 Commits

Author SHA1 Message Date
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