Commit Graph

814 Commits

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