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
0f48d9349c
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 42]
2017-11-29 15:03:38 +01:00
c9defdcce7
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 41]
2017-11-29 15:01:16 +01:00
4a4dfc2931
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 40]
2017-11-29 14:58:57 +01:00
28b40a1ba8
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 39]
2017-11-29 14:56:16 +01:00
f8688c386a
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 38]
2017-11-29 14:54:20 +01:00
9ef3f9dfd8
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 37]
2017-11-29 14:52:22 +01:00
f7c61b6447
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 36]
2017-11-29 14:50:53 +01:00
1ffcaea69d
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 35]
2017-11-29 14:37:36 +01:00
ac3d26508e
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 34]
2017-11-29 14:30:31 +01:00
095e0eb44b
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 33]
2017-11-29 14:25:15 +01:00
0e40f711a5
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 32]
2017-11-29 14:14:56 +01:00
6bd0603257
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 31]
2017-11-29 14:10:23 +01:00
e29674c8c0
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 30]
2017-11-29 14:06:54 +01:00
b13b51cf37
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 29]
2017-11-29 14:03:29 +01:00
218e082837
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 28]
2017-11-29 14:00:25 +01:00
23000f4435
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 27]
2017-11-29 13:57:55 +01:00
5765120abf
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 26]
2017-11-29 13:52:48 +01:00
7a1be5697f
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 25]
2017-11-29 13:50:43 +01:00
a5f44f8dea
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 24]
2017-11-29 13:48:55 +01:00
b010396777
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 23]
2017-11-29 13:47:08 +01:00
82d2e40f37
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 22]
2017-11-29 13:45:42 +01:00
1addad3701
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 21]
2017-11-29 13:44:29 +01:00
dd9759bfcb
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 20]
2017-11-29 13:43:26 +01:00
f3094d1ef6
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 19]
2017-11-29 13:42:41 +01:00
f272f66580
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 18]
2017-11-29 13:41:54 +01:00
e80ee98417
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 17]
2017-11-29 13:41:09 +01:00
340b01ba6c
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 16]
2017-11-29 13:40:23 +01:00
f994c218d4
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 15]
2017-11-29 13:39:43 +01:00
d7bc396ff2
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 14]
2017-11-29 13:38:58 +01:00
7f5d870357
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 13]
2017-11-29 13:38:14 +01:00
024eaae2e8
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 12]
2017-11-29 13:37:36 +01:00
a48c80577e
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 11]
2017-11-29 13:27:16 +01:00
ad44c4ebff
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 10]
2017-11-29 13:20:28 +01:00
379557484d
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 9]
2017-11-29 13:19:47 +01:00
3accc32bfa
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 8]
2017-11-29 13:19:04 +01:00
77924b7108
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 7]
2017-11-29 13:18:20 +01:00
3105e23e75
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 6]
2017-11-29 13:17:42 +01:00
ceed6421b1
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 5]
2017-11-29 13:08:17 +01:00
76f93f863a
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 4]
2017-11-29 13:07:39 +01:00
4d301650a6
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 3]
2017-11-29 13:06:58 +01:00
9b03e48c2a
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 2]
2017-11-29 13:06:16 +01:00
85aee18597
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 1]
2017-11-29 13:05:40 +01:00
ac0f31fbb0
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 20]
2017-11-29 13:03:48 +01:00
f2fb201ce1
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 19]
2017-11-29 13:02:13 +01:00
c939d2a350
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 18]
2017-11-29 13:00:55 +01:00
7b405cbbf7
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 17]
2017-11-29 12:59:43 +01:00
5f1dd6db69
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 16]
2017-11-29 12:58:46 +01:00
dce7b91579
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 15]
2017-11-29 12:57:48 +01:00
4c0a9d740c
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 14]
2017-11-29 12:57:02 +01:00
514435cc10
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 13]
2017-11-29 12:56:19 +01:00
68138462dc
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 12]
2017-11-29 12:55:36 +01:00
dd799fe31f
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 11]
2017-11-29 12:54:58 +01:00
c65ae2c74a
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 10]
2017-11-29 12:54:19 +01:00
f5727b86c6
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 9]
2017-11-29 12:53:41 +01:00
e5627bff73
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 8]
2017-11-29 12:52:59 +01:00
09d40c8467
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 7]
2017-11-29 12:52:18 +01:00
227d48c8a0
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 6]
2017-11-29 12:51:41 +01:00
9eb7ee72f2
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 5]
2017-11-29 12:51:03 +01:00
e520ecd553
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 4]
2017-11-29 12:50:27 +01:00
cc2aec7b8f
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 3]
2017-11-29 12:49:45 +01:00
14f904879f
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 2]
2017-11-29 12:49:03 +01:00
9efa3965a6
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 1]
2017-11-29 12:48:27 +01:00
a1ceeb4b3b
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 20]
2017-11-29 12:46:45 +01:00
62773544e3
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 19]
2017-11-29 12:45:05 +01:00
ad6300814c
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 6]
2017-11-29 12:42:18 +01:00
a84e1939d4
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 3]
2017-11-29 12:40:58 +01:00
fd67428010
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 1]
2017-11-29 12:39:58 +01:00
efcdf0298f
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 22]
2017-11-29 12:38:12 +01:00
6c9b5ee228
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 21]
2017-11-29 12:37:08 +01:00
bebff7e4ae
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 2]
2017-11-29 12:28:11 +01:00
eee355038d
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 1]
2017-11-29 12:27:35 +01:00
73bfaaa095
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
2017-11-29 12:12:01 +01:00
2c73f2e46c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]
2017-11-29 11:55:56 +01:00
374eb028e5
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]
2017-11-29 11:39:50 +01:00
94a3ea35ed
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]
2017-11-29 11:23:39 +01:00
3e85ed76c9
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]
2017-11-29 11:07:26 +01:00
4aab198d81
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55]
2017-11-29 10:51:14 +01:00
ffda1fe351
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54]
2017-11-29 10:35:04 +01:00
52fea9ce02
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53]
2017-11-29 10:18:56 +01:00
896f21e41c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52]
2017-11-29 10:02:52 +01:00
ced2d1b103
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51]
2017-11-29 09:46:45 +01:00
6abfb86b4d
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50]
2017-11-29 09:30:33 +01:00
b4e0304618
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49]
2017-11-29 09:14:24 +01:00
bbab1aff0e
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48]
2017-11-29 08:58:18 +01:00
89485a72fb
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47]
2017-11-29 08:42:12 +01:00
e0f5afc6bc
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46]
2017-11-29 08:26:01 +01:00
ed7c96f150
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45]
2017-11-29 08:09:53 +01:00
9a9c8d4312
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44]
2017-11-29 07:53:49 +01:00
55e8dcc021
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43]
2017-11-29 07:49:37 +01:00
a3409d4e2a
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42]
2017-11-29 07:33:34 +01:00
b5c62b412a
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 41]
2017-11-29 07:17:27 +01:00
888e95ccba
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40]
2017-11-29 07:01:20 +01:00
e287810ece
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39]
2017-11-29 06:45:07 +01:00
21e644de2c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 38]
2017-11-29 06:42:01 +01:00
caafb7414c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 37]
2017-11-29 06:38:45 +01:00
92e7770067
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36]
2017-11-29 06:22:55 +01:00
4d5b5ba75d
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 35]
2017-11-29 06:19:29 +01:00
9e5a6cb67d
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 34]
2017-11-29 06:16:54 +01:00
9dd4efadd7
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 33]
2017-11-29 06:15:11 +01:00
6e9423cfba
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 32]
2017-11-29 06:12:41 +01:00
c35e9c50ea
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 31]
2017-11-29 06:09:33 +01:00
16165df7b2
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 30]
2017-11-29 06:07:21 +01:00
2f893ecfff
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 29]
2017-11-29 06:05:28 +01:00
915c7c5521
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 28]
2017-11-29 06:04:03 +01:00
a444a6bb21
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 27]
2017-11-29 06:02:20 +01:00
2018af1474
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 26]
2017-11-29 06:00:34 +01:00
8ff92b0dee
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 25]
2017-11-29 05:59:10 +01:00
6cdfcaed9e
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 24]
2017-11-29 05:57:47 +01:00
0ed1c93227
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 23]
2017-11-29 05:56:22 +01:00
b8127da9e1
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 22]
2017-11-29 05:55:02 +01:00
030e6c0bd1
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 21]
2017-11-29 05:53:45 +01:00
1d3df0ce09
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 20]
2017-11-29 05:52:31 +01:00
e85ed52b33
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 18]
2017-11-29 05:51:06 +01:00
877b3f9d49
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 17]
2017-11-29 05:50:49 +01:00
79f6badcf9
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 16]
2017-11-29 05:50:32 +01:00
840e9c2afb
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 102]
2017-11-29 05:50:14 +01:00
bc886b9990
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 101]
2017-11-29 05:34:57 +01:00
d7d7849cca
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 100]
2017-11-29 05:19:41 +01:00
2b970651dc
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 99]
2017-11-29 05:04:24 +01:00
b8801fe452
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 98]
2017-11-29 04:49:07 +01:00
530918ce91
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 97]
2017-11-29 04:33:51 +01:00
c52f44635c
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 96]
2017-11-29 04:18:34 +01:00
04fe557c77
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 95]
2017-11-29 04:03:18 +01:00
763d266c8c
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 94]
2017-11-29 03:48:01 +01:00
31db7a19ad
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 93]
2017-11-29 03:32:44 +01:00
2279d87a67
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 92]
2017-11-29 03:17:28 +01:00
e36dc1b31d
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 91]
2017-11-29 03:02:11 +01:00
31eed28164
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 90]
2017-11-29 02:46:55 +01:00
9424e3674d
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 89]
2017-11-29 02:31:38 +01:00
d6007c37c8
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 88]
2017-11-29 02:16:22 +01:00
7285f0abce
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 87]
2017-11-29 02:01:05 +01:00
54dffa66cd
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 86]
2017-11-29 01:45:48 +01:00
35fe98e507
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 85]
2017-11-29 01:30:32 +01:00
e89aa33c6f
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 84]
2017-11-29 01:15:15 +01:00
38765a524a
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 83]
2017-11-29 00:59:58 +01:00
6ea9b68b48
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 82]
2017-11-29 00:44:42 +01:00
383c5072a9
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 81]
2017-11-29 00:29:25 +01:00
a05147ab0f
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 80]
2017-11-29 00:14:08 +01:00
f9db6fe94a
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 79]
2017-11-28 23:58:51 +01:00
f36526b0fa
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 78]
2017-11-28 23:43:34 +01:00
4ed6dd2e4e
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 77]
2017-11-28 23:28:17 +01:00
fad9140ad8
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 76]
2017-11-28 23:13:00 +01:00
96122153ee
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 75]
2017-11-28 22:57:41 +01:00
d9da1148d5
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 74]
2017-11-28 22:42:23 +01:00
957d6a8c97
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 73]
2017-11-28 22:27:05 +01:00
763e69b436
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 72]
2017-11-28 22:11:47 +01:00
a6beb8fbb9
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 71]
2017-11-28 21:56:30 +01:00
f55f6a3d60
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 70]
2017-11-28 21:41:13 +01:00
87da612020
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 69]
2017-11-28 21:25:56 +01:00
c4c5ed2ef0
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 68]
2017-11-28 21:23:02 +01:00
2fb8572f75
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 67]
2017-11-28 21:07:45 +01:00
d3d00b2627
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 66]
2017-11-28 20:52:28 +01:00
8f39274295
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 65]
2017-11-28 20:37:11 +01:00
63f8138d64
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 64]
2017-11-28 20:28:28 +01:00
ce5d03fad5
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 63]
2017-11-28 20:23:14 +01:00
c70bbbe137
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 62]
2017-11-28 20:07:57 +01:00
791ae480db
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 61]
2017-11-28 19:52:41 +01:00
3d673dcad0
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 60]
2017-11-28 19:52:17 +01:00
fca8ec9d53
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 59]
2017-11-28 19:47:41 +01:00
d0b44ab73e
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 58]
2017-11-28 19:47:19 +01:00
fa511c4c4c
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 57]
2017-11-28 19:32:03 +01:00
22bbacd04a
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 56]
2017-11-28 19:16:46 +01:00
90028ba1fa
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 55]
2017-11-28 19:15:38 +01:00
aa1cd1c8c3
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 54]
2017-11-28 19:14:32 +01:00
ad3f7feab0
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 53]
2017-11-28 19:14:09 +01:00
c307077890
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 52]
2017-11-28 19:13:05 +01:00
74b9e09747
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 51]
2017-11-28 19:12:45 +01:00
8a97d8f7fc
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 50]
2017-11-28 19:04:26 +01:00
437a6a31a5
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 49]
2017-11-28 19:04:05 +01:00
bed4b4666d
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 48]
2017-11-28 19:02:54 +01:00
e552506f8e
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 47]
2017-11-28 18:47:37 +01:00
1a77921c3f
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 46]
2017-11-28 18:47:17 +01:00
555f41a926
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 45]
2017-11-28 18:46:58 +01:00
e672138c37
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 44]
2017-11-28 18:45:53 +01:00
8a41eb59af
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 43]
2017-11-28 18:45:34 +01:00
bf921aaa0f
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 10]
2017-11-28 18:45:16 +01:00
8f75a620c7
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 9]
2017-11-28 18:45:00 +01:00
496129d4ea
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 8]
2017-11-28 18:44:45 +01:00
cf55c7f8d2
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 7]
2017-11-28 18:44:28 +01:00
e84cb7d6b8
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 6]
2017-11-28 18:44:12 +01:00
5fd212d2b2
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 5]
2017-11-28 18:43:57 +01:00
c03df1ca25
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 4]
2017-11-28 18:43:41 +01:00
5ee05fcee4
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 3]
2017-11-28 18:43:25 +01:00
27a931c071
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 2]
2017-11-28 18:43:09 +01:00
d930d89523
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 1]
2017-11-28 18:42:53 +01:00
d09c84e224
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 18]
2017-11-28 18:42:38 +01:00
37d9e80b79
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 16]
2017-11-28 18:27:21 +01:00
b5ffd79e6e
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14]
2017-11-28 18:12:05 +01:00
3792728935
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 12]
2017-11-28 18:10:41 +01:00
88da8af89b
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 11]
2017-11-28 17:55:24 +01:00
da3a8e8e3a
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 8]
2017-11-28 17:55:09 +01:00
8f0add990a
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7]
2017-11-28 17:39:52 +01:00
134e32c90b
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 5]
2017-11-28 17:39:34 +01:00
cec5617351
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4]
2017-11-28 17:24:17 +01:00
f737d00c88
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 1]
2017-11-28 17:24:00 +01:00
2cf08884ed
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 20]
2017-11-28 17:23:44 +01:00
e4d2aca361
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 19]
2017-11-28 17:23:15 +01:00
9261dd682d
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18]
2017-11-28 17:22:58 +01:00
7085af7f3f
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 17]
2017-11-28 17:22:16 +01:00
f66c917ebb
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 16]
2017-11-28 17:21:57 +01:00
6ee435bb7a
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 15]
2017-11-28 17:21:41 +01:00
1223e219da
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14]
2017-11-28 17:21:11 +01:00
6d8fa7e4ce
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 13]
2017-11-28 17:20:15 +01:00
bfed6f2105
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 12]
2017-11-28 17:19:49 +01:00
260011ee79
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 11]
2017-11-28 17:19:34 +01:00
a95f5b1acf
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 10]
2017-11-28 17:19:18 +01:00
81ad64966f
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 9]
2017-11-28 17:18:52 +01:00
924049f819
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 8]
2017-11-28 17:18:36 +01:00
2de324fee8
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 7]
2017-11-28 17:18:20 +01:00
7e4cac4de2
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 6]
2017-11-28 17:18:04 +01:00
ce8435f9bb
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 5]
2017-11-28 17:17:44 +01:00
6749617b62
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 4]
2017-11-28 17:17:28 +01:00
40eb59d0e5
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 3]
2017-11-28 17:17:12 +01:00
bc7fcf13f8
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 2]
2017-11-28 17:16:56 +01:00
f8c3fb1d67
Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 1]
2017-11-28 17:16:40 +01:00
c9e03dc254
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 30]
2017-11-28 17:16:24 +01:00
329228a10a
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 29]
2017-11-28 17:16:08 +01:00
67748edb28
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 28]
2017-11-28 17:15:53 +01:00
8a07e9bbc2
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 27]
2017-11-28 17:15:37 +01:00
9d250f7171
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 26]
2017-11-28 17:15:21 +01:00
5b884142be
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 25]
2017-11-28 17:15:05 +01:00
e18eaab43d
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 24]
2017-11-28 17:14:50 +01:00
910aea1cbb
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 23]
2017-11-28 17:14:34 +01:00
e7ef3c6fa4
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 22]
2017-11-28 17:14:18 +01:00
a4e7265a78
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 21]
2017-11-28 17:14:03 +01:00
8836ff0ede
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 20]
2017-11-28 17:13:47 +01:00
cb235f535f
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 19]
2017-11-28 17:13:31 +01:00
01296a7fd2
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 18]
2017-11-28 17:13:16 +01:00
28a2b55692
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 17]
2017-11-28 17:13:00 +01:00
dad188d3ed
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 16]
2017-11-28 17:12:45 +01:00
995f0580be
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 15]
2017-11-28 17:12:28 +01:00
00860fedd4
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 14]
2017-11-28 17:12:13 +01:00
9b53a7412e
Add benchmark result [m-mp | ipc-1998 | movie-round-1-strips | 13]
2017-11-28 17:11:57 +01:00
