Last updated on 2020-08-07 01:49:51 CEST.
| Flavor | Version | Tinstall | Tcheck | Ttotal | Status | Flags |
|---|---|---|---|---|---|---|
| r-devel-linux-x86_64-debian-clang | 0.5-1 | 10.80 | 50.49 | 61.29 | OK | |
| r-devel-linux-x86_64-debian-gcc | 0.5-1 | 10.00 | 39.04 | 49.04 | OK | |
| r-devel-linux-x86_64-fedora-clang | 0.5-1 | 85.86 | OK | |||
| r-devel-linux-x86_64-fedora-gcc | 0.5-1 | 77.56 | OK | |||
| r-devel-windows-ix86+x86_64 | 0.5-1 | 30.00 | 94.00 | 124.00 | OK | |
| r-patched-linux-x86_64 | 0.5-1 | 11.85 | 50.26 | 62.11 | OK | |
| r-patched-solaris-x86 | 0.5-1 | 9.00 | ERROR | |||
| r-release-linux-x86_64 | 0.5-1 | 11.26 | 49.09 | 60.35 | OK | |
| r-release-macos-x86_64 | 0.5-1 | OK | ||||
| r-release-windows-ix86+x86_64 | 0.5-1 | 20.00 | 116.00 | 136.00 | OK | |
| r-oldrel-macos-x86_64 | 0.5-1 | NOTE | ||||
| r-oldrel-windows-ix86+x86_64 | 0.5-1 | 28.00 | 122.00 | 150.00 | OK |
Version: 0.5-1
Check: whether package can be installed
Result: ERROR
Installation failed.
Flavor: r-patched-solaris-x86
Version: 0.5-1
Check: re-building of vignette outputs
Result: NOTE
Error(s) in re-building vignettes:
--- re-building ‘lmSubsets.Rnw’ using Sweave
Running benchmark 'bm-01'... <06:48>
(1/375) Run 1: Case 1 [1]... <06:48>
... skipping.
(2/375) Run 2: Case 1 [2]... <06:48>
... skipping.
(3/375) Run 3: Case 1 [3]... <06:48>
... skipping.
(4/375) Run 4: Case 1 [4]... <06:48>
... skipping.
(5/375) Run 5: Case 1 [5]... <06:48>
... skipping.
(6/375) Run 6: Case 2 [1]... <06:48>
... skipping.
(7/375) Run 7: Case 2 [2]... <06:48>
... skipping.
(8/375) Run 8: Case 2 [3]... <06:48>
... skipping.
(9/375) Run 9: Case 2 [4]... <06:48>
... skipping.
(10/375) Run 10: Case 2 [5]... <06:48>
... skipping.
(11/375) Run 11: Case 3 [1]... <06:48>
... skipping.
(12/375) Run 12: Case 3 [2]... <06:48>
... skipping.
(13/375) Run 13: Case 3 [3]... <06:48>
... skipping.
(14/375) Run 14: Case 3 [4]... <06:48>
... skipping.
(15/375) Run 15: Case 3 [5]... <06:48>
... skipping.
(16/375) Run 16: Case 4 [1]... <06:48>
... skipping.
(17/375) Run 17: Case 4 [2]... <06:48>
... skipping.
(18/375) Run 18: Case 4 [3]... <06:48>
... skipping.
(19/375) Run 19: Case 4 [4]... <06:48>
... skipping.
(20/375) Run 20: Case 4 [5]... <06:48>
... skipping.
(21/375) Run 21: Case 5 [1]... <06:48>
... skipping.
(22/375) Run 22: Case 5 [2]... <06:48>
... skipping.
(23/375) Run 23: Case 5 [3]... <06:48>
... skipping.
(24/375) Run 24: Case 5 [4]... <06:48>
... skipping.
(25/375) Run 25: Case 5 [5]... <06:48>
... skipping.
(26/375) Run 26: Case 6 [1]... <06:48>
... skipping.
(27/375) Run 27: Case 6 [2]... <06:48>
... skipping.
(28/375) Run 28: Case 6 [3]... <06:48>
... skipping.
(29/375) Run 29: Case 6 [4]... <06:48>
... skipping.
(30/375) Run 30: Case 6 [5]... <06:48>
... skipping.
(31/375) Run 31: Case 7 [1]... <06:48>
... skipping.
(32/375) Run 32: Case 7 [2]... <06:48>
... skipping.
(33/375) Run 33: Case 7 [3]... <06:48>
... skipping.
(34/375) Run 34: Case 7 [4]... <06:48>
... skipping.
(35/375) Run 35: Case 7 [5]... <06:48>
... skipping.
(36/375) Run 36: Case 8 [1]... <06:48>
... skipping.
(37/375) Run 37: Case 8 [2]... <06:48>
... skipping.
(38/375) Run 38: Case 8 [3]... <06:48>
... skipping.
(39/375) Run 39: Case 8 [4]... <06:48>
... skipping.
(40/375) Run 40: Case 8 [5]... <06:48>
... skipping.
(41/375) Run 41: Case 9 [1]... <06:48>
... skipping.
(42/375) Run 42: Case 9 [2]... <06:48>
... skipping.
(43/375) Run 43: Case 9 [3]... <06:48>
... skipping.
(44/375) Run 44: Case 9 [4]... <06:48>
... skipping.
(45/375) Run 45: Case 9 [5]... <06:48>
... skipping.
(46/375) Run 46: Case 10 [1]... <06:48>
... skipping.
(47/375) Run 47: Case 10 [2]... <06:48>
... skipping.
(48/375) Run 48: Case 10 [3]... <06:48>
... skipping.
(49/375) Run 49: Case 10 [4]... <06:48>
... skipping.
(50/375) Run 50: Case 10 [5]... <06:48>
... skipping.
(51/375) Run 51: Case 11 [1]... <06:48>
... skipping.
(52/375) Run 52: Case 11 [2]... <06:48>
... skipping.
(53/375) Run 53: Case 11 [3]... <06:48>
... skipping.
(54/375) Run 54: Case 11 [4]... <06:48>
... skipping.
(55/375) Run 55: Case 11 [5]... <06:48>
... skipping.
(56/375) Run 56: Case 12 [1]... <06:48>
... skipping.
(57/375) Run 57: Case 12 [2]... <06:48>
... skipping.
(58/375) Run 58: Case 12 [3]... <06:48>
... skipping.
(59/375) Run 59: Case 12 [4]... <06:48>
... skipping.
(60/375) Run 60: Case 12 [5]... <06:48>
... skipping.
(61/375) Run 61: Case 13 [1]... <06:48>
... skipping.
(62/375) Run 62: Case 13 [2]... <06:48>
... skipping.
(63/375) Run 63: Case 13 [3]... <06:48>
... skipping.
(64/375) Run 64: Case 13 [4]... <06:48>
... skipping.
(65/375) Run 65: Case 13 [5]... <06:48>
... skipping.
(66/375) Run 66: Case 14 [1]... <06:48>
... skipping.
(67/375) Run 67: Case 14 [2]... <06:48>
... skipping.
(68/375) Run 68: Case 14 [3]... <06:48>
... skipping.
(69/375) Run 69: Case 14 [4]... <06:48>
... skipping.
(70/375) Run 70: Case 14 [5]... <06:48>
... skipping.
(71/375) Run 71: Case 15 [1]... <06:48>
... skipping.
(72/375) Run 72: Case 15 [2]... <06:48>
... skipping.
(73/375) Run 73: Case 15 [3]... <06:48>
... skipping.
(74/375) Run 74: Case 15 [4]... <06:48>
... skipping.
(75/375) Run 75: Case 15 [5]... <06:48>
... skipping.
(76/375) Run 76: Case 16 [1]... <06:48>
... skipping.
(77/375) Run 77: Case 16 [2]... <06:48>
... skipping.
(78/375) Run 78: Case 16 [3]... <06:48>
... skipping.
(79/375) Run 79: Case 16 [4]... <06:48>
... skipping.
(80/375) Run 80: Case 16 [5]... <06:48>
... skipping.
(81/375) Run 81: Case 17 [1]... <06:48>
... skipping.
(82/375) Run 82: Case 17 [2]... <06:48>
... skipping.
(83/375) Run 83: Case 17 [3]... <06:48>
... skipping.
(84/375) Run 84: Case 17 [4]... <06:48>
... skipping.
(85/375) Run 85: Case 17 [5]... <06:48>
... skipping.
(86/375) Run 86: Case 18 [1]... <06:48>
... skipping.
(87/375) Run 87: Case 18 [2]... <06:48>
... skipping.
(88/375) Run 88: Case 18 [3]... <06:48>
... skipping.
(89/375) Run 89: Case 18 [4]... <06:48>
... skipping.
(90/375) Run 90: Case 18 [5]... <06:48>
... skipping.
(91/375) Run 91: Case 19 [1]... <06:48>
... skipping.
(92/375) Run 92: Case 19 [2]... <06:48>
... skipping.
(93/375) Run 93: Case 19 [3]... <06:48>
... skipping.
(94/375) Run 94: Case 19 [4]... <06:48>
... skipping.
(95/375) Run 95: Case 19 [5]... <06:48>
... skipping.
(96/375) Run 96: Case 20 [1]... <06:48>
... skipping.
(97/375) Run 97: Case 20 [2]... <06:48>
... skipping.
(98/375) Run 98: Case 20 [3]... <06:48>
... skipping.
(99/375) Run 99: Case 20 [4]... <06:48>
... skipping.
(100/375) Run 100: Case 20 [5]... <06:48>
... skipping.
(101/375) Run 101: Case 21 [1]... <06:48>
... skipping.
(102/375) Run 102: Case 21 [2]... <06:48>
... skipping.
(103/375) Run 103: Case 21 [3]... <06:48>
... skipping.
(104/375) Run 104: Case 21 [4]... <06:48>
... skipping.
(105/375) Run 105: Case 21 [5]... <06:48>
... skipping.
(106/375) Run 106: Case 22 [1]... <06:48>
... skipping.
(107/375) Run 107: Case 22 [2]... <06:48>
... skipping.
(108/375) Run 108: Case 22 [3]... <06:48>
... skipping.
(109/375) Run 109: Case 22 [4]... <06:48>
... skipping.
(110/375) Run 110: Case 22 [5]... <06:48>
... skipping.
(111/375) Run 111: Case 23 [1]... <06:48>
... skipping.
(112/375) Run 112: Case 23 [2]... <06:48>
... skipping.
(113/375) Run 113: Case 23 [3]... <06:48>
... skipping.
(114/375) Run 114: Case 23 [4]... <06:48>
... skipping.
(115/375) Run 115: Case 23 [5]... <06:48>
... skipping.
(116/375) Run 116: Case 24 [1]... <06:48>
... skipping.
(117/375) Run 117: Case 24 [2]... <06:48>
... skipping.
(118/375) Run 118: Case 24 [3]... <06:48>
... skipping.
(119/375) Run 119: Case 24 [4]... <06:48>
... skipping.
(120/375) Run 120: Case 24 [5]... <06:48>
... skipping.
(121/375) Run 121: Case 25 [1]... <06:48>
... skipping.
(122/375) Run 122: Case 25 [2]... <06:48>
... skipping.
(123/375) Run 123: Case 25 [3]... <06:48>
... skipping.
(124/375) Run 124: Case 25 [4]... <06:48>
... skipping.
(125/375) Run 125: Case 25 [5]... <06:48>
... skipping.
(126/375) Run 126: Case 26 [1]... <06:48>
... skipping.
(127/375) Run 127: Case 26 [2]... <06:48>
... skipping.
(128/375) Run 128: Case 26 [3]... <06:48>
... skipping.
(129/375) Run 129: Case 26 [4]... <06:48>
... skipping.
(130/375) Run 130: Case 26 [5]... <06:48>
... skipping.
(131/375) Run 131: Case 27 [1]... <06:48>
... skipping.
(132/375) Run 132: Case 27 [2]... <06:48>
... skipping.
(133/375) Run 133: Case 27 [3]... <06:48>
... skipping.
(134/375) Run 134: Case 27 [4]... <06:48>
... skipping.
(135/375) Run 135: Case 27 [5]... <06:48>
... skipping.
(136/375) Run 136: Case 28 [1]... <06:48>
... skipping.
(137/375) Run 137: Case 28 [2]... <06:48>
... skipping.
(138/375) Run 138: Case 28 [3]... <06:48>
... skipping.
(139/375) Run 139: Case 28 [4]... <06:48>
... skipping.
(140/375) Run 140: Case 28 [5]... <06:48>
... skipping.
(141/375) Run 141: Case 29 [1]... <06:48>
... skipping.
(142/375) Run 142: Case 29 [2]... <06:48>
... skipping.
(143/375) Run 143: Case 29 [3]... <06:48>
... skipping.
(144/375) Run 144: Case 29 [4]... <06:48>
... skipping.
(145/375) Run 145: Case 29 [5]... <06:48>
... skipping.
(146/375) Run 146: Case 30 [1]... <06:48>
... skipping.
(147/375) Run 147: Case 30 [2]... <06:48>
... skipping.
(148/375) Run 148: Case 30 [3]... <06:48>
... skipping.
(149/375) Run 149: Case 30 [4]... <06:48>
... skipping.
(150/375) Run 150: Case 30 [5]... <06:48>
... skipping.
(151/375) Run 151: Case 31 [1]... <06:48>
... skipping.
(152/375) Run 152: Case 31 [2]... <06:48>
... skipping.
(153/375) Run 153: Case 31 [3]... <06:48>
... skipping.
(154/375) Run 154: Case 31 [4]... <06:48>
... skipping.
(155/375) Run 155: Case 31 [5]... <06:48>
... skipping.
(156/375) Run 156: Case 32 [1]... <06:48>
... skipping.
(157/375) Run 157: Case 32 [2]... <06:48>
... skipping.
(158/375) Run 158: Case 32 [3]... <06:48>
... skipping.
(159/375) Run 159: Case 32 [4]... <06:48>
... skipping.
(160/375) Run 160: Case 32 [5]... <06:48>
... skipping.
(161/375) Run 161: Case 33 [1]... <06:48>
... skipping.
(162/375) Run 162: Case 33 [2]... <06:48>
... skipping.
(163/375) Run 163: Case 33 [3]... <06:48>
... skipping.
(164/375) Run 164: Case 33 [4]... <06:48>
... skipping.
(165/375) Run 165: Case 33 [5]... <06:48>
... skipping.
(166/375) Run 166: Case 34 [1]... <06:48>
... skipping.
(167/375) Run 167: Case 34 [2]... <06:48>
... skipping.
(168/375) Run 168: Case 34 [3]... <06:48>
... skipping.
(169/375) Run 169: Case 34 [4]... <06:48>
... skipping.
(170/375) Run 170: Case 34 [5]... <06:48>
... skipping.
(171/375) Run 171: Case 35 [1]... <06:48>
... skipping.
(172/375) Run 172: Case 35 [2]... <06:48>
... skipping.
(173/375) Run 173: Case 35 [3]... <06:48>
... skipping.
(174/375) Run 174: Case 35 [4]... <06:48>
... skipping.
(175/375) Run 175: Case 35 [5]... <06:48>
... skipping.
(176/375) Run 176: Case 36 [1]... <06:48>
... skipping.
(177/375) Run 177: Case 36 [2]... <06:48>
... skipping.
(178/375) Run 178: Case 36 [3]... <06:48>
... skipping.
(179/375) Run 179: Case 36 [4]... <06:48>
... skipping.
(180/375) Run 180: Case 36 [5]... <06:48>
... skipping.
(181/375) Run 181: Case 37 [1]... <06:48>
... skipping.
(182/375) Run 182: Case 37 [2]... <06:48>
... skipping.
(183/375) Run 183: Case 37 [3]... <06:48>
... skipping.
(184/375) Run 184: Case 37 [4]... <06:48>
... skipping.
(185/375) Run 185: Case 37 [5]... <06:48>
... skipping.
(186/375) Run 186: Case 38 [1]... <06:48>
... skipping.
(187/375) Run 187: Case 38 [2]... <06:48>
... skipping.
(188/375) Run 188: Case 38 [3]... <06:48>
... skipping.
(189/375) Run 189: Case 38 [4]... <06:48>
... skipping.
(190/375) Run 190: Case 38 [5]... <06:48>
... skipping.
(191/375) Run 191: Case 39 [1]... <06:48>
... skipping.
(192/375) Run 192: Case 39 [2]... <06:48>
... skipping.
(193/375) Run 193: Case 39 [3]... <06:48>
... skipping.
(194/375) Run 194: Case 39 [4]... <06:48>
... skipping.
(195/375) Run 195: Case 39 [5]... <06:48>
... skipping.
(196/375) Run 196: Case 40 [1]... <06:48>
... skipping.
(197/375) Run 197: Case 40 [2]... <06:48>
... skipping.
(198/375) Run 198: Case 40 [3]... <06:48>
... skipping.
(199/375) Run 199: Case 40 [4]... <06:48>
... skipping.
(200/375) Run 200: Case 40 [5]... <06:48>
... skipping.
(201/375) Run 201: Case 41 [1]... <06:48>
... skipping.
(202/375) Run 202: Case 41 [2]... <06:48>
... skipping.
(203/375) Run 203: Case 41 [3]... <06:48>
... skipping.
(204/375) Run 204: Case 41 [4]... <06:48>
... skipping.
(205/375) Run 205: Case 41 [5]... <06:48>
... skipping.
(206/375) Run 206: Case 42 [1]... <06:48>
... skipping.
(207/375) Run 207: Case 42 [2]... <06:48>
... skipping.
(208/375) Run 208: Case 42 [3]... <06:48>
... skipping.
(209/375) Run 209: Case 42 [4]... <06:48>
... skipping.
(210/375) Run 210: Case 42 [5]... <06:48>
... skipping.
(211/375) Run 211: Case 43 [1]... <06:48>
... skipping.
(212/375) Run 212: Case 43 [2]... <06:48>
... skipping.
(213/375) Run 213: Case 43 [3]... <06:48>
... skipping.
(214/375) Run 214: Case 43 [4]... <06:48>
... skipping.
(215/375) Run 215: Case 43 [5]... <06:48>
... skipping.
(216/375) Run 216: Case 44 [1]... <06:48>
... skipping.
(217/375) Run 217: Case 44 [2]... <06:48>
... skipping.
(218/375) Run 218: Case 44 [3]... <06:48>
... skipping.
(219/375) Run 219: Case 44 [4]... <06:48>
... skipping.
(220/375) Run 220: Case 44 [5]... <06:48>
... skipping.
(221/375) Run 221: Case 45 [1]... <06:48>
... skipping.
(222/375) Run 222: Case 45 [2]... <06:48>
... skipping.
(223/375) Run 223: Case 45 [3]... <06:48>
... skipping.
(224/375) Run 224: Case 45 [4]... <06:48>
... skipping.
(225/375) Run 225: Case 45 [5]... <06:48>
... skipping.
(226/375) Run 226: Case 46 [1]... <06:48>
... skipping.
(227/375) Run 227: Case 46 [2]... <06:48>
... skipping.
(228/375) Run 228: Case 46 [3]... <06:48>
... skipping.
(229/375) Run 229: Case 46 [4]... <06:48>
... skipping.
(230/375) Run 230: Case 46 [5]... <06:48>
... skipping.
(231/375) Run 231: Case 47 [1]... <06:48>
... skipping.
(232/375) Run 232: Case 47 [2]... <06:48>
... skipping.
(233/375) Run 233: Case 47 [3]... <06:48>
... skipping.
(234/375) Run 234: Case 47 [4]... <06:48>
... skipping.
(235/375) Run 235: Case 47 [5]... <06:48>
... skipping.
(236/375) Run 236: Case 48 [1]... <06:48>
... skipping.
(237/375) Run 237: Case 48 [2]... <06:48>
... skipping.
(238/375) Run 238: Case 48 [3]... <06:48>
... skipping.
(239/375) Run 239: Case 48 [4]... <06:48>
... skipping.
(240/375) Run 240: Case 48 [5]... <06:48>
... skipping.
(241/375) Run 241: Case 49 [1]... <06:48>
... skipping.
(242/375) Run 242: Case 49 [2]... <06:48>
... skipping.
(243/375) Run 243: Case 49 [3]... <06:48>
... skipping.
(244/375) Run 244: Case 49 [4]... <06:48>
... skipping.
(245/375) Run 245: Case 49 [5]... <06:48>
... skipping.
(246/375) Run 246: Case 50 [1]... <06:48>
... skipping.
(247/375) Run 247: Case 50 [2]... <06:48>
... skipping.
(248/375) Run 248: Case 50 [3]... <06:48>
... skipping.
(249/375) Run 249: Case 50 [4]... <06:48>
... skipping.
(250/375) Run 250: Case 50 [5]... <06:48>
... skipping.
(251/375) Run 251: Case 51 [1]... <06:48>
... skipping.
(252/375) Run 252: Case 51 [2]... <06:48>
... skipping.
(253/375) Run 253: Case 51 [3]... <06:48>
... skipping.
(254/375) Run 254: Case 51 [4]... <06:48>
... skipping.
(255/375) Run 255: Case 51 [5]... <06:48>
... skipping.
(256/375) Run 256: Case 52 [1]... <06:48>
... skipping.
(257/375) Run 257: Case 52 [2]... <06:48>
... skipping.
(258/375) Run 258: Case 52 [3]... <06:48>
... skipping.
(259/375) Run 259: Case 52 [4]... <06:48>
... skipping.
(260/375) Run 260: Case 52 [5]... <06:48>
... skipping.
(261/375) Run 261: Case 53 [1]... <06:48>
... skipping.
(262/375) Run 262: Case 53 [2]... <06:48>
... skipping.
(263/375) Run 263: Case 53 [3]... <06:48>
... skipping.
(264/375) Run 264: Case 53 [4]... <06:48>
... skipping.
(265/375) Run 265: Case 53 [5]... <06:48>
... skipping.
(266/375) Run 266: Case 54 [1]... <06:48>
... skipping.
(267/375) Run 267: Case 54 [2]... <06:48>
... skipping.
(268/375) Run 268: Case 54 [3]... <06:48>
... skipping.
(269/375) Run 269: Case 54 [4]... <06:48>
... skipping.
(270/375) Run 270: Case 54 [5]... <06:48>
... skipping.
(271/375) Run 271: Case 55 [1]... <06:48>
... skipping.
(272/375) Run 272: Case 55 [2]... <06:48>
... skipping.
(273/375) Run 273: Case 55 [3]... <06:48>
... skipping.
(274/375) Run 274: Case 55 [4]... <06:48>
... skipping.
(275/375) Run 275: Case 55 [5]... <06:48>
... skipping.
(276/375) Run 276: Case 56 [1]... <06:48>
... skipping.
(277/375) Run 277: Case 56 [2]... <06:48>
... skipping.
(278/375) Run 278: Case 56 [3]... <06:48>
... skipping.
(279/375) Run 279: Case 56 [4]... <06:48>
... skipping.
(280/375) Run 280: Case 56 [5]... <06:48>
... skipping.
(281/375) Run 281: Case 57 [1]... <06:48>
... skipping.
(282/375) Run 282: Case 57 [2]... <06:48>
... skipping.
(283/375) Run 283: Case 57 [3]... <06:48>
... skipping.
(284/375) Run 284: Case 57 [4]... <06:48>
... skipping.
(285/375) Run 285: Case 57 [5]... <06:48>
... skipping.
(286/375) Run 286: Case 58 [1]... <06:48>
... skipping.
(287/375) Run 287: Case 58 [2]... <06:48>
... skipping.
(288/375) Run 288: Case 58 [3]... <06:48>
... skipping.
(289/375) Run 289: Case 58 [4]... <06:48>
... skipping.
(290/375) Run 290: Case 58 [5]... <06:48>
... skipping.
(291/375) Run 291: Case 59 [1]... <06:48>
... skipping.
(292/375) Run 292: Case 59 [2]... <06:48>
... skipping.
(293/375) Run 293: Case 59 [3]... <06:48>
... skipping.
(294/375) Run 294: Case 59 [4]... <06:48>
... skipping.
(295/375) Run 295: Case 59 [5]... <06:48>
... skipping.
(296/375) Run 296: Case 60 [1]... <06:48>
... skipping.
(297/375) Run 297: Case 60 [2]... <06:48>
... skipping.
(298/375) Run 298: Case 60 [3]... <06:48>
... skipping.
(299/375) Run 299: Case 60 [4]... <06:48>
... skipping.
(300/375) Run 300: Case 60 [5]... <06:48>
... skipping.
(301/375) Run 301: Case 61 [1]... <06:48>
... skipping.
(302/375) Run 302: Case 61 [2]... <06:48>
... skipping.
(303/375) Run 303: Case 61 [3]... <06:48>
... skipping.
(304/375) Run 304: Case 61 [4]... <06:48>
... skipping.
(305/375) Run 305: Case 61 [5]... <06:48>
... skipping.
(306/375) Run 306: Case 62 [1]... <06:48>
... skipping.
(307/375) Run 307: Case 62 [2]... <06:48>
... skipping.
(308/375) Run 308: Case 62 [3]... <06:48>
... skipping.
(309/375) Run 309: Case 62 [4]... <06:48>
... skipping.
(310/375) Run 310: Case 62 [5]... <06:48>
... skipping.
(311/375) Run 311: Case 63 [1]... <06:48>
... skipping.
(312/375) Run 312: Case 63 [2]... <06:48>
... skipping.
(313/375) Run 313: Case 63 [3]... <06:48>
... skipping.
(314/375) Run 314: Case 63 [4]... <06:48>
... skipping.
(315/375) Run 315: Case 63 [5]... <06:48>
... skipping.
(316/375) Run 316: Case 64 [1]... <06:48>
... skipping.
(317/375) Run 317: Case 64 [2]... <06:48>
... skipping.
(318/375) Run 318: Case 64 [3]... <06:48>
... skipping.
(319/375) Run 319: Case 64 [4]... <06:48>
... skipping.
(320/375) Run 320: Case 64 [5]... <06:48>
... skipping.
(321/375) Run 321: Case 65 [1]... <06:48>
... skipping.
(322/375) Run 322: Case 65 [2]... <06:48>
... skipping.
(323/375) Run 323: Case 65 [3]... <06:48>
... skipping.
(324/375) Run 324: Case 65 [4]... <06:48>
... skipping.
(325/375) Run 325: Case 65 [5]... <06:48>
... skipping.
(326/375) Run 326: Case 66 [1]... <06:48>
... skipping.
(327/375) Run 327: Case 66 [2]... <06:48>
... skipping.
(328/375) Run 328: Case 66 [3]... <06:48>
... skipping.
(329/375) Run 329: Case 66 [4]... <06:48>
... skipping.
(330/375) Run 330: Case 66 [5]... <06:48>
... skipping.
(331/375) Run 331: Case 67 [1]... <06:48>
... skipping.
(332/375) Run 332: Case 67 [2]... <06:48>
... skipping.
(333/375) Run 333: Case 67 [3]... <06:48>
... skipping.
(334/375) Run 334: Case 67 [4]... <06:48>
... skipping.
(335/375) Run 335: Case 67 [5]... <06:48>
... skipping.
(336/375) Run 336: Case 68 [1]... <06:48>
... skipping.
(337/375) Run 337: Case 68 [2]... <06:48>
... skipping.
(338/375) Run 338: Case 68 [3]... <06:48>
... skipping.
(339/375) Run 339: Case 68 [4]... <06:48>
... skipping.
(340/375) Run 340: Case 68 [5]... <06:48>
... skipping.
(341/375) Run 341: Case 69 [1]... <06:48>
... skipping.
(342/375) Run 342: Case 69 [2]... <06:48>
... skipping.
(343/375) Run 343: Case 69 [3]... <06:48>
... skipping.
(344/375) Run 344: Case 69 [4]... <06:48>
... skipping.
(345/375) Run 345: Case 69 [5]... <06:48>
... skipping.
(346/375) Run 346: Case 70 [1]... <06:48>
... skipping.
(347/375) Run 347: Case 70 [2]... <06:48>
... skipping.
(348/375) Run 348: Case 70 [3]... <06:48>
... skipping.
(349/375) Run 349: Case 70 [4]... <06:48>
... skipping.
(350/375) Run 350: Case 70 [5]... <06:48>
... skipping.
(351/375) Run 351: Case 71 [1]... <06:48>
... skipping.
(352/375) Run 352: Case 71 [2]... <06:48>
... skipping.
(353/375) Run 353: Case 71 [3]... <06:48>
... skipping.
(354/375) Run 354: Case 71 [4]... <06:48>
... skipping.
(355/375) Run 355: Case 71 [5]... <06:48>
... skipping.
(356/375) Run 356: Case 72 [1]... <06:48>
... skipping.
(357/375) Run 357: Case 72 [2]... <06:48>
... skipping.
(358/375) Run 358: Case 72 [3]... <06:48>
... skipping.
(359/375) Run 359: Case 72 [4]... <06:48>
... skipping.
(360/375) Run 360: Case 72 [5]... <06:48>
... skipping.
(361/375) Run 361: Case 73 [1]... <06:48>
... skipping.
(362/375) Run 362: Case 73 [2]... <06:48>
... skipping.
(363/375) Run 363: Case 73 [3]... <06:48>
... skipping.
(364/375) Run 364: Case 73 [4]... <06:48>
... skipping.
(365/375) Run 365: Case 73 [5]... <06:48>
... skipping.
(366/375) Run 366: Case 74 [1]... <06:48>
... skipping.
(367/375) Run 367: Case 74 [2]... <06:48>
... skipping.
(368/375) Run 368: Case 74 [3]... <06:48>
... skipping.
(369/375) Run 369: Case 74 [4]... <06:48>
... skipping.
(370/375) Run 370: Case 74 [5]... <06:48>
... skipping.
(371/375) Run 371: Case 75 [1]... <06:48>
... skipping.
(372/375) Run 372: Case 75 [2]... <06:48>
... skipping.
(373/375) Run 373: Case 75 [3]... <06:48>
... skipping.
(374/375) Run 374: Case 75 [4]... <06:48>
... skipping.
(375/375) Run 375: Case 75 [5]... <06:48>
... skipping.
... done. (benchmark 'bm-01') <06:48>
Running benchmark 'bm-02'... <06:48>
(1/750) Run 1: Case 1 [1]... <06:48>
... skipping.
(2/750) Run 2: Case 1 [2]... <06:48>
... skipping.
(3/750) Run 3: Case 1 [3]... <06:48>
... skipping.
(4/750) Run 4: Case 1 [4]... <06:48>
... skipping.
(5/750) Run 5: Case 1 [5]... <06:48>
... skipping.
(6/750) Run 6: Case 2 [1]... <06:48>
... skipping.
(7/750) Run 7: Case 2 [2]... <06:48>
... skipping.
(8/750) Run 8: Case 2 [3]... <06:48>
... skipping.
(9/750) Run 9: Case 2 [4]... <06:48>
... skipping.
(10/750) Run 10: Case 2 [5]... <06:48>
... skipping.
(11/750) Run 11: Case 3 [1]... <06:48>
... skipping.
(12/750) Run 12: Case 3 [2]... <06:48>
... skipping.
(13/750) Run 13: Case 3 [3]... <06:48>
... skipping.
(14/750) Run 14: Case 3 [4]... <06:48>
... skipping.
(15/750) Run 15: Case 3 [5]... <06:48>
... skipping.
(16/750) Run 16: Case 4 [1]... <06:48>
... skipping.
(17/750) Run 17: Case 4 [2]... <06:48>
... skipping.
(18/750) Run 18: Case 4 [3]... <06:48>
... skipping.
(19/750) Run 19: Case 4 [4]... <06:48>
... skipping.
(20/750) Run 20: Case 4 [5]... <06:48>
... skipping.
(21/750) Run 21: Case 5 [1]... <06:48>
... skipping.
(22/750) Run 22: Case 5 [2]... <06:48>
... skipping.
(23/750) Run 23: Case 5 [3]... <06:48>
... skipping.
(24/750) Run 24: Case 5 [4]... <06:48>
... skipping.
(25/750) Run 25: Case 5 [5]... <06:48>
... skipping.
(26/750) Run 26: Case 6 [1]... <06:48>
... skipping.
(27/750) Run 27: Case 6 [2]... <06:48>
... skipping.
(28/750) Run 28: Case 6 [3]... <06:48>
... skipping.
(29/750) Run 29: Case 6 [4]... <06:48>
... skipping.
(30/750) Run 30: Case 6 [5]... <06:48>
... skipping.
(31/750) Run 31: Case 7 [1]... <06:48>
... skipping.
(32/750) Run 32: Case 7 [2]... <06:48>
... skipping.
(33/750) Run 33: Case 7 [3]... <06:48>
... skipping.
(34/750) Run 34: Case 7 [4]... <06:48>
... skipping.
(35/750) Run 35: Case 7 [5]... <06:48>
... skipping.
(36/750) Run 36: Case 8 [1]... <06:48>
... skipping.
(37/750) Run 37: Case 8 [2]... <06:48>
... skipping.
(38/750) Run 38: Case 8 [3]... <06:48>
... skipping.
(39/750) Run 39: Case 8 [4]... <06:48>
... skipping.
(40/750) Run 40: Case 8 [5]... <06:48>
... skipping.
(41/750) Run 41: Case 9 [1]... <06:48>
... skipping.
(42/750) Run 42: Case 9 [2]... <06:48>
... skipping.
(43/750) Run 43: Case 9 [3]... <06:48>
... skipping.
(44/750) Run 44: Case 9 [4]... <06:48>
... skipping.
(45/750) Run 45: Case 9 [5]... <06:48>
... skipping.
(46/750) Run 46: Case 10 [1]... <06:48>
... skipping.
(47/750) Run 47: Case 10 [2]... <06:48>
... skipping.
(48/750) Run 48: Case 10 [3]... <06:48>
... skipping.
(49/750) Run 49: Case 10 [4]... <06:48>
... skipping.
(50/750) Run 50: Case 10 [5]... <06:48>
... skipping.
(51/750) Run 51: Case 11 [1]... <06:48>
... skipping.
(52/750) Run 52: Case 11 [2]... <06:48>
... skipping.
(53/750) Run 53: Case 11 [3]... <06:48>
... skipping.
(54/750) Run 54: Case 11 [4]... <06:48>
... skipping.
(55/750) Run 55: Case 11 [5]... <06:48>
... skipping.
(56/750) Run 56: Case 12 [1]... <06:48>
... skipping.
(57/750) Run 57: Case 12 [2]... <06:48>
... skipping.
(58/750) Run 58: Case 12 [3]... <06:48>
... skipping.
(59/750) Run 59: Case 12 [4]... <06:48>
... skipping.
(60/750) Run 60: Case 12 [5]... <06:48>
... skipping.
(61/750) Run 61: Case 13 [1]... <06:48>
... skipping.
(62/750) Run 62: Case 13 [2]... <06:48>
... skipping.
(63/750) Run 63: Case 13 [3]... <06:48>
... skipping.
(64/750) Run 64: Case 13 [4]... <06:48>
... skipping.
(65/750) Run 65: Case 13 [5]... <06:48>
... skipping.
(66/750) Run 66: Case 14 [1]... <06:48>
... skipping.
(67/750) Run 67: Case 14 [2]... <06:48>
... skipping.
(68/750) Run 68: Case 14 [3]... <06:48>
... skipping.
(69/750) Run 69: Case 14 [4]... <06:48>
... skipping.
(70/750) Run 70: Case 14 [5]... <06:48>
... skipping.
(71/750) Run 71: Case 15 [1]... <06:48>
... skipping.
(72/750) Run 72: Case 15 [2]... <06:48>
... skipping.
(73/750) Run 73: Case 15 [3]... <06:48>
... skipping.
(74/750) Run 74: Case 15 [4]... <06:48>
... skipping.
(75/750) Run 75: Case 15 [5]... <06:48>
... skipping.
(76/750) Run 76: Case 16 [1]... <06:48>
... skipping.
(77/750) Run 77: Case 16 [2]... <06:48>
... skipping.
(78/750) Run 78: Case 16 [3]... <06:48>
... skipping.
(79/750) Run 79: Case 16 [4]... <06:48>
... skipping.
(80/750) Run 80: Case 16 [5]... <06:48>
... skipping.
(81/750) Run 81: Case 17 [1]... <06:48>
... skipping.
(82/750) Run 82: Case 17 [2]... <06:48>
... skipping.
(83/750) Run 83: Case 17 [3]... <06:48>
... skipping.
(84/750) Run 84: Case 17 [4]... <06:48>
... skipping.
(85/750) Run 85: Case 17 [5]... <06:48>
... skipping.
(86/750) Run 86: Case 18 [1]... <06:48>
... skipping.
(87/750) Run 87: Case 18 [2]... <06:48>
... skipping.
(88/750) Run 88: Case 18 [3]... <06:48>
... skipping.
(89/750) Run 89: Case 18 [4]... <06:48>
... skipping.
(90/750) Run 90: Case 18 [5]... <06:48>
... skipping.
(91/750) Run 91: Case 19 [1]... <06:48>
... skipping.
(92/750) Run 92: Case 19 [2]... <06:48>
... skipping.
(93/750) Run 93: Case 19 [3]... <06:48>
... skipping.
(94/750) Run 94: Case 19 [4]... <06:48>
... skipping.
(95/750) Run 95: Case 19 [5]... <06:48>
... skipping.
(96/750) Run 96: Case 20 [1]... <06:48>
... skipping.
(97/750) Run 97: Case 20 [2]... <06:48>
... skipping.
(98/750) Run 98: Case 20 [3]... <06:48>
... skipping.
(99/750) Run 99: Case 20 [4]... <06:48>
... skipping.
(100/750) Run 100: Case 20 [5]... <06:48>
... skipping.
(101/750) Run 101: Case 21 [1]... <06:48>
... skipping.
(102/750) Run 102: Case 21 [2]... <06:48>
... skipping.
(103/750) Run 103: Case 21 [3]... <06:48>
... skipping.
(104/750) Run 104: Case 21 [4]... <06:48>
... skipping.
(105/750) Run 105: Case 21 [5]... <06:48>
... skipping.
(106/750) Run 106: Case 22 [1]... <06:48>
... skipping.
(107/750) Run 107: Case 22 [2]... <06:48>
... skipping.
(108/750) Run 108: Case 22 [3]... <06:48>
... skipping.
(109/750) Run 109: Case 22 [4]... <06:48>
... skipping.
(110/750) Run 110: Case 22 [5]... <06:48>
... skipping.
(111/750) Run 111: Case 23 [1]... <06:48>
... skipping.
(112/750) Run 112: Case 23 [2]... <06:48>
... skipping.
(113/750) Run 113: Case 23 [3]... <06:48>
... skipping.
(114/750) Run 114: Case 23 [4]... <06:48>
... skipping.
(115/750) Run 115: Case 23 [5]... <06:48>
... skipping.
(116/750) Run 116: Case 24 [1]... <06:48>
... skipping.
(117/750) Run 117: Case 24 [2]... <06:48>
... skipping.
(118/750) Run 118: Case 24 [3]... <06:48>
... skipping.
(119/750) Run 119: Case 24 [4]... <06:48>
... skipping.
(120/750) Run 120: Case 24 [5]... <06:48>
... skipping.
(121/750) Run 121: Case 25 [1]... <06:48>
... skipping.
(122/750) Run 122: Case 25 [2]... <06:48>
... skipping.
(123/750) Run 123: Case 25 [3]... <06:48>
... skipping.
(124/750) Run 124: Case 25 [4]... <06:48>
... skipping.
(125/750) Run 125: Case 25 [5]... <06:48>
... skipping.
(126/750) Run 126: Case 26 [1]... <06:48>
... skipping.
(127/750) Run 127: Case 26 [2]... <06:48>
... skipping.
(128/750) Run 128: Case 26 [3]... <06:48>
... skipping.
(129/750) Run 129: Case 26 [4]... <06:48>
... skipping.
(130/750) Run 130: Case 26 [5]... <06:48>
... skipping.
(131/750) Run 131: Case 27 [1]... <06:48>
... skipping.
(132/750) Run 132: Case 27 [2]... <06:48>
... skipping.
(133/750) Run 133: Case 27 [3]... <06:48>
... skipping.
(134/750) Run 134: Case 27 [4]... <06:48>
... skipping.
(135/750) Run 135: Case 27 [5]... <06:48>
... skipping.
(136/750) Run 136: Case 28 [1]... <06:48>
... skipping.
(137/750) Run 137: Case 28 [2]... <06:48>
... skipping.
(138/750) Run 138: Case 28 [3]... <06:48>
... skipping.
(139/750) Run 139: Case 28 [4]... <06:48>
... skipping.
(140/750) Run 140: Case 28 [5]... <06:48>
... skipping.
(141/750) Run 141: Case 29 [1]... <06:48>
... skipping.
(142/750) Run 142: Case 29 [2]... <06:48>
... skipping.
(143/750) Run 143: Case 29 [3]... <06:48>
... skipping.
(144/750) Run 144: Case 29 [4]... <06:48>
... skipping.
(145/750) Run 145: Case 29 [5]... <06:48>
... skipping.
(146/750) Run 146: Case 30 [1]... <06:48>
... skipping.
(147/750) Run 147: Case 30 [2]... <06:48>
... skipping.
(148/750) Run 148: Case 30 [3]... <06:48>
... skipping.
(149/750) Run 149: Case 30 [4]... <06:48>
... skipping.
(150/750) Run 150: Case 30 [5]... <06:48>
... skipping.
(151/750) Run 151: Case 31 [1]... <06:48>
... skipping.
(152/750) Run 152: Case 31 [2]... <06:48>
... skipping.
(153/750) Run 153: Case 31 [3]... <06:48>
... skipping.
(154/750) Run 154: Case 31 [4]... <06:48>
... skipping.
(155/750) Run 155: Case 31 [5]... <06:48>
... skipping.
(156/750) Run 156: Case 32 [1]... <06:48>
... skipping.
(157/750) Run 157: Case 32 [2]... <06:48>
... skipping.
(158/750) Run 158: Case 32 [3]... <06:48>
... skipping.
(159/750) Run 159: Case 32 [4]... <06:48>
... skipping.
(160/750) Run 160: Case 32 [5]... <06:48>
... skipping.
(161/750) Run 161: Case 33 [1]... <06:48>
... skipping.
(162/750) Run 162: Case 33 [2]... <06:48>
... skipping.
(163/750) Run 163: Case 33 [3]... <06:48>
... skipping.
(164/750) Run 164: Case 33 [4]... <06:48>
... skipping.
(165/750) Run 165: Case 33 [5]... <06:48>
... skipping.
(166/750) Run 166: Case 34 [1]... <06:48>
... skipping.
(167/750) Run 167: Case 34 [2]... <06:48>
... skipping.
(168/750) Run 168: Case 34 [3]... <06:48>
... skipping.
(169/750) Run 169: Case 34 [4]... <06:48>
... skipping.
(170/750) Run 170: Case 34 [5]... <06:48>
... skipping.
(171/750) Run 171: Case 35 [1]... <06:48>
... skipping.
(172/750) Run 172: Case 35 [2]... <06:48>
... skipping.
(173/750) Run 173: Case 35 [3]... <06:48>
... skipping.
(174/750) Run 174: Case 35 [4]... <06:48>
... skipping.
(175/750) Run 175: Case 35 [5]... <06:48>
... skipping.
(176/750) Run 176: Case 36 [1]... <06:48>
... skipping.
(177/750) Run 177: Case 36 [2]... <06:48>
... skipping.
(178/750) Run 178: Case 36 [3]... <06:48>
... skipping.
(179/750) Run 179: Case 36 [4]... <06:48>
... skipping.
(180/750) Run 180: Case 36 [5]... <06:48>
... skipping.
(181/750) Run 181: Case 37 [1]... <06:48>
... skipping.
(182/750) Run 182: Case 37 [2]... <06:48>
... skipping.
(183/750) Run 183: Case 37 [3]... <06:48>
... skipping.
(184/750) Run 184: Case 37 [4]... <06:48>
... skipping.
(185/750) Run 185: Case 37 [5]... <06:48>
... skipping.
(186/750) Run 186: Case 38 [1]... <06:48>
... skipping.
(187/750) Run 187: Case 38 [2]... <06:48>
... skipping.
(188/750) Run 188: Case 38 [3]... <06:48>
... skipping.
(189/750) Run 189: Case 38 [4]... <06:48>
... skipping.
(190/750) Run 190: Case 38 [5]... <06:48>
... skipping.
(191/750) Run 191: Case 39 [1]... <06:48>
... skipping.
(192/750) Run 192: Case 39 [2]... <06:48>
... skipping.
(193/750) Run 193: Case 39 [3]... <06:48>
... skipping.
(194/750) Run 194: Case 39 [4]... <06:48>
... skipping.
(195/750) Run 195: Case 39 [5]... <06:48>
... skipping.
(196/750) Run 196: Case 40 [1]... <06:48>
... skipping.
(197/750) Run 197: Case 40 [2]... <06:48>
... skipping.
(198/750) Run 198: Case 40 [3]... <06:48>
... skipping.
(199/750) Run 199: Case 40 [4]... <06:48>
... skipping.
(200/750) Run 200: Case 40 [5]... <06:48>
... skipping.
(201/750) Run 201: Case 41 [1]... <06:48>
... skipping.
(202/750) Run 202: Case 41 [2]... <06:48>
... skipping.
(203/750) Run 203: Case 41 [3]... <06:48>
... skipping.
(204/750) Run 204: Case 41 [4]... <06:48>
... skipping.
(205/750) Run 205: Case 41 [5]... <06:48>
... skipping.
(206/750) Run 206: Case 42 [1]... <06:48>
... skipping.
(207/750) Run 207: Case 42 [2]... <06:48>
... skipping.
(208/750) Run 208: Case 42 [3]... <06:48>
... skipping.
(209/750) Run 209: Case 42 [4]... <06:48>
... skipping.
(210/750) Run 210: Case 42 [5]... <06:48>
... skipping.
(211/750) Run 211: Case 43 [1]... <06:48>
... skipping.
(212/750) Run 212: Case 43 [2]... <06:48>
... skipping.
(213/750) Run 213: Case 43 [3]... <06:48>
... skipping.
(214/750) Run 214: Case 43 [4]... <06:48>
... skipping.
(215/750) Run 215: Case 43 [5]... <06:48>
... skipping.
(216/750) Run 216: Case 44 [1]... <06:48>
... skipping.
(217/750) Run 217: Case 44 [2]... <06:48>
... skipping.
(218/750) Run 218: Case 44 [3]... <06:48>
... skipping.
(219/750) Run 219: Case 44 [4]... <06:48>
... skipping.
(220/750) Run 220: Case 44 [5]... <06:48>
... skipping.
(221/750) Run 221: Case 45 [1]... <06:48>
... skipping.
(222/750) Run 222: Case 45 [2]... <06:48>
... skipping.
(223/750) Run 223: Case 45 [3]... <06:48>
... skipping.
(224/750) Run 224: Case 45 [4]... <06:48>
... skipping.
(225/750) Run 225: Case 45 [5]... <06:48>
... skipping.
(226/750) Run 226: Case 46 [1]... <06:48>
... skipping.
(227/750) Run 227: Case 46 [2]... <06:48>
... skipping.
(228/750) Run 228: Case 46 [3]... <06:48>
... skipping.
(229/750) Run 229: Case 46 [4]... <06:48>
... skipping.
(230/750) Run 230: Case 46 [5]... <06:48>
... skipping.
(231/750) Run 231: Case 47 [1]... <06:48>
... skipping.
(232/750) Run 232: Case 47 [2]... <06:48>
... skipping.
(233/750) Run 233: Case 47 [3]... <06:48>
... skipping.
(234/750) Run 234: Case 47 [4]... <06:48>
... skipping.
(235/750) Run 235: Case 47 [5]... <06:48>
... skipping.
(236/750) Run 236: Case 48 [1]... <06:48>
... skipping.
(237/750) Run 237: Case 48 [2]... <06:48>
... skipping.
(238/750) Run 238: Case 48 [3]... <06:48>
... skipping.
(239/750) Run 239: Case 48 [4]... <06:48>
... skipping.
(240/750) Run 240: Case 48 [5]... <06:48>
... skipping.
(241/750) Run 241: Case 49 [1]... <06:48>
... skipping.
(242/750) Run 242: Case 49 [2]... <06:48>
... skipping.
(243/750) Run 243: Case 49 [3]... <06:48>
... skipping.
(244/750) Run 244: Case 49 [4]... <06:48>
... skipping.
(245/750) Run 245: Case 49 [5]... <06:48>
... skipping.
(246/750) Run 246: Case 50 [1]... <06:48>
... skipping.
(247/750) Run 247: Case 50 [2]... <06:48>
... skipping.
(248/750) Run 248: Case 50 [3]... <06:48>
... skipping.
(249/750) Run 249: Case 50 [4]... <06:48>
... skipping.
(250/750) Run 250: Case 50 [5]... <06:48>
... skipping.
(251/750) Run 251: Case 51 [1]... <06:48>
... skipping.
(252/750) Run 252: Case 51 [2]... <06:48>
... skipping.
(253/750) Run 253: Case 51 [3]... <06:48>
... skipping.
(254/750) Run 254: Case 51 [4]... <06:48>
... skipping.
(255/750) Run 255: Case 51 [5]... <06:48>
... skipping.
(256/750) Run 256: Case 52 [1]... <06:48>
... skipping.
(257/750) Run 257: Case 52 [2]... <06:48>
... skipping.
(258/750) Run 258: Case 52 [3]... <06:48>
... skipping.
(259/750) Run 259: Case 52 [4]... <06:48>
... skipping.
(260/750) Run 260: Case 52 [5]... <06:48>
... skipping.
(261/750) Run 261: Case 53 [1]... <06:48>
... skipping.
(262/750) Run 262: Case 53 [2]... <06:48>
... skipping.
(263/750) Run 263: Case 53 [3]... <06:48>
... skipping.
(264/750) Run 264: Case 53 [4]... <06:48>
... skipping.
(265/750) Run 265: Case 53 [5]... <06:48>
... skipping.
(266/750) Run 266: Case 54 [1]... <06:48>
... skipping.
(267/750) Run 267: Case 54 [2]... <06:48>
... skipping.
(268/750) Run 268: Case 54 [3]... <06:48>
... skipping.
(269/750) Run 269: Case 54 [4]... <06:48>
... skipping.
(270/750) Run 270: Case 54 [5]... <06:48>
... skipping.
(271/750) Run 271: Case 55 [1]... <06:48>
... skipping.
(272/750) Run 272: Case 55 [2]... <06:48>
... skipping.
(273/750) Run 273: Case 55 [3]... <06:48>
... skipping.
(274/750) Run 274: Case 55 [4]... <06:48>
... skipping.
(275/750) Run 275: Case 55 [5]... <06:48>
... skipping.
(276/750) Run 276: Case 56 [1]... <06:48>
... skipping.
(277/750) Run 277: Case 56 [2]... <06:48>
... skipping.
(278/750) Run 278: Case 56 [3]... <06:48>
... skipping.
(279/750) Run 279: Case 56 [4]... <06:48>
... skipping.
(280/750) Run 280: Case 56 [5]... <06:48>
... skipping.
(281/750) Run 281: Case 57 [1]... <06:48>
... skipping.
(282/750) Run 282: Case 57 [2]... <06:48>
... skipping.
(283/750) Run 283: Case 57 [3]... <06:48>
... skipping.
(284/750) Run 284: Case 57 [4]... <06:48>
... skipping.
(285/750) Run 285: Case 57 [5]... <06:48>
... skipping.
(286/750) Run 286: Case 58 [1]... <06:48>
... skipping.
(287/750) Run 287: Case 58 [2]... <06:48>
... skipping.
(288/750) Run 288: Case 58 [3]... <06:48>
... skipping.
(289/750) Run 289: Case 58 [4]... <06:48>
... skipping.
(290/750) Run 290: Case 58 [5]... <06:48>
... skipping.
(291/750) Run 291: Case 59 [1]... <06:48>
... skipping.
(292/750) Run 292: Case 59 [2]... <06:48>
... skipping.
(293/750) Run 293: Case 59 [3]... <06:48>
... skipping.
(294/750) Run 294: Case 59 [4]... <06:48>
... skipping.
(295/750) Run 295: Case 59 [5]... <06:48>
... skipping.
(296/750) Run 296: Case 60 [1]... <06:48>
... skipping.
(297/750) Run 297: Case 60 [2]... <06:48>
... skipping.
(298/750) Run 298: Case 60 [3]... <06:48>
... skipping.
(299/750) Run 299: Case 60 [4]... <06:48>
... skipping.
(300/750) Run 300: Case 60 [5]... <06:48>
... skipping.
(301/750) Run 301: Case 61 [1]... <06:48>
... skipping.
(302/750) Run 302: Case 61 [2]... <06:48>
... skipping.
(303/750) Run 303: Case 61 [3]... <06:48>
... skipping.
(304/750) Run 304: Case 61 [4]... <06:48>
... skipping.
(305/750) Run 305: Case 61 [5]... <06:48>
... skipping.
(306/750) Run 306: Case 62 [1]... <06:48>
... skipping.
(307/750) Run 307: Case 62 [2]... <06:48>
... skipping.
(308/750) Run 308: Case 62 [3]... <06:48>
... skipping.
(309/750) Run 309: Case 62 [4]... <06:48>
... skipping.
(310/750) Run 310: Case 62 [5]... <06:48>
... skipping.
(311/750) Run 311: Case 63 [1]... <06:48>
... skipping.
(312/750) Run 312: Case 63 [2]... <06:48>
... skipping.
(313/750) Run 313: Case 63 [3]... <06:48>
... skipping.
(314/750) Run 314: Case 63 [4]... <06:48>
... skipping.
(315/750) Run 315: Case 63 [5]... <06:48>
... skipping.
(316/750) Run 316: Case 64 [1]... <06:48>
... skipping.
(317/750) Run 317: Case 64 [2]... <06:48>
... skipping.
(318/750) Run 318: Case 64 [3]... <06:48>
... skipping.
(319/750) Run 319: Case 64 [4]... <06:48>
... skipping.
(320/750) Run 320: Case 64 [5]... <06:48>
... skipping.
(321/750) Run 321: Case 65 [1]... <06:48>
... skipping.
(322/750) Run 322: Case 65 [2]... <06:48>
... skipping.
(323/750) Run 323: Case 65 [3]... <06:48>
... skipping.
(324/750) Run 324: Case 65 [4]... <06:48>
... skipping.
(325/750) Run 325: Case 65 [5]... <06:48>
... skipping.
(326/750) Run 326: Case 66 [1]... <06:48>
... skipping.
(327/750) Run 327: Case 66 [2]... <06:48>
... skipping.
(328/750) Run 328: Case 66 [3]... <06:48>
... skipping.
(329/750) Run 329: Case 66 [4]... <06:48>
... skipping.
(330/750) Run 330: Case 66 [5]... <06:48>
... skipping.
(331/750) Run 331: Case 67 [1]... <06:48>
... skipping.
(332/750) Run 332: Case 67 [2]... <06:48>
... skipping.
(333/750) Run 333: Case 67 [3]... <06:48>
... skipping.
(334/750) Run 334: Case 67 [4]... <06:48>
... skipping.
(335/750) Run 335: Case 67 [5]... <06:48>
... skipping.
(336/750) Run 336: Case 68 [1]... <06:48>
... skipping.
(337/750) Run 337: Case 68 [2]... <06:48>
... skipping.
(338/750) Run 338: Case 68 [3]... <06:48>
... skipping.
(339/750) Run 339: Case 68 [4]... <06:48>
... skipping.
(340/750) Run 340: Case 68 [5]... <06:48>
... skipping.
(341/750) Run 341: Case 69 [1]... <06:48>
... skipping.
(342/750) Run 342: Case 69 [2]... <06:48>
... skipping.
(343/750) Run 343: Case 69 [3]... <06:48>
... skipping.
(344/750) Run 344: Case 69 [4]... <06:48>
... skipping.
(345/750) Run 345: Case 69 [5]... <06:48>
... skipping.
(346/750) Run 346: Case 70 [1]... <06:48>
... skipping.
(347/750) Run 347: Case 70 [2]... <06:48>
... skipping.
(348/750) Run 348: Case 70 [3]... <06:48>
... skipping.
(349/750) Run 349: Case 70 [4]... <06:48>
... skipping.
(350/750) Run 350: Case 70 [5]... <06:48>
... skipping.
(351/750) Run 351: Case 71 [1]... <06:48>
... skipping.
(352/750) Run 352: Case 71 [2]... <06:48>
... skipping.
(353/750) Run 353: Case 71 [3]... <06:48>
... skipping.
(354/750) Run 354: Case 71 [4]... <06:48>
... skipping.
(355/750) Run 355: Case 71 [5]... <06:48>
... skipping.
(356/750) Run 356: Case 72 [1]... <06:48>
... skipping.
(357/750) Run 357: Case 72 [2]... <06:48>
... skipping.
(358/750) Run 358: Case 72 [3]... <06:48>
... skipping.
(359/750) Run 359: Case 72 [4]... <06:48>
... skipping.
(360/750) Run 360: Case 72 [5]... <06:48>
... skipping.
(361/750) Run 361: Case 73 [1]... <06:48>
... skipping.
(362/750) Run 362: Case 73 [2]... <06:48>
... skipping.
(363/750) Run 363: Case 73 [3]... <06:48>
... skipping.
(364/750) Run 364: Case 73 [4]... <06:48>
... skipping.
(365/750) Run 365: Case 73 [5]... <06:48>
... skipping.
(366/750) Run 366: Case 74 [1]... <06:48>
... skipping.
(367/750) Run 367: Case 74 [2]... <06:48>
... skipping.
(368/750) Run 368: Case 74 [3]... <06:48>
... skipping.
(369/750) Run 369: Case 74 [4]... <06:48>
... skipping.
(370/750) Run 370: Case 74 [5]... <06:48>
... skipping.
(371/750) Run 371: Case 75 [1]... <06:48>
... skipping.
(372/750) Run 372: Case 75 [2]... <06:48>
... skipping.
(373/750) Run 373: Case 75 [3]... <06:48>
... skipping.
(374/750) Run 374: Case 75 [4]... <06:48>
... skipping.
(375/750) Run 375: Case 75 [5]... <06:48>
... skipping.
(376/750) Run 376: Case 76 [1]... <06:48>
... skipping.
(377/750) Run 377: Case 76 [2]... <06:48>
... skipping.
(378/750) Run 378: Case 76 [3]... <06:48>
... skipping.
(379/750) Run 379: Case 76 [4]... <06:48>
... skipping.
(380/750) Run 380: Case 76 [5]... <06:48>
... skipping.
(381/750) Run 381: Case 77 [1]... <06:48>
... skipping.
(382/750) Run 382: Case 77 [2]... <06:48>
... skipping.
(383/750) Run 383: Case 77 [3]... <06:48>
... skipping.
(384/750) Run 384: Case 77 [4]... <06:48>
... skipping.
(385/750) Run 385: Case 77 [5]... <06:48>
... skipping.
(386/750) Run 386: Case 78 [1]... <06:48>
... skipping.
(387/750) Run 387: Case 78 [2]... <06:48>
... skipping.
(388/750) Run 388: Case 78 [3]... <06:48>
... skipping.
(389/750) Run 389: Case 78 [4]... <06:48>
... skipping.
(390/750) Run 390: Case 78 [5]... <06:48>
... skipping.
(391/750) Run 391: Case 79 [1]... <06:48>
... skipping.
(392/750) Run 392: Case 79 [2]... <06:48>
... skipping.
(393/750) Run 393: Case 79 [3]... <06:48>
... skipping.
(394/750) Run 394: Case 79 [4]... <06:48>
... skipping.
(395/750) Run 395: Case 79 [5]... <06:48>
... skipping.
(396/750) Run 396: Case 80 [1]... <06:48>
... skipping.
(397/750) Run 397: Case 80 [2]... <06:48>
... skipping.
(398/750) Run 398: Case 80 [3]... <06:48>
... skipping.
(399/750) Run 399: Case 80 [4]... <06:48>
... skipping.
(400/750) Run 400: Case 80 [5]... <06:48>
... skipping.
(401/750) Run 401: Case 81 [1]... <06:48>
... skipping.
(402/750) Run 402: Case 81 [2]... <06:48>
... skipping.
(403/750) Run 403: Case 81 [3]... <06:48>
... skipping.
(404/750) Run 404: Case 81 [4]... <06:48>
... skipping.
(405/750) Run 405: Case 81 [5]... <06:48>
... skipping.
(406/750) Run 406: Case 82 [1]... <06:48>
... skipping.
(407/750) Run 407: Case 82 [2]... <06:48>
... skipping.
(408/750) Run 408: Case 82 [3]... <06:48>
... skipping.
(409/750) Run 409: Case 82 [4]... <06:48>
... skipping.
(410/750) Run 410: Case 82 [5]... <06:48>
... skipping.
(411/750) Run 411: Case 83 [1]... <06:48>
... skipping.
(412/750) Run 412: Case 83 [2]... <06:48>
... skipping.
(413/750) Run 413: Case 83 [3]... <06:48>
... skipping.
(414/750) Run 414: Case 83 [4]... <06:48>
... skipping.
(415/750) Run 415: Case 83 [5]... <06:48>
... skipping.
(416/750) Run 416: Case 84 [1]... <06:48>
... skipping.
(417/750) Run 417: Case 84 [2]... <06:48>
... skipping.
(418/750) Run 418: Case 84 [3]... <06:48>
... skipping.
(419/750) Run 419: Case 84 [4]... <06:48>
... skipping.
(420/750) Run 420: Case 84 [5]... <06:48>
... skipping.
(421/750) Run 421: Case 85 [1]... <06:48>
... skipping.
(422/750) Run 422: Case 85 [2]... <06:48>
... skipping.
(423/750) Run 423: Case 85 [3]... <06:48>
... skipping.
(424/750) Run 424: Case 85 [4]... <06:48>
... skipping.
(425/750) Run 425: Case 85 [5]... <06:48>
... skipping.
(426/750) Run 426: Case 86 [1]... <06:48>
... skipping.
(427/750) Run 427: Case 86 [2]... <06:48>
... skipping.
(428/750) Run 428: Case 86 [3]... <06:48>
... skipping.
(429/750) Run 429: Case 86 [4]... <06:48>
... skipping.
(430/750) Run 430: Case 86 [5]... <06:48>
... skipping.
(431/750) Run 431: Case 87 [1]... <06:48>
... skipping.
(432/750) Run 432: Case 87 [2]... <06:48>
... skipping.
(433/750) Run 433: Case 87 [3]... <06:48>
... skipping.
(434/750) Run 434: Case 87 [4]... <06:48>
... skipping.
(435/750) Run 435: Case 87 [5]... <06:48>
... skipping.
(436/750) Run 436: Case 88 [1]... <06:48>
... skipping.
(437/750) Run 437: Case 88 [2]... <06:48>
... skipping.
(438/750) Run 438: Case 88 [3]... <06:48>
... skipping.
(439/750) Run 439: Case 88 [4]... <06:48>
... skipping.
(440/750) Run 440: Case 88 [5]... <06:48>
... skipping.
(441/750) Run 441: Case 89 [1]... <06:48>
... skipping.
(442/750) Run 442: Case 89 [2]... <06:48>
... skipping.
(443/750) Run 443: Case 89 [3]... <06:48>
... skipping.
(444/750) Run 444: Case 89 [4]... <06:48>
... skipping.
(445/750) Run 445: Case 89 [5]... <06:48>
... skipping.
(446/750) Run 446: Case 90 [1]... <06:48>
... skipping.
(447/750) Run 447: Case 90 [2]... <06:48>
... skipping.
(448/750) Run 448: Case 90 [3]... <06:48>
... skipping.
(449/750) Run 449: Case 90 [4]... <06:48>
... skipping.
(450/750) Run 450: Case 90 [5]... <06:48>
... skipping.
(451/750) Run 451: Case 91 [1]... <06:48>
... skipping.
(452/750) Run 452: Case 91 [2]... <06:48>
... skipping.
(453/750) Run 453: Case 91 [3]... <06:48>
... skipping.
(454/750) Run 454: Case 91 [4]... <06:48>
... skipping.
(455/750) Run 455: Case 91 [5]... <06:48>
... skipping.
(456/750) Run 456: Case 92 [1]... <06:48>
... skipping.
(457/750) Run 457: Case 92 [2]... <06:48>
... skipping.
(458/750) Run 458: Case 92 [3]... <06:48>
... skipping.
(459/750) Run 459: Case 92 [4]... <06:48>
... skipping.
(460/750) Run 460: Case 92 [5]... <06:48>
... skipping.
(461/750) Run 461: Case 93 [1]... <06:48>
... skipping.
(462/750) Run 462: Case 93 [2]... <06:48>
... skipping.
(463/750) Run 463: Case 93 [3]... <06:48>
... skipping.
(464/750) Run 464: Case 93 [4]... <06:48>
... skipping.
(465/750) Run 465: Case 93 [5]... <06:48>
... skipping.
(466/750) Run 466: Case 94 [1]... <06:48>
... skipping.
(467/750) Run 467: Case 94 [2]... <06:48>
... skipping.
(468/750) Run 468: Case 94 [3]... <06:48>
... skipping.
(469/750) Run 469: Case 94 [4]... <06:48>
... skipping.
(470/750) Run 470: Case 94 [5]... <06:48>
... skipping.
(471/750) Run 471: Case 95 [1]... <06:48>
... skipping.
(472/750) Run 472: Case 95 [2]... <06:48>
... skipping.
(473/750) Run 473: Case 95 [3]... <06:48>
... skipping.
(474/750) Run 474: Case 95 [4]... <06:48>
... skipping.
(475/750) Run 475: Case 95 [5]... <06:48>
... skipping.
(476/750) Run 476: Case 96 [1]... <06:48>
... skipping.
(477/750) Run 477: Case 96 [2]... <06:48>
... skipping.
(478/750) Run 478: Case 96 [3]... <06:48>
... skipping.
(479/750) Run 479: Case 96 [4]... <06:48>
... skipping.
(480/750) Run 480: Case 96 [5]... <06:48>
... skipping.
(481/750) Run 481: Case 97 [1]... <06:48>
... skipping.
(482/750) Run 482: Case 97 [2]... <06:48>
... skipping.
(483/750) Run 483: Case 97 [3]... <06:48>
... skipping.
(484/750) Run 484: Case 97 [4]... <06:48>
... skipping.
(485/750) Run 485: Case 97 [5]... <06:48>
... skipping.
(486/750) Run 486: Case 98 [1]... <06:48>
... skipping.
(487/750) Run 487: Case 98 [2]... <06:48>
... skipping.
(488/750) Run 488: Case 98 [3]... <06:48>
... skipping.
(489/750) Run 489: Case 98 [4]... <06:48>
... skipping.
(490/750) Run 490: Case 98 [5]... <06:48>
... skipping.
(491/750) Run 491: Case 99 [1]... <06:48>
... skipping.
(492/750) Run 492: Case 99 [2]... <06:48>
... skipping.
(493/750) Run 493: Case 99 [3]... <06:48>
... skipping.
(494/750) Run 494: Case 99 [4]... <06:48>
... skipping.
(495/750) Run 495: Case 99 [5]... <06:48>
... skipping.
(496/750) Run 496: Case 100 [1]... <06:48>
... skipping.
(497/750) Run 497: Case 100 [2]... <06:48>
... skipping.
(498/750) Run 498: Case 100 [3]... <06:48>
... skipping.
(499/750) Run 499: Case 100 [4]... <06:48>
... skipping.
(500/750) Run 500: Case 100 [5]... <06:48>
... skipping.
(501/750) Run 501: Case 101 [1]... <06:48>
... skipping.
(502/750) Run 502: Case 101 [2]... <06:48>
... skipping.
(503/750) Run 503: Case 101 [3]... <06:48>
... skipping.
(504/750) Run 504: Case 101 [4]... <06:48>
... skipping.
(505/750) Run 505: Case 101 [5]... <06:48>
... skipping.
(506/750) Run 506: Case 102 [1]... <06:48>
... skipping.
(507/750) Run 507: Case 102 [2]... <06:48>
... skipping.
(508/750) Run 508: Case 102 [3]... <06:48>
... skipping.
(509/750) Run 509: Case 102 [4]... <06:48>
... skipping.
(510/750) Run 510: Case 102 [5]... <06:48>
... skipping.
(511/750) Run 511: Case 103 [1]... <06:48>
... skipping.
(512/750) Run 512: Case 103 [2]... <06:48>
... skipping.
(513/750) Run 513: Case 103 [3]... <06:48>
... skipping.
(514/750) Run 514: Case 103 [4]... <06:48>
... skipping.
(515/750) Run 515: Case 103 [5]... <06:48>
... skipping.
(516/750) Run 516: Case 104 [1]... <06:48>
... skipping.
(517/750) Run 517: Case 104 [2]... <06:48>
... skipping.
(518/750) Run 518: Case 104 [3]... <06:48>
... skipping.
(519/750) Run 519: Case 104 [4]... <06:48>
... skipping.
(520/750) Run 520: Case 104 [5]... <06:48>
... skipping.
(521/750) Run 521: Case 105 [1]... <06:48>
... skipping.
(522/750) Run 522: Case 105 [2]... <06:48>
... skipping.
(523/750) Run 523: Case 105 [3]... <06:48>
... skipping.
(524/750) Run 524: Case 105 [4]... <06:48>
... skipping.
(525/750) Run 525: Case 105 [5]... <06:48>
... skipping.
(526/750) Run 526: Case 106 [1]... <06:48>
... skipping.
(527/750) Run 527: Case 106 [2]... <06:48>
... skipping.
(528/750) Run 528: Case 106 [3]... <06:48>
... skipping.
(529/750) Run 529: Case 106 [4]... <06:48>
... skipping.
(530/750) Run 530: Case 106 [5]... <06:48>
... skipping.
(531/750) Run 531: Case 107 [1]... <06:48>
... skipping.
(532/750) Run 532: Case 107 [2]... <06:48>
... skipping.
(533/750) Run 533: Case 107 [3]... <06:48>
... skipping.
(534/750) Run 534: Case 107 [4]... <06:48>
... skipping.
(535/750) Run 535: Case 107 [5]... <06:48>
... skipping.
(536/750) Run 536: Case 108 [1]... <06:48>
... skipping.
(537/750) Run 537: Case 108 [2]... <06:48>
... skipping.
(538/750) Run 538: Case 108 [3]... <06:48>
... skipping.
(539/750) Run 539: Case 108 [4]... <06:48>
... skipping.
(540/750) Run 540: Case 108 [5]... <06:48>
... skipping.
(541/750) Run 541: Case 109 [1]... <06:48>
... skipping.
(542/750) Run 542: Case 109 [2]... <06:48>
... skipping.
(543/750) Run 543: Case 109 [3]... <06:48>
... skipping.
(544/750) Run 544: Case 109 [4]... <06:48>
... skipping.
(545/750) Run 545: Case 109 [5]... <06:48>
... skipping.
(546/750) Run 546: Case 110 [1]... <06:48>
... skipping.
(547/750) Run 547: Case 110 [2]... <06:48>
... skipping.
(548/750) Run 548: Case 110 [3]... <06:48>
... skipping.
(549/750) Run 549: Case 110 [4]... <06:48>
... skipping.
(550/750) Run 550: Case 110 [5]... <06:48>
... skipping.
(551/750) Run 551: Case 111 [1]... <06:48>
... skipping.
(552/750) Run 552: Case 111 [2]... <06:48>
... skipping.
(553/750) Run 553: Case 111 [3]... <06:48>
... skipping.
(554/750) Run 554: Case 111 [4]... <06:48>
... skipping.
(555/750) Run 555: Case 111 [5]... <06:48>
... skipping.
(556/750) Run 556: Case 112 [1]... <06:48>
... skipping.
(557/750) Run 557: Case 112 [2]... <06:48>
... skipping.
(558/750) Run 558: Case 112 [3]... <06:48>
... skipping.
(559/750) Run 559: Case 112 [4]... <06:48>
... skipping.
(560/750) Run 560: Case 112 [5]... <06:48>
... skipping.
(561/750) Run 561: Case 113 [1]... <06:48>
... skipping.
(562/750) Run 562: Case 113 [2]... <06:48>
... skipping.
(563/750) Run 563: Case 113 [3]... <06:48>
... skipping.
(564/750) Run 564: Case 113 [4]... <06:48>
... skipping.
(565/750) Run 565: Case 113 [5]... <06:48>
... skipping.
(566/750) Run 566: Case 114 [1]... <06:48>
... skipping.
(567/750) Run 567: Case 114 [2]... <06:48>
... skipping.
(568/750) Run 568: Case 114 [3]... <06:48>
... skipping.
(569/750) Run 569: Case 114 [4]... <06:48>
... skipping.
(570/750) Run 570: Case 114 [5]... <06:48>
... skipping.
(571/750) Run 571: Case 115 [1]... <06:48>
... skipping.
(572/750) Run 572: Case 115 [2]... <06:48>
... skipping.
(573/750) Run 573: Case 115 [3]... <06:48>
... skipping.
(574/750) Run 574: Case 115 [4]... <06:48>
... skipping.
(575/750) Run 575: Case 115 [5]... <06:48>
... skipping.
(576/750) Run 576: Case 116 [1]... <06:48>
... skipping.
(577/750) Run 577: Case 116 [2]... <06:48>
... skipping.
(578/750) Run 578: Case 116 [3]... <06:48>
... skipping.
(579/750) Run 579: Case 116 [4]... <06:48>
... skipping.
(580/750) Run 580: Case 116 [5]... <06:48>
... skipping.
(581/750) Run 581: Case 117 [1]... <06:48>
... skipping.
(582/750) Run 582: Case 117 [2]... <06:48>
... skipping.
(583/750) Run 583: Case 117 [3]... <06:48>
... skipping.
(584/750) Run 584: Case 117 [4]... <06:48>
... skipping.
(585/750) Run 585: Case 117 [5]... <06:48>
... skipping.
(586/750) Run 586: Case 118 [1]... <06:48>
... skipping.
(587/750) Run 587: Case 118 [2]... <06:48>
... skipping.
(588/750) Run 588: Case 118 [3]... <06:48>
... skipping.
(589/750) Run 589: Case 118 [4]... <06:48>
... skipping.
(590/750) Run 590: Case 118 [5]... <06:48>
... skipping.
(591/750) Run 591: Case 119 [1]... <06:48>
... skipping.
(592/750) Run 592: Case 119 [2]... <06:48>
... skipping.
(593/750) Run 593: Case 119 [3]... <06:48>
... skipping.
(594/750) Run 594: Case 119 [4]... <06:48>
... skipping.
(595/750) Run 595: Case 119 [5]... <06:48>
... skipping.
(596/750) Run 596: Case 120 [1]... <06:48>
... skipping.
(597/750) Run 597: Case 120 [2]... <06:48>
... skipping.
(598/750) Run 598: Case 120 [3]... <06:48>
... skipping.
(599/750) Run 599: Case 120 [4]... <06:48>
... skipping.
(600/750) Run 600: Case 120 [5]... <06:48>
... skipping.
(601/750) Run 601: Case 121 [1]... <06:48>
... skipping.
(602/750) Run 602: Case 121 [2]... <06:48>
... skipping.
(603/750) Run 603: Case 121 [3]... <06:48>
... skipping.
(604/750) Run 604: Case 121 [4]... <06:48>
... skipping.
(605/750) Run 605: Case 121 [5]... <06:48>
... skipping.
(606/750) Run 606: Case 122 [1]... <06:48>
... skipping.
(607/750) Run 607: Case 122 [2]... <06:48>
... skipping.
(608/750) Run 608: Case 122 [3]... <06:48>
... skipping.
(609/750) Run 609: Case 122 [4]... <06:48>
... skipping.
(610/750) Run 610: Case 122 [5]... <06:48>
... skipping.
(611/750) Run 611: Case 123 [1]... <06:48>
... skipping.
(612/750) Run 612: Case 123 [2]... <06:48>
... skipping.
(613/750) Run 613: Case 123 [3]... <06:48>
... skipping.
(614/750) Run 614: Case 123 [4]... <06:48>
... skipping.
(615/750) Run 615: Case 123 [5]... <06:48>
... skipping.
(616/750) Run 616: Case 124 [1]... <06:48>
... skipping.
(617/750) Run 617: Case 124 [2]... <06:48>
... skipping.
(618/750) Run 618: Case 124 [3]... <06:48>
... skipping.
(619/750) Run 619: Case 124 [4]... <06:48>
... skipping.
(620/750) Run 620: Case 124 [5]... <06:48>
... skipping.
(621/750) Run 621: Case 125 [1]... <06:48>
... skipping.
(622/750) Run 622: Case 125 [2]... <06:48>
... skipping.
(623/750) Run 623: Case 125 [3]... <06:48>
... skipping.
(624/750) Run 624: Case 125 [4]... <06:48>
... skipping.
(625/750) Run 625: Case 125 [5]... <06:48>
... skipping.
(626/750) Run 626: Case 126 [1]... <06:48>
... skipping.
(627/750) Run 627: Case 126 [2]... <06:48>
... skipping.
(628/750) Run 628: Case 126 [3]... <06:48>
... skipping.
(629/750) Run 629: Case 126 [4]... <06:48>
... skipping.
(630/750) Run 630: Case 126 [5]... <06:48>
... skipping.
(631/750) Run 631: Case 127 [1]... <06:48>
... skipping.
(632/750) Run 632: Case 127 [2]... <06:48>
... skipping.
(633/750) Run 633: Case 127 [3]... <06:48>
... skipping.
(634/750) Run 634: Case 127 [4]... <06:48>
... skipping.
(635/750) Run 635: Case 127 [5]... <06:48>
... skipping.
(636/750) Run 636: Case 128 [1]... <06:48>
... skipping.
(637/750) Run 637: Case 128 [2]... <06:48>
... skipping.
(638/750) Run 638: Case 128 [3]... <06:48>
... skipping.
(639/750) Run 639: Case 128 [4]... <06:48>
... skipping.
(640/750) Run 640: Case 128 [5]... <06:48>
... skipping.
(641/750) Run 641: Case 129 [1]... <06:48>
... skipping.
(642/750) Run 642: Case 129 [2]... <06:48>
... skipping.
(643/750) Run 643: Case 129 [3]... <06:48>
... skipping.
(644/750) Run 644: Case 129 [4]... <06:48>
... skipping.
(645/750) Run 645: Case 129 [5]... <06:48>
... skipping.
(646/750) Run 646: Case 130 [1]... <06:48>
... skipping.
(647/750) Run 647: Case 130 [2]... <06:48>
... skipping.
(648/750) Run 648: Case 130 [3]... <06:48>
... skipping.
(649/750) Run 649: Case 130 [4]... <06:48>
... skipping.
(650/750) Run 650: Case 130 [5]... <06:48>
... skipping.
(651/750) Run 651: Case 131 [1]... <06:48>
... skipping.
(652/750) Run 652: Case 131 [2]... <06:48>
... skipping.
(653/750) Run 653: Case 131 [3]... <06:48>
... skipping.
(654/750) Run 654: Case 131 [4]... <06:48>
... skipping.
(655/750) Run 655: Case 131 [5]... <06:48>
... skipping.
(656/750) Run 656: Case 132 [1]... <06:48>
... skipping.
(657/750) Run 657: Case 132 [2]... <06:48>
... skipping.
(658/750) Run 658: Case 132 [3]... <06:48>
... skipping.
(659/750) Run 659: Case 132 [4]... <06:48>
... skipping.
(660/750) Run 660: Case 132 [5]... <06:48>
... skipping.
(661/750) Run 661: Case 133 [1]... <06:48>
... skipping.
(662/750) Run 662: Case 133 [2]... <06:48>
... skipping.
(663/750) Run 663: Case 133 [3]... <06:48>
... skipping.
(664/750) Run 664: Case 133 [4]... <06:48>
... skipping.
(665/750) Run 665: Case 133 [5]... <06:48>
... skipping.
(666/750) Run 666: Case 134 [1]... <06:48>
... skipping.
(667/750) Run 667: Case 134 [2]... <06:48>
... skipping.
(668/750) Run 668: Case 134 [3]... <06:48>
... skipping.
(669/750) Run 669: Case 134 [4]... <06:48>
... skipping.
(670/750) Run 670: Case 134 [5]... <06:48>
... skipping.
(671/750) Run 671: Case 135 [1]... <06:48>
... skipping.
(672/750) Run 672: Case 135 [2]... <06:48>
... skipping.
(673/750) Run 673: Case 135 [3]... <06:48>
... skipping.
(674/750) Run 674: Case 135 [4]... <06:48>
... skipping.
(675/750) Run 675: Case 135 [5]... <06:48>
... skipping.
(676/750) Run 676: Case 136 [1]... <06:48>
... skipping.
(677/750) Run 677: Case 136 [2]... <06:48>
... skipping.
(678/750) Run 678: Case 136 [3]... <06:48>
... skipping.
(679/750) Run 679: Case 136 [4]... <06:48>
... skipping.
(680/750) Run 680: Case 136 [5]... <06:48>
... skipping.
(681/750) Run 681: Case 137 [1]... <06:48>
... skipping.
(682/750) Run 682: Case 137 [2]... <06:48>
... skipping.
(683/750) Run 683: Case 137 [3]... <06:48>
... skipping.
(684/750) Run 684: Case 137 [4]... <06:48>
... skipping.
(685/750) Run 685: Case 137 [5]... <06:48>
... skipping.
(686/750) Run 686: Case 138 [1]... <06:48>
... skipping.
(687/750) Run 687: Case 138 [2]... <06:48>
... skipping.
(688/750) Run 688: Case 138 [3]... <06:48>
... skipping.
(689/750) Run 689: Case 138 [4]... <06:48>
... skipping.
(690/750) Run 690: Case 138 [5]... <06:48>
... skipping.
(691/750) Run 691: Case 139 [1]... <06:48>
... skipping.
(692/750) Run 692: Case 139 [2]... <06:48>
... skipping.
(693/750) Run 693: Case 139 [3]... <06:48>
... skipping.
(694/750) Run 694: Case 139 [4]... <06:48>
... skipping.
(695/750) Run 695: Case 139 [5]... <06:48>
... skipping.
(696/750) Run 696: Case 140 [1]... <06:48>
... skipping.
(697/750) Run 697: Case 140 [2]... <06:48>
... skipping.
(698/750) Run 698: Case 140 [3]... <06:48>
... skipping.
(699/750) Run 699: Case 140 [4]... <06:48>
... skipping.
(700/750) Run 700: Case 140 [5]... <06:48>
... skipping.
(701/750) Run 701: Case 141 [1]... <06:48>
... skipping.
(702/750) Run 702: Case 141 [2]... <06:48>
... skipping.
(703/750) Run 703: Case 141 [3]... <06:48>
... skipping.
(704/750) Run 704: Case 141 [4]... <06:48>
... skipping.
(705/750) Run 705: Case 141 [5]... <06:48>
... skipping.
(706/750) Run 706: Case 142 [1]... <06:48>
... skipping.
(707/750) Run 707: Case 142 [2]... <06:48>
... skipping.
(708/750) Run 708: Case 142 [3]... <06:48>
... skipping.
(709/750) Run 709: Case 142 [4]... <06:48>
... skipping.
(710/750) Run 710: Case 142 [5]... <06:48>
... skipping.
(711/750) Run 711: Case 143 [1]... <06:48>
... skipping.
(712/750) Run 712: Case 143 [2]... <06:48>
... skipping.
(713/750) Run 713: Case 143 [3]... <06:48>
... skipping.
(714/750) Run 714: Case 143 [4]... <06:48>
... skipping.
(715/750) Run 715: Case 143 [5]... <06:48>
... skipping.
(716/750) Run 716: Case 144 [1]... <06:48>
... skipping.
(717/750) Run 717: Case 144 [2]... <06:48>
... skipping.
(718/750) Run 718: Case 144 [3]... <06:48>
... skipping.
(719/750) Run 719: Case 144 [4]... <06:48>
... skipping.
(720/750) Run 720: Case 144 [5]... <06:48>
... skipping.
(721/750) Run 721: Case 145 [1]... <06:48>
... skipping.
(722/750) Run 722: Case 145 [2]... <06:48>
... skipping.
(723/750) Run 723: Case 145 [3]... <06:48>
... skipping.
(724/750) Run 724: Case 145 [4]... <06:48>
... skipping.
(725/750) Run 725: Case 145 [5]... <06:48>
... skipping.
(726/750) Run 726: Case 146 [1]... <06:48>
... skipping.
(727/750) Run 727: Case 146 [2]... <06:48>
... skipping.
(728/750) Run 728: Case 146 [3]... <06:48>
... skipping.
(729/750) Run 729: Case 146 [4]... <06:48>
... skipping.
(730/750) Run 730: Case 146 [5]... <06:48>
... skipping.
(731/750) Run 731: Case 147 [1]... <06:48>
... skipping.
(732/750) Run 732: Case 147 [2]... <06:48>
... skipping.
(733/750) Run 733: Case 147 [3]... <06:48>
... skipping.
(734/750) Run 734: Case 147 [4]... <06:48>
... skipping.
(735/750) Run 735: Case 147 [5]... <06:48>
... skipping.
(736/750) Run 736: Case 148 [1]... <06:48>
... skipping.
(737/750) Run 737: Case 148 [2]... <06:48>
... skipping.
(738/750) Run 738: Case 148 [3]... <06:48>
... skipping.
(739/750) Run 739: Case 148 [4]... <06:48>
... skipping.
(740/750) Run 740: Case 148 [5]... <06:48>
... skipping.
(741/750) Run 741: Case 149 [1]... <06:48>
... skipping.
(742/750) Run 742: Case 149 [2]... <06:48>
... skipping.
(743/750) Run 743: Case 149 [3]... <06:48>
... skipping.
(744/750) Run 744: Case 149 [4]... <06:48>
... skipping.
(745/750) Run 745: Case 149 [5]... <06:48>
... skipping.
(746/750) Run 746: Case 150 [1]... <06:48>
... skipping.
(747/750) Run 747: Case 150 [2]... <06:48>
... skipping.
(748/750) Run 748: Case 150 [3]... <06:48>
... skipping.
(749/750) Run 749: Case 150 [4]... <06:48>
... skipping.
(750/750) Run 750: Case 150 [5]... <06:48>
... skipping.
... done. (benchmark 'bm-02') <06:48>
Running benchmark 'bm-03'... <06:48>
(1/400) Run 1: Case 1 [1]... <06:48>
... skipping.
(2/400) Run 2: Case 1 [2]... <06:48>
... skipping.
(3/400) Run 3: Case 1 [3]... <06:48>
... skipping.
(4/400) Run 4: Case 1 [4]... <06:48>
... skipping.
(5/400) Run 5: Case 1 [5]... <06:48>
... skipping.
(6/400) Run 6: Case 2 [1]... <06:48>
... skipping.
(7/400) Run 7: Case 2 [2]... <06:48>
... skipping.
(8/400) Run 8: Case 2 [3]... <06:48>
... skipping.
(9/400) Run 9: Case 2 [4]... <06:48>
... skipping.
(10/400) Run 10: Case 2 [5]... <06:48>
... skipping.
(11/400) Run 11: Case 3 [1]... <06:48>
... skipping.
(12/400) Run 12: Case 3 [2]... <06:48>
... skipping.
(13/400) Run 13: Case 3 [3]... <06:48>
... skipping.
(14/400) Run 14: Case 3 [4]... <06:48>
... skipping.
(15/400) Run 15: Case 3 [5]... <06:48>
... skipping.
(16/400) Run 16: Case 4 [1]... <06:48>
... skipping.
(17/400) Run 17: Case 4 [2]... <06:48>
... skipping.
(18/400) Run 18: Case 4 [3]... <06:48>
... skipping.
(19/400) Run 19: Case 4 [4]... <06:48>
... skipping.
(20/400) Run 20: Case 4 [5]... <06:48>
... skipping.
(21/400) Run 21: Case 5 [1]... <06:48>
... skipping.
(22/400) Run 22: Case 5 [2]... <06:48>
... skipping.
(23/400) Run 23: Case 5 [3]... <06:48>
... skipping.
(24/400) Run 24: Case 5 [4]... <06:48>
... skipping.
(25/400) Run 25: Case 5 [5]... <06:48>
... skipping.
(26/400) Run 26: Case 6 [1]... <06:48>
... skipping.
(27/400) Run 27: Case 6 [2]... <06:48>
... skipping.
(28/400) Run 28: Case 6 [3]... <06:48>
... skipping.
(29/400) Run 29: Case 6 [4]... <06:48>
... skipping.
(30/400) Run 30: Case 6 [5]... <06:48>
... skipping.
(31/400) Run 31: Case 7 [1]... <06:48>
... skipping.
(32/400) Run 32: Case 7 [2]... <06:48>
... skipping.
(33/400) Run 33: Case 7 [3]... <06:48>
... skipping.
(34/400) Run 34: Case 7 [4]... <06:48>
... skipping.
(35/400) Run 35: Case 7 [5]... <06:48>
... skipping.
(36/400) Run 36: Case 8 [1]... <06:48>
... skipping.
(37/400) Run 37: Case 8 [2]... <06:48>
... skipping.
(38/400) Run 38: Case 8 [3]... <06:48>
... skipping.
(39/400) Run 39: Case 8 [4]... <06:48>
... skipping.
(40/400) Run 40: Case 8 [5]... <06:48>
... skipping.
(41/400) Run 41: Case 9 [1]... <06:48>
... skipping.
(42/400) Run 42: Case 9 [2]... <06:48>
... skipping.
(43/400) Run 43: Case 9 [3]... <06:48>
... skipping.
(44/400) Run 44: Case 9 [4]... <06:48>
... skipping.
(45/400) Run 45: Case 9 [5]... <06:48>
... skipping.
(46/400) Run 46: Case 10 [1]... <06:48>
... skipping.
(47/400) Run 47: Case 10 [2]... <06:48>
... skipping.
(48/400) Run 48: Case 10 [3]... <06:48>
... skipping.
(49/400) Run 49: Case 10 [4]... <06:48>
... skipping.
(50/400) Run 50: Case 10 [5]... <06:48>
... skipping.
(51/400) Run 51: Case 11 [1]... <06:48>
... skipping.
(52/400) Run 52: Case 11 [2]... <06:48>
... skipping.
(53/400) Run 53: Case 11 [3]... <06:48>
... skipping.
(54/400) Run 54: Case 11 [4]... <06:48>
... skipping.
(55/400) Run 55: Case 11 [5]... <06:48>
... skipping.
(56/400) Run 56: Case 12 [1]... <06:48>
... skipping.
(57/400) Run 57: Case 12 [2]... <06:48>
... skipping.
(58/400) Run 58: Case 12 [3]... <06:48>
... skipping.
(59/400) Run 59: Case 12 [4]... <06:48>
... skipping.
(60/400) Run 60: Case 12 [5]... <06:48>
... skipping.
(61/400) Run 61: Case 13 [1]... <06:48>
... skipping.
(62/400) Run 62: Case 13 [2]... <06:48>
... skipping.
(63/400) Run 63: Case 13 [3]... <06:48>
... skipping.
(64/400) Run 64: Case 13 [4]... <06:48>
... skipping.
(65/400) Run 65: Case 13 [5]... <06:48>
... skipping.
(66/400) Run 66: Case 14 [1]... <06:48>
... skipping.
(67/400) Run 67: Case 14 [2]... <06:48>
... skipping.
(68/400) Run 68: Case 14 [3]... <06:48>
... skipping.
(69/400) Run 69: Case 14 [4]... <06:48>
... skipping.
(70/400) Run 70: Case 14 [5]... <06:48>
... skipping.
(71/400) Run 71: Case 15 [1]... <06:48>
... skipping.
(72/400) Run 72: Case 15 [2]... <06:48>
... skipping.
(73/400) Run 73: Case 15 [3]... <06:48>
... skipping.
(74/400) Run 74: Case 15 [4]... <06:48>
... skipping.
(75/400) Run 75: Case 15 [5]... <06:48>
... skipping.
(76/400) Run 76: Case 16 [1]... <06:48>
... skipping.
(77/400) Run 77: Case 16 [2]... <06:48>
... skipping.
(78/400) Run 78: Case 16 [3]... <06:48>
... skipping.
(79/400) Run 79: Case 16 [4]... <06:48>
... skipping.
(80/400) Run 80: Case 16 [5]... <06:48>
... skipping.
(81/400) Run 81: Case 17 [1]... <06:48>
... skipping.
(82/400) Run 82: Case 17 [2]... <06:48>
... skipping.
(83/400) Run 83: Case 17 [3]... <06:48>
... skipping.
(84/400) Run 84: Case 17 [4]... <06:48>
... skipping.
(85/400) Run 85: Case 17 [5]... <06:48>
... skipping.
(86/400) Run 86: Case 18 [1]... <06:48>
... skipping.
(87/400) Run 87: Case 18 [2]... <06:48>
... skipping.
(88/400) Run 88: Case 18 [3]... <06:48>
... skipping.
(89/400) Run 89: Case 18 [4]... <06:48>
... skipping.
(90/400) Run 90: Case 18 [5]... <06:48>
... skipping.
(91/400) Run 91: Case 19 [1]... <06:48>
... skipping.
(92/400) Run 92: Case 19 [2]... <06:48>
... skipping.
(93/400) Run 93: Case 19 [3]... <06:48>
... skipping.
(94/400) Run 94: Case 19 [4]... <06:48>
... skipping.
(95/400) Run 95: Case 19 [5]... <06:48>
... skipping.
(96/400) Run 96: Case 20 [1]... <06:48>
... skipping.
(97/400) Run 97: Case 20 [2]... <06:48>
... skipping.
(98/400) Run 98: Case 20 [3]... <06:48>
... skipping.
(99/400) Run 99: Case 20 [4]... <06:48>
... skipping.
(100/400) Run 100: Case 20 [5]... <06:48>
... skipping.
(101/400) Run 101: Case 21 [1]... <06:48>
... skipping.
(102/400) Run 102: Case 21 [2]... <06:48>
... skipping.
(103/400) Run 103: Case 21 [3]... <06:48>
... skipping.
(104/400) Run 104: Case 21 [4]... <06:48>
... skipping.
(105/400) Run 105: Case 21 [5]... <06:48>
... skipping.
(106/400) Run 106: Case 22 [1]... <06:48>
... skipping.
(107/400) Run 107: Case 22 [2]... <06:48>
... skipping.
(108/400) Run 108: Case 22 [3]... <06:48>
... skipping.
(109/400) Run 109: Case 22 [4]... <06:48>
... skipping.
(110/400) Run 110: Case 22 [5]... <06:48>
... skipping.
(111/400) Run 111: Case 23 [1]... <06:48>
... skipping.
(112/400) Run 112: Case 23 [2]... <06:48>
... skipping.
(113/400) Run 113: Case 23 [3]... <06:48>
... skipping.
(114/400) Run 114: Case 23 [4]... <06:48>
... skipping.
(115/400) Run 115: Case 23 [5]... <06:48>
... skipping.
(116/400) Run 116: Case 24 [1]... <06:48>
... skipping.
(117/400) Run 117: Case 24 [2]... <06:48>
... skipping.
(118/400) Run 118: Case 24 [3]... <06:48>
... skipping.
(119/400) Run 119: Case 24 [4]... <06:48>
... skipping.
(120/400) Run 120: Case 24 [5]... <06:48>
... skipping.
(121/400) Run 121: Case 25 [1]... <06:48>
... skipping.
(122/400) Run 122: Case 25 [2]... <06:48>
... skipping.
(123/400) Run 123: Case 25 [3]... <06:48>
... skipping.
(124/400) Run 124: Case 25 [4]... <06:48>
... skipping.
(125/400) Run 125: Case 25 [5]... <06:48>
... skipping.
(126/400) Run 126: Case 26 [1]... <06:48>
... skipping.
(127/400) Run 127: Case 26 [2]... <06:48>
... skipping.
(128/400) Run 128: Case 26 [3]... <06:48>
... skipping.
(129/400) Run 129: Case 26 [4]... <06:48>
... skipping.
(130/400) Run 130: Case 26 [5]... <06:48>
... skipping.
(131/400) Run 131: Case 27 [1]... <06:48>
... skipping.
(132/400) Run 132: Case 27 [2]... <06:48>
... skipping.
(133/400) Run 133: Case 27 [3]... <06:48>
... skipping.
(134/400) Run 134: Case 27 [4]... <06:48>
... skipping.
(135/400) Run 135: Case 27 [5]... <06:48>
... skipping.
(136/400) Run 136: Case 28 [1]... <06:48>
... skipping.
(137/400) Run 137: Case 28 [2]... <06:48>
... skipping.
(138/400) Run 138: Case 28 [3]... <06:48>
... skipping.
(139/400) Run 139: Case 28 [4]... <06:48>
... skipping.
(140/400) Run 140: Case 28 [5]... <06:48>
... skipping.
(141/400) Run 141: Case 29 [1]... <06:48>
... skipping.
(142/400) Run 142: Case 29 [2]... <06:48>
... skipping.
(143/400) Run 143: Case 29 [3]... <06:48>
... skipping.
(144/400) Run 144: Case 29 [4]... <06:48>
... skipping.
(145/400) Run 145: Case 29 [5]... <06:48>
... skipping.
(146/400) Run 146: Case 30 [1]... <06:48>
... skipping.
(147/400) Run 147: Case 30 [2]... <06:48>
... skipping.
(148/400) Run 148: Case 30 [3]... <06:48>
... skipping.
(149/400) Run 149: Case 30 [4]... <06:48>
... skipping.
(150/400) Run 150: Case 30 [5]... <06:48>
... skipping.
(151/400) Run 151: Case 31 [1]... <06:48>
... skipping.
(152/400) Run 152: Case 31 [2]... <06:48>
... skipping.
(153/400) Run 153: Case 31 [3]... <06:48>
... skipping.
(154/400) Run 154: Case 31 [4]... <06:48>
... skipping.
(155/400) Run 155: Case 31 [5]... <06:48>
... skipping.
(156/400) Run 156: Case 32 [1]... <06:48>
... skipping.
(157/400) Run 157: Case 32 [2]... <06:48>
... skipping.
(158/400) Run 158: Case 32 [3]... <06:48>
... skipping.
(159/400) Run 159: Case 32 [4]... <06:48>
... skipping.
(160/400) Run 160: Case 32 [5]... <06:48>
... skipping.
(161/400) Run 161: Case 33 [1]... <06:48>
... skipping.
(162/400) Run 162: Case 33 [2]... <06:48>
... skipping.
(163/400) Run 163: Case 33 [3]... <06:48>
... skipping.
(164/400) Run 164: Case 33 [4]... <06:48>
... skipping.
(165/400) Run 165: Case 33 [5]... <06:48>
... skipping.
(166/400) Run 166: Case 34 [1]... <06:48>
... skipping.
(167/400) Run 167: Case 34 [2]... <06:48>
... skipping.
(168/400) Run 168: Case 34 [3]... <06:48>
... skipping.
(169/400) Run 169: Case 34 [4]... <06:48>
... skipping.
(170/400) Run 170: Case 34 [5]... <06:48>
... skipping.
(171/400) Run 171: Case 35 [1]... <06:48>
... skipping.
(172/400) Run 172: Case 35 [2]... <06:48>
... skipping.
(173/400) Run 173: Case 35 [3]... <06:48>
... skipping.
(174/400) Run 174: Case 35 [4]... <06:48>
... skipping.
(175/400) Run 175: Case 35 [5]... <06:48>
... skipping.
(176/400) Run 176: Case 36 [1]... <06:48>
... skipping.
(177/400) Run 177: Case 36 [2]... <06:48>
... skipping.
(178/400) Run 178: Case 36 [3]... <06:48>
... skipping.
(179/400) Run 179: Case 36 [4]... <06:48>
... skipping.
(180/400) Run 180: Case 36 [5]... <06:48>
... skipping.
(181/400) Run 181: Case 37 [1]... <06:48>
... skipping.
(182/400) Run 182: Case 37 [2]... <06:48>
... skipping.
(183/400) Run 183: Case 37 [3]... <06:48>
... skipping.
(184/400) Run 184: Case 37 [4]... <06:48>
... skipping.
(185/400) Run 185: Case 37 [5]... <06:48>
... skipping.
(186/400) Run 186: Case 38 [1]... <06:48>
... skipping.
(187/400) Run 187: Case 38 [2]... <06:48>
... skipping.
(188/400) Run 188: Case 38 [3]... <06:48>
... skipping.
(189/400) Run 189: Case 38 [4]... <06:48>
... skipping.
(190/400) Run 190: Case 38 [5]... <06:48>
... skipping.
(191/400) Run 191: Case 39 [1]... <06:48>
... skipping.
(192/400) Run 192: Case 39 [2]... <06:48>
... skipping.
(193/400) Run 193: Case 39 [3]... <06:48>
... skipping.
(194/400) Run 194: Case 39 [4]... <06:48>
... skipping.
(195/400) Run 195: Case 39 [5]... <06:48>
... skipping.
(196/400) Run 196: Case 40 [1]... <06:48>
... skipping.
(197/400) Run 197: Case 40 [2]... <06:48>
... skipping.
(198/400) Run 198: Case 40 [3]... <06:48>
... skipping.
(199/400) Run 199: Case 40 [4]... <06:48>
... skipping.
(200/400) Run 200: Case 40 [5]... <06:48>
... skipping.
(201/400) Run 201: Case 41 [1]... <06:48>
... skipping.
(202/400) Run 202: Case 41 [2]... <06:48>
... skipping.
(203/400) Run 203: Case 41 [3]... <06:48>
... skipping.
(204/400) Run 204: Case 41 [4]... <06:48>
... skipping.
(205/400) Run 205: Case 41 [5]... <06:48>
... skipping.
(206/400) Run 206: Case 42 [1]... <06:48>
... skipping.
(207/400) Run 207: Case 42 [2]... <06:48>
... skipping.
(208/400) Run 208: Case 42 [3]... <06:48>
... skipping.
(209/400) Run 209: Case 42 [4]... <06:48>
... skipping.
(210/400) Run 210: Case 42 [5]... <06:48>
... skipping.
(211/400) Run 211: Case 43 [1]... <06:48>
... skipping.
(212/400) Run 212: Case 43 [2]... <06:48>
... skipping.
(213/400) Run 213: Case 43 [3]... <06:48>
... skipping.
(214/400) Run 214: Case 43 [4]... <06:48>
... skipping.
(215/400) Run 215: Case 43 [5]... <06:48>
... skipping.
(216/400) Run 216: Case 44 [1]... <06:48>
... skipping.
(217/400) Run 217: Case 44 [2]... <06:48>
... skipping.
(218/400) Run 218: Case 44 [3]... <06:48>
... skipping.
(219/400) Run 219: Case 44 [4]... <06:48>
... skipping.
(220/400) Run 220: Case 44 [5]... <06:48>
... skipping.
(221/400) Run 221: Case 45 [1]... <06:48>
... skipping.
(222/400) Run 222: Case 45 [2]... <06:48>
... skipping.
(223/400) Run 223: Case 45 [3]... <06:48>
... skipping.
(224/400) Run 224: Case 45 [4]... <06:48>
... skipping.
(225/400) Run 225: Case 45 [5]... <06:48>
... skipping.
(226/400) Run 226: Case 46 [1]... <06:48>
... skipping.
(227/400) Run 227: Case 46 [2]... <06:48>
... skipping.
(228/400) Run 228: Case 46 [3]... <06:48>
... skipping.
(229/400) Run 229: Case 46 [4]... <06:48>
... skipping.
(230/400) Run 230: Case 46 [5]... <06:48>
... skipping.
(231/400) Run 231: Case 47 [1]... <06:48>
... skipping.
(232/400) Run 232: Case 47 [2]... <06:48>
... skipping.
(233/400) Run 233: Case 47 [3]... <06:48>
... skipping.
(234/400) Run 234: Case 47 [4]... <06:48>
... skipping.
(235/400) Run 235: Case 47 [5]... <06:48>
... skipping.
(236/400) Run 236: Case 48 [1]... <06:48>
... skipping.
(237/400) Run 237: Case 48 [2]... <06:48>
... skipping.
(238/400) Run 238: Case 48 [3]... <06:48>
... skipping.
(239/400) Run 239: Case 48 [4]... <06:48>
... skipping.
(240/400) Run 240: Case 48 [5]... <06:48>
... skipping.
(241/400) Run 241: Case 49 [1]... <06:48>
... skipping.
(242/400) Run 242: Case 49 [2]... <06:48>
... skipping.
(243/400) Run 243: Case 49 [3]... <06:48>
... skipping.
(244/400) Run 244: Case 49 [4]... <06:48>
... skipping.
(245/400) Run 245: Case 49 [5]... <06:48>
... skipping.
(246/400) Run 246: Case 50 [1]... <06:48>
... skipping.
(247/400) Run 247: Case 50 [2]... <06:48>
... skipping.
(248/400) Run 248: Case 50 [3]... <06:48>
... skipping.
(249/400) Run 249: Case 50 [4]... <06:48>
... skipping.
(250/400) Run 250: Case 50 [5]... <06:48>
... skipping.
(251/400) Run 251: Case 51 [1]... <06:48>
... skipping.
(252/400) Run 252: Case 51 [2]... <06:48>
... skipping.
(253/400) Run 253: Case 51 [3]... <06:48>
... skipping.
(254/400) Run 254: Case 51 [4]... <06:48>
... skipping.
(255/400) Run 255: Case 51 [5]... <06:48>
... skipping.
(256/400) Run 256: Case 52 [1]... <06:48>
... skipping.
(257/400) Run 257: Case 52 [2]... <06:48>
... skipping.
(258/400) Run 258: Case 52 [3]... <06:48>
... skipping.
(259/400) Run 259: Case 52 [4]... <06:48>
... skipping.
(260/400) Run 260: Case 52 [5]... <06:48>
... skipping.
(261/400) Run 261: Case 53 [1]... <06:48>
... skipping.
(262/400) Run 262: Case 53 [2]... <06:48>
... skipping.
(263/400) Run 263: Case 53 [3]... <06:48>
... skipping.
(264/400) Run 264: Case 53 [4]... <06:48>
... skipping.
(265/400) Run 265: Case 53 [5]... <06:48>
... skipping.
(266/400) Run 266: Case 54 [1]... <06:48>
... skipping.
(267/400) Run 267: Case 54 [2]... <06:48>
... skipping.
(268/400) Run 268: Case 54 [3]... <06:48>
... skipping.
(269/400) Run 269: Case 54 [4]... <06:48>
... skipping.
(270/400) Run 270: Case 54 [5]... <06:48>
... skipping.
(271/400) Run 271: Case 55 [1]... <06:48>
... skipping.
(272/400) Run 272: Case 55 [2]... <06:48>
... skipping.
(273/400) Run 273: Case 55 [3]... <06:48>
... skipping.
(274/400) Run 274: Case 55 [4]... <06:48>
... skipping.
(275/400) Run 275: Case 55 [5]... <06:48>
... skipping.
(276/400) Run 276: Case 56 [1]... <06:48>
... skipping.
(277/400) Run 277: Case 56 [2]... <06:48>
... skipping.
(278/400) Run 278: Case 56 [3]... <06:48>
... skipping.
(279/400) Run 279: Case 56 [4]... <06:48>
... skipping.
(280/400) Run 280: Case 56 [5]... <06:48>
... skipping.
(281/400) Run 281: Case 57 [1]... <06:48>
... skipping.
(282/400) Run 282: Case 57 [2]... <06:48>
... skipping.
(283/400) Run 283: Case 57 [3]... <06:48>
... skipping.
(284/400) Run 284: Case 57 [4]... <06:48>
... skipping.
(285/400) Run 285: Case 57 [5]... <06:48>
... skipping.
(286/400) Run 286: Case 58 [1]... <06:48>
... skipping.
(287/400) Run 287: Case 58 [2]... <06:48>
... skipping.
(288/400) Run 288: Case 58 [3]... <06:48>
... skipping.
(289/400) Run 289: Case 58 [4]... <06:48>
... skipping.
(290/400) Run 290: Case 58 [5]... <06:48>
... skipping.
(291/400) Run 291: Case 59 [1]... <06:48>
... skipping.
(292/400) Run 292: Case 59 [2]... <06:48>
... skipping.
(293/400) Run 293: Case 59 [3]... <06:48>
... skipping.
(294/400) Run 294: Case 59 [4]... <06:48>
... skipping.
(295/400) Run 295: Case 59 [5]... <06:48>
... skipping.
(296/400) Run 296: Case 60 [1]... <06:48>
... skipping.
(297/400) Run 297: Case 60 [2]... <06:48>
... skipping.
(298/400) Run 298: Case 60 [3]... <06:48>
... skipping.
(299/400) Run 299: Case 60 [4]... <06:48>
... skipping.
(300/400) Run 300: Case 60 [5]... <06:48>
... skipping.
(301/400) Run 301: Case 61 [1]... <06:48>
... skipping.
(302/400) Run 302: Case 61 [2]... <06:48>
... skipping.
(303/400) Run 303: Case 61 [3]... <06:48>
... skipping.
(304/400) Run 304: Case 61 [4]... <06:48>
... skipping.
(305/400) Run 305: Case 61 [5]... <06:48>
... skipping.
(306/400) Run 306: Case 62 [1]... <06:48>
... skipping.
(307/400) Run 307: Case 62 [2]... <06:48>
... skipping.
(308/400) Run 308: Case 62 [3]... <06:48>
... skipping.
(309/400) Run 309: Case 62 [4]... <06:48>
... skipping.
(310/400) Run 310: Case 62 [5]... <06:48>
... skipping.
(311/400) Run 311: Case 63 [1]... <06:48>
... skipping.
(312/400) Run 312: Case 63 [2]... <06:48>
... skipping.
(313/400) Run 313: Case 63 [3]... <06:48>
... skipping.
(314/400) Run 314: Case 63 [4]... <06:48>
... skipping.
(315/400) Run 315: Case 63 [5]... <06:48>
... skipping.
(316/400) Run 316: Case 64 [1]... <06:48>
... skipping.
(317/400) Run 317: Case 64 [2]... <06:48>
... skipping.
(318/400) Run 318: Case 64 [3]... <06:48>
... skipping.
(319/400) Run 319: Case 64 [4]... <06:48>
... skipping.
(320/400) Run 320: Case 64 [5]... <06:48>
... skipping.
(321/400) Run 321: Case 65 [1]... <06:48>
... skipping.
(322/400) Run 322: Case 65 [2]... <06:48>
... skipping.
(323/400) Run 323: Case 65 [3]... <06:48>
... skipping.
(324/400) Run 324: Case 65 [4]... <06:48>
... skipping.
(325/400) Run 325: Case 65 [5]... <06:48>
... skipping.
(326/400) Run 326: Case 66 [1]... <06:48>
... skipping.
(327/400) Run 327: Case 66 [2]... <06:48>
... skipping.
(328/400) Run 328: Case 66 [3]... <06:48>
... skipping.
(329/400) Run 329: Case 66 [4]... <06:48>
... skipping.
(330/400) Run 330: Case 66 [5]... <06:48>
... skipping.
(331/400) Run 331: Case 67 [1]... <06:48>
... skipping.
(332/400) Run 332: Case 67 [2]... <06:48>
... skipping.
(333/400) Run 333: Case 67 [3]... <06:48>
... skipping.
(334/400) Run 334: Case 67 [4]... <06:48>
... skipping.
(335/400) Run 335: Case 67 [5]... <06:48>
... skipping.
(336/400) Run 336: Case 68 [1]... <06:48>
... skipping.
(337/400) Run 337: Case 68 [2]... <06:48>
... skipping.
(338/400) Run 338: Case 68 [3]... <06:48>
... skipping.
(339/400) Run 339: Case 68 [4]... <06:48>
... skipping.
(340/400) Run 340: Case 68 [5]... <06:48>
... skipping.
(341/400) Run 341: Case 69 [1]... <06:48>
... skipping.
(342/400) Run 342: Case 69 [2]... <06:48>
... skipping.
(343/400) Run 343: Case 69 [3]... <06:48>
... skipping.
(344/400) Run 344: Case 69 [4]... <06:48>
... skipping.
(345/400) Run 345: Case 69 [5]... <06:48>
... skipping.
(346/400) Run 346: Case 70 [1]... <06:48>
... skipping.
(347/400) Run 347: Case 70 [2]... <06:48>
... skipping.
(348/400) Run 348: Case 70 [3]... <06:48>
... skipping.
(349/400) Run 349: Case 70 [4]... <06:48>
... skipping.
(350/400) Run 350: Case 70 [5]... <06:48>
... skipping.
(351/400) Run 351: Case 71 [1]... <06:48>
... skipping.
(352/400) Run 352: Case 71 [2]... <06:48>
... skipping.
(353/400) Run 353: Case 71 [3]... <06:48>
... skipping.
(354/400) Run 354: Case 71 [4]... <06:48>
... skipping.
(355/400) Run 355: Case 71 [5]... <06:48>
... skipping.
(356/400) Run 356: Case 72 [1]... <06:48>
... skipping.
(357/400) Run 357: Case 72 [2]... <06:48>
... skipping.
(358/400) Run 358: Case 72 [3]... <06:48>
... skipping.
(359/400) Run 359: Case 72 [4]... <06:48>
... skipping.
(360/400) Run 360: Case 72 [5]... <06:48>
... skipping.
(361/400) Run 361: Case 73 [1]... <06:48>
... skipping.
(362/400) Run 362: Case 73 [2]... <06:48>
... skipping.
(363/400) Run 363: Case 73 [3]... <06:48>
... skipping.
(364/400) Run 364: Case 73 [4]... <06:48>
... skipping.
(365/400) Run 365: Case 73 [5]... <06:48>
... skipping.
(366/400) Run 366: Case 74 [1]... <06:48>
... skipping.
(367/400) Run 367: Case 74 [2]... <06:48>
... skipping.
(368/400) Run 368: Case 74 [3]... <06:48>
... skipping.
(369/400) Run 369: Case 74 [4]... <06:48>
... skipping.
(370/400) Run 370: Case 74 [5]... <06:48>
... skipping.
(371/400) Run 371: Case 75 [1]... <06:48>
... skipping.
(372/400) Run 372: Case 75 [2]... <06:48>
... skipping.
(373/400) Run 373: Case 75 [3]... <06:48>
... skipping.
(374/400) Run 374: Case 75 [4]... <06:48>
... skipping.
(375/400) Run 375: Case 75 [5]... <06:48>
... skipping.
(376/400) Run 376: Case 76 [1]... <06:48>
... skipping.
(377/400) Run 377: Case 76 [2]... <06:48>
... skipping.
(378/400) Run 378: Case 76 [3]... <06:48>
... skipping.
(379/400) Run 379: Case 76 [4]... <06:48>
... skipping.
(380/400) Run 380: Case 76 [5]... <06:48>
... skipping.
(381/400) Run 381: Case 77 [1]... <06:48>
... skipping.
(382/400) Run 382: Case 77 [2]... <06:48>
... skipping.
(383/400) Run 383: Case 77 [3]... <06:48>
... skipping.
(384/400) Run 384: Case 77 [4]... <06:48>
... skipping.
(385/400) Run 385: Case 77 [5]... <06:48>
... skipping.
(386/400) Run 386: Case 78 [1]... <06:48>
... skipping.
(387/400) Run 387: Case 78 [2]... <06:48>
... skipping.
(388/400) Run 388: Case 78 [3]... <06:48>
... skipping.
(389/400) Run 389: Case 78 [4]... <06:48>
... skipping.
(390/400) Run 390: Case 78 [5]... <06:48>
... skipping.
(391/400) Run 391: Case 79 [1]... <06:48>
... skipping.
(392/400) Run 392: Case 79 [2]... <06:48>
... skipping.
(393/400) Run 393: Case 79 [3]... <06:48>
... skipping.
(394/400) Run 394: Case 79 [4]... <06:48>
... skipping.
(395/400) Run 395: Case 79 [5]... <06:48>
... skipping.
(396/400) Run 396: Case 80 [1]... <06:48>
... skipping.
(397/400) Run 397: Case 80 [2]... <06:48>
... skipping.
(398/400) Run 398: Case 80 [3]... <06:48>
... skipping.
(399/400) Run 399: Case 80 [4]... <06:48>
... skipping.
(400/400) Run 400: Case 80 [5]... <06:48>
... skipping.
... done. (benchmark 'bm-03') <06:48>
Running benchmark 'bm-04'... <06:48>
(1/75) Run 1: Case 1 [1]... <06:48>
... skipping.
(2/75) Run 2: Case 1 [2]... <06:48>
... skipping.
(3/75) Run 3: Case 1 [3]... <06:48>
... skipping.
(4/75) Run 4: Case 1 [4]... <06:48>
... skipping.
(5/75) Run 5: Case 1 [5]... <06:48>
... skipping.
(6/75) Run 6: Case 2 [1]... <06:48>
... skipping.
(7/75) Run 7: Case 2 [2]... <06:48>
... skipping.
(8/75) Run 8: Case 2 [3]... <06:48>
... skipping.
(9/75) Run 9: Case 2 [4]... <06:48>
... skipping.
(10/75) Run 10: Case 2 [5]... <06:48>
... skipping.
(11/75) Run 11: Case 3 [1]... <06:48>
... skipping.
(12/75) Run 12: Case 3 [2]... <06:48>
... skipping.
(13/75) Run 13: Case 3 [3]... <06:48>
... skipping.
(14/75) Run 14: Case 3 [4]... <06:48>
... skipping.
(15/75) Run 15: Case 3 [5]... <06:48>
... skipping.
(16/75) Run 16: Case 4 [1]... <06:48>
... skipping.
(17/75) Run 17: Case 4 [2]... <06:48>
... skipping.
(18/75) Run 18: Case 4 [3]... <06:48>
... skipping.
(19/75) Run 19: Case 4 [4]... <06:48>
... skipping.
(20/75) Run 20: Case 4 [5]... <06:48>
... skipping.
(21/75) Run 21: Case 5 [1]... <06:48>
... skipping.
(22/75) Run 22: Case 5 [2]... <06:48>
... skipping.
(23/75) Run 23: Case 5 [3]... <06:48>
... skipping.
(24/75) Run 24: Case 5 [4]... <06:48>
... skipping.
(25/75) Run 25: Case 5 [5]... <06:48>
... skipping.
(26/75) Run 26: Case 6 [1]... <06:48>
... skipping.
(27/75) Run 27: Case 6 [2]... <06:48>
... skipping.
(28/75) Run 28: Case 6 [3]... <06:48>
... skipping.
(29/75) Run 29: Case 6 [4]... <06:48>
... skipping.
(30/75) Run 30: Case 6 [5]... <06:48>
... skipping.
(31/75) Run 31: Case 7 [1]... <06:48>
... skipping.
(32/75) Run 32: Case 7 [2]... <06:48>
... skipping.
(33/75) Run 33: Case 7 [3]... <06:48>
... skipping.
(34/75) Run 34: Case 7 [4]... <06:48>
... skipping.
(35/75) Run 35: Case 7 [5]... <06:48>
... skipping.
(36/75) Run 36: Case 8 [1]... <06:48>
... skipping.
(37/75) Run 37: Case 8 [2]... <06:48>
... skipping.
(38/75) Run 38: Case 8 [3]... <06:48>
... skipping.
(39/75) Run 39: Case 8 [4]... <06:48>
... skipping.
(40/75) Run 40: Case 8 [5]... <06:48>
... skipping.
(41/75) Run 41: Case 9 [1]... <06:48>
... skipping.
(42/75) Run 42: Case 9 [2]... <06:48>
... skipping.
(43/75) Run 43: Case 9 [3]... <06:48>
... skipping.
(44/75) Run 44: Case 9 [4]... <06:48>
... skipping.
(45/75) Run 45: Case 9 [5]... <06:48>
... skipping.
(46/75) Run 46: Case 10 [1]... <06:48>
... skipping.
(47/75) Run 47: Case 10 [2]... <06:48>
... skipping.
(48/75) Run 48: Case 10 [3]... <06:48>
... skipping.
(49/75) Run 49: Case 10 [4]... <06:48>
... skipping.
(50/75) Run 50: Case 10 [5]... <06:48>
... skipping.
(51/75) Run 51: Case 11 [1]... <06:48>
... skipping.
(52/75) Run 52: Case 11 [2]... <06:48>
... skipping.
(53/75) Run 53: Case 11 [3]... <06:48>
... skipping.
(54/75) Run 54: Case 11 [4]... <06:48>
... skipping.
(55/75) Run 55: Case 11 [5]... <06:48>
... skipping.
(56/75) Run 56: Case 12 [1]... <06:48>
... skipping.
(57/75) Run 57: Case 12 [2]... <06:48>
... skipping.
(58/75) Run 58: Case 12 [3]... <06:48>
... skipping.
(59/75) Run 59: Case 12 [4]... <06:48>
... skipping.
(60/75) Run 60: Case 12 [5]... <06:48>
... skipping.
(61/75) Run 61: Case 13 [1]... <06:48>
... skipping.
(62/75) Run 62: Case 13 [2]... <06:48>
... skipping.
(63/75) Run 63: Case 13 [3]... <06:48>
... skipping.
(64/75) Run 64: Case 13 [4]... <06:48>
... skipping.
(65/75) Run 65: Case 13 [5]... <06:48>
... skipping.
(66/75) Run 66: Case 14 [1]... <06:48>
... skipping.
(67/75) Run 67: Case 14 [2]... <06:48>
... skipping.
(68/75) Run 68: Case 14 [3]... <06:48>
... skipping.
(69/75) Run 69: Case 14 [4]... <06:48>
... skipping.
(70/75) Run 70: Case 14 [5]... <06:48>
... skipping.
(71/75) Run 71: Case 15 [1]... <06:48>
... skipping.
(72/75) Run 72: Case 15 [2]... <06:48>
... skipping.
(73/75) Run 73: Case 15 [3]... <06:48>
... skipping.
(74/75) Run 74: Case 15 [4]... <06:48>
... skipping.
(75/75) Run 75: Case 15 [5]... <06:48>
... skipping.
... done. (benchmark 'bm-04') <06:48>
Running benchmark 'bm-05'... <06:48>
(1/90) Run 1: Case 1 [1]... <06:48>
... skipping.
(2/90) Run 2: Case 1 [2]... <06:48>
... skipping.
(3/90) Run 3: Case 1 [3]... <06:48>
... skipping.
(4/90) Run 4: Case 1 [4]... <06:48>
... skipping.
(5/90) Run 5: Case 1 [5]... <06:48>
... skipping.
(6/90) Run 6: Case 2 [1]... <06:48>
... skipping.
(7/90) Run 7: Case 2 [2]... <06:48>
... skipping.
(8/90) Run 8: Case 2 [3]... <06:48>
... skipping.
(9/90) Run 9: Case 2 [4]... <06:48>
... skipping.
(10/90) Run 10: Case 2 [5]... <06:48>
... skipping.
(11/90) Run 11: Case 3 [1]... <06:48>
... skipping.
(12/90) Run 12: Case 3 [2]... <06:48>
... skipping.
(13/90) Run 13: Case 3 [3]... <06:48>
... skipping.
(14/90) Run 14: Case 3 [4]... <06:48>
... skipping.
(15/90) Run 15: Case 3 [5]... <06:48>
... skipping.
(16/90) Run 16: Case 4 [1]... <06:48>
... skipping.
(17/90) Run 17: Case 4 [2]... <06:48>
... skipping.
(18/90) Run 18: Case 4 [3]... <06:48>
... skipping.
(19/90) Run 19: Case 4 [4]... <06:48>
... skipping.
(20/90) Run 20: Case 4 [5]... <06:48>
... skipping.
(21/90) Run 21: Case 5 [1]... <06:48>
... skipping.
(22/90) Run 22: Case 5 [2]... <06:48>
... skipping.
(23/90) Run 23: Case 5 [3]... <06:48>
... skipping.
(24/90) Run 24: Case 5 [4]... <06:48>
... skipping.
(25/90) Run 25: Case 5 [5]... <06:48>
... skipping.
(26/90) Run 26: Case 6 [1]... <06:48>
... skipping.
(27/90) Run 27: Case 6 [2]... <06:48>
... skipping.
(28/90) Run 28: Case 6 [3]... <06:48>
... skipping.
(29/90) Run 29: Case 6 [4]... <06:48>
... skipping.
(30/90) Run 30: Case 6 [5]... <06:48>
... skipping.
(31/90) Run 31: Case 7 [1]... <06:48>
... skipping.
(32/90) Run 32: Case 7 [2]... <06:48>
... skipping.
(33/90) Run 33: Case 7 [3]... <06:48>
... skipping.
(34/90) Run 34: Case 7 [4]... <06:48>
... skipping.
(35/90) Run 35: Case 7 [5]... <06:48>
... skipping.
(36/90) Run 36: Case 8 [1]... <06:48>
... skipping.
(37/90) Run 37: Case 8 [2]... <06:48>
... skipping.
(38/90) Run 38: Case 8 [3]... <06:48>
... skipping.
(39/90) Run 39: Case 8 [4]... <06:48>
... skipping.
(40/90) Run 40: Case 8 [5]... <06:48>
... skipping.
(41/90) Run 41: Case 9 [1]... <06:48>
... skipping.
(42/90) Run 42: Case 9 [2]... <06:48>
... skipping.
(43/90) Run 43: Case 9 [3]... <06:48>
... skipping.
(44/90) Run 44: Case 9 [4]... <06:48>
... skipping.
(45/90) Run 45: Case 9 [5]... <06:48>
... skipping.
(46/90) Run 46: Case 10 [1]... <06:48>
... skipping.
(47/90) Run 47: Case 10 [2]... <06:48>
... skipping.
(48/90) Run 48: Case 10 [3]... <06:48>
... skipping.
(49/90) Run 49: Case 10 [4]... <06:48>
... skipping.
(50/90) Run 50: Case 10 [5]... <06:48>
... skipping.
(51/90) Run 51: Case 11 [1]... <06:48>
... skipping.
(52/90) Run 52: Case 11 [2]... <06:48>
... skipping.
(53/90) Run 53: Case 11 [3]... <06:48>
... skipping.
(54/90) Run 54: Case 11 [4]... <06:48>
... skipping.
(55/90) Run 55: Case 11 [5]... <06:48>
... skipping.
(56/90) Run 56: Case 12 [1]... <06:48>
... skipping.
(57/90) Run 57: Case 12 [2]... <06:48>
... skipping.
(58/90) Run 58: Case 12 [3]... <06:48>
... skipping.
(59/90) Run 59: Case 12 [4]... <06:48>
... skipping.
(60/90) Run 60: Case 12 [5]... <06:48>
... skipping.
(61/90) Run 61: Case 13 [1]... <06:48>
... skipping.
(62/90) Run 62: Case 13 [2]... <06:48>
... skipping.
(63/90) Run 63: Case 13 [3]... <06:48>
... skipping.
(64/90) Run 64: Case 13 [4]... <06:48>
... skipping.
(65/90) Run 65: Case 13 [5]... <06:48>
... skipping.
(66/90) Run 66: Case 14 [1]... <06:48>
... skipping.
(67/90) Run 67: Case 14 [2]... <06:48>
... skipping.
(68/90) Run 68: Case 14 [3]... <06:48>
... skipping.
(69/90) Run 69: Case 14 [4]... <06:48>
... skipping.
(70/90) Run 70: Case 14 [5]... <06:48>
... skipping.
(71/90) Run 71: Case 15 [1]... <06:48>
... skipping.
(72/90) Run 72: Case 15 [2]... <06:48>
... skipping.
(73/90) Run 73: Case 15 [3]... <06:48>
... skipping.
(74/90) Run 74: Case 15 [4]... <06:48>
... skipping.
(75/90) Run 75: Case 15 [5]... <06:48>
... skipping.
(76/90) Run 76: Case 16 [1]... <06:48>
... skipping.
(77/90) Run 77: Case 16 [2]... <06:48>
... skipping.
(78/90) Run 78: Case 16 [3]... <06:48>
... skipping.
(79/90) Run 79: Case 16 [4]... <06:48>
... skipping.
(80/90) Run 80: Case 16 [5]... <06:48>
... skipping.
(81/90) Run 81: Case 17 [1]... <06:48>
... skipping.
(82/90) Run 82: Case 17 [2]... <06:48>
... skipping.
(83/90) Run 83: Case 17 [3]... <06:48>
... skipping.
(84/90) Run 84: Case 17 [4]... <06:48>
... skipping.
(85/90) Run 85: Case 17 [5]... <06:48>
... skipping.
(86/90) Run 86: Case 18 [1]... <06:48>
... skipping.
(87/90) Run 87: Case 18 [2]... <06:48>
... skipping.
(88/90) Run 88: Case 18 [3]... <06:48>
... skipping.
(89/90) Run 89: Case 18 [4]... <06:48>
... skipping.
(90/90) Run 90: Case 18 [5]... <06:48>
... skipping.
... done. (benchmark 'bm-05') <06:48>
--- finished re-building ‘lmSubsets.Rnw’
pdflatex --shell-escape lmSubsets
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex)
\write18 enabled.
entering extended mode
(./lmSubsets.tex
LaTeX2e <2017-04-15>
Babel <3.10> and hyphenation patterns for 84 language(s) loaded.
(/Library/Frameworks/R.framework/Resources/share/texmf/tex/latex/jss.cls
Document Class: jss 2015/09/01 3.0 jss class by Achim Zeileis
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/size11.clo))
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))))
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/color.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/ae/ae.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/fontenc.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/ae/t1aer.fd)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix
<2008/02/07> (tvz))
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/fontenc.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/upquote/upquote.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/natbib/natbib.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
Package hyperref Warning: Option `hyperindex' has already been used,
(hyperref) setting the option has no effect on input line 446.
) (/usr/local/texlive/2017/texmf-dist/tex/latex/auto-pst-pdf/auto-pst-pdf.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/xkeyval/xkeyval.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/xkeyval.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/xkvutils.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/ifplatform/ifplatform.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/catchfile.sty)
(./lmSubsets.w18))
-------------------------------------------------
auto-pst-pdf: Auxiliary LaTeX compilation
-------------------------------------------------
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=latex)
entering extended mode
This is dvips(k) 5.997 Copyright 2017 Radical Eye Software (www.radicaleye.com)
' TeX output 2020.05.24:0648' -> lmSubsets-autopp.ps
</usr/local/texlive/2017/texmf-dist/dvips/base/tex.pro>
</usr/local/texlive/2017/texmf-dist/dvips/config/alt-rule.pro>
</usr/local/texlive/2017/texmf-dist/dvips/pstricks/pstricks.pro>
</usr/local/texlive/2017/texmf-dist/dvips/pstricks/pst-algparser.pro>
</usr/local/texlive/2017/texmf-dist/dvips/pst-tools/pst-tools.pro>
</usr/local/texlive/2017/texmf-dist/dvips/pstricks/pst-dots.pro>
</usr/local/texlive/2017/texmf-dist/dvips/pst-node/pst-node.pro>
</usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/lm/lm-mathsy.enc>
</usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc>
</usr/local/texlive/2017/texmf-dist/dvips/base/texps.pro>
</usr/local/texlive/2017/texmf-dist/dvips/base/special.pro>.
</usr/local/texlive/2017/texmf-dist/fonts/type1/public/lm/lmss8.pfb>
</usr/local/texlive/2017/texmf-dist/fonts/type1/public/lm/lmsy8.pfb>[1]
-------------------------------------------------
auto-pst-pdf: End auxiliary LaTeX compilation
-------------------------------------------------
(/usr/local/texlive/2017/texmf-dist/tex/latex/pst-pdf/pst-pdf.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/luatex85/luatex85.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pstricks/pstricks.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pstricks/pstricks.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/pst-xkey.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pstricks/pst-fp.tex
`pst-fp' v0.05, 2010/01/17 (hv))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
x
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
sts.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
nometric.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
m.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
rison.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
erarithmetics.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)
))
`PSTricks' v2.73 <2017/05/18> (tvz)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pstricks/pstricks.con))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pstricks/pst-fp.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/preview/preview.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/dvips.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/environ/environ.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/trimspaces/trimspaces.sty))))
(/usr/local/texlive/2017/texmf-dist/tex/generic/thumbpdf/thumbpdf.sty
Package thumbpdf Warning: Compressed PDF objects of PDF 1.5 are not supported.
Package thumbpdf Warning: Thumbnail data file `lmSubsets.tpt' not found.
) (/usr/local/texlive/2017/texmf-dist/tex/latex/lm/lmodern.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pst-tree/pst-tree.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pst-tree/pst-tree.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pst-node/pst-node.tex
v1.39, 2017/01/20) v1.13, 2017/02/18(tvz,dg,hv)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/subcaption.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/threeparttable/threeparttable.sty
) (/Library/Frameworks/R.framework/Resources/share/texmf/tex/latex/Sweave.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/fontenc.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.def))
Environment Schunk is already defined, stay with former definition)
No file lmSubsets.aux.
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/t1lmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/t1lmss.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/ot1lmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/omllmm.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/omslmsy.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/omxlmex.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd)
Package xcolor Warning: Incompatible color definition on input line 122.
Package natbib Warning: Citation `hofmann:20' on page 1 undefined on input line
122.
Package xcolor Warning: Incompatible color definition on input line 122.
(/usr/local/texlive/2017/texmf-dist/tex/latex/lm/t1lmtt.fd)
Preview: Fontsize 10.95pt
Preview: PDFoutput 1
Package natbib Warning: Citation `clarke:81' on page 1 undefined on input line
135.
Package natbib Warning: Citation `hastie:01' on page 1 undefined on input line
135.
Package natbib Warning: Citation `miller:02' on page 1 undefined on input line
139.
Package natbib Warning: Citation `golub:96' on page 1 undefined on input line 1
67.
[1
Non-PDF special ignored!
Non-PDF special ignored!
Non-PDF special ignored!{/usr/local/texlive/2017/texmf-var/fonts/map/pdftex/upd
map/pdftex.map}]
Package natbib Warning: Citation `miller:02' on page 2 undefined on input line
205.
LaTeX Warning: Reference `eq:best_subset' on page 2 undefined on input line 206
.
LaTeX Warning: Reference `eq:all_subsets' on page 2 undefined on input line 224
.
LaTeX Warning: Reference `eq:best_subset' on page 2 undefined on input line 225
.
LaTeX Warning: Reference `eq:all_subsets' on page 2 undefined on input line 236
.
LaTeX Warning: Reference `eq:best_subset' on page 2 undefined on input line 245
.
Package natbib Warning: Citation `goldberg:89' on page 2 undefined on input lin
e 258.
Package natbib Warning: Citation `otten:89' on page 2 undefined on input line 2
58.
Package natbib Warning: Citation `leaps' on page 2 undefined on input line 263.
Package natbib Warning: Citation `miller:02' on page 2 undefined on input line
265.
Package natbib Warning: Citation `bestglm' on page 2 undefined on input line 26
6.
Package natbib Warning: Citation `BeSS' on page 2 undefined on input line 269.
Package natbib Warning: Citation `subselect' on page 2 undefined on input line
269.
Package natbib Warning: Citation `glmulti' on page 2 undefined on input line 27
2.
Package natbib Warning: Citation `wolters:15' on page 2 undefined on input line
275.
Package natbib Warning: Citation `friedman:10' on page 2 undefined on input lin
e 279.
Overfull \hbox (5.47499pt too wide) has occurred while \output is active
\T1/lmr/m/n/10.95 2 []
[2]
Package natbib Warning: Citation `lmSubsets' on page 3 undefined on input line
281.
LaTeX Warning: Reference `eq:best_subset' on page 3 undefined on input line 283
.
LaTeX Warning: Reference `eq:all_subsets' on page 3 undefined on input line 284
.
Package natbib Warning: Citation `gatu:06' on page 3 undefined on input line 28
5.
Package natbib Warning: Citation `hofmann:07' on page 3 undefined on input line
285.
Package natbib Warning: Citation `hofmann:10' on page 3 undefined on input line
288.
Package natbib Warning: Citation `R' on page 3 undefined on input line 294.
Package xcolor Warning: Incompatible color definition on input line 295.
LaTeX Warning: Reference `sec:comput' on page 3 undefined on input line 297.
LaTeX Warning: Reference `sec:R' on page 3 undefined on input line 299.
LaTeX Warning: Reference `sec:usecase' on page 3 undefined on input line 300.
LaTeX Warning: Reference `sec:benchmarks' on page 3 undefined on input line 301
.
LaTeX Warning: Reference `eq:olm' on page 3 undefined on input line 311.
LaTeX Warning: Reference `eq:all_subsets' on page 3 undefined on input line 315
.
Package natbib Warning: Citation `gatu:03' on page 3 undefined on input line 31
7.
Package natbib Warning: Citation `gatu:07' on page 3 undefined on input line 31
7.
Package natbib Warning: Citation `smith:89' on page 3 undefined on input line 3
17.
Package natbib Warning: Citation `golub:96' on page 3 undefined on input line 3
35.
Package natbib Warning: Citation `kontoghiorghes:00' on page 3 undefined on inp
ut line 335.
Package natbib Warning: Citation `smith:89' on page 3 undefined on input line 3
35.
Package natbib Warning: Citation `gatu:06' on page 3 undefined on input line 33
9.
Package natbib Warning: Citation `hofmann:07' on page 3 undefined on input line
339.
LaTeX Warning: Reference `fig:dca_tree' on page 3 undefined on input line 339.
Overfull \hbox (5.47499pt too wide) has occurred while \output is active
[] \T1/lmr/m/n/10.95 3
[3]
Package amsmath Warning: Foreign command \atop;
(amsmath) \frac or \genfrac should be used instead
(amsmath) on input line 370.
! Undefined control sequence.
\c@lor@to@ps ->\PSTricks
_Not_Configured_For_This_Format
l.370 \end
{center}
?
! Emergency stop.
\c@lor@to@ps ->\PSTricks
_Not_Configured_For_This_Format
l.370 \end
{center}
! ==> Fatal error occurred, no output PDF file produced!
Transcript written on lmSubsets.log.
make: *** [all] Error 1
Error in tools:::buildVignettes(dir = "/Volumes/SSD-Data/Builds/R-dev-web/QA/Simon/packages/el-capitan-x86_64/results/3.6/lmSubsets.Rcheck/vign_test/lmSubsets", :
running 'make' failed
Execution halted
Flavor: r-oldrel-macos-x86_64