CRAN Package Check Results for Package lmSubsets

Last updated on 2019-08-24 02:48:35 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 0.4 10.84 46.40 57.24 OK
r-devel-linux-x86_64-debian-gcc 0.4 10.05 36.88 46.93 OK
r-devel-linux-x86_64-fedora-clang 0.4 74.72 OK
r-devel-linux-x86_64-fedora-gcc 0.4 75.68 OK
r-devel-windows-ix86+x86_64 0.4 34.00 132.00 166.00 OK
r-patched-linux-x86_64 0.4 9.98 46.22 56.20 OK
r-patched-solaris-x86 0.4 8.00 ERROR
r-release-linux-x86_64 0.4 10.53 45.82 56.35 OK
r-release-windows-ix86+x86_64 0.4 23.00 122.00 145.00 OK
r-release-osx-x86_64 0.4 NOTE
r-oldrel-windows-ix86+x86_64 0.4 20.00 93.00 113.00 OK
r-oldrel-osx-x86_64 0.4 NOTE

Check Details

Version: 0.4
Check: whether package can be installed
Result: ERROR
    Installation failed.
Flavor: r-patched-solaris-x86

Version: 0.4
Check: re-building of vignette outputs
Result: NOTE
    Error(s) in re-building vignettes:
    --- re-building ‘lmSubsets.Rnw’ using Sweave
    Running benchmark 'bm-01'... <05:35>
    (1/375) Run 1: Case 1 [1]... <05:35>
     ... skipping.
    (2/375) Run 2: Case 1 [2]... <05:35>
     ... skipping.
    (3/375) Run 3: Case 1 [3]... <05:35>
     ... skipping.
    (4/375) Run 4: Case 1 [4]... <05:35>
     ... skipping.
    (5/375) Run 5: Case 1 [5]... <05:35>
     ... skipping.
    (6/375) Run 6: Case 2 [1]... <05:35>
     ... skipping.
    (7/375) Run 7: Case 2 [2]... <05:35>
     ... skipping.
    (8/375) Run 8: Case 2 [3]... <05:35>
     ... skipping.
    (9/375) Run 9: Case 2 [4]... <05:35>
     ... skipping.
    (10/375) Run 10: Case 2 [5]... <05:35>
     ... skipping.
    (11/375) Run 11: Case 3 [1]... <05:35>
     ... skipping.
    (12/375) Run 12: Case 3 [2]... <05:35>
     ... skipping.
    (13/375) Run 13: Case 3 [3]... <05:35>
     ... skipping.
    (14/375) Run 14: Case 3 [4]... <05:35>
     ... skipping.
    (15/375) Run 15: Case 3 [5]... <05:35>
     ... skipping.
    (16/375) Run 16: Case 4 [1]... <05:35>
     ... skipping.
    (17/375) Run 17: Case 4 [2]... <05:35>
     ... skipping.
    (18/375) Run 18: Case 4 [3]... <05:35>
     ... skipping.
    (19/375) Run 19: Case 4 [4]... <05:35>
     ... skipping.
    (20/375) Run 20: Case 4 [5]... <05:35>
     ... skipping.
    (21/375) Run 21: Case 5 [1]... <05:35>
     ... skipping.
    (22/375) Run 22: Case 5 [2]... <05:35>
     ... skipping.
    (23/375) Run 23: Case 5 [3]... <05:35>
     ... skipping.
    (24/375) Run 24: Case 5 [4]... <05:35>
     ... skipping.
    (25/375) Run 25: Case 5 [5]... <05:35>
     ... skipping.
    (26/375) Run 26: Case 6 [1]... <05:35>
     ... skipping.
    (27/375) Run 27: Case 6 [2]... <05:35>
     ... skipping.
    (28/375) Run 28: Case 6 [3]... <05:35>
     ... skipping.
    (29/375) Run 29: Case 6 [4]... <05:35>
     ... skipping.
    (30/375) Run 30: Case 6 [5]... <05:35>
     ... skipping.
    (31/375) Run 31: Case 7 [1]... <05:35>
     ... skipping.
    (32/375) Run 32: Case 7 [2]... <05:35>
     ... skipping.
    (33/375) Run 33: Case 7 [3]... <05:35>
     ... skipping.
    (34/375) Run 34: Case 7 [4]... <05:35>
     ... skipping.
    (35/375) Run 35: Case 7 [5]... <05:35>
     ... skipping.
    (36/375) Run 36: Case 8 [1]... <05:35>
     ... skipping.
    (37/375) Run 37: Case 8 [2]... <05:35>
     ... skipping.
    (38/375) Run 38: Case 8 [3]... <05:35>
     ... skipping.
    (39/375) Run 39: Case 8 [4]... <05:35>
     ... skipping.
    (40/375) Run 40: Case 8 [5]... <05:35>
     ... skipping.
    (41/375) Run 41: Case 9 [1]... <05:35>
     ... skipping.
    (42/375) Run 42: Case 9 [2]... <05:35>
     ... skipping.
    (43/375) Run 43: Case 9 [3]... <05:35>
     ... skipping.
    (44/375) Run 44: Case 9 [4]... <05:35>
     ... skipping.
    (45/375) Run 45: Case 9 [5]... <05:35>
     ... skipping.
    (46/375) Run 46: Case 10 [1]... <05:35>
     ... skipping.
    (47/375) Run 47: Case 10 [2]... <05:35>
     ... skipping.
    (48/375) Run 48: Case 10 [3]... <05:35>
     ... skipping.
    (49/375) Run 49: Case 10 [4]... <05:35>
     ... skipping.
    (50/375) Run 50: Case 10 [5]... <05:35>
     ... skipping.
    (51/375) Run 51: Case 11 [1]... <05:35>
     ... skipping.
    (52/375) Run 52: Case 11 [2]... <05:35>
     ... skipping.
    (53/375) Run 53: Case 11 [3]... <05:35>
     ... skipping.
    (54/375) Run 54: Case 11 [4]... <05:35>
     ... skipping.
    (55/375) Run 55: Case 11 [5]... <05:35>
     ... skipping.
    (56/375) Run 56: Case 12 [1]... <05:35>
     ... skipping.
    (57/375) Run 57: Case 12 [2]... <05:35>
     ... skipping.
    (58/375) Run 58: Case 12 [3]... <05:35>
     ... skipping.
    (59/375) Run 59: Case 12 [4]... <05:35>
     ... skipping.
    (60/375) Run 60: Case 12 [5]... <05:35>
     ... skipping.
    (61/375) Run 61: Case 13 [1]... <05:35>
     ... skipping.
    (62/375) Run 62: Case 13 [2]... <05:35>
     ... skipping.
    (63/375) Run 63: Case 13 [3]... <05:35>
     ... skipping.
    (64/375) Run 64: Case 13 [4]... <05:35>
     ... skipping.
    (65/375) Run 65: Case 13 [5]... <05:35>
     ... skipping.
    (66/375) Run 66: Case 14 [1]... <05:35>
     ... skipping.
    (67/375) Run 67: Case 14 [2]... <05:35>
     ... skipping.
    (68/375) Run 68: Case 14 [3]... <05:35>
     ... skipping.
    (69/375) Run 69: Case 14 [4]... <05:35>
     ... skipping.
    (70/375) Run 70: Case 14 [5]... <05:35>
     ... skipping.
    (71/375) Run 71: Case 15 [1]... <05:35>
     ... skipping.
    (72/375) Run 72: Case 15 [2]... <05:35>
     ... skipping.
    (73/375) Run 73: Case 15 [3]... <05:35>
     ... skipping.
    (74/375) Run 74: Case 15 [4]... <05:35>
     ... skipping.
    (75/375) Run 75: Case 15 [5]... <05:35>
     ... skipping.
    (76/375) Run 76: Case 16 [1]... <05:35>
     ... skipping.
    (77/375) Run 77: Case 16 [2]... <05:35>
     ... skipping.
    (78/375) Run 78: Case 16 [3]... <05:35>
     ... skipping.
    (79/375) Run 79: Case 16 [4]... <05:35>
     ... skipping.
    (80/375) Run 80: Case 16 [5]... <05:35>
     ... skipping.
    (81/375) Run 81: Case 17 [1]... <05:35>
     ... skipping.
    (82/375) Run 82: Case 17 [2]... <05:35>
     ... skipping.
    (83/375) Run 83: Case 17 [3]... <05:35>
     ... skipping.
    (84/375) Run 84: Case 17 [4]... <05:35>
     ... skipping.
    (85/375) Run 85: Case 17 [5]... <05:35>
     ... skipping.
    (86/375) Run 86: Case 18 [1]... <05:35>
     ... skipping.
    (87/375) Run 87: Case 18 [2]... <05:35>
     ... skipping.
    (88/375) Run 88: Case 18 [3]... <05:35>
     ... skipping.
    (89/375) Run 89: Case 18 [4]... <05:35>
     ... skipping.
    (90/375) Run 90: Case 18 [5]... <05:35>
     ... skipping.
    (91/375) Run 91: Case 19 [1]... <05:35>
     ... skipping.
    (92/375) Run 92: Case 19 [2]... <05:35>
     ... skipping.
    (93/375) Run 93: Case 19 [3]... <05:35>
     ... skipping.
    (94/375) Run 94: Case 19 [4]... <05:35>
     ... skipping.
    (95/375) Run 95: Case 19 [5]... <05:35>
     ... skipping.
    (96/375) Run 96: Case 20 [1]... <05:35>
     ... skipping.
    (97/375) Run 97: Case 20 [2]... <05:35>
     ... skipping.
    (98/375) Run 98: Case 20 [3]... <05:35>
     ... skipping.
    (99/375) Run 99: Case 20 [4]... <05:35>
     ... skipping.
    (100/375) Run 100: Case 20 [5]... <05:35>
     ... skipping.
    (101/375) Run 101: Case 21 [1]... <05:35>
     ... skipping.
    (102/375) Run 102: Case 21 [2]... <05:35>
     ... skipping.
    (103/375) Run 103: Case 21 [3]... <05:35>
     ... skipping.
    (104/375) Run 104: Case 21 [4]... <05:35>
     ... skipping.
    (105/375) Run 105: Case 21 [5]... <05:35>
     ... skipping.
    (106/375) Run 106: Case 22 [1]... <05:35>
     ... skipping.
    (107/375) Run 107: Case 22 [2]... <05:35>
     ... skipping.
    (108/375) Run 108: Case 22 [3]... <05:35>
     ... skipping.
    (109/375) Run 109: Case 22 [4]... <05:35>
     ... skipping.
    (110/375) Run 110: Case 22 [5]... <05:35>
     ... skipping.
    (111/375) Run 111: Case 23 [1]... <05:35>
     ... skipping.
    (112/375) Run 112: Case 23 [2]... <05:35>
     ... skipping.
    (113/375) Run 113: Case 23 [3]... <05:35>
     ... skipping.
    (114/375) Run 114: Case 23 [4]... <05:35>
     ... skipping.
    (115/375) Run 115: Case 23 [5]... <05:35>
     ... skipping.
    (116/375) Run 116: Case 24 [1]... <05:35>
     ... skipping.
    (117/375) Run 117: Case 24 [2]... <05:35>
     ... skipping.
    (118/375) Run 118: Case 24 [3]... <05:35>
     ... skipping.
    (119/375) Run 119: Case 24 [4]... <05:35>
     ... skipping.
    (120/375) Run 120: Case 24 [5]... <05:35>
     ... skipping.
    (121/375) Run 121: Case 25 [1]... <05:35>
     ... skipping.
    (122/375) Run 122: Case 25 [2]... <05:35>
     ... skipping.
    (123/375) Run 123: Case 25 [3]... <05:35>
     ... skipping.
    (124/375) Run 124: Case 25 [4]... <05:35>
     ... skipping.
    (125/375) Run 125: Case 25 [5]... <05:35>
     ... skipping.
    (126/375) Run 126: Case 26 [1]... <05:35>
     ... skipping.
    (127/375) Run 127: Case 26 [2]... <05:35>
     ... skipping.
    (128/375) Run 128: Case 26 [3]... <05:35>
     ... skipping.
    (129/375) Run 129: Case 26 [4]... <05:35>
     ... skipping.
    (130/375) Run 130: Case 26 [5]... <05:35>
     ... skipping.
    (131/375) Run 131: Case 27 [1]... <05:35>
     ... skipping.
    (132/375) Run 132: Case 27 [2]... <05:35>
     ... skipping.
    (133/375) Run 133: Case 27 [3]... <05:35>
     ... skipping.
    (134/375) Run 134: Case 27 [4]... <05:35>
     ... skipping.
    (135/375) Run 135: Case 27 [5]... <05:35>
     ... skipping.
    (136/375) Run 136: Case 28 [1]... <05:35>
     ... skipping.
    (137/375) Run 137: Case 28 [2]... <05:35>
     ... skipping.
    (138/375) Run 138: Case 28 [3]... <05:35>
     ... skipping.
    (139/375) Run 139: Case 28 [4]... <05:35>
     ... skipping.
    (140/375) Run 140: Case 28 [5]... <05:35>
     ... skipping.
    (141/375) Run 141: Case 29 [1]... <05:35>
     ... skipping.
    (142/375) Run 142: Case 29 [2]... <05:35>
     ... skipping.
    (143/375) Run 143: Case 29 [3]... <05:35>
     ... skipping.
    (144/375) Run 144: Case 29 [4]... <05:35>
     ... skipping.
    (145/375) Run 145: Case 29 [5]... <05:35>
     ... skipping.
    (146/375) Run 146: Case 30 [1]... <05:35>
     ... skipping.
    (147/375) Run 147: Case 30 [2]... <05:35>
     ... skipping.
    (148/375) Run 148: Case 30 [3]... <05:35>
     ... skipping.
    (149/375) Run 149: Case 30 [4]... <05:35>
     ... skipping.
    (150/375) Run 150: Case 30 [5]... <05:35>
     ... skipping.
    (151/375) Run 151: Case 31 [1]... <05:35>
     ... skipping.
    (152/375) Run 152: Case 31 [2]... <05:35>
     ... skipping.
    (153/375) Run 153: Case 31 [3]... <05:35>
     ... skipping.
    (154/375) Run 154: Case 31 [4]... <05:35>
     ... skipping.
    (155/375) Run 155: Case 31 [5]... <05:35>
     ... skipping.
    (156/375) Run 156: Case 32 [1]... <05:35>
     ... skipping.
    (157/375) Run 157: Case 32 [2]... <05:35>
     ... skipping.
    (158/375) Run 158: Case 32 [3]... <05:35>
     ... skipping.
    (159/375) Run 159: Case 32 [4]... <05:35>
     ... skipping.
    (160/375) Run 160: Case 32 [5]... <05:35>
     ... skipping.
    (161/375) Run 161: Case 33 [1]... <05:35>
     ... skipping.
    (162/375) Run 162: Case 33 [2]... <05:35>
     ... skipping.
    (163/375) Run 163: Case 33 [3]... <05:35>
     ... skipping.
    (164/375) Run 164: Case 33 [4]... <05:35>
     ... skipping.
    (165/375) Run 165: Case 33 [5]... <05:35>
     ... skipping.
    (166/375) Run 166: Case 34 [1]... <05:35>
     ... skipping.
    (167/375) Run 167: Case 34 [2]... <05:35>
     ... skipping.
    (168/375) Run 168: Case 34 [3]... <05:35>
     ... skipping.
    (169/375) Run 169: Case 34 [4]... <05:35>
     ... skipping.
    (170/375) Run 170: Case 34 [5]... <05:35>
     ... skipping.
    (171/375) Run 171: Case 35 [1]... <05:35>
     ... skipping.
    (172/375) Run 172: Case 35 [2]... <05:35>
     ... skipping.
    (173/375) Run 173: Case 35 [3]... <05:35>
     ... skipping.
    (174/375) Run 174: Case 35 [4]... <05:35>
     ... skipping.
    (175/375) Run 175: Case 35 [5]... <05:35>
     ... skipping.
    (176/375) Run 176: Case 36 [1]... <05:35>
     ... skipping.
    (177/375) Run 177: Case 36 [2]... <05:35>
     ... skipping.
    (178/375) Run 178: Case 36 [3]... <05:35>
     ... skipping.
    (179/375) Run 179: Case 36 [4]... <05:35>
     ... skipping.
    (180/375) Run 180: Case 36 [5]... <05:35>
     ... skipping.
    (181/375) Run 181: Case 37 [1]... <05:35>
     ... skipping.
    (182/375) Run 182: Case 37 [2]... <05:35>
     ... skipping.
    (183/375) Run 183: Case 37 [3]... <05:35>
     ... skipping.
    (184/375) Run 184: Case 37 [4]... <05:35>
     ... skipping.
    (185/375) Run 185: Case 37 [5]... <05:35>
     ... skipping.
    (186/375) Run 186: Case 38 [1]... <05:35>
     ... skipping.
    (187/375) Run 187: Case 38 [2]... <05:35>
     ... skipping.
    (188/375) Run 188: Case 38 [3]... <05:35>
     ... skipping.
    (189/375) Run 189: Case 38 [4]... <05:35>
     ... skipping.
    (190/375) Run 190: Case 38 [5]... <05:35>
     ... skipping.
    (191/375) Run 191: Case 39 [1]... <05:35>
     ... skipping.
    (192/375) Run 192: Case 39 [2]... <05:35>
     ... skipping.
    (193/375) Run 193: Case 39 [3]... <05:35>
     ... skipping.
    (194/375) Run 194: Case 39 [4]... <05:35>
     ... skipping.
    (195/375) Run 195: Case 39 [5]... <05:35>
     ... skipping.
    (196/375) Run 196: Case 40 [1]... <05:35>
     ... skipping.
    (197/375) Run 197: Case 40 [2]... <05:35>
     ... skipping.
    (198/375) Run 198: Case 40 [3]... <05:35>
     ... skipping.
    (199/375) Run 199: Case 40 [4]... <05:35>
     ... skipping.
    (200/375) Run 200: Case 40 [5]... <05:35>
     ... skipping.
    (201/375) Run 201: Case 41 [1]... <05:35>
     ... skipping.
    (202/375) Run 202: Case 41 [2]... <05:35>
     ... skipping.
    (203/375) Run 203: Case 41 [3]... <05:35>
     ... skipping.
    (204/375) Run 204: Case 41 [4]... <05:35>
     ... skipping.
    (205/375) Run 205: Case 41 [5]... <05:35>
     ... skipping.
    (206/375) Run 206: Case 42 [1]... <05:35>
     ... skipping.
    (207/375) Run 207: Case 42 [2]... <05:35>
     ... skipping.
    (208/375) Run 208: Case 42 [3]... <05:35>
     ... skipping.
    (209/375) Run 209: Case 42 [4]... <05:35>
     ... skipping.
    (210/375) Run 210: Case 42 [5]... <05:35>
     ... skipping.
    (211/375) Run 211: Case 43 [1]... <05:35>
     ... skipping.
    (212/375) Run 212: Case 43 [2]... <05:35>
     ... skipping.
    (213/375) Run 213: Case 43 [3]... <05:35>
     ... skipping.
    (214/375) Run 214: Case 43 [4]... <05:35>
     ... skipping.
    (215/375) Run 215: Case 43 [5]... <05:35>
     ... skipping.
    (216/375) Run 216: Case 44 [1]... <05:35>
     ... skipping.
    (217/375) Run 217: Case 44 [2]... <05:35>
     ... skipping.
    (218/375) Run 218: Case 44 [3]... <05:35>
     ... skipping.
    (219/375) Run 219: Case 44 [4]... <05:35>
     ... skipping.
    (220/375) Run 220: Case 44 [5]... <05:35>
     ... skipping.
    (221/375) Run 221: Case 45 [1]... <05:35>
     ... skipping.
    (222/375) Run 222: Case 45 [2]... <05:35>
     ... skipping.
    (223/375) Run 223: Case 45 [3]... <05:35>
     ... skipping.
    (224/375) Run 224: Case 45 [4]... <05:35>
     ... skipping.
    (225/375) Run 225: Case 45 [5]... <05:35>
     ... skipping.
    (226/375) Run 226: Case 46 [1]... <05:35>
     ... skipping.
    (227/375) Run 227: Case 46 [2]... <05:35>
     ... skipping.
    (228/375) Run 228: Case 46 [3]... <05:35>
     ... skipping.
    (229/375) Run 229: Case 46 [4]... <05:35>
     ... skipping.
    (230/375) Run 230: Case 46 [5]... <05:35>
     ... skipping.
    (231/375) Run 231: Case 47 [1]... <05:35>
     ... skipping.
    (232/375) Run 232: Case 47 [2]... <05:35>
     ... skipping.
    (233/375) Run 233: Case 47 [3]... <05:35>
     ... skipping.
    (234/375) Run 234: Case 47 [4]... <05:35>
     ... skipping.
    (235/375) Run 235: Case 47 [5]... <05:35>
     ... skipping.
    (236/375) Run 236: Case 48 [1]... <05:35>
     ... skipping.
    (237/375) Run 237: Case 48 [2]... <05:35>
     ... skipping.
    (238/375) Run 238: Case 48 [3]... <05:35>
     ... skipping.
    (239/375) Run 239: Case 48 [4]... <05:35>
     ... skipping.
    (240/375) Run 240: Case 48 [5]... <05:35>
     ... skipping.
    (241/375) Run 241: Case 49 [1]... <05:35>
     ... skipping.
    (242/375) Run 242: Case 49 [2]... <05:35>
     ... skipping.
    (243/375) Run 243: Case 49 [3]... <05:35>
     ... skipping.
    (244/375) Run 244: Case 49 [4]... <05:35>
     ... skipping.
    (245/375) Run 245: Case 49 [5]... <05:35>
     ... skipping.
    (246/375) Run 246: Case 50 [1]... <05:35>
     ... skipping.
    (247/375) Run 247: Case 50 [2]... <05:35>
     ... skipping.
    (248/375) Run 248: Case 50 [3]... <05:35>
     ... skipping.
    (249/375) Run 249: Case 50 [4]... <05:35>
     ... skipping.
    (250/375) Run 250: Case 50 [5]... <05:35>
     ... skipping.
    (251/375) Run 251: Case 51 [1]... <05:35>
     ... skipping.
    (252/375) Run 252: Case 51 [2]... <05:35>
     ... skipping.
    (253/375) Run 253: Case 51 [3]... <05:35>
     ... skipping.
    (254/375) Run 254: Case 51 [4]... <05:35>
     ... skipping.
    (255/375) Run 255: Case 51 [5]... <05:35>
     ... skipping.
    (256/375) Run 256: Case 52 [1]... <05:35>
     ... skipping.
    (257/375) Run 257: Case 52 [2]... <05:35>
     ... skipping.
    (258/375) Run 258: Case 52 [3]... <05:35>
     ... skipping.
    (259/375) Run 259: Case 52 [4]... <05:35>
     ... skipping.
    (260/375) Run 260: Case 52 [5]... <05:35>
     ... skipping.
    (261/375) Run 261: Case 53 [1]... <05:35>
     ... skipping.
    (262/375) Run 262: Case 53 [2]... <05:35>
     ... skipping.
    (263/375) Run 263: Case 53 [3]... <05:35>
     ... skipping.
    (264/375) Run 264: Case 53 [4]... <05:35>
     ... skipping.
    (265/375) Run 265: Case 53 [5]... <05:35>
     ... skipping.
    (266/375) Run 266: Case 54 [1]... <05:35>
     ... skipping.
    (267/375) Run 267: Case 54 [2]... <05:35>
     ... skipping.
    (268/375) Run 268: Case 54 [3]... <05:35>
     ... skipping.
    (269/375) Run 269: Case 54 [4]... <05:35>
     ... skipping.
    (270/375) Run 270: Case 54 [5]... <05:35>
     ... skipping.
    (271/375) Run 271: Case 55 [1]... <05:35>
     ... skipping.
    (272/375) Run 272: Case 55 [2]... <05:35>
     ... skipping.
    (273/375) Run 273: Case 55 [3]... <05:35>
     ... skipping.
    (274/375) Run 274: Case 55 [4]... <05:35>
     ... skipping.
    (275/375) Run 275: Case 55 [5]... <05:35>
     ... skipping.
    (276/375) Run 276: Case 56 [1]... <05:35>
     ... skipping.
    (277/375) Run 277: Case 56 [2]... <05:35>
     ... skipping.
    (278/375) Run 278: Case 56 [3]... <05:35>
     ... skipping.
    (279/375) Run 279: Case 56 [4]... <05:35>
     ... skipping.
    (280/375) Run 280: Case 56 [5]... <05:35>
     ... skipping.
    (281/375) Run 281: Case 57 [1]... <05:35>
     ... skipping.
    (282/375) Run 282: Case 57 [2]... <05:35>
     ... skipping.
    (283/375) Run 283: Case 57 [3]... <05:35>
     ... skipping.
    (284/375) Run 284: Case 57 [4]... <05:35>
     ... skipping.
    (285/375) Run 285: Case 57 [5]... <05:35>
     ... skipping.
    (286/375) Run 286: Case 58 [1]... <05:35>
     ... skipping.
    (287/375) Run 287: Case 58 [2]... <05:35>
     ... skipping.
    (288/375) Run 288: Case 58 [3]... <05:35>
     ... skipping.
    (289/375) Run 289: Case 58 [4]... <05:35>
     ... skipping.
    (290/375) Run 290: Case 58 [5]... <05:35>
     ... skipping.
    (291/375) Run 291: Case 59 [1]... <05:35>
     ... skipping.
    (292/375) Run 292: Case 59 [2]... <05:35>
     ... skipping.
    (293/375) Run 293: Case 59 [3]... <05:35>
     ... skipping.
    (294/375) Run 294: Case 59 [4]... <05:35>
     ... skipping.
    (295/375) Run 295: Case 59 [5]... <05:35>
     ... skipping.
    (296/375) Run 296: Case 60 [1]... <05:35>
     ... skipping.
    (297/375) Run 297: Case 60 [2]... <05:35>
     ... skipping.
    (298/375) Run 298: Case 60 [3]... <05:35>
     ... skipping.
    (299/375) Run 299: Case 60 [4]... <05:35>
     ... skipping.
    (300/375) Run 300: Case 60 [5]... <05:35>
     ... skipping.
    (301/375) Run 301: Case 61 [1]... <05:35>
     ... skipping.
    (302/375) Run 302: Case 61 [2]... <05:35>
     ... skipping.
    (303/375) Run 303: Case 61 [3]... <05:35>
     ... skipping.
    (304/375) Run 304: Case 61 [4]... <05:35>
     ... skipping.
    (305/375) Run 305: Case 61 [5]... <05:35>
     ... skipping.
    (306/375) Run 306: Case 62 [1]... <05:35>
     ... skipping.
    (307/375) Run 307: Case 62 [2]... <05:35>
     ... skipping.
    (308/375) Run 308: Case 62 [3]... <05:35>
     ... skipping.
    (309/375) Run 309: Case 62 [4]... <05:35>
     ... skipping.
    (310/375) Run 310: Case 62 [5]... <05:35>
     ... skipping.
    (311/375) Run 311: Case 63 [1]... <05:35>
     ... skipping.
    (312/375) Run 312: Case 63 [2]... <05:35>
     ... skipping.
    (313/375) Run 313: Case 63 [3]... <05:35>
     ... skipping.
    (314/375) Run 314: Case 63 [4]... <05:35>
     ... skipping.
    (315/375) Run 315: Case 63 [5]... <05:35>
     ... skipping.
    (316/375) Run 316: Case 64 [1]... <05:35>
     ... skipping.
    (317/375) Run 317: Case 64 [2]... <05:35>
     ... skipping.
    (318/375) Run 318: Case 64 [3]... <05:35>
     ... skipping.
    (319/375) Run 319: Case 64 [4]... <05:35>
     ... skipping.
    (320/375) Run 320: Case 64 [5]... <05:35>
     ... skipping.
    (321/375) Run 321: Case 65 [1]... <05:35>
     ... skipping.
    (322/375) Run 322: Case 65 [2]... <05:35>
     ... skipping.
    (323/375) Run 323: Case 65 [3]... <05:35>
     ... skipping.
    (324/375) Run 324: Case 65 [4]... <05:35>
     ... skipping.
    (325/375) Run 325: Case 65 [5]... <05:35>
     ... skipping.
    (326/375) Run 326: Case 66 [1]... <05:35>
     ... skipping.
    (327/375) Run 327: Case 66 [2]... <05:35>
     ... skipping.
    (328/375) Run 328: Case 66 [3]... <05:35>
     ... skipping.
    (329/375) Run 329: Case 66 [4]... <05:35>
     ... skipping.
    (330/375) Run 330: Case 66 [5]... <05:35>
     ... skipping.
    (331/375) Run 331: Case 67 [1]... <05:35>
     ... skipping.
    (332/375) Run 332: Case 67 [2]... <05:35>
     ... skipping.
    (333/375) Run 333: Case 67 [3]... <05:35>
     ... skipping.
    (334/375) Run 334: Case 67 [4]... <05:35>
     ... skipping.
    (335/375) Run 335: Case 67 [5]... <05:35>
     ... skipping.
    (336/375) Run 336: Case 68 [1]... <05:35>
     ... skipping.
    (337/375) Run 337: Case 68 [2]... <05:35>
     ... skipping.
    (338/375) Run 338: Case 68 [3]... <05:35>
     ... skipping.
    (339/375) Run 339: Case 68 [4]... <05:35>
     ... skipping.
    (340/375) Run 340: Case 68 [5]... <05:35>
     ... skipping.
    (341/375) Run 341: Case 69 [1]... <05:35>
     ... skipping.
    (342/375) Run 342: Case 69 [2]... <05:35>
     ... skipping.
    (343/375) Run 343: Case 69 [3]... <05:35>
     ... skipping.
    (344/375) Run 344: Case 69 [4]... <05:35>
     ... skipping.
    (345/375) Run 345: Case 69 [5]... <05:35>
     ... skipping.
    (346/375) Run 346: Case 70 [1]... <05:35>
     ... skipping.
    (347/375) Run 347: Case 70 [2]... <05:35>
     ... skipping.
    (348/375) Run 348: Case 70 [3]... <05:35>
     ... skipping.
    (349/375) Run 349: Case 70 [4]... <05:35>
     ... skipping.
    (350/375) Run 350: Case 70 [5]... <05:35>
     ... skipping.
    (351/375) Run 351: Case 71 [1]... <05:35>
     ... skipping.
    (352/375) Run 352: Case 71 [2]... <05:35>
     ... skipping.
    (353/375) Run 353: Case 71 [3]... <05:35>
     ... skipping.
    (354/375) Run 354: Case 71 [4]... <05:35>
     ... skipping.
    (355/375) Run 355: Case 71 [5]... <05:35>
     ... skipping.
    (356/375) Run 356: Case 72 [1]... <05:35>
     ... skipping.
    (357/375) Run 357: Case 72 [2]... <05:35>
     ... skipping.
    (358/375) Run 358: Case 72 [3]... <05:35>
     ... skipping.
    (359/375) Run 359: Case 72 [4]... <05:35>
     ... skipping.
    (360/375) Run 360: Case 72 [5]... <05:35>
     ... skipping.
    (361/375) Run 361: Case 73 [1]... <05:35>
     ... skipping.
    (362/375) Run 362: Case 73 [2]... <05:35>
     ... skipping.
    (363/375) Run 363: Case 73 [3]... <05:35>
     ... skipping.
    (364/375) Run 364: Case 73 [4]... <05:35>
     ... skipping.
    (365/375) Run 365: Case 73 [5]... <05:35>
     ... skipping.
    (366/375) Run 366: Case 74 [1]... <05:35>
     ... skipping.
    (367/375) Run 367: Case 74 [2]... <05:35>
     ... skipping.
    (368/375) Run 368: Case 74 [3]... <05:35>
     ... skipping.
    (369/375) Run 369: Case 74 [4]... <05:35>
     ... skipping.
    (370/375) Run 370: Case 74 [5]... <05:35>
     ... skipping.
    (371/375) Run 371: Case 75 [1]... <05:35>
     ... skipping.
    (372/375) Run 372: Case 75 [2]... <05:35>
     ... skipping.
    (373/375) Run 373: Case 75 [3]... <05:35>
     ... skipping.
    (374/375) Run 374: Case 75 [4]... <05:35>
     ... skipping.
    (375/375) Run 375: Case 75 [5]... <05:35>
     ... skipping.
    ... done. (benchmark 'bm-01') <05:35>
    Running benchmark 'bm-02'... <05:35>
    (1/750) Run 1: Case 1 [1]... <05:35>
     ... skipping.
    (2/750) Run 2: Case 1 [2]... <05:35>
     ... skipping.
    (3/750) Run 3: Case 1 [3]... <05:35>
     ... skipping.
    (4/750) Run 4: Case 1 [4]... <05:35>
     ... skipping.
    (5/750) Run 5: Case 1 [5]... <05:35>
     ... skipping.
    (6/750) Run 6: Case 2 [1]... <05:35>
     ... skipping.
    (7/750) Run 7: Case 2 [2]... <05:35>
     ... skipping.
    (8/750) Run 8: Case 2 [3]... <05:35>
     ... skipping.
    (9/750) Run 9: Case 2 [4]... <05:35>
     ... skipping.
    (10/750) Run 10: Case 2 [5]... <05:35>
     ... skipping.
    (11/750) Run 11: Case 3 [1]... <05:35>
     ... skipping.
    (12/750) Run 12: Case 3 [2]... <05:35>
     ... skipping.
    (13/750) Run 13: Case 3 [3]... <05:35>
     ... skipping.
    (14/750) Run 14: Case 3 [4]... <05:35>
     ... skipping.
    (15/750) Run 15: Case 3 [5]... <05:35>
     ... skipping.
    (16/750) Run 16: Case 4 [1]... <05:35>
     ... skipping.
    (17/750) Run 17: Case 4 [2]... <05:35>
     ... skipping.
    (18/750) Run 18: Case 4 [3]... <05:35>
     ... skipping.
    (19/750) Run 19: Case 4 [4]... <05:35>
     ... skipping.
    (20/750) Run 20: Case 4 [5]... <05:35>
     ... skipping.
    (21/750) Run 21: Case 5 [1]... <05:35>
     ... skipping.
    (22/750) Run 22: Case 5 [2]... <05:35>
     ... skipping.
    (23/750) Run 23: Case 5 [3]... <05:35>
     ... skipping.
    (24/750) Run 24: Case 5 [4]... <05:35>
     ... skipping.
    (25/750) Run 25: Case 5 [5]... <05:35>
     ... skipping.
    (26/750) Run 26: Case 6 [1]... <05:35>
     ... skipping.
    (27/750) Run 27: Case 6 [2]... <05:35>
     ... skipping.
    (28/750) Run 28: Case 6 [3]... <05:35>
     ... skipping.
    (29/750) Run 29: Case 6 [4]... <05:35>
     ... skipping.
    (30/750) Run 30: Case 6 [5]... <05:35>
     ... skipping.
    (31/750) Run 31: Case 7 [1]... <05:35>
     ... skipping.
    (32/750) Run 32: Case 7 [2]... <05:35>
     ... skipping.
    (33/750) Run 33: Case 7 [3]... <05:35>
     ... skipping.
    (34/750) Run 34: Case 7 [4]... <05:35>
     ... skipping.
    (35/750) Run 35: Case 7 [5]... <05:35>
     ... skipping.
    (36/750) Run 36: Case 8 [1]... <05:35>
     ... skipping.
    (37/750) Run 37: Case 8 [2]... <05:35>
     ... skipping.
    (38/750) Run 38: Case 8 [3]... <05:35>
     ... skipping.
    (39/750) Run 39: Case 8 [4]... <05:35>
     ... skipping.
    (40/750) Run 40: Case 8 [5]... <05:35>
     ... skipping.
    (41/750) Run 41: Case 9 [1]... <05:35>
     ... skipping.
    (42/750) Run 42: Case 9 [2]... <05:35>
     ... skipping.
    (43/750) Run 43: Case 9 [3]... <05:35>
     ... skipping.
    (44/750) Run 44: Case 9 [4]... <05:35>
     ... skipping.
    (45/750) Run 45: Case 9 [5]... <05:35>
     ... skipping.
    (46/750) Run 46: Case 10 [1]... <05:35>
     ... skipping.
    (47/750) Run 47: Case 10 [2]... <05:35>
     ... skipping.
    (48/750) Run 48: Case 10 [3]... <05:35>
     ... skipping.
    (49/750) Run 49: Case 10 [4]... <05:35>
     ... skipping.
    (50/750) Run 50: Case 10 [5]... <05:35>
     ... skipping.
    (51/750) Run 51: Case 11 [1]... <05:35>
     ... skipping.
    (52/750) Run 52: Case 11 [2]... <05:35>
     ... skipping.
    (53/750) Run 53: Case 11 [3]... <05:35>
     ... skipping.
    (54/750) Run 54: Case 11 [4]... <05:35>
     ... skipping.
    (55/750) Run 55: Case 11 [5]... <05:35>
     ... skipping.
    (56/750) Run 56: Case 12 [1]... <05:35>
     ... skipping.
    (57/750) Run 57: Case 12 [2]... <05:35>
     ... skipping.
    (58/750) Run 58: Case 12 [3]... <05:35>
     ... skipping.
    (59/750) Run 59: Case 12 [4]... <05:35>
     ... skipping.
    (60/750) Run 60: Case 12 [5]... <05:35>
     ... skipping.
    (61/750) Run 61: Case 13 [1]... <05:35>
     ... skipping.
    (62/750) Run 62: Case 13 [2]... <05:35>
     ... skipping.
    (63/750) Run 63: Case 13 [3]... <05:35>
     ... skipping.
    (64/750) Run 64: Case 13 [4]... <05:35>
     ... skipping.
    (65/750) Run 65: Case 13 [5]... <05:35>
     ... skipping.
    (66/750) Run 66: Case 14 [1]... <05:35>
     ... skipping.
    (67/750) Run 67: Case 14 [2]... <05:35>
     ... skipping.
    (68/750) Run 68: Case 14 [3]... <05:35>
     ... skipping.
    (69/750) Run 69: Case 14 [4]... <05:35>
     ... skipping.
    (70/750) Run 70: Case 14 [5]... <05:35>
     ... skipping.
    (71/750) Run 71: Case 15 [1]... <05:35>
     ... skipping.
    (72/750) Run 72: Case 15 [2]... <05:35>
     ... skipping.
    (73/750) Run 73: Case 15 [3]... <05:35>
     ... skipping.
    (74/750) Run 74: Case 15 [4]... <05:35>
     ... skipping.
    (75/750) Run 75: Case 15 [5]... <05:35>
     ... skipping.
    (76/750) Run 76: Case 16 [1]... <05:35>
     ... skipping.
    (77/750) Run 77: Case 16 [2]... <05:35>
     ... skipping.
    (78/750) Run 78: Case 16 [3]... <05:35>
     ... skipping.
    (79/750) Run 79: Case 16 [4]... <05:35>
     ... skipping.
    (80/750) Run 80: Case 16 [5]... <05:35>
     ... skipping.
    (81/750) Run 81: Case 17 [1]... <05:35>
     ... skipping.
    (82/750) Run 82: Case 17 [2]... <05:35>
     ... skipping.
    (83/750) Run 83: Case 17 [3]... <05:35>
     ... skipping.
    (84/750) Run 84: Case 17 [4]... <05:35>
     ... skipping.
    (85/750) Run 85: Case 17 [5]... <05:35>
     ... skipping.
    (86/750) Run 86: Case 18 [1]... <05:35>
     ... skipping.
    (87/750) Run 87: Case 18 [2]... <05:35>
     ... skipping.
    (88/750) Run 88: Case 18 [3]... <05:35>
     ... skipping.
    (89/750) Run 89: Case 18 [4]... <05:35>
     ... skipping.
    (90/750) Run 90: Case 18 [5]... <05:35>
     ... skipping.
    (91/750) Run 91: Case 19 [1]... <05:35>
     ... skipping.
    (92/750) Run 92: Case 19 [2]... <05:35>
     ... skipping.
    (93/750) Run 93: Case 19 [3]... <05:35>
     ... skipping.
    (94/750) Run 94: Case 19 [4]... <05:35>
     ... skipping.
    (95/750) Run 95: Case 19 [5]... <05:35>
     ... skipping.
    (96/750) Run 96: Case 20 [1]... <05:35>
     ... skipping.
    (97/750) Run 97: Case 20 [2]... <05:35>
     ... skipping.
    (98/750) Run 98: Case 20 [3]... <05:35>
     ... skipping.
    (99/750) Run 99: Case 20 [4]... <05:35>
     ... skipping.
    (100/750) Run 100: Case 20 [5]... <05:35>
     ... skipping.
    (101/750) Run 101: Case 21 [1]... <05:35>
     ... skipping.
    (102/750) Run 102: Case 21 [2]... <05:35>
     ... skipping.
    (103/750) Run 103: Case 21 [3]... <05:35>
     ... skipping.
    (104/750) Run 104: Case 21 [4]... <05:35>
     ... skipping.
    (105/750) Run 105: Case 21 [5]... <05:35>
     ... skipping.
    (106/750) Run 106: Case 22 [1]... <05:35>
     ... skipping.
    (107/750) Run 107: Case 22 [2]... <05:35>
     ... skipping.
    (108/750) Run 108: Case 22 [3]... <05:35>
     ... skipping.
    (109/750) Run 109: Case 22 [4]... <05:35>
     ... skipping.
    (110/750) Run 110: Case 22 [5]... <05:35>
     ... skipping.
    (111/750) Run 111: Case 23 [1]... <05:35>
     ... skipping.
    (112/750) Run 112: Case 23 [2]... <05:35>
     ... skipping.
    (113/750) Run 113: Case 23 [3]... <05:35>
     ... skipping.
    (114/750) Run 114: Case 23 [4]... <05:35>
     ... skipping.
    (115/750) Run 115: Case 23 [5]... <05:35>
     ... skipping.
    (116/750) Run 116: Case 24 [1]... <05:35>
     ... skipping.
    (117/750) Run 117: Case 24 [2]... <05:35>
     ... skipping.
    (118/750) Run 118: Case 24 [3]... <05:35>
     ... skipping.
    (119/750) Run 119: Case 24 [4]... <05:35>
     ... skipping.
    (120/750) Run 120: Case 24 [5]... <05:35>
     ... skipping.
    (121/750) Run 121: Case 25 [1]... <05:35>
     ... skipping.
    (122/750) Run 122: Case 25 [2]... <05:35>
     ... skipping.
    (123/750) Run 123: Case 25 [3]... <05:35>
     ... skipping.
    (124/750) Run 124: Case 25 [4]... <05:35>
     ... skipping.
    (125/750) Run 125: Case 25 [5]... <05:35>
     ... skipping.
    (126/750) Run 126: Case 26 [1]... <05:35>
     ... skipping.
    (127/750) Run 127: Case 26 [2]... <05:35>
     ... skipping.
    (128/750) Run 128: Case 26 [3]... <05:35>
     ... skipping.
    (129/750) Run 129: Case 26 [4]... <05:35>
     ... skipping.
    (130/750) Run 130: Case 26 [5]... <05:35>
     ... skipping.
    (131/750) Run 131: Case 27 [1]... <05:35>
     ... skipping.
    (132/750) Run 132: Case 27 [2]... <05:35>
     ... skipping.
    (133/750) Run 133: Case 27 [3]... <05:35>
     ... skipping.
    (134/750) Run 134: Case 27 [4]... <05:35>
     ... skipping.
    (135/750) Run 135: Case 27 [5]... <05:35>
     ... skipping.
    (136/750) Run 136: Case 28 [1]... <05:35>
     ... skipping.
    (137/750) Run 137: Case 28 [2]... <05:35>
     ... skipping.
    (138/750) Run 138: Case 28 [3]... <05:35>
     ... skipping.
    (139/750) Run 139: Case 28 [4]... <05:35>
     ... skipping.
    (140/750) Run 140: Case 28 [5]... <05:35>
     ... skipping.
    (141/750) Run 141: Case 29 [1]... <05:35>
     ... skipping.
    (142/750) Run 142: Case 29 [2]... <05:35>
     ... skipping.
    (143/750) Run 143: Case 29 [3]... <05:35>
     ... skipping.
    (144/750) Run 144: Case 29 [4]... <05:35>
     ... skipping.
    (145/750) Run 145: Case 29 [5]... <05:35>
     ... skipping.
    (146/750) Run 146: Case 30 [1]... <05:35>
     ... skipping.
    (147/750) Run 147: Case 30 [2]... <05:35>
     ... skipping.
    (148/750) Run 148: Case 30 [3]... <05:35>
     ... skipping.
    (149/750) Run 149: Case 30 [4]... <05:35>
     ... skipping.
    (150/750) Run 150: Case 30 [5]... <05:35>
     ... skipping.
    (151/750) Run 151: Case 31 [1]... <05:35>
     ... skipping.
    (152/750) Run 152: Case 31 [2]... <05:35>
     ... skipping.
    (153/750) Run 153: Case 31 [3]... <05:35>
     ... skipping.
    (154/750) Run 154: Case 31 [4]... <05:35>
     ... skipping.
    (155/750) Run 155: Case 31 [5]... <05:35>
     ... skipping.
    (156/750) Run 156: Case 32 [1]... <05:35>
     ... skipping.
    (157/750) Run 157: Case 32 [2]... <05:35>
     ... skipping.
    (158/750) Run 158: Case 32 [3]... <05:35>
     ... skipping.
    (159/750) Run 159: Case 32 [4]... <05:35>
     ... skipping.
    (160/750) Run 160: Case 32 [5]... <05:35>
     ... skipping.
    (161/750) Run 161: Case 33 [1]... <05:35>
     ... skipping.
    (162/750) Run 162: Case 33 [2]... <05:35>
     ... skipping.
    (163/750) Run 163: Case 33 [3]... <05:35>
     ... skipping.
    (164/750) Run 164: Case 33 [4]... <05:35>
     ... skipping.
    (165/750) Run 165: Case 33 [5]... <05:35>
     ... skipping.
    (166/750) Run 166: Case 34 [1]... <05:35>
     ... skipping.
    (167/750) Run 167: Case 34 [2]... <05:35>
     ... skipping.
    (168/750) Run 168: Case 34 [3]... <05:35>
     ... skipping.
    (169/750) Run 169: Case 34 [4]... <05:35>
     ... skipping.
    (170/750) Run 170: Case 34 [5]... <05:35>
     ... skipping.
    (171/750) Run 171: Case 35 [1]... <05:35>
     ... skipping.
    (172/750) Run 172: Case 35 [2]... <05:35>
     ... skipping.
    (173/750) Run 173: Case 35 [3]... <05:35>
     ... skipping.
    (174/750) Run 174: Case 35 [4]... <05:35>
     ... skipping.
    (175/750) Run 175: Case 35 [5]... <05:35>
     ... skipping.
    (176/750) Run 176: Case 36 [1]... <05:35>
     ... skipping.
    (177/750) Run 177: Case 36 [2]... <05:35>
     ... skipping.
    (178/750) Run 178: Case 36 [3]... <05:35>
     ... skipping.
    (179/750) Run 179: Case 36 [4]... <05:35>
     ... skipping.
    (180/750) Run 180: Case 36 [5]... <05:35>
     ... skipping.
    (181/750) Run 181: Case 37 [1]... <05:35>
     ... skipping.
    (182/750) Run 182: Case 37 [2]... <05:35>
     ... skipping.
    (183/750) Run 183: Case 37 [3]... <05:35>
     ... skipping.
    (184/750) Run 184: Case 37 [4]... <05:35>
     ... skipping.
    (185/750) Run 185: Case 37 [5]... <05:35>
     ... skipping.
    (186/750) Run 186: Case 38 [1]... <05:35>
     ... skipping.
    (187/750) Run 187: Case 38 [2]... <05:35>
     ... skipping.
    (188/750) Run 188: Case 38 [3]... <05:35>
     ... skipping.
    (189/750) Run 189: Case 38 [4]... <05:35>
     ... skipping.
    (190/750) Run 190: Case 38 [5]... <05:35>
     ... skipping.
    (191/750) Run 191: Case 39 [1]... <05:35>
     ... skipping.
    (192/750) Run 192: Case 39 [2]... <05:35>
     ... skipping.
    (193/750) Run 193: Case 39 [3]... <05:35>
     ... skipping.
    (194/750) Run 194: Case 39 [4]... <05:35>
     ... skipping.
    (195/750) Run 195: Case 39 [5]... <05:35>
     ... skipping.
    (196/750) Run 196: Case 40 [1]... <05:35>
     ... skipping.
    (197/750) Run 197: Case 40 [2]... <05:35>
     ... skipping.
    (198/750) Run 198: Case 40 [3]... <05:35>
     ... skipping.
    (199/750) Run 199: Case 40 [4]... <05:35>
     ... skipping.
    (200/750) Run 200: Case 40 [5]... <05:35>
     ... skipping.
    (201/750) Run 201: Case 41 [1]... <05:35>
     ... skipping.
    (202/750) Run 202: Case 41 [2]... <05:35>
     ... skipping.
    (203/750) Run 203: Case 41 [3]... <05:35>
     ... skipping.
    (204/750) Run 204: Case 41 [4]... <05:35>
     ... skipping.
    (205/750) Run 205: Case 41 [5]... <05:35>
     ... skipping.
    (206/750) Run 206: Case 42 [1]... <05:35>
     ... skipping.
    (207/750) Run 207: Case 42 [2]... <05:35>
     ... skipping.
    (208/750) Run 208: Case 42 [3]... <05:35>
     ... skipping.
    (209/750) Run 209: Case 42 [4]... <05:35>
     ... skipping.
    (210/750) Run 210: Case 42 [5]... <05:35>
     ... skipping.
    (211/750) Run 211: Case 43 [1]... <05:35>
     ... skipping.
    (212/750) Run 212: Case 43 [2]... <05:35>
     ... skipping.
    (213/750) Run 213: Case 43 [3]... <05:35>
     ... skipping.
    (214/750) Run 214: Case 43 [4]... <05:35>
     ... skipping.
    (215/750) Run 215: Case 43 [5]... <05:35>
     ... skipping.
    (216/750) Run 216: Case 44 [1]... <05:35>
     ... skipping.
    (217/750) Run 217: Case 44 [2]... <05:35>
     ... skipping.
    (218/750) Run 218: Case 44 [3]... <05:35>
     ... skipping.
    (219/750) Run 219: Case 44 [4]... <05:35>
     ... skipping.
    (220/750) Run 220: Case 44 [5]... <05:35>
     ... skipping.
    (221/750) Run 221: Case 45 [1]... <05:35>
     ... skipping.
    (222/750) Run 222: Case 45 [2]... <05:35>
     ... skipping.
    (223/750) Run 223: Case 45 [3]... <05:35>
     ... skipping.
    (224/750) Run 224: Case 45 [4]... <05:35>
     ... skipping.
    (225/750) Run 225: Case 45 [5]... <05:35>
     ... skipping.
    (226/750) Run 226: Case 46 [1]... <05:35>
     ... skipping.
    (227/750) Run 227: Case 46 [2]... <05:35>
     ... skipping.
    (228/750) Run 228: Case 46 [3]... <05:35>
     ... skipping.
    (229/750) Run 229: Case 46 [4]... <05:35>
     ... skipping.
    (230/750) Run 230: Case 46 [5]... <05:35>
     ... skipping.
    (231/750) Run 231: Case 47 [1]... <05:35>
     ... skipping.
    (232/750) Run 232: Case 47 [2]... <05:35>
     ... skipping.
    (233/750) Run 233: Case 47 [3]... <05:35>
     ... skipping.
    (234/750) Run 234: Case 47 [4]... <05:35>
     ... skipping.
    (235/750) Run 235: Case 47 [5]... <05:35>
     ... skipping.
    (236/750) Run 236: Case 48 [1]... <05:35>
     ... skipping.
    (237/750) Run 237: Case 48 [2]... <05:35>
     ... skipping.
    (238/750) Run 238: Case 48 [3]... <05:35>
     ... skipping.
    (239/750) Run 239: Case 48 [4]... <05:35>
     ... skipping.
    (240/750) Run 240: Case 48 [5]... <05:35>
     ... skipping.
    (241/750) Run 241: Case 49 [1]... <05:35>
     ... skipping.
    (242/750) Run 242: Case 49 [2]... <05:35>
     ... skipping.
    (243/750) Run 243: Case 49 [3]... <05:35>
     ... skipping.
    (244/750) Run 244: Case 49 [4]... <05:35>
     ... skipping.
    (245/750) Run 245: Case 49 [5]... <05:35>
     ... skipping.
    (246/750) Run 246: Case 50 [1]... <05:35>
     ... skipping.
    (247/750) Run 247: Case 50 [2]... <05:35>
     ... skipping.
    (248/750) Run 248: Case 50 [3]... <05:35>
     ... skipping.
    (249/750) Run 249: Case 50 [4]... <05:35>
     ... skipping.
    (250/750) Run 250: Case 50 [5]... <05:35>
     ... skipping.
    (251/750) Run 251: Case 51 [1]... <05:35>
     ... skipping.
    (252/750) Run 252: Case 51 [2]... <05:35>
     ... skipping.
    (253/750) Run 253: Case 51 [3]... <05:35>
     ... skipping.
    (254/750) Run 254: Case 51 [4]... <05:35>
     ... skipping.
    (255/750) Run 255: Case 51 [5]... <05:35>
     ... skipping.
    (256/750) Run 256: Case 52 [1]... <05:35>
     ... skipping.
    (257/750) Run 257: Case 52 [2]... <05:35>
     ... skipping.
    (258/750) Run 258: Case 52 [3]... <05:35>
     ... skipping.
    (259/750) Run 259: Case 52 [4]... <05:35>
     ... skipping.
    (260/750) Run 260: Case 52 [5]... <05:35>
     ... skipping.
    (261/750) Run 261: Case 53 [1]... <05:35>
     ... skipping.
    (262/750) Run 262: Case 53 [2]... <05:35>
     ... skipping.
    (263/750) Run 263: Case 53 [3]... <05:35>
     ... skipping.
    (264/750) Run 264: Case 53 [4]... <05:35>
     ... skipping.
    (265/750) Run 265: Case 53 [5]... <05:35>
     ... skipping.
    (266/750) Run 266: Case 54 [1]... <05:35>
     ... skipping.
    (267/750) Run 267: Case 54 [2]... <05:35>
     ... skipping.
    (268/750) Run 268: Case 54 [3]... <05:35>
     ... skipping.
    (269/750) Run 269: Case 54 [4]... <05:35>
     ... skipping.
    (270/750) Run 270: Case 54 [5]... <05:35>
     ... skipping.
    (271/750) Run 271: Case 55 [1]... <05:35>
     ... skipping.
    (272/750) Run 272: Case 55 [2]... <05:35>
     ... skipping.
    (273/750) Run 273: Case 55 [3]... <05:35>
     ... skipping.
    (274/750) Run 274: Case 55 [4]... <05:35>
     ... skipping.
    (275/750) Run 275: Case 55 [5]... <05:35>
     ... skipping.
    (276/750) Run 276: Case 56 [1]... <05:35>
     ... skipping.
    (277/750) Run 277: Case 56 [2]... <05:35>
     ... skipping.
    (278/750) Run 278: Case 56 [3]... <05:35>
     ... skipping.
    (279/750) Run 279: Case 56 [4]... <05:35>
     ... skipping.
    (280/750) Run 280: Case 56 [5]... <05:35>
     ... skipping.
    (281/750) Run 281: Case 57 [1]... <05:35>
     ... skipping.
    (282/750) Run 282: Case 57 [2]... <05:35>
     ... skipping.
    (283/750) Run 283: Case 57 [3]... <05:35>
     ... skipping.
    (284/750) Run 284: Case 57 [4]... <05:35>
     ... skipping.
    (285/750) Run 285: Case 57 [5]... <05:35>
     ... skipping.
    (286/750) Run 286: Case 58 [1]... <05:35>
     ... skipping.
    (287/750) Run 287: Case 58 [2]... <05:35>
     ... skipping.
    (288/750) Run 288: Case 58 [3]... <05:35>
     ... skipping.
    (289/750) Run 289: Case 58 [4]... <05:35>
     ... skipping.
    (290/750) Run 290: Case 58 [5]... <05:35>
     ... skipping.
    (291/750) Run 291: Case 59 [1]... <05:35>
     ... skipping.
    (292/750) Run 292: Case 59 [2]... <05:35>
     ... skipping.
    (293/750) Run 293: Case 59 [3]... <05:35>
     ... skipping.
    (294/750) Run 294: Case 59 [4]... <05:35>
     ... skipping.
    (295/750) Run 295: Case 59 [5]... <05:35>
     ... skipping.
    (296/750) Run 296: Case 60 [1]... <05:35>
     ... skipping.
    (297/750) Run 297: Case 60 [2]... <05:35>
     ... skipping.
    (298/750) Run 298: Case 60 [3]... <05:35>
     ... skipping.
    (299/750) Run 299: Case 60 [4]... <05:35>
     ... skipping.
    (300/750) Run 300: Case 60 [5]... <05:35>
     ... skipping.
    (301/750) Run 301: Case 61 [1]... <05:35>
     ... skipping.
    (302/750) Run 302: Case 61 [2]... <05:35>
     ... skipping.
    (303/750) Run 303: Case 61 [3]... <05:35>
     ... skipping.
    (304/750) Run 304: Case 61 [4]... <05:35>
     ... skipping.
    (305/750) Run 305: Case 61 [5]... <05:35>
     ... skipping.
    (306/750) Run 306: Case 62 [1]... <05:35>
     ... skipping.
    (307/750) Run 307: Case 62 [2]... <05:35>
     ... skipping.
    (308/750) Run 308: Case 62 [3]... <05:35>
     ... skipping.
    (309/750) Run 309: Case 62 [4]... <05:35>
     ... skipping.
    (310/750) Run 310: Case 62 [5]... <05:35>
     ... skipping.
    (311/750) Run 311: Case 63 [1]... <05:35>
     ... skipping.
    (312/750) Run 312: Case 63 [2]... <05:35>
     ... skipping.
    (313/750) Run 313: Case 63 [3]... <05:35>
     ... skipping.
    (314/750) Run 314: Case 63 [4]... <05:35>
     ... skipping.
    (315/750) Run 315: Case 63 [5]... <05:35>
     ... skipping.
    (316/750) Run 316: Case 64 [1]... <05:35>
     ... skipping.
    (317/750) Run 317: Case 64 [2]... <05:35>
     ... skipping.
    (318/750) Run 318: Case 64 [3]... <05:35>
     ... skipping.
    (319/750) Run 319: Case 64 [4]... <05:35>
     ... skipping.
    (320/750) Run 320: Case 64 [5]... <05:35>
     ... skipping.
    (321/750) Run 321: Case 65 [1]... <05:35>
     ... skipping.
    (322/750) Run 322: Case 65 [2]... <05:35>
     ... skipping.
    (323/750) Run 323: Case 65 [3]... <05:35>
     ... skipping.
    (324/750) Run 324: Case 65 [4]... <05:35>
     ... skipping.
    (325/750) Run 325: Case 65 [5]... <05:35>
     ... skipping.
    (326/750) Run 326: Case 66 [1]... <05:35>
     ... skipping.
    (327/750) Run 327: Case 66 [2]... <05:35>
     ... skipping.
    (328/750) Run 328: Case 66 [3]... <05:35>
     ... skipping.
    (329/750) Run 329: Case 66 [4]... <05:35>
     ... skipping.
    (330/750) Run 330: Case 66 [5]... <05:35>
     ... skipping.
    (331/750) Run 331: Case 67 [1]... <05:35>
     ... skipping.
    (332/750) Run 332: Case 67 [2]... <05:35>
     ... skipping.
    (333/750) Run 333: Case 67 [3]... <05:35>
     ... skipping.
    (334/750) Run 334: Case 67 [4]... <05:35>
     ... skipping.
    (335/750) Run 335: Case 67 [5]... <05:35>
     ... skipping.
    (336/750) Run 336: Case 68 [1]... <05:35>
     ... skipping.
    (337/750) Run 337: Case 68 [2]... <05:35>
     ... skipping.
    (338/750) Run 338: Case 68 [3]... <05:35>
     ... skipping.
    (339/750) Run 339: Case 68 [4]... <05:35>
     ... skipping.
    (340/750) Run 340: Case 68 [5]... <05:35>
     ... skipping.
    (341/750) Run 341: Case 69 [1]... <05:35>
     ... skipping.
    (342/750) Run 342: Case 69 [2]... <05:35>
     ... skipping.
    (343/750) Run 343: Case 69 [3]... <05:35>
     ... skipping.
    (344/750) Run 344: Case 69 [4]... <05:35>
     ... skipping.
    (345/750) Run 345: Case 69 [5]... <05:35>
     ... skipping.
    (346/750) Run 346: Case 70 [1]... <05:35>
     ... skipping.
    (347/750) Run 347: Case 70 [2]... <05:35>
     ... skipping.
    (348/750) Run 348: Case 70 [3]... <05:35>
     ... skipping.
    (349/750) Run 349: Case 70 [4]... <05:35>
     ... skipping.
    (350/750) Run 350: Case 70 [5]... <05:35>
     ... skipping.
    (351/750) Run 351: Case 71 [1]... <05:35>
     ... skipping.
    (352/750) Run 352: Case 71 [2]... <05:35>
     ... skipping.
    (353/750) Run 353: Case 71 [3]... <05:35>
     ... skipping.
    (354/750) Run 354: Case 71 [4]... <05:35>
     ... skipping.
    (355/750) Run 355: Case 71 [5]... <05:35>
     ... skipping.
    (356/750) Run 356: Case 72 [1]... <05:35>
     ... skipping.
    (357/750) Run 357: Case 72 [2]... <05:35>
     ... skipping.
    (358/750) Run 358: Case 72 [3]... <05:35>
     ... skipping.
    (359/750) Run 359: Case 72 [4]... <05:35>
     ... skipping.
    (360/750) Run 360: Case 72 [5]... <05:35>
     ... skipping.
    (361/750) Run 361: Case 73 [1]... <05:35>
     ... skipping.
    (362/750) Run 362: Case 73 [2]... <05:35>
     ... skipping.
    (363/750) Run 363: Case 73 [3]... <05:35>
     ... skipping.
    (364/750) Run 364: Case 73 [4]... <05:35>
     ... skipping.
    (365/750) Run 365: Case 73 [5]... <05:35>
     ... skipping.
    (366/750) Run 366: Case 74 [1]... <05:35>
     ... skipping.
    (367/750) Run 367: Case 74 [2]... <05:35>
     ... skipping.
    (368/750) Run 368: Case 74 [3]... <05:35>
     ... skipping.
    (369/750) Run 369: Case 74 [4]... <05:35>
     ... skipping.
    (370/750) Run 370: Case 74 [5]... <05:35>
     ... skipping.
    (371/750) Run 371: Case 75 [1]... <05:35>
     ... skipping.
    (372/750) Run 372: Case 75 [2]... <05:35>
     ... skipping.
    (373/750) Run 373: Case 75 [3]... <05:35>
     ... skipping.
    (374/750) Run 374: Case 75 [4]... <05:35>
     ... skipping.
    (375/750) Run 375: Case 75 [5]... <05:35>
     ... skipping.
    (376/750) Run 376: Case 76 [1]... <05:35>
     ... skipping.
    (377/750) Run 377: Case 76 [2]... <05:35>
     ... skipping.
    (378/750) Run 378: Case 76 [3]... <05:35>
     ... skipping.
    (379/750) Run 379: Case 76 [4]... <05:35>
     ... skipping.
    (380/750) Run 380: Case 76 [5]... <05:35>
     ... skipping.
    (381/750) Run 381: Case 77 [1]... <05:35>
     ... skipping.
    (382/750) Run 382: Case 77 [2]... <05:35>
     ... skipping.
    (383/750) Run 383: Case 77 [3]... <05:35>
     ... skipping.
    (384/750) Run 384: Case 77 [4]... <05:35>
     ... skipping.
    (385/750) Run 385: Case 77 [5]... <05:35>
     ... skipping.
    (386/750) Run 386: Case 78 [1]... <05:35>
     ... skipping.
    (387/750) Run 387: Case 78 [2]... <05:35>
     ... skipping.
    (388/750) Run 388: Case 78 [3]... <05:35>
     ... skipping.
    (389/750) Run 389: Case 78 [4]... <05:35>
     ... skipping.
    (390/750) Run 390: Case 78 [5]... <05:35>
     ... skipping.
    (391/750) Run 391: Case 79 [1]... <05:35>
     ... skipping.
    (392/750) Run 392: Case 79 [2]... <05:35>
     ... skipping.
    (393/750) Run 393: Case 79 [3]... <05:35>
     ... skipping.
    (394/750) Run 394: Case 79 [4]... <05:35>
     ... skipping.
    (395/750) Run 395: Case 79 [5]... <05:35>
     ... skipping.
    (396/750) Run 396: Case 80 [1]... <05:35>
     ... skipping.
    (397/750) Run 397: Case 80 [2]... <05:35>
     ... skipping.
    (398/750) Run 398: Case 80 [3]... <05:35>
     ... skipping.
    (399/750) Run 399: Case 80 [4]... <05:35>
     ... skipping.
    (400/750) Run 400: Case 80 [5]... <05:35>
     ... skipping.
    (401/750) Run 401: Case 81 [1]... <05:35>
     ... skipping.
    (402/750) Run 402: Case 81 [2]... <05:35>
     ... skipping.
    (403/750) Run 403: Case 81 [3]... <05:35>
     ... skipping.
    (404/750) Run 404: Case 81 [4]... <05:35>
     ... skipping.
    (405/750) Run 405: Case 81 [5]... <05:35>
     ... skipping.
    (406/750) Run 406: Case 82 [1]... <05:35>
     ... skipping.
    (407/750) Run 407: Case 82 [2]... <05:35>
     ... skipping.
    (408/750) Run 408: Case 82 [3]... <05:35>
     ... skipping.
    (409/750) Run 409: Case 82 [4]... <05:35>
     ... skipping.
    (410/750) Run 410: Case 82 [5]... <05:35>
     ... skipping.
    (411/750) Run 411: Case 83 [1]... <05:35>
     ... skipping.
    (412/750) Run 412: Case 83 [2]... <05:35>
     ... skipping.
    (413/750) Run 413: Case 83 [3]... <05:35>
     ... skipping.
    (414/750) Run 414: Case 83 [4]... <05:35>
     ... skipping.
    (415/750) Run 415: Case 83 [5]... <05:35>
     ... skipping.
    (416/750) Run 416: Case 84 [1]... <05:35>
     ... skipping.
    (417/750) Run 417: Case 84 [2]... <05:35>
     ... skipping.
    (418/750) Run 418: Case 84 [3]... <05:35>
     ... skipping.
    (419/750) Run 419: Case 84 [4]... <05:35>
     ... skipping.
    (420/750) Run 420: Case 84 [5]... <05:35>
     ... skipping.
    (421/750) Run 421: Case 85 [1]... <05:35>
     ... skipping.
    (422/750) Run 422: Case 85 [2]... <05:35>
     ... skipping.
    (423/750) Run 423: Case 85 [3]... <05:35>
     ... skipping.
    (424/750) Run 424: Case 85 [4]... <05:35>
     ... skipping.
    (425/750) Run 425: Case 85 [5]... <05:35>
     ... skipping.
    (426/750) Run 426: Case 86 [1]... <05:35>
     ... skipping.
    (427/750) Run 427: Case 86 [2]... <05:35>
     ... skipping.
    (428/750) Run 428: Case 86 [3]... <05:35>
     ... skipping.
    (429/750) Run 429: Case 86 [4]... <05:35>
     ... skipping.
    (430/750) Run 430: Case 86 [5]... <05:35>
     ... skipping.
    (431/750) Run 431: Case 87 [1]... <05:35>
     ... skipping.
    (432/750) Run 432: Case 87 [2]... <05:35>
     ... skipping.
    (433/750) Run 433: Case 87 [3]... <05:35>
     ... skipping.
    (434/750) Run 434: Case 87 [4]... <05:35>
     ... skipping.
    (435/750) Run 435: Case 87 [5]... <05:35>
     ... skipping.
    (436/750) Run 436: Case 88 [1]... <05:35>
     ... skipping.
    (437/750) Run 437: Case 88 [2]... <05:35>
     ... skipping.
    (438/750) Run 438: Case 88 [3]... <05:35>
     ... skipping.
    (439/750) Run 439: Case 88 [4]... <05:35>
     ... skipping.
    (440/750) Run 440: Case 88 [5]... <05:35>
     ... skipping.
    (441/750) Run 441: Case 89 [1]... <05:35>
     ... skipping.
    (442/750) Run 442: Case 89 [2]... <05:35>
     ... skipping.
    (443/750) Run 443: Case 89 [3]... <05:35>
     ... skipping.
    (444/750) Run 444: Case 89 [4]... <05:35>
     ... skipping.
    (445/750) Run 445: Case 89 [5]... <05:35>
     ... skipping.
    (446/750) Run 446: Case 90 [1]... <05:35>
     ... skipping.
    (447/750) Run 447: Case 90 [2]... <05:35>
     ... skipping.
    (448/750) Run 448: Case 90 [3]... <05:35>
     ... skipping.
    (449/750) Run 449: Case 90 [4]... <05:35>
     ... skipping.
    (450/750) Run 450: Case 90 [5]... <05:35>
     ... skipping.
    (451/750) Run 451: Case 91 [1]... <05:35>
     ... skipping.
    (452/750) Run 452: Case 91 [2]... <05:35>
     ... skipping.
    (453/750) Run 453: Case 91 [3]... <05:35>
     ... skipping.
    (454/750) Run 454: Case 91 [4]... <05:35>
     ... skipping.
    (455/750) Run 455: Case 91 [5]... <05:35>
     ... skipping.
    (456/750) Run 456: Case 92 [1]... <05:35>
     ... skipping.
    (457/750) Run 457: Case 92 [2]... <05:35>
     ... skipping.
    (458/750) Run 458: Case 92 [3]... <05:35>
     ... skipping.
    (459/750) Run 459: Case 92 [4]... <05:35>
     ... skipping.
    (460/750) Run 460: Case 92 [5]... <05:35>
     ... skipping.
    (461/750) Run 461: Case 93 [1]... <05:35>
     ... skipping.
    (462/750) Run 462: Case 93 [2]... <05:35>
     ... skipping.
    (463/750) Run 463: Case 93 [3]... <05:35>
     ... skipping.
    (464/750) Run 464: Case 93 [4]... <05:35>
     ... skipping.
    (465/750) Run 465: Case 93 [5]... <05:35>
     ... skipping.
    (466/750) Run 466: Case 94 [1]... <05:35>
     ... skipping.
    (467/750) Run 467: Case 94 [2]... <05:35>
     ... skipping.
    (468/750) Run 468: Case 94 [3]... <05:35>
     ... skipping.
    (469/750) Run 469: Case 94 [4]... <05:35>
     ... skipping.
    (470/750) Run 470: Case 94 [5]... <05:35>
     ... skipping.
    (471/750) Run 471: Case 95 [1]... <05:35>
     ... skipping.
    (472/750) Run 472: Case 95 [2]... <05:35>
     ... skipping.
    (473/750) Run 473: Case 95 [3]... <05:35>
     ... skipping.
    (474/750) Run 474: Case 95 [4]... <05:35>
     ... skipping.
    (475/750) Run 475: Case 95 [5]... <05:35>
     ... skipping.
    (476/750) Run 476: Case 96 [1]... <05:35>
     ... skipping.
    (477/750) Run 477: Case 96 [2]... <05:35>
     ... skipping.
    (478/750) Run 478: Case 96 [3]... <05:35>
     ... skipping.
    (479/750) Run 479: Case 96 [4]... <05:35>
     ... skipping.
    (480/750) Run 480: Case 96 [5]... <05:35>
     ... skipping.
    (481/750) Run 481: Case 97 [1]... <05:35>
     ... skipping.
    (482/750) Run 482: Case 97 [2]... <05:35>
     ... skipping.
    (483/750) Run 483: Case 97 [3]... <05:35>
     ... skipping.
    (484/750) Run 484: Case 97 [4]... <05:35>
     ... skipping.
    (485/750) Run 485: Case 97 [5]... <05:35>
     ... skipping.
    (486/750) Run 486: Case 98 [1]... <05:35>
     ... skipping.
    (487/750) Run 487: Case 98 [2]... <05:35>
     ... skipping.
    (488/750) Run 488: Case 98 [3]... <05:35>
     ... skipping.
    (489/750) Run 489: Case 98 [4]... <05:35>
     ... skipping.
    (490/750) Run 490: Case 98 [5]... <05:35>
     ... skipping.
    (491/750) Run 491: Case 99 [1]... <05:35>
     ... skipping.
    (492/750) Run 492: Case 99 [2]... <05:35>
     ... skipping.
    (493/750) Run 493: Case 99 [3]... <05:35>
     ... skipping.
    (494/750) Run 494: Case 99 [4]... <05:35>
     ... skipping.
    (495/750) Run 495: Case 99 [5]... <05:35>
     ... skipping.
    (496/750) Run 496: Case 100 [1]... <05:35>
     ... skipping.
    (497/750) Run 497: Case 100 [2]... <05:35>
     ... skipping.
    (498/750) Run 498: Case 100 [3]... <05:35>
     ... skipping.
    (499/750) Run 499: Case 100 [4]... <05:35>
     ... skipping.
    (500/750) Run 500: Case 100 [5]... <05:35>
     ... skipping.
    (501/750) Run 501: Case 101 [1]... <05:35>
     ... skipping.
    (502/750) Run 502: Case 101 [2]... <05:35>
     ... skipping.
    (503/750) Run 503: Case 101 [3]... <05:35>
     ... skipping.
    (504/750) Run 504: Case 101 [4]... <05:35>
     ... skipping.
    (505/750) Run 505: Case 101 [5]... <05:35>
     ... skipping.
    (506/750) Run 506: Case 102 [1]... <05:35>
     ... skipping.
    (507/750) Run 507: Case 102 [2]... <05:35>
     ... skipping.
    (508/750) Run 508: Case 102 [3]... <05:35>
     ... skipping.
    (509/750) Run 509: Case 102 [4]... <05:35>
     ... skipping.
    (510/750) Run 510: Case 102 [5]... <05:35>
     ... skipping.
    (511/750) Run 511: Case 103 [1]... <05:35>
     ... skipping.
    (512/750) Run 512: Case 103 [2]... <05:35>
     ... skipping.
    (513/750) Run 513: Case 103 [3]... <05:35>
     ... skipping.
    (514/750) Run 514: Case 103 [4]... <05:35>
     ... skipping.
    (515/750) Run 515: Case 103 [5]... <05:35>
     ... skipping.
    (516/750) Run 516: Case 104 [1]... <05:35>
     ... skipping.
    (517/750) Run 517: Case 104 [2]... <05:35>
     ... skipping.
    (518/750) Run 518: Case 104 [3]... <05:35>
     ... skipping.
    (519/750) Run 519: Case 104 [4]... <05:35>
     ... skipping.
    (520/750) Run 520: Case 104 [5]... <05:35>
     ... skipping.
    (521/750) Run 521: Case 105 [1]... <05:35>
     ... skipping.
    (522/750) Run 522: Case 105 [2]... <05:35>
     ... skipping.
    (523/750) Run 523: Case 105 [3]... <05:35>
     ... skipping.
    (524/750) Run 524: Case 105 [4]... <05:35>
     ... skipping.
    (525/750) Run 525: Case 105 [5]... <05:35>
     ... skipping.
    (526/750) Run 526: Case 106 [1]... <05:35>
     ... skipping.
    (527/750) Run 527: Case 106 [2]... <05:35>
     ... skipping.
    (528/750) Run 528: Case 106 [3]... <05:35>
     ... skipping.
    (529/750) Run 529: Case 106 [4]... <05:35>
     ... skipping.
    (530/750) Run 530: Case 106 [5]... <05:35>
     ... skipping.
    (531/750) Run 531: Case 107 [1]... <05:35>
     ... skipping.
    (532/750) Run 532: Case 107 [2]... <05:35>
     ... skipping.
    (533/750) Run 533: Case 107 [3]... <05:35>
     ... skipping.
    (534/750) Run 534: Case 107 [4]... <05:35>
     ... skipping.
    (535/750) Run 535: Case 107 [5]... <05:35>
     ... skipping.
    (536/750) Run 536: Case 108 [1]... <05:35>
     ... skipping.
    (537/750) Run 537: Case 108 [2]... <05:35>
     ... skipping.
    (538/750) Run 538: Case 108 [3]... <05:35>
     ... skipping.
    (539/750) Run 539: Case 108 [4]... <05:35>
     ... skipping.
    (540/750) Run 540: Case 108 [5]... <05:35>
     ... skipping.
    (541/750) Run 541: Case 109 [1]... <05:35>
     ... skipping.
    (542/750) Run 542: Case 109 [2]... <05:35>
     ... skipping.
    (543/750) Run 543: Case 109 [3]... <05:35>
     ... skipping.
    (544/750) Run 544: Case 109 [4]... <05:35>
     ... skipping.
    (545/750) Run 545: Case 109 [5]... <05:35>
     ... skipping.
    (546/750) Run 546: Case 110 [1]... <05:35>
     ... skipping.
    (547/750) Run 547: Case 110 [2]... <05:35>
     ... skipping.
    (548/750) Run 548: Case 110 [3]... <05:35>
     ... skipping.
    (549/750) Run 549: Case 110 [4]... <05:35>
     ... skipping.
    (550/750) Run 550: Case 110 [5]... <05:35>
     ... skipping.
    (551/750) Run 551: Case 111 [1]... <05:35>
     ... skipping.
    (552/750) Run 552: Case 111 [2]... <05:35>
     ... skipping.
    (553/750) Run 553: Case 111 [3]... <05:35>
     ... skipping.
    (554/750) Run 554: Case 111 [4]... <05:35>
     ... skipping.
    (555/750) Run 555: Case 111 [5]... <05:35>
     ... skipping.
    (556/750) Run 556: Case 112 [1]... <05:35>
     ... skipping.
    (557/750) Run 557: Case 112 [2]... <05:35>
     ... skipping.
    (558/750) Run 558: Case 112 [3]... <05:35>
     ... skipping.
    (559/750) Run 559: Case 112 [4]... <05:35>
     ... skipping.
    (560/750) Run 560: Case 112 [5]... <05:35>
     ... skipping.
    (561/750) Run 561: Case 113 [1]... <05:35>
     ... skipping.
    (562/750) Run 562: Case 113 [2]... <05:35>
     ... skipping.
    (563/750) Run 563: Case 113 [3]... <05:35>
     ... skipping.
    (564/750) Run 564: Case 113 [4]... <05:35>
     ... skipping.
    (565/750) Run 565: Case 113 [5]... <05:35>
     ... skipping.
    (566/750) Run 566: Case 114 [1]... <05:35>
     ... skipping.
    (567/750) Run 567: Case 114 [2]... <05:35>
     ... skipping.
    (568/750) Run 568: Case 114 [3]... <05:35>
     ... skipping.
    (569/750) Run 569: Case 114 [4]... <05:35>
     ... skipping.
    (570/750) Run 570: Case 114 [5]... <05:35>
     ... skipping.
    (571/750) Run 571: Case 115 [1]... <05:35>
     ... skipping.
    (572/750) Run 572: Case 115 [2]... <05:35>
     ... skipping.
    (573/750) Run 573: Case 115 [3]... <05:35>
     ... skipping.
    (574/750) Run 574: Case 115 [4]... <05:35>
     ... skipping.
    (575/750) Run 575: Case 115 [5]... <05:35>
     ... skipping.
    (576/750) Run 576: Case 116 [1]... <05:35>
     ... skipping.
    (577/750) Run 577: Case 116 [2]... <05:35>
     ... skipping.
    (578/750) Run 578: Case 116 [3]... <05:35>
     ... skipping.
    (579/750) Run 579: Case 116 [4]... <05:35>
     ... skipping.
    (580/750) Run 580: Case 116 [5]... <05:35>
     ... skipping.
    (581/750) Run 581: Case 117 [1]... <05:35>
     ... skipping.
    (582/750) Run 582: Case 117 [2]... <05:35>
     ... skipping.
    (583/750) Run 583: Case 117 [3]... <05:35>
     ... skipping.
    (584/750) Run 584: Case 117 [4]... <05:35>
     ... skipping.
    (585/750) Run 585: Case 117 [5]... <05:35>
     ... skipping.
    (586/750) Run 586: Case 118 [1]... <05:35>
     ... skipping.
    (587/750) Run 587: Case 118 [2]... <05:35>
     ... skipping.
    (588/750) Run 588: Case 118 [3]... <05:35>
     ... skipping.
    (589/750) Run 589: Case 118 [4]... <05:35>
     ... skipping.
    (590/750) Run 590: Case 118 [5]... <05:35>
     ... skipping.
    (591/750) Run 591: Case 119 [1]... <05:35>
     ... skipping.
    (592/750) Run 592: Case 119 [2]... <05:35>
     ... skipping.
    (593/750) Run 593: Case 119 [3]... <05:35>
     ... skipping.
    (594/750) Run 594: Case 119 [4]... <05:35>
     ... skipping.
    (595/750) Run 595: Case 119 [5]... <05:35>
     ... skipping.
    (596/750) Run 596: Case 120 [1]... <05:35>
     ... skipping.
    (597/750) Run 597: Case 120 [2]... <05:35>
     ... skipping.
    (598/750) Run 598: Case 120 [3]... <05:35>
     ... skipping.
    (599/750) Run 599: Case 120 [4]... <05:35>
     ... skipping.
    (600/750) Run 600: Case 120 [5]... <05:35>
     ... skipping.
    (601/750) Run 601: Case 121 [1]... <05:35>
     ... skipping.
    (602/750) Run 602: Case 121 [2]... <05:35>
     ... skipping.
    (603/750) Run 603: Case 121 [3]... <05:35>
     ... skipping.
    (604/750) Run 604: Case 121 [4]... <05:35>
     ... skipping.
    (605/750) Run 605: Case 121 [5]... <05:35>
     ... skipping.
    (606/750) Run 606: Case 122 [1]... <05:35>
     ... skipping.
    (607/750) Run 607: Case 122 [2]... <05:35>
     ... skipping.
    (608/750) Run 608: Case 122 [3]... <05:35>
     ... skipping.
    (609/750) Run 609: Case 122 [4]... <05:35>
     ... skipping.
    (610/750) Run 610: Case 122 [5]... <05:35>
     ... skipping.
    (611/750) Run 611: Case 123 [1]... <05:35>
     ... skipping.
    (612/750) Run 612: Case 123 [2]... <05:35>
     ... skipping.
    (613/750) Run 613: Case 123 [3]... <05:35>
     ... skipping.
    (614/750) Run 614: Case 123 [4]... <05:35>
     ... skipping.
    (615/750) Run 615: Case 123 [5]... <05:35>
     ... skipping.
    (616/750) Run 616: Case 124 [1]... <05:35>
     ... skipping.
    (617/750) Run 617: Case 124 [2]... <05:35>
     ... skipping.
    (618/750) Run 618: Case 124 [3]... <05:35>
     ... skipping.
    (619/750) Run 619: Case 124 [4]... <05:35>
     ... skipping.
    (620/750) Run 620: Case 124 [5]... <05:35>
     ... skipping.
    (621/750) Run 621: Case 125 [1]... <05:35>
     ... skipping.
    (622/750) Run 622: Case 125 [2]... <05:35>
     ... skipping.
    (623/750) Run 623: Case 125 [3]... <05:35>
     ... skipping.
    (624/750) Run 624: Case 125 [4]... <05:35>
     ... skipping.
    (625/750) Run 625: Case 125 [5]... <05:35>
     ... skipping.
    (626/750) Run 626: Case 126 [1]... <05:35>
     ... skipping.
    (627/750) Run 627: Case 126 [2]... <05:35>
     ... skipping.
    (628/750) Run 628: Case 126 [3]... <05:35>
     ... skipping.
    (629/750) Run 629: Case 126 [4]... <05:35>
     ... skipping.
    (630/750) Run 630: Case 126 [5]... <05:35>
     ... skipping.
    (631/750) Run 631: Case 127 [1]... <05:35>
     ... skipping.
    (632/750) Run 632: Case 127 [2]... <05:35>
     ... skipping.
    (633/750) Run 633: Case 127 [3]... <05:35>
     ... skipping.
    (634/750) Run 634: Case 127 [4]... <05:35>
     ... skipping.
    (635/750) Run 635: Case 127 [5]... <05:35>
     ... skipping.
    (636/750) Run 636: Case 128 [1]... <05:35>
     ... skipping.
    (637/750) Run 637: Case 128 [2]... <05:35>
     ... skipping.
    (638/750) Run 638: Case 128 [3]... <05:35>
     ... skipping.
    (639/750) Run 639: Case 128 [4]... <05:35>
     ... skipping.
    (640/750) Run 640: Case 128 [5]... <05:35>
     ... skipping.
    (641/750) Run 641: Case 129 [1]... <05:35>
     ... skipping.
    (642/750) Run 642: Case 129 [2]... <05:35>
     ... skipping.
    (643/750) Run 643: Case 129 [3]... <05:35>
     ... skipping.
    (644/750) Run 644: Case 129 [4]... <05:35>
     ... skipping.
    (645/750) Run 645: Case 129 [5]... <05:35>
     ... skipping.
    (646/750) Run 646: Case 130 [1]... <05:35>
     ... skipping.
    (647/750) Run 647: Case 130 [2]... <05:35>
     ... skipping.
    (648/750) Run 648: Case 130 [3]... <05:35>
     ... skipping.
    (649/750) Run 649: Case 130 [4]... <05:35>
     ... skipping.
    (650/750) Run 650: Case 130 [5]... <05:35>
     ... skipping.
    (651/750) Run 651: Case 131 [1]... <05:35>
     ... skipping.
    (652/750) Run 652: Case 131 [2]... <05:35>
     ... skipping.
    (653/750) Run 653: Case 131 [3]... <05:35>
     ... skipping.
    (654/750) Run 654: Case 131 [4]... <05:35>
     ... skipping.
    (655/750) Run 655: Case 131 [5]... <05:35>
     ... skipping.
    (656/750) Run 656: Case 132 [1]... <05:35>
     ... skipping.
    (657/750) Run 657: Case 132 [2]... <05:35>
     ... skipping.
    (658/750) Run 658: Case 132 [3]... <05:35>
     ... skipping.
    (659/750) Run 659: Case 132 [4]... <05:35>
     ... skipping.
    (660/750) Run 660: Case 132 [5]... <05:35>
     ... skipping.
    (661/750) Run 661: Case 133 [1]... <05:35>
     ... skipping.
    (662/750) Run 662: Case 133 [2]... <05:35>
     ... skipping.
    (663/750) Run 663: Case 133 [3]... <05:35>
     ... skipping.
    (664/750) Run 664: Case 133 [4]... <05:35>
     ... skipping.
    (665/750) Run 665: Case 133 [5]... <05:35>
     ... skipping.
    (666/750) Run 666: Case 134 [1]... <05:35>
     ... skipping.
    (667/750) Run 667: Case 134 [2]... <05:35>
     ... skipping.
    (668/750) Run 668: Case 134 [3]... <05:35>
     ... skipping.
    (669/750) Run 669: Case 134 [4]... <05:35>
     ... skipping.
    (670/750) Run 670: Case 134 [5]... <05:35>
     ... skipping.
    (671/750) Run 671: Case 135 [1]... <05:35>
     ... skipping.
    (672/750) Run 672: Case 135 [2]... <05:35>
     ... skipping.
    (673/750) Run 673: Case 135 [3]... <05:35>
     ... skipping.
    (674/750) Run 674: Case 135 [4]... <05:35>
     ... skipping.
    (675/750) Run 675: Case 135 [5]... <05:35>
     ... skipping.
    (676/750) Run 676: Case 136 [1]... <05:35>
     ... skipping.
    (677/750) Run 677: Case 136 [2]... <05:35>
     ... skipping.
    (678/750) Run 678: Case 136 [3]... <05:35>
     ... skipping.
    (679/750) Run 679: Case 136 [4]... <05:35>
     ... skipping.
    (680/750) Run 680: Case 136 [5]... <05:35>
     ... skipping.
    (681/750) Run 681: Case 137 [1]... <05:35>
     ... skipping.
    (682/750) Run 682: Case 137 [2]... <05:35>
     ... skipping.
    (683/750) Run 683: Case 137 [3]... <05:35>
     ... skipping.
    (684/750) Run 684: Case 137 [4]... <05:35>
     ... skipping.
    (685/750) Run 685: Case 137 [5]... <05:35>
     ... skipping.
    (686/750) Run 686: Case 138 [1]... <05:35>
     ... skipping.
    (687/750) Run 687: Case 138 [2]... <05:35>
     ... skipping.
    (688/750) Run 688: Case 138 [3]... <05:35>
     ... skipping.
    (689/750) Run 689: Case 138 [4]... <05:35>
     ... skipping.
    (690/750) Run 690: Case 138 [5]... <05:35>
     ... skipping.
    (691/750) Run 691: Case 139 [1]... <05:35>
     ... skipping.
    (692/750) Run 692: Case 139 [2]... <05:35>
     ... skipping.
    (693/750) Run 693: Case 139 [3]... <05:35>
     ... skipping.
    (694/750) Run 694: Case 139 [4]... <05:35>
     ... skipping.
    (695/750) Run 695: Case 139 [5]... <05:35>
     ... skipping.
    (696/750) Run 696: Case 140 [1]... <05:35>
     ... skipping.
    (697/750) Run 697: Case 140 [2]... <05:35>
     ... skipping.
    (698/750) Run 698: Case 140 [3]... <05:35>
     ... skipping.
    (699/750) Run 699: Case 140 [4]... <05:35>
     ... skipping.
    (700/750) Run 700: Case 140 [5]... <05:35>
     ... skipping.
    (701/750) Run 701: Case 141 [1]... <05:35>
     ... skipping.
    (702/750) Run 702: Case 141 [2]... <05:35>
     ... skipping.
    (703/750) Run 703: Case 141 [3]... <05:35>
     ... skipping.
    (704/750) Run 704: Case 141 [4]... <05:35>
     ... skipping.
    (705/750) Run 705: Case 141 [5]... <05:35>
     ... skipping.
    (706/750) Run 706: Case 142 [1]... <05:35>
     ... skipping.
    (707/750) Run 707: Case 142 [2]... <05:35>
     ... skipping.
    (708/750) Run 708: Case 142 [3]... <05:35>
     ... skipping.
    (709/750) Run 709: Case 142 [4]... <05:35>
     ... skipping.
    (710/750) Run 710: Case 142 [5]... <05:35>
     ... skipping.
    (711/750) Run 711: Case 143 [1]... <05:35>
     ... skipping.
    (712/750) Run 712: Case 143 [2]... <05:35>
     ... skipping.
    (713/750) Run 713: Case 143 [3]... <05:35>
     ... skipping.
    (714/750) Run 714: Case 143 [4]... <05:35>
     ... skipping.
    (715/750) Run 715: Case 143 [5]... <05:35>
     ... skipping.
    (716/750) Run 716: Case 144 [1]... <05:35>
     ... skipping.
    (717/750) Run 717: Case 144 [2]... <05:35>
     ... skipping.
    (718/750) Run 718: Case 144 [3]... <05:35>
     ... skipping.
    (719/750) Run 719: Case 144 [4]... <05:35>
     ... skipping.
    (720/750) Run 720: Case 144 [5]... <05:35>
     ... skipping.
    (721/750) Run 721: Case 145 [1]... <05:35>
     ... skipping.
    (722/750) Run 722: Case 145 [2]... <05:35>
     ... skipping.
    (723/750) Run 723: Case 145 [3]... <05:35>
     ... skipping.
    (724/750) Run 724: Case 145 [4]... <05:35>
     ... skipping.
    (725/750) Run 725: Case 145 [5]... <05:35>
     ... skipping.
    (726/750) Run 726: Case 146 [1]... <05:35>
     ... skipping.
    (727/750) Run 727: Case 146 [2]... <05:35>
     ... skipping.
    (728/750) Run 728: Case 146 [3]... <05:35>
     ... skipping.
    (729/750) Run 729: Case 146 [4]... <05:35>
     ... skipping.
    (730/750) Run 730: Case 146 [5]... <05:35>
     ... skipping.
    (731/750) Run 731: Case 147 [1]... <05:35>
     ... skipping.
    (732/750) Run 732: Case 147 [2]... <05:35>
     ... skipping.
    (733/750) Run 733: Case 147 [3]... <05:35>
     ... skipping.
    (734/750) Run 734: Case 147 [4]... <05:35>
     ... skipping.
    (735/750) Run 735: Case 147 [5]... <05:35>
     ... skipping.
    (736/750) Run 736: Case 148 [1]... <05:35>
     ... skipping.
    (737/750) Run 737: Case 148 [2]... <05:35>
     ... skipping.
    (738/750) Run 738: Case 148 [3]... <05:35>
     ... skipping.
    (739/750) Run 739: Case 148 [4]... <05:35>
     ... skipping.
    (740/750) Run 740: Case 148 [5]... <05:35>
     ... skipping.
    (741/750) Run 741: Case 149 [1]... <05:35>
     ... skipping.
    (742/750) Run 742: Case 149 [2]... <05:35>
     ... skipping.
    (743/750) Run 743: Case 149 [3]... <05:35>
     ... skipping.
    (744/750) Run 744: Case 149 [4]... <05:35>
     ... skipping.
    (745/750) Run 745: Case 149 [5]... <05:35>
     ... skipping.
    (746/750) Run 746: Case 150 [1]... <05:35>
     ... skipping.
    (747/750) Run 747: Case 150 [2]... <05:35>
     ... skipping.
    (748/750) Run 748: Case 150 [3]... <05:35>
     ... skipping.
    (749/750) Run 749: Case 150 [4]... <05:35>
     ... skipping.
    (750/750) Run 750: Case 150 [5]... <05:35>
     ... skipping.
    ... done. (benchmark 'bm-02') <05:35>
    Running benchmark 'bm-03'... <05:35>
    (1/400) Run 1: Case 1 [1]... <05:35>
     ... skipping.
    (2/400) Run 2: Case 1 [2]... <05:35>
     ... skipping.
    (3/400) Run 3: Case 1 [3]... <05:35>
     ... skipping.
    (4/400) Run 4: Case 1 [4]... <05:35>
     ... skipping.
    (5/400) Run 5: Case 1 [5]... <05:35>
     ... skipping.
    (6/400) Run 6: Case 2 [1]... <05:35>
     ... skipping.
    (7/400) Run 7: Case 2 [2]... <05:35>
     ... skipping.
    (8/400) Run 8: Case 2 [3]... <05:35>
     ... skipping.
    (9/400) Run 9: Case 2 [4]... <05:35>
     ... skipping.
    (10/400) Run 10: Case 2 [5]... <05:35>
     ... skipping.
    (11/400) Run 11: Case 3 [1]... <05:35>
     ... skipping.
    (12/400) Run 12: Case 3 [2]... <05:35>
     ... skipping.
    (13/400) Run 13: Case 3 [3]... <05:35>
     ... skipping.
    (14/400) Run 14: Case 3 [4]... <05:35>
     ... skipping.
    (15/400) Run 15: Case 3 [5]... <05:35>
     ... skipping.
    (16/400) Run 16: Case 4 [1]... <05:35>
     ... skipping.
    (17/400) Run 17: Case 4 [2]... <05:35>
     ... skipping.
    (18/400) Run 18: Case 4 [3]... <05:35>
     ... skipping.
    (19/400) Run 19: Case 4 [4]... <05:35>
     ... skipping.
    (20/400) Run 20: Case 4 [5]... <05:35>
     ... skipping.
    (21/400) Run 21: Case 5 [1]... <05:35>
     ... skipping.
    (22/400) Run 22: Case 5 [2]... <05:35>
     ... skipping.
    (23/400) Run 23: Case 5 [3]... <05:35>
     ... skipping.
    (24/400) Run 24: Case 5 [4]... <05:35>
     ... skipping.
    (25/400) Run 25: Case 5 [5]... <05:35>
     ... skipping.
    (26/400) Run 26: Case 6 [1]... <05:35>
     ... skipping.
    (27/400) Run 27: Case 6 [2]... <05:35>
     ... skipping.
    (28/400) Run 28: Case 6 [3]... <05:35>
     ... skipping.
    (29/400) Run 29: Case 6 [4]... <05:35>
     ... skipping.
    (30/400) Run 30: Case 6 [5]... <05:35>
     ... skipping.
    (31/400) Run 31: Case 7 [1]... <05:35>
     ... skipping.
    (32/400) Run 32: Case 7 [2]... <05:35>
     ... skipping.
    (33/400) Run 33: Case 7 [3]... <05:35>
     ... skipping.
    (34/400) Run 34: Case 7 [4]... <05:35>
     ... skipping.
    (35/400) Run 35: Case 7 [5]... <05:35>
     ... skipping.
    (36/400) Run 36: Case 8 [1]... <05:35>
     ... skipping.
    (37/400) Run 37: Case 8 [2]... <05:35>
     ... skipping.
    (38/400) Run 38: Case 8 [3]... <05:35>
     ... skipping.
    (39/400) Run 39: Case 8 [4]... <05:35>
     ... skipping.
    (40/400) Run 40: Case 8 [5]... <05:35>
     ... skipping.
    (41/400) Run 41: Case 9 [1]... <05:35>
     ... skipping.
    (42/400) Run 42: Case 9 [2]... <05:35>
     ... skipping.
    (43/400) Run 43: Case 9 [3]... <05:35>
     ... skipping.
    (44/400) Run 44: Case 9 [4]... <05:35>
     ... skipping.
    (45/400) Run 45: Case 9 [5]... <05:35>
     ... skipping.
    (46/400) Run 46: Case 10 [1]... <05:35>
     ... skipping.
    (47/400) Run 47: Case 10 [2]... <05:35>
     ... skipping.
    (48/400) Run 48: Case 10 [3]... <05:35>
     ... skipping.
    (49/400) Run 49: Case 10 [4]... <05:35>
     ... skipping.
    (50/400) Run 50: Case 10 [5]... <05:35>
     ... skipping.
    (51/400) Run 51: Case 11 [1]... <05:35>
     ... skipping.
    (52/400) Run 52: Case 11 [2]... <05:35>
     ... skipping.
    (53/400) Run 53: Case 11 [3]... <05:35>
     ... skipping.
    (54/400) Run 54: Case 11 [4]... <05:35>
     ... skipping.
    (55/400) Run 55: Case 11 [5]... <05:35>
     ... skipping.
    (56/400) Run 56: Case 12 [1]... <05:35>
     ... skipping.
    (57/400) Run 57: Case 12 [2]... <05:35>
     ... skipping.
    (58/400) Run 58: Case 12 [3]... <05:35>
     ... skipping.
    (59/400) Run 59: Case 12 [4]... <05:35>
     ... skipping.
    (60/400) Run 60: Case 12 [5]... <05:35>
     ... skipping.
    (61/400) Run 61: Case 13 [1]... <05:35>
     ... skipping.
    (62/400) Run 62: Case 13 [2]... <05:35>
     ... skipping.
    (63/400) Run 63: Case 13 [3]... <05:35>
     ... skipping.
    (64/400) Run 64: Case 13 [4]... <05:35>
     ... skipping.
    (65/400) Run 65: Case 13 [5]... <05:35>
     ... skipping.
    (66/400) Run 66: Case 14 [1]... <05:35>
     ... skipping.
    (67/400) Run 67: Case 14 [2]... <05:35>
     ... skipping.
    (68/400) Run 68: Case 14 [3]... <05:35>
     ... skipping.
    (69/400) Run 69: Case 14 [4]... <05:35>
     ... skipping.
    (70/400) Run 70: Case 14 [5]... <05:35>
     ... skipping.
    (71/400) Run 71: Case 15 [1]... <05:35>
     ... skipping.
    (72/400) Run 72: Case 15 [2]... <05:35>
     ... skipping.
    (73/400) Run 73: Case 15 [3]... <05:35>
     ... skipping.
    (74/400) Run 74: Case 15 [4]... <05:35>
     ... skipping.
    (75/400) Run 75: Case 15 [5]... <05:35>
     ... skipping.
    (76/400) Run 76: Case 16 [1]... <05:35>
     ... skipping.
    (77/400) Run 77: Case 16 [2]... <05:35>
     ... skipping.
    (78/400) Run 78: Case 16 [3]... <05:35>
     ... skipping.
    (79/400) Run 79: Case 16 [4]... <05:35>
     ... skipping.
    (80/400) Run 80: Case 16 [5]... <05:35>
     ... skipping.
    (81/400) Run 81: Case 17 [1]... <05:35>
     ... skipping.
    (82/400) Run 82: Case 17 [2]... <05:35>
     ... skipping.
    (83/400) Run 83: Case 17 [3]... <05:35>
     ... skipping.
    (84/400) Run 84: Case 17 [4]... <05:35>
     ... skipping.
    (85/400) Run 85: Case 17 [5]... <05:35>
     ... skipping.
    (86/400) Run 86: Case 18 [1]... <05:35>
     ... skipping.
    (87/400) Run 87: Case 18 [2]... <05:35>
     ... skipping.
    (88/400) Run 88: Case 18 [3]... <05:35>
     ... skipping.
    (89/400) Run 89: Case 18 [4]... <05:35>
     ... skipping.
    (90/400) Run 90: Case 18 [5]... <05:35>
     ... skipping.
    (91/400) Run 91: Case 19 [1]... <05:35>
     ... skipping.
    (92/400) Run 92: Case 19 [2]... <05:35>
     ... skipping.
    (93/400) Run 93: Case 19 [3]... <05:35>
     ... skipping.
    (94/400) Run 94: Case 19 [4]... <05:35>
     ... skipping.
    (95/400) Run 95: Case 19 [5]... <05:35>
     ... skipping.
    (96/400) Run 96: Case 20 [1]... <05:35>
     ... skipping.
    (97/400) Run 97: Case 20 [2]... <05:35>
     ... skipping.
    (98/400) Run 98: Case 20 [3]... <05:35>
     ... skipping.
    (99/400) Run 99: Case 20 [4]... <05:35>
     ... skipping.
    (100/400) Run 100: Case 20 [5]... <05:35>
     ... skipping.
    (101/400) Run 101: Case 21 [1]... <05:35>
     ... skipping.
    (102/400) Run 102: Case 21 [2]... <05:35>
     ... skipping.
    (103/400) Run 103: Case 21 [3]... <05:35>
     ... skipping.
    (104/400) Run 104: Case 21 [4]... <05:35>
     ... skipping.
    (105/400) Run 105: Case 21 [5]... <05:35>
     ... skipping.
    (106/400) Run 106: Case 22 [1]... <05:35>
     ... skipping.
    (107/400) Run 107: Case 22 [2]... <05:35>
     ... skipping.
    (108/400) Run 108: Case 22 [3]... <05:35>
     ... skipping.
    (109/400) Run 109: Case 22 [4]... <05:35>
     ... skipping.
    (110/400) Run 110: Case 22 [5]... <05:35>
     ... skipping.
    (111/400) Run 111: Case 23 [1]... <05:35>
     ... skipping.
    (112/400) Run 112: Case 23 [2]... <05:35>
     ... skipping.
    (113/400) Run 113: Case 23 [3]... <05:35>
     ... skipping.
    (114/400) Run 114: Case 23 [4]... <05:35>
     ... skipping.
    (115/400) Run 115: Case 23 [5]... <05:35>
     ... skipping.
    (116/400) Run 116: Case 24 [1]... <05:35>
     ... skipping.
    (117/400) Run 117: Case 24 [2]... <05:35>
     ... skipping.
    (118/400) Run 118: Case 24 [3]... <05:35>
     ... skipping.
    (119/400) Run 119: Case 24 [4]... <05:35>
     ... skipping.
    (120/400) Run 120: Case 24 [5]... <05:35>
     ... skipping.
    (121/400) Run 121: Case 25 [1]... <05:35>
     ... skipping.
    (122/400) Run 122: Case 25 [2]... <05:35>
     ... skipping.
    (123/400) Run 123: Case 25 [3]... <05:35>
     ... skipping.
    (124/400) Run 124: Case 25 [4]... <05:35>
     ... skipping.
    (125/400) Run 125: Case 25 [5]... <05:35>
     ... skipping.
    (126/400) Run 126: Case 26 [1]... <05:35>
     ... skipping.
    (127/400) Run 127: Case 26 [2]... <05:35>
     ... skipping.
    (128/400) Run 128: Case 26 [3]... <05:35>
     ... skipping.
    (129/400) Run 129: Case 26 [4]... <05:35>
     ... skipping.
    (130/400) Run 130: Case 26 [5]... <05:35>
     ... skipping.
    (131/400) Run 131: Case 27 [1]... <05:35>
     ... skipping.
    (132/400) Run 132: Case 27 [2]... <05:35>
     ... skipping.
    (133/400) Run 133: Case 27 [3]... <05:35>
     ... skipping.
    (134/400) Run 134: Case 27 [4]... <05:35>
     ... skipping.
    (135/400) Run 135: Case 27 [5]... <05:35>
     ... skipping.
    (136/400) Run 136: Case 28 [1]... <05:35>
     ... skipping.
    (137/400) Run 137: Case 28 [2]... <05:35>
     ... skipping.
    (138/400) Run 138: Case 28 [3]... <05:35>
     ... skipping.
    (139/400) Run 139: Case 28 [4]... <05:35>
     ... skipping.
    (140/400) Run 140: Case 28 [5]... <05:35>
     ... skipping.
    (141/400) Run 141: Case 29 [1]... <05:35>
     ... skipping.
    (142/400) Run 142: Case 29 [2]... <05:35>
     ... skipping.
    (143/400) Run 143: Case 29 [3]... <05:35>
     ... skipping.
    (144/400) Run 144: Case 29 [4]... <05:35>
     ... skipping.
    (145/400) Run 145: Case 29 [5]... <05:35>
     ... skipping.
    (146/400) Run 146: Case 30 [1]... <05:35>
     ... skipping.
    (147/400) Run 147: Case 30 [2]... <05:35>
     ... skipping.
    (148/400) Run 148: Case 30 [3]... <05:35>
     ... skipping.
    (149/400) Run 149: Case 30 [4]... <05:35>
     ... skipping.
    (150/400) Run 150: Case 30 [5]... <05:35>
     ... skipping.
    (151/400) Run 151: Case 31 [1]... <05:35>
     ... skipping.
    (152/400) Run 152: Case 31 [2]... <05:35>
     ... skipping.
    (153/400) Run 153: Case 31 [3]... <05:35>
     ... skipping.
    (154/400) Run 154: Case 31 [4]... <05:35>
     ... skipping.
    (155/400) Run 155: Case 31 [5]... <05:35>
     ... skipping.
    (156/400) Run 156: Case 32 [1]... <05:35>
     ... skipping.
    (157/400) Run 157: Case 32 [2]... <05:35>
     ... skipping.
    (158/400) Run 158: Case 32 [3]... <05:35>
     ... skipping.
    (159/400) Run 159: Case 32 [4]... <05:35>
     ... skipping.
    (160/400) Run 160: Case 32 [5]... <05:35>
     ... skipping.
    (161/400) Run 161: Case 33 [1]... <05:35>
     ... skipping.
    (162/400) Run 162: Case 33 [2]... <05:35>
     ... skipping.
    (163/400) Run 163: Case 33 [3]... <05:35>
     ... skipping.
    (164/400) Run 164: Case 33 [4]... <05:35>
     ... skipping.
    (165/400) Run 165: Case 33 [5]... <05:35>
     ... skipping.
    (166/400) Run 166: Case 34 [1]... <05:35>
     ... skipping.
    (167/400) Run 167: Case 34 [2]... <05:35>
     ... skipping.
    (168/400) Run 168: Case 34 [3]... <05:35>
     ... skipping.
    (169/400) Run 169: Case 34 [4]... <05:35>
     ... skipping.
    (170/400) Run 170: Case 34 [5]... <05:35>
     ... skipping.
    (171/400) Run 171: Case 35 [1]... <05:35>
     ... skipping.
    (172/400) Run 172: Case 35 [2]... <05:35>
     ... skipping.
    (173/400) Run 173: Case 35 [3]... <05:35>
     ... skipping.
    (174/400) Run 174: Case 35 [4]... <05:35>
     ... skipping.
    (175/400) Run 175: Case 35 [5]... <05:35>
     ... skipping.
    (176/400) Run 176: Case 36 [1]... <05:35>
     ... skipping.
    (177/400) Run 177: Case 36 [2]... <05:35>
     ... skipping.
    (178/400) Run 178: Case 36 [3]... <05:35>
     ... skipping.
    (179/400) Run 179: Case 36 [4]... <05:35>
     ... skipping.
    (180/400) Run 180: Case 36 [5]... <05:35>
     ... skipping.
    (181/400) Run 181: Case 37 [1]... <05:35>
     ... skipping.
    (182/400) Run 182: Case 37 [2]... <05:35>
     ... skipping.
    (183/400) Run 183: Case 37 [3]... <05:35>
     ... skipping.
    (184/400) Run 184: Case 37 [4]... <05:35>
     ... skipping.
    (185/400) Run 185: Case 37 [5]... <05:35>
     ... skipping.
    (186/400) Run 186: Case 38 [1]... <05:35>
     ... skipping.
    (187/400) Run 187: Case 38 [2]... <05:35>
     ... skipping.
    (188/400) Run 188: Case 38 [3]... <05:35>
     ... skipping.
    (189/400) Run 189: Case 38 [4]... <05:35>
     ... skipping.
    (190/400) Run 190: Case 38 [5]... <05:35>
     ... skipping.
    (191/400) Run 191: Case 39 [1]... <05:35>
     ... skipping.
    (192/400) Run 192: Case 39 [2]... <05:35>
     ... skipping.
    (193/400) Run 193: Case 39 [3]... <05:35>
     ... skipping.
    (194/400) Run 194: Case 39 [4]... <05:35>
     ... skipping.
    (195/400) Run 195: Case 39 [5]... <05:35>
     ... skipping.
    (196/400) Run 196: Case 40 [1]... <05:35>
     ... skipping.
    (197/400) Run 197: Case 40 [2]... <05:35>
     ... skipping.
    (198/400) Run 198: Case 40 [3]... <05:35>
     ... skipping.
    (199/400) Run 199: Case 40 [4]... <05:35>
     ... skipping.
    (200/400) Run 200: Case 40 [5]... <05:35>
     ... skipping.
    (201/400) Run 201: Case 41 [1]... <05:35>
     ... skipping.
    (202/400) Run 202: Case 41 [2]... <05:35>
     ... skipping.
    (203/400) Run 203: Case 41 [3]... <05:35>
     ... skipping.
    (204/400) Run 204: Case 41 [4]... <05:35>
     ... skipping.
    (205/400) Run 205: Case 41 [5]... <05:35>
     ... skipping.
    (206/400) Run 206: Case 42 [1]... <05:35>
     ... skipping.
    (207/400) Run 207: Case 42 [2]... <05:35>
     ... skipping.
    (208/400) Run 208: Case 42 [3]... <05:35>
     ... skipping.
    (209/400) Run 209: Case 42 [4]... <05:35>
     ... skipping.
    (210/400) Run 210: Case 42 [5]... <05:35>
     ... skipping.
    (211/400) Run 211: Case 43 [1]... <05:35>
     ... skipping.
    (212/400) Run 212: Case 43 [2]... <05:35>
     ... skipping.
    (213/400) Run 213: Case 43 [3]... <05:35>
     ... skipping.
    (214/400) Run 214: Case 43 [4]... <05:35>
     ... skipping.
    (215/400) Run 215: Case 43 [5]... <05:35>
     ... skipping.
    (216/400) Run 216: Case 44 [1]... <05:35>
     ... skipping.
    (217/400) Run 217: Case 44 [2]... <05:35>
     ... skipping.
    (218/400) Run 218: Case 44 [3]... <05:35>
     ... skipping.
    (219/400) Run 219: Case 44 [4]... <05:35>
     ... skipping.
    (220/400) Run 220: Case 44 [5]... <05:35>
     ... skipping.
    (221/400) Run 221: Case 45 [1]... <05:35>
     ... skipping.
    (222/400) Run 222: Case 45 [2]... <05:35>
     ... skipping.
    (223/400) Run 223: Case 45 [3]... <05:35>
     ... skipping.
    (224/400) Run 224: Case 45 [4]... <05:35>
     ... skipping.
    (225/400) Run 225: Case 45 [5]... <05:35>
     ... skipping.
    (226/400) Run 226: Case 46 [1]... <05:35>
     ... skipping.
    (227/400) Run 227: Case 46 [2]... <05:35>
     ... skipping.
    (228/400) Run 228: Case 46 [3]... <05:35>
     ... skipping.
    (229/400) Run 229: Case 46 [4]... <05:35>
     ... skipping.
    (230/400) Run 230: Case 46 [5]... <05:35>
     ... skipping.
    (231/400) Run 231: Case 47 [1]... <05:35>
     ... skipping.
    (232/400) Run 232: Case 47 [2]... <05:35>
     ... skipping.
    (233/400) Run 233: Case 47 [3]... <05:35>
     ... skipping.
    (234/400) Run 234: Case 47 [4]... <05:35>
     ... skipping.
    (235/400) Run 235: Case 47 [5]... <05:35>
     ... skipping.
    (236/400) Run 236: Case 48 [1]... <05:35>
     ... skipping.
    (237/400) Run 237: Case 48 [2]... <05:35>
     ... skipping.
    (238/400) Run 238: Case 48 [3]... <05:35>
     ... skipping.
    (239/400) Run 239: Case 48 [4]... <05:35>
     ... skipping.
    (240/400) Run 240: Case 48 [5]... <05:35>
     ... skipping.
    (241/400) Run 241: Case 49 [1]... <05:35>
     ... skipping.
    (242/400) Run 242: Case 49 [2]... <05:35>
     ... skipping.
    (243/400) Run 243: Case 49 [3]... <05:35>
     ... skipping.
    (244/400) Run 244: Case 49 [4]... <05:35>
     ... skipping.
    (245/400) Run 245: Case 49 [5]... <05:35>
     ... skipping.
    (246/400) Run 246: Case 50 [1]... <05:35>
     ... skipping.
    (247/400) Run 247: Case 50 [2]... <05:35>
     ... skipping.
    (248/400) Run 248: Case 50 [3]... <05:35>
     ... skipping.
    (249/400) Run 249: Case 50 [4]... <05:35>
     ... skipping.
    (250/400) Run 250: Case 50 [5]... <05:35>
     ... skipping.
    (251/400) Run 251: Case 51 [1]... <05:35>
     ... skipping.
    (252/400) Run 252: Case 51 [2]... <05:35>
     ... skipping.
    (253/400) Run 253: Case 51 [3]... <05:35>
     ... skipping.
    (254/400) Run 254: Case 51 [4]... <05:35>
     ... skipping.
    (255/400) Run 255: Case 51 [5]... <05:35>
     ... skipping.
    (256/400) Run 256: Case 52 [1]... <05:35>
     ... skipping.
    (257/400) Run 257: Case 52 [2]... <05:35>
     ... skipping.
    (258/400) Run 258: Case 52 [3]... <05:35>
     ... skipping.
    (259/400) Run 259: Case 52 [4]... <05:35>
     ... skipping.
    (260/400) Run 260: Case 52 [5]... <05:35>
     ... skipping.
    (261/400) Run 261: Case 53 [1]... <05:35>
     ... skipping.
    (262/400) Run 262: Case 53 [2]... <05:35>
     ... skipping.
    (263/400) Run 263: Case 53 [3]... <05:35>
     ... skipping.
    (264/400) Run 264: Case 53 [4]... <05:35>
     ... skipping.
    (265/400) Run 265: Case 53 [5]... <05:35>
     ... skipping.
    (266/400) Run 266: Case 54 [1]... <05:35>
     ... skipping.
    (267/400) Run 267: Case 54 [2]... <05:35>
     ... skipping.
    (268/400) Run 268: Case 54 [3]... <05:35>
     ... skipping.
    (269/400) Run 269: Case 54 [4]... <05:35>
     ... skipping.
    (270/400) Run 270: Case 54 [5]... <05:35>
     ... skipping.
    (271/400) Run 271: Case 55 [1]... <05:35>
     ... skipping.
    (272/400) Run 272: Case 55 [2]... <05:35>
     ... skipping.
    (273/400) Run 273: Case 55 [3]... <05:35>
     ... skipping.
    (274/400) Run 274: Case 55 [4]... <05:35>
     ... skipping.
    (275/400) Run 275: Case 55 [5]... <05:35>
     ... skipping.
    (276/400) Run 276: Case 56 [1]... <05:35>
     ... skipping.
    (277/400) Run 277: Case 56 [2]... <05:35>
     ... skipping.
    (278/400) Run 278: Case 56 [3]... <05:35>
     ... skipping.
    (279/400) Run 279: Case 56 [4]... <05:35>
     ... skipping.
    (280/400) Run 280: Case 56 [5]... <05:35>
     ... skipping.
    (281/400) Run 281: Case 57 [1]... <05:35>
     ... skipping.
    (282/400) Run 282: Case 57 [2]... <05:35>
     ... skipping.
    (283/400) Run 283: Case 57 [3]... <05:35>
     ... skipping.
    (284/400) Run 284: Case 57 [4]... <05:35>
     ... skipping.
    (285/400) Run 285: Case 57 [5]... <05:35>
     ... skipping.
    (286/400) Run 286: Case 58 [1]... <05:35>
     ... skipping.
    (287/400) Run 287: Case 58 [2]... <05:35>
     ... skipping.
    (288/400) Run 288: Case 58 [3]... <05:35>
     ... skipping.
    (289/400) Run 289: Case 58 [4]... <05:35>
     ... skipping.
    (290/400) Run 290: Case 58 [5]... <05:35>
     ... skipping.
    (291/400) Run 291: Case 59 [1]... <05:35>
     ... skipping.
    (292/400) Run 292: Case 59 [2]... <05:35>
     ... skipping.
    (293/400) Run 293: Case 59 [3]... <05:35>
     ... skipping.
    (294/400) Run 294: Case 59 [4]... <05:35>
     ... skipping.
    (295/400) Run 295: Case 59 [5]... <05:35>
     ... skipping.
    (296/400) Run 296: Case 60 [1]... <05:35>
     ... skipping.
    (297/400) Run 297: Case 60 [2]... <05:35>
     ... skipping.
    (298/400) Run 298: Case 60 [3]... <05:35>
     ... skipping.
    (299/400) Run 299: Case 60 [4]... <05:35>
     ... skipping.
    (300/400) Run 300: Case 60 [5]... <05:35>
     ... skipping.
    (301/400) Run 301: Case 61 [1]... <05:35>
     ... skipping.
    (302/400) Run 302: Case 61 [2]... <05:35>
     ... skipping.
    (303/400) Run 303: Case 61 [3]... <05:35>
     ... skipping.
    (304/400) Run 304: Case 61 [4]... <05:35>
     ... skipping.
    (305/400) Run 305: Case 61 [5]... <05:35>
     ... skipping.
    (306/400) Run 306: Case 62 [1]... <05:35>
     ... skipping.
    (307/400) Run 307: Case 62 [2]... <05:35>
     ... skipping.
    (308/400) Run 308: Case 62 [3]... <05:35>
     ... skipping.
    (309/400) Run 309: Case 62 [4]... <05:35>
     ... skipping.
    (310/400) Run 310: Case 62 [5]... <05:35>
     ... skipping.
    (311/400) Run 311: Case 63 [1]... <05:35>
     ... skipping.
    (312/400) Run 312: Case 63 [2]... <05:35>
     ... skipping.
    (313/400) Run 313: Case 63 [3]... <05:35>
     ... skipping.
    (314/400) Run 314: Case 63 [4]... <05:35>
     ... skipping.
    (315/400) Run 315: Case 63 [5]... <05:35>
     ... skipping.
    (316/400) Run 316: Case 64 [1]... <05:35>
     ... skipping.
    (317/400) Run 317: Case 64 [2]... <05:35>
     ... skipping.
    (318/400) Run 318: Case 64 [3]... <05:35>
     ... skipping.
    (319/400) Run 319: Case 64 [4]... <05:35>
     ... skipping.
    (320/400) Run 320: Case 64 [5]... <05:35>
     ... skipping.
    (321/400) Run 321: Case 65 [1]... <05:35>
     ... skipping.
    (322/400) Run 322: Case 65 [2]... <05:35>
     ... skipping.
    (323/400) Run 323: Case 65 [3]... <05:35>
     ... skipping.
    (324/400) Run 324: Case 65 [4]... <05:35>
     ... skipping.
    (325/400) Run 325: Case 65 [5]... <05:35>
     ... skipping.
    (326/400) Run 326: Case 66 [1]... <05:35>
     ... skipping.
    (327/400) Run 327: Case 66 [2]... <05:35>
     ... skipping.
    (328/400) Run 328: Case 66 [3]... <05:35>
     ... skipping.
    (329/400) Run 329: Case 66 [4]... <05:35>
     ... skipping.
    (330/400) Run 330: Case 66 [5]... <05:35>
     ... skipping.
    (331/400) Run 331: Case 67 [1]... <05:35>
     ... skipping.
    (332/400) Run 332: Case 67 [2]... <05:35>
     ... skipping.
    (333/400) Run 333: Case 67 [3]... <05:35>
     ... skipping.
    (334/400) Run 334: Case 67 [4]... <05:35>
     ... skipping.
    (335/400) Run 335: Case 67 [5]... <05:35>
     ... skipping.
    (336/400) Run 336: Case 68 [1]... <05:35>
     ... skipping.
    (337/400) Run 337: Case 68 [2]... <05:35>
     ... skipping.
    (338/400) Run 338: Case 68 [3]... <05:35>
     ... skipping.
    (339/400) Run 339: Case 68 [4]... <05:35>
     ... skipping.
    (340/400) Run 340: Case 68 [5]... <05:35>
     ... skipping.
    (341/400) Run 341: Case 69 [1]... <05:35>
     ... skipping.
    (342/400) Run 342: Case 69 [2]... <05:35>
     ... skipping.
    (343/400) Run 343: Case 69 [3]... <05:35>
     ... skipping.
    (344/400) Run 344: Case 69 [4]... <05:35>
     ... skipping.
    (345/400) Run 345: Case 69 [5]... <05:35>
     ... skipping.
    (346/400) Run 346: Case 70 [1]... <05:35>
     ... skipping.
    (347/400) Run 347: Case 70 [2]... <05:35>
     ... skipping.
    (348/400) Run 348: Case 70 [3]... <05:35>
     ... skipping.
    (349/400) Run 349: Case 70 [4]... <05:35>
     ... skipping.
    (350/400) Run 350: Case 70 [5]... <05:35>
     ... skipping.
    (351/400) Run 351: Case 71 [1]... <05:35>
     ... skipping.
    (352/400) Run 352: Case 71 [2]... <05:35>
     ... skipping.
    (353/400) Run 353: Case 71 [3]... <05:35>
     ... skipping.
    (354/400) Run 354: Case 71 [4]... <05:35>
     ... skipping.
    (355/400) Run 355: Case 71 [5]... <05:35>
     ... skipping.
    (356/400) Run 356: Case 72 [1]... <05:35>
     ... skipping.
    (357/400) Run 357: Case 72 [2]... <05:35>
     ... skipping.
    (358/400) Run 358: Case 72 [3]... <05:35>
     ... skipping.
    (359/400) Run 359: Case 72 [4]... <05:35>
     ... skipping.
    (360/400) Run 360: Case 72 [5]... <05:35>
     ... skipping.
    (361/400) Run 361: Case 73 [1]... <05:35>
     ... skipping.
    (362/400) Run 362: Case 73 [2]... <05:35>
     ... skipping.
    (363/400) Run 363: Case 73 [3]... <05:35>
     ... skipping.
    (364/400) Run 364: Case 73 [4]... <05:35>
     ... skipping.
    (365/400) Run 365: Case 73 [5]... <05:35>
     ... skipping.
    (366/400) Run 366: Case 74 [1]... <05:35>
     ... skipping.
    (367/400) Run 367: Case 74 [2]... <05:35>
     ... skipping.
    (368/400) Run 368: Case 74 [3]... <05:35>
     ... skipping.
    (369/400) Run 369: Case 74 [4]... <05:35>
     ... skipping.
    (370/400) Run 370: Case 74 [5]... <05:35>
     ... skipping.
    (371/400) Run 371: Case 75 [1]... <05:35>
     ... skipping.
    (372/400) Run 372: Case 75 [2]... <05:35>
     ... skipping.
    (373/400) Run 373: Case 75 [3]... <05:35>
     ... skipping.
    (374/400) Run 374: Case 75 [4]... <05:35>
     ... skipping.
    (375/400) Run 375: Case 75 [5]... <05:35>
     ... skipping.
    (376/400) Run 376: Case 76 [1]... <05:35>
     ... skipping.
    (377/400) Run 377: Case 76 [2]... <05:35>
     ... skipping.
    (378/400) Run 378: Case 76 [3]... <05:35>
     ... skipping.
    (379/400) Run 379: Case 76 [4]... <05:35>
     ... skipping.
    (380/400) Run 380: Case 76 [5]... <05:35>
     ... skipping.
    (381/400) Run 381: Case 77 [1]... <05:35>
     ... skipping.
    (382/400) Run 382: Case 77 [2]... <05:35>
     ... skipping.
    (383/400) Run 383: Case 77 [3]... <05:35>
     ... skipping.
    (384/400) Run 384: Case 77 [4]... <05:35>
     ... skipping.
    (385/400) Run 385: Case 77 [5]... <05:35>
     ... skipping.
    (386/400) Run 386: Case 78 [1]... <05:35>
     ... skipping.
    (387/400) Run 387: Case 78 [2]... <05:35>
     ... skipping.
    (388/400) Run 388: Case 78 [3]... <05:35>
     ... skipping.
    (389/400) Run 389: Case 78 [4]... <05:35>
     ... skipping.
    (390/400) Run 390: Case 78 [5]... <05:35>
     ... skipping.
    (391/400) Run 391: Case 79 [1]... <05:35>
     ... skipping.
    (392/400) Run 392: Case 79 [2]... <05:35>
     ... skipping.
    (393/400) Run 393: Case 79 [3]... <05:35>
     ... skipping.
    (394/400) Run 394: Case 79 [4]... <05:35>
     ... skipping.
    (395/400) Run 395: Case 79 [5]... <05:35>
     ... skipping.
    (396/400) Run 396: Case 80 [1]... <05:35>
     ... skipping.
    (397/400) Run 397: Case 80 [2]... <05:35>
     ... skipping.
    (398/400) Run 398: Case 80 [3]... <05:35>
     ... skipping.
    (399/400) Run 399: Case 80 [4]... <05:35>
     ... skipping.
    (400/400) Run 400: Case 80 [5]... <05:35>
     ... skipping.
    ... done. (benchmark 'bm-03') <05:35>
    Running benchmark 'bm-04'... <05:35>
    (1/75) Run 1: Case 1 [1]... <05:35>
     ... skipping.
    (2/75) Run 2: Case 1 [2]... <05:35>
     ... skipping.
    (3/75) Run 3: Case 1 [3]... <05:35>
     ... skipping.
    (4/75) Run 4: Case 1 [4]... <05:35>
     ... skipping.
    (5/75) Run 5: Case 1 [5]... <05:35>
     ... skipping.
    (6/75) Run 6: Case 2 [1]... <05:35>
     ... skipping.
    (7/75) Run 7: Case 2 [2]... <05:35>
     ... skipping.
    (8/75) Run 8: Case 2 [3]... <05:35>
     ... skipping.
    (9/75) Run 9: Case 2 [4]... <05:35>
     ... skipping.
    (10/75) Run 10: Case 2 [5]... <05:35>
     ... skipping.
    (11/75) Run 11: Case 3 [1]... <05:35>
     ... skipping.
    (12/75) Run 12: Case 3 [2]... <05:35>
     ... skipping.
    (13/75) Run 13: Case 3 [3]... <05:35>
     ... skipping.
    (14/75) Run 14: Case 3 [4]... <05:35>
     ... skipping.
    (15/75) Run 15: Case 3 [5]... <05:35>
     ... skipping.
    (16/75) Run 16: Case 4 [1]... <05:35>
     ... skipping.
    (17/75) Run 17: Case 4 [2]... <05:35>
     ... skipping.
    (18/75) Run 18: Case 4 [3]... <05:35>
     ... skipping.
    (19/75) Run 19: Case 4 [4]... <05:35>
     ... skipping.
    (20/75) Run 20: Case 4 [5]... <05:35>
     ... skipping.
    (21/75) Run 21: Case 5 [1]... <05:35>
     ... skipping.
    (22/75) Run 22: Case 5 [2]... <05:35>
     ... skipping.
    (23/75) Run 23: Case 5 [3]... <05:35>
     ... skipping.
    (24/75) Run 24: Case 5 [4]... <05:35>
     ... skipping.
    (25/75) Run 25: Case 5 [5]... <05:35>
     ... skipping.
    (26/75) Run 26: Case 6 [1]... <05:35>
     ... skipping.
    (27/75) Run 27: Case 6 [2]... <05:35>
     ... skipping.
    (28/75) Run 28: Case 6 [3]... <05:35>
     ... skipping.
    (29/75) Run 29: Case 6 [4]... <05:35>
     ... skipping.
    (30/75) Run 30: Case 6 [5]... <05:35>
     ... skipping.
    (31/75) Run 31: Case 7 [1]... <05:35>
     ... skipping.
    (32/75) Run 32: Case 7 [2]... <05:35>
     ... skipping.
    (33/75) Run 33: Case 7 [3]... <05:35>
     ... skipping.
    (34/75) Run 34: Case 7 [4]... <05:35>
     ... skipping.
    (35/75) Run 35: Case 7 [5]... <05:35>
     ... skipping.
    (36/75) Run 36: Case 8 [1]... <05:35>
     ... skipping.
    (37/75) Run 37: Case 8 [2]... <05:35>
     ... skipping.
    (38/75) Run 38: Case 8 [3]... <05:35>
     ... skipping.
    (39/75) Run 39: Case 8 [4]... <05:35>
     ... skipping.
    (40/75) Run 40: Case 8 [5]... <05:35>
     ... skipping.
    (41/75) Run 41: Case 9 [1]... <05:35>
     ... skipping.
    (42/75) Run 42: Case 9 [2]... <05:35>
     ... skipping.
    (43/75) Run 43: Case 9 [3]... <05:35>
     ... skipping.
    (44/75) Run 44: Case 9 [4]... <05:35>
     ... skipping.
    (45/75) Run 45: Case 9 [5]... <05:35>
     ... skipping.
    (46/75) Run 46: Case 10 [1]... <05:35>
     ... skipping.
    (47/75) Run 47: Case 10 [2]... <05:35>
     ... skipping.
    (48/75) Run 48: Case 10 [3]... <05:35>
     ... skipping.
    (49/75) Run 49: Case 10 [4]... <05:35>
     ... skipping.
    (50/75) Run 50: Case 10 [5]... <05:35>
     ... skipping.
    (51/75) Run 51: Case 11 [1]... <05:35>
     ... skipping.
    (52/75) Run 52: Case 11 [2]... <05:35>
     ... skipping.
    (53/75) Run 53: Case 11 [3]... <05:35>
     ... skipping.
    (54/75) Run 54: Case 11 [4]... <05:35>
     ... skipping.
    (55/75) Run 55: Case 11 [5]... <05:35>
     ... skipping.
    (56/75) Run 56: Case 12 [1]... <05:35>
     ... skipping.
    (57/75) Run 57: Case 12 [2]... <05:35>
     ... skipping.
    (58/75) Run 58: Case 12 [3]... <05:35>
     ... skipping.
    (59/75) Run 59: Case 12 [4]... <05:35>
     ... skipping.
    (60/75) Run 60: Case 12 [5]... <05:35>
     ... skipping.
    (61/75) Run 61: Case 13 [1]... <05:35>
     ... skipping.
    (62/75) Run 62: Case 13 [2]... <05:35>
     ... skipping.
    (63/75) Run 63: Case 13 [3]... <05:35>
     ... skipping.
    (64/75) Run 64: Case 13 [4]... <05:35>
     ... skipping.
    (65/75) Run 65: Case 13 [5]... <05:35>
     ... skipping.
    (66/75) Run 66: Case 14 [1]... <05:35>
     ... skipping.
    (67/75) Run 67: Case 14 [2]... <05:35>
     ... skipping.
    (68/75) Run 68: Case 14 [3]... <05:35>
     ... skipping.
    (69/75) Run 69: Case 14 [4]... <05:35>
     ... skipping.
    (70/75) Run 70: Case 14 [5]... <05:35>
     ... skipping.
    (71/75) Run 71: Case 15 [1]... <05:35>
     ... skipping.
    (72/75) Run 72: Case 15 [2]... <05:35>
     ... skipping.
    (73/75) Run 73: Case 15 [3]... <05:35>
     ... skipping.
    (74/75) Run 74: Case 15 [4]... <05:35>
     ... skipping.
    (75/75) Run 75: Case 15 [5]... <05:35>
     ... skipping.
    ... done. (benchmark 'bm-04') <05:35>
    Running benchmark 'bm-05'... <05:35>
    (1/90) Run 1: Case 1 [1]... <05:35>
     ... skipping.
    (2/90) Run 2: Case 1 [2]... <05:35>
     ... skipping.
    (3/90) Run 3: Case 1 [3]... <05:35>
     ... skipping.
    (4/90) Run 4: Case 1 [4]... <05:35>
     ... skipping.
    (5/90) Run 5: Case 1 [5]... <05:35>
     ... skipping.
    (6/90) Run 6: Case 2 [1]... <05:35>
     ... skipping.
    (7/90) Run 7: Case 2 [2]... <05:35>
     ... skipping.
    (8/90) Run 8: Case 2 [3]... <05:35>
     ... skipping.
    (9/90) Run 9: Case 2 [4]... <05:35>
     ... skipping.
    (10/90) Run 10: Case 2 [5]... <05:35>
     ... skipping.
    (11/90) Run 11: Case 3 [1]... <05:35>
     ... skipping.
    (12/90) Run 12: Case 3 [2]... <05:35>
     ... skipping.
    (13/90) Run 13: Case 3 [3]... <05:35>
     ... skipping.
    (14/90) Run 14: Case 3 [4]... <05:35>
     ... skipping.
    (15/90) Run 15: Case 3 [5]... <05:35>
     ... skipping.
    (16/90) Run 16: Case 4 [1]... <05:35>
     ... skipping.
    (17/90) Run 17: Case 4 [2]... <05:35>
     ... skipping.
    (18/90) Run 18: Case 4 [3]... <05:35>
     ... skipping.
    (19/90) Run 19: Case 4 [4]... <05:35>
     ... skipping.
    (20/90) Run 20: Case 4 [5]... <05:35>
     ... skipping.
    (21/90) Run 21: Case 5 [1]... <05:35>
     ... skipping.
    (22/90) Run 22: Case 5 [2]... <05:35>
     ... skipping.
    (23/90) Run 23: Case 5 [3]... <05:35>
     ... skipping.
    (24/90) Run 24: Case 5 [4]... <05:35>
     ... skipping.
    (25/90) Run 25: Case 5 [5]... <05:35>
     ... skipping.
    (26/90) Run 26: Case 6 [1]... <05:35>
     ... skipping.
    (27/90) Run 27: Case 6 [2]... <05:35>
     ... skipping.
    (28/90) Run 28: Case 6 [3]... <05:35>
     ... skipping.
    (29/90) Run 29: Case 6 [4]... <05:35>
     ... skipping.
    (30/90) Run 30: Case 6 [5]... <05:35>
     ... skipping.
    (31/90) Run 31: Case 7 [1]... <05:35>
     ... skipping.
    (32/90) Run 32: Case 7 [2]... <05:35>
     ... skipping.
    (33/90) Run 33: Case 7 [3]... <05:35>
     ... skipping.
    (34/90) Run 34: Case 7 [4]... <05:35>
     ... skipping.
    (35/90) Run 35: Case 7 [5]... <05:35>
     ... skipping.
    (36/90) Run 36: Case 8 [1]... <05:35>
     ... skipping.
    (37/90) Run 37: Case 8 [2]... <05:35>
     ... skipping.
    (38/90) Run 38: Case 8 [3]... <05:35>
     ... skipping.
    (39/90) Run 39: Case 8 [4]... <05:35>
     ... skipping.
    (40/90) Run 40: Case 8 [5]... <05:35>
     ... skipping.
    (41/90) Run 41: Case 9 [1]... <05:35>
     ... skipping.
    (42/90) Run 42: Case 9 [2]... <05:35>
     ... skipping.
    (43/90) Run 43: Case 9 [3]... <05:35>
     ... skipping.
    (44/90) Run 44: Case 9 [4]... <05:35>
     ... skipping.
    (45/90) Run 45: Case 9 [5]... <05:35>
     ... skipping.
    (46/90) Run 46: Case 10 [1]... <05:35>
     ... skipping.
    (47/90) Run 47: Case 10 [2]... <05:35>
     ... skipping.
    (48/90) Run 48: Case 10 [3]... <05:35>
     ... skipping.
    (49/90) Run 49: Case 10 [4]... <05:35>
     ... skipping.
    (50/90) Run 50: Case 10 [5]... <05:35>
     ... skipping.
    (51/90) Run 51: Case 11 [1]... <05:35>
     ... skipping.
    (52/90) Run 52: Case 11 [2]... <05:35>
     ... skipping.
    (53/90) Run 53: Case 11 [3]... <05:35>
     ... skipping.
    (54/90) Run 54: Case 11 [4]... <05:35>
     ... skipping.
    (55/90) Run 55: Case 11 [5]... <05:35>
     ... skipping.
    (56/90) Run 56: Case 12 [1]... <05:35>
     ... skipping.
    (57/90) Run 57: Case 12 [2]... <05:35>
     ... skipping.
    (58/90) Run 58: Case 12 [3]... <05:35>
     ... skipping.
    (59/90) Run 59: Case 12 [4]... <05:35>
     ... skipping.
    (60/90) Run 60: Case 12 [5]... <05:35>
     ... skipping.
    (61/90) Run 61: Case 13 [1]... <05:35>
     ... skipping.
    (62/90) Run 62: Case 13 [2]... <05:35>
     ... skipping.
    (63/90) Run 63: Case 13 [3]... <05:35>
     ... skipping.
    (64/90) Run 64: Case 13 [4]... <05:35>
     ... skipping.
    (65/90) Run 65: Case 13 [5]... <05:35>
     ... skipping.
    (66/90) Run 66: Case 14 [1]... <05:35>
     ... skipping.
    (67/90) Run 67: Case 14 [2]... <05:35>
     ... skipping.
    (68/90) Run 68: Case 14 [3]... <05:35>
     ... skipping.
    (69/90) Run 69: Case 14 [4]... <05:35>
     ... skipping.
    (70/90) Run 70: Case 14 [5]... <05:35>
     ... skipping.
    (71/90) Run 71: Case 15 [1]... <05:35>
     ... skipping.
    (72/90) Run 72: Case 15 [2]... <05:35>
     ... skipping.
    (73/90) Run 73: Case 15 [3]... <05:35>
     ... skipping.
    (74/90) Run 74: Case 15 [4]... <05:35>
     ... skipping.
    (75/90) Run 75: Case 15 [5]... <05:35>
     ... skipping.
    (76/90) Run 76: Case 16 [1]... <05:35>
     ... skipping.
    (77/90) Run 77: Case 16 [2]... <05:35>
     ... skipping.
    (78/90) Run 78: Case 16 [3]... <05:35>
     ... skipping.
    (79/90) Run 79: Case 16 [4]... <05:35>
     ... skipping.
    (80/90) Run 80: Case 16 [5]... <05:35>
     ... skipping.
    (81/90) Run 81: Case 17 [1]... <05:35>
     ... skipping.
    (82/90) Run 82: Case 17 [2]... <05:35>
     ... skipping.
    (83/90) Run 83: Case 17 [3]... <05:35>
     ... skipping.
    (84/90) Run 84: Case 17 [4]... <05:35>
     ... skipping.
    (85/90) Run 85: Case 17 [5]... <05:35>
     ... skipping.
    (86/90) Run 86: Case 18 [1]... <05:35>
     ... skipping.
    (87/90) Run 87: Case 18 [2]... <05:35>
     ... skipping.
    (88/90) Run 88: Case 18 [3]... <05:35>
     ... skipping.
    (89/90) Run 89: Case 18 [4]... <05:35>
     ... skipping.
    (90/90) Run 90: Case 18 [5]... <05:35>
     ... skipping.
    ... done. (benchmark 'bm-05') <05:35>
    --- 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 2019.04.16:0535' -> 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:19' 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-release-osx-x86_64

Version: 0.4
Check: re-building of vignette outputs
Result: NOTE
    Error in re-building vignettes:
     ...
    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 buildVignettes(dir = "/Volumes/SSD-Data/Builds/R-dev-web/QA/Simon/packages/el-capitan-x86_64/results/3.5/lmSubsets.Rcheck/vign_test/lmSubsets") :
     running 'make' failed
    Execution halted
Flavor: r-oldrel-osx-x86_64