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