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
