ALG001-1 fail time 300 ??K ?? - ALG001-2 fail time 300 ??K ?? - ALG001-3 fail time 300 ??K ?? - ALG002-1 PROOF --- 1 223K 1851 10 ALG003-1 fail time 300 ??K ?? - ALG004-1 fail time 301 ??K ?? - ALG005-1 PROOF --- 1 894K 2046 33 ALG006-1 PROOF --- 1 606K 1649 17 ALG007-1 PROOF --- 5 4087K 21580 35 ALG008-1 MODEL --- 6 - - 3 ANA001-1 fail time 300 ??K ?? - ANA002-1 fail time 301 ??K ?? - ANA002-2 fail time 301 ??K ?? - ANA002-3 fail time 301 ??K ?? - ANA002-4 fail time 301 ??K ?? - ANA003-1 fail time 300 ??K ?? - ANA003-2 fail time 300 ??K ?? - ANA003-3 fail time 300 ??K ?? - ANA003-4 fail time 300 ??K ?? - ANA004-1 fail time 300 ??K ?? - ANA004-2 fail time 301 ??K ?? - ANA004-3 fail time 300 ??K ?? - ANA004-4 fail time 300 ??K ?? - ANA004-5 fail time 300 ??K ?? - ANA005-1 fail time 300 ??K ?? - ANA005-2 fail time 300 ??K ?? - ANA005-3 fail time 300 ??K ?? - ANA005-4 fail time 300 ??K ?? - ANA005-5 fail time 300 ??K ?? - BOO001-1 PROOF --- 1 415K 379 8 BOO002-1 PROOF --- 3 4183K 6879 19 BOO002-2 PROOF --- 3 4119K 7859 22 BOO003-1 PROOF --- 1 574K 16662 5 BOO003-2 PROOF --- 1 127K 78 2 BOO003-4 PROOF --- 1 127K 79 4 BOO004-1 PROOF --- 1 287K 2508 6 BOO004-2 PROOF --- 1 415K 872 10 BOO004-4 PROOF --- 1 191K 222 13 BOO005-1 PROOF --- 1 542K 9481 9 BOO005-2 PROOF --- 1 926K 1960 11 BOO005-4 PROOF --- 1 191K 248 15 BOO006-1 PROOF --- 1 606K 24820 9 BOO006-2 PROOF --- 1 191K 159 3 BOO006-4 PROOF --- 1 191K 169 3 BOO007-1 PROOF --- 32 4502K 195385 45 BOO007-2 PROOF --- 22 4342K 81954 46 BOO007-4 PROOF --- 1 1213K 6311 38 BOO008-1 PROOF --- 30 4438K 181499 49 BOO008-2 PROOF --- 28 4342K 138509 26 BOO008-3 MODEL --- 5 - - 2 BOO008-4 PROOF --- 4 4119K 43180 42 BOO009-1 PROOF --- 1 606K 24787 12 BOO009-2 PROOF --- 1 447K 957 13 BOO009-4 PROOF --- 1 191K 162 14 BOO010-1 PROOF --- 1 542K 10444 7 BOO010-2 PROOF --- 1 447K 921 11 BOO010-4 PROOF --- 1 191K 160 12 BOO011-1 PROOF --- 1 127K 261 1 BOO011-2 PROOF --- 1 95K 19 1 BOO011-4 PROOF --- 1 95K 16 2 BOO012-1 PROOF --- 3 1117K 74539 8 BOO012-2 PROOF --- 1 191K 154 4 BOO012-3 PROOF --- 32 4119K 307501 8 BOO012-4 PROOF --- 1 191K 164 7 BOO013-1 PROOF --- 1 958K 21409 8 BOO013-2 PROOF --- 1 383K 333 8 BOO013-3 PROOF --- 1 989K 22380 8 BOO013-4 PROOF --- 1 223K 328 10 BOO014-1 PROOF --- 38 4119K 336916 40 BOO014-2 PROOF --- 3 4151K 28510 60 BOO014-3 PROOF --- 39 4151K 225025 33 BOO014-4 PROOF --- 2 3480K 23299 45 BOO015-1 PROOF --- 42 4279K 381832 41 BOO015-2 PROOF --- 1 1628K 3886 60 BOO015-4 PROOF --- 1 1820K 8949 42 BOO016-1 PROOF --- 1 670K 11308 8 BOO016-2 PROOF --- 1 510K 1100 12 BOO017-1 PROOF --- 2 1213K 31601 13 BOO017-2 PROOF --- 1 926K 1841 14 BOO018-4 PROOF --- 1 95K 50 2 BOO019-1 MODEL --- 6 - - 3 BOO020-1 fail time 300 ??K ?? - BOO021-1 PROOF --- 1 127K 22 2 BOO022-1 PROOF --- 27 4342K 205398 72 BOO023-1 fail sos-empty 11 4406K 5952 - BOO024-1 PROOF --- 1 3640K 3369 94 BOO025-1 PROOF --- 2 4374K 3637 127 BOO026-1 PROOF --- 2 4598K 5261 205 BOO027-1 MODEL --- 6 - - 2 BOO028-1 PROOF --- 4 4055K 50173 82 BOO029-1 PROOF --- 1 2171K 8399 86 BOO030-1 MODEL --- 6 - - 2 BOO031-1 PROOF --- 5 4374K 53773 47 BOO032-1 MODEL --- 6 - - 5 BOO033-1 MODEL --- 6 - - 2 BOO034-1 PROOF --- 71 4790K 596789 29 BOO035-1 fail sos-empty 31 4598K 167797 - CAT001-1 PROOF --- 1 638K 2801 10 CAT001-2 fail time 301 ??K ?? - CAT001-3 PROOF --- 1 415K 867 4 CAT001-4 PROOF --- 43 3225K 8229 4 CAT002-1 PROOF --- 1 989K 3637 11 CAT002-2 fail time 300 ??K ?? - CAT002-3 PROOF --- 52 4055K 14220 5 CAT002-4 PROOF --- 2 1149K 2481 5 CAT003-1 PROOF --- 1 606K 2642 9 CAT003-2 fail time 301 ??K ?? - CAT003-3 fail time 301 ??K ?? - CAT003-4 PROOF --- 50 4023K 10745 8 CAT004-1 PROOF --- 1 989K 3661 11 CAT004-2 fail time 300 ??K ?? - CAT004-3 fail time 301 ??K ?? - CAT004-4 PROOF --- 88 4566K 131621 8 CAT005-1 PROOF --- 1 287K 1409 5 CAT005-3 PROOF --- 1 159K 158 4 CAT005-4 PROOF --- 1 223K 346 6 CAT006-1 PROOF --- 1 287K 1396 5 CAT006-3 PROOF --- 1 127K 106 7 CAT006-4 PROOF --- 1 159K 170 7 CAT007-1 PROOF --- 1 95K 58 2 CAT007-3 PROOF --- 1 95K 9 1 CAT008-1 PROOF --- 1 287K 1632 5 CAT009-1 PROOF --- 1 351K 2255 6 CAT009-3 fail time 301 ??K ?? - CAT009-4 PROOF --- 57 4183K 60225 9 CAT010-1 PROOF --- 1 351K 2351 6 CAT010-4 PROOF --- 72 4215K 177455 10 CAT011-1 PROOF --- 1 191K 557 2 CAT011-2 PROOF --- 1 95K 4 1 CAT011-3 PROOF --- 29 3033K 9151 8 CAT011-4 PROOF --- 1 606K 1531 5 CAT012-1 PROOF --- 1 223K 1413 2 CAT012-3 PROOF --- 1 958K 2738 6 CAT012-4 PROOF --- 1 542K 1209 3 CAT013-1 PROOF --- 1 159K 364 2 CAT013-3 PROOF --- 36 3448K 10913 3 CAT013-4 PROOF --- 1 638K 1597 3 CAT014-1 PROOF --- 1 223K 1195 2 CAT014-2 PROOF --- 1 95K 16 1 CAT014-3 PROOF --- 36 3448K 10915 11 CAT014-4 PROOF --- 1 638K 1598 11 CAT015-3 fail sos-empty 6 95K 1 - CAT015-4 fail sos-empty 6 95K 0 - CAT016-3 PROOF --- 1 127K 72 2 CAT016-4 PROOF --- 1 95K 29 2 CAT017-3 PROOF --- 1 95K 29 2 CAT017-4 PROOF --- 1 159K 140 3 CAT018-1 PROOF --- 1 383K 1788 6 CAT018-3 fail time 301 ??K ?? - CAT018-4 fail time 300 ??K ?? - CAT019-1 PROOF --- 1 95K 1 1 CAT019-2 PROOF --- 1 95K 1 1 CAT019-3 PROOF --- 2 1149K 3139 15 CAT019-4 MODEL --- 6 - - 2 CAT019-5 MODEL --- 6 - - 3 CID001-1 PROOF --- 1 95K 45 9 CID002-1 fail sos-empty 80 6354K 923811 - CID003-1 fail time 300 ??K ?? - CID003-2 PROOF --- 27 4342K 209640 17 CIV001-1 PROOF --- 1 830K 2269 97 CIV002-1 fail time 300 ??K ?? - CIV003-1 fail time 301 ??K ?? - CIV004-1 fail time 300 ??K ?? - CIV005-1 PROOF --- 1 127K 99 22 CIV005-2 PROOF --- 1 127K 46 21 CIV006-1 PROOF --- 1 191K 288 68 CIV006-2 PROOF --- 1 159K 139 67 CIV007-1 PROOF --- 1 191K 302 60 CIV007-2 PROOF --- 1 191K 184 60 CIV008-1.001 PROOF --- 1 191K 193 37 CIV008-1.002 PROOF --- 1 223K 279 37 CIV008-2.001 PROOF --- 1 159K 100 36 CIV008-2.002 PROOF --- 1 191K 157 36 COL001-1 PROOF --- 1 926K 523 6 COL001-2 PROOF --- 1 287K 115 5 COL002-1 PROOF --- 1 510K 404 10 COL002-2 PROOF --- 1 2746K 2671 5 COL002-3 fail time 301 ??K ?? - COL002-4 PROOF --- 1 191K 90 3 COL002-5 PROOF --- 1 1181K 1029 9 COL003-10 fail memory 29 11975K 80076 - COL003-12 PROOF --- 1 3289K 1391 10 COL003-13 PROOF --- 1 3321K 1418 10 COL003-14 PROOF --- 1 3321K 1416 10 COL003-15 PROOF --- 1 3289K 1397 10 COL003-16 PROOF --- 1 3321K 1420 10 COL003-17 PROOF --- 5 4151K 24040 16 COL003-18 PROOF --- 5 4183K 24384 16 COL003-19 PROOF --- 5 4151K 24036 16 COL003-1 fail memory 29 11975K 79099 - COL003-20 PROOF --- 5 4183K 24364 16 COL003-2 fail memory 34 11975K 80716 - COL003-3 fail memory 34 11975K 80296 - COL003-4 fail memory 34 11975K 80000 - COL003-5 fail memory 34 11975K 81743 - COL003-6 fail memory 34 11975K 80704 - COL003-7 fail memory 29 11975K 79764 - COL003-8 fail memory 30 11975K 80073 - COL003-9 fail memory 29 11975K 79755 - COL004-1 fail time 301 ??K ?? - COL004-3 PROOF --- 1 127K 30 6 COL005-1 MODEL --- 6 - - 3 COL006-1 fail time 301 ??K ?? - COL006-2 fail time 301 ??K ?? - COL006-3 fail time 300 ??K ?? - COL006-4 fail time 300 ??K ?? - COL006-5 fail time 300 ??K ?? - COL006-6 fail time 300 ??K ?? - COL006-7 fail time 300 ??K ?? - COL007-1 PROOF --- 1 63K 0 2 COL008-1 PROOF --- 1 95K 12 4 COL009-1 PROOF --- 1 542K 569 5 COL010-1 PROOF --- 1 95K 13 3 COL011-1 PROOF --- 1 1947K 1528 9 COL012-1 PROOF --- 1 63K 0 2 COL013-1 PROOF --- 1 63K 0 2 COL014-1 PROOF --- 1 63K 0 2 COL015-1 PROOF --- 1 95K 12 4 COL016-1 PROOF --- 1 63K 0 2 COL017-1 PROOF --- 1 95K 17 4 COL018-1 PROOF --- 1 63K 0 2 COL019-1 PROOF --- 1 159K 83 6 COL020-1 PROOF --- 1 191K 68 4 COL021-1 PROOF --- 1 95K 12 4 COL022-1 PROOF --- 1 95K 17 4 COL023-1 PROOF --- 1 383K 199 4 COL024-1 PROOF --- 1 95K 12 4 COL025-1 PROOF --- 1 95K 32 4 COL026-1 PROOF --- 1 542K 454 4 COL027-1 PROOF --- 1 606K 413 4 COL029-1 PROOF --- 1 63K 0 2 COL030-1 PROOF --- 1 127K 30 4 COL031-1 PROOF --- 1 95K 18 4 COL032-1 PROOF --- 1 95K 14 5 COL033-1 PROOF --- 1 127K 42 6 COL034-1 PROOF --- 1 766K 1017 8 COL035-1 PROOF --- 1 2650K 2417 10 COL036-1 fail time 301 ??K ?? - COL037-1 fail time 301 ??K ?? - COL038-1 fail time 301 ??K ?? - COL039-1 PROOF --- 1 2490K 3462 7 COL041-1 PROOF --- 1 415K 522 8 COL042-1 fail time 301 ??K ?? - COL042-2 fail time 300 ??K ?? - COL042-3 fail time 300 ??K ?? - COL042-4 fail time 300 ??K ?? - COL042-5 fail time 301 ??K ?? - COL042-6 PROOF --- 3 4087K 7719 12 COL042-7 PROOF --- 3 4119K 7824 12 COL042-8 PROOF --- 3 4087K 7715 12 COL042-9 PROOF --- 3 4087K 7810 12 COL043-1 fail time 301 ??K ?? - COL043-2 fail time 300 ??K ?? - COL043-3 fail time 300 ??K ?? - COL044-1 PROOF --- 1 3959K 2331 7 COL044-2 fail time 300 ??K ?? - COL044-3 fail time 300 ??K ?? - COL044-4 fail time 300 ??K ?? - COL044-5 fail time 300 ??K ?? - COL044-6 fail time 300 ??K ?? - COL044-7 fail time 300 ??K ?? - COL044-8 fail time 300 ??K ?? - COL044-9 fail time 300 ??K ?? - COL045-1 PROOF --- 1 95K 12 4 COL046-1 fail time 301 ??K ?? - COL047-1 MODEL --- 11 - - 4 COL048-1 PROOF --- 1 95K 17 4 COL049-1 PROOF --- 1 1149K 1779 9 COL050-1 PROOF --- 1 95K 10 3 COL051-1 PROOF --- 1 95K 12 4 COL052-1 PROOF --- 1 95K 13 6 COL052-2 PROOF --- 1 127K 97 8 COL053-1 PROOF --- 1 95K 3 1 COL054-1 PROOF --- 1 127K 51 4 COL055-1 PROOF --- 1 63K 1 0 COL056-1 PROOF --- 1 95K 10 2 COL057-1 PROOF --- 1 2203K 1774 11 COL058-1 PROOF --- 1 95K 18 4 COL058-2 PROOF --- 1 415K 228 7 COL058-3 PROOF --- 1 159K 37 7 COL059-1 PROOF --- 1 159K 75 28 COL060-1 fail time 301 ??K ?? - COL060-2 PROOF --- 1 95K 26 4 COL060-3 PROOF --- 1 95K 26 4 COL061-1 fail time 301 ??K ?? - COL061-2 PROOF --- 1 127K 46 6 COL061-3 PROOF --- 1 127K 46 6 COL062-1 fail time 301 ??K ?? - COL062-2 PROOF --- 1 95K 26 4 COL062-3 PROOF --- 1 95K 26 4 COL063-1 fail time 300 ??K ?? - COL063-2 PROOF --- 1 127K 77 5 COL063-3 PROOF --- 1 127K 77 5 COL063-4 PROOF --- 1 127K 77 5 COL063-5 PROOF --- 1 127K 77 5 COL063-6 PROOF --- 1 127K 77 5 COL064-10 PROOF --- 1 127K 77 5 COL064-11 PROOF --- 1 127K 77 5 COL064-1 fail time 301 ??K ?? - COL064-2 PROOF --- 1 127K 95 7 COL064-3 PROOF --- 1 159K 95 7 COL064-4 PROOF --- 1 159K 95 7 COL064-5 PROOF --- 1 159K 95 7 COL064-6 PROOF --- 1 159K 95 7 COL064-7 PROOF --- 1 127K 77 5 COL064-8 PROOF --- 1 127K 77 5 COL064-9 PROOF --- 1 127K 77 5 COL065-1 fail time 300 ??K ?? - COL066-1 fail time 300 ??K ?? - COL066-2 PROOF --- 1 159K 74 2 COL066-3 PROOF --- 1 159K 74 2 COL067-1 fail time 300 ??K ?? - COL068-1 fail time 300 ??K ?? - COL069-1 fail time 301 ??K ?? - COL070-1 PROOF --- 1 223K 108 4 COL071-1 fail time 301 ??K ?? - COL073-1 MODEL --- 12 - - 4 COL074-1 fail time 300 ??K ?? - COL074-2 fail time 300 ??K ?? - COL074-3 PROOF --- 42 4183K 32875 28 COL075-1 fail time 300 ??K ?? - COL075-2 PROOF --- 1 542K 299 5 COL076-1 fail time 300 ??K ?? - COL076-2 fail time 300 ??K ?? - COL077-1 fail time 300 ??K ?? - COL078-1 fail time 300 ??K ?? - COL078-2 fail time 300 ??K ?? - COL079-1 fail time 300 ??K ?? - COL079-2 fail time 300 ??K ?? - COL080-1 fail time 300 ??K ?? - COL080-2 fail time 301 ??K ?? - COL081-1 fail time 301 ??K ?? - COL081-2 PROOF --- 120 4438K 1242945 12 COM001-1 PROOF --- 1 95K 9 3 COM002-1 PROOF --- 1 95K 45 7 COM002-2 PROOF --- 1 95K 87 6 COM003-1 fail time 300 ??K ?? - COM003+1 fail time 300 ??K ?? - COM003-2 PROOF --- 1 127K 30 6 COM003+2 PROOF --- 1 223K 580 15 COM003+3 fail time 301 ??K ?? - COM004-1 PROOF --- 1 95K 7 4 FLD001-3 PROOF --- 1 3289K 11663 7 FLD002-3 PROOF --- 1 3289K 11429 7 FLD003-1 fail time 300 ??K ?? - FLD004-1 fail time 300 ??K ?? - FLD005-1 fail time 300 ??K ?? - FLD005-3 fail time 301 ??K ?? - FLD006-1 fail time 300 ??K ?? - FLD006-3 PROOF --- 1 255K 652 2 FLD007-1 fail time 300 ??K ?? - FLD007-3 PROOF --- 37 4470K 947971 6 FLD008-1 fail time 300 ??K ?? - FLD008-2 fail time 300 ??K ?? - FLD008-3 fail time 301 ??K ?? - FLD008-4 PROOF --- 24 4502K 508087 11 FLD009-1 fail time 300 ??K ?? - FLD009-3 fail time 301 ??K ?? - FLD010-1 fail time 300 ??K ?? - FLD010-3 PROOF --- 1 542K 1809 2 FLD010-5 PROOF --- 1 4087K 20104 10 FLD011-1 fail time 300 ??K ?? - FLD011-3 fail time 301 ??K ?? - FLD012-1 fail time 300 ??K ?? - FLD012-2 fail time 300 ??K ?? - FLD012-3 fail time 300 ??K ?? - FLD012-4 fail time 301 ??K ?? - FLD013-1 fail time 300 ??K ?? - FLD013-2 fail time 300 ??K ?? - FLD013-3 fail time 301 ??K ?? - FLD013-4 PROOF --- 3 4662K 76490 6 FLD013-5 PROOF --- 4 5045K 125602 8 FLD014-1 fail time 300 ??K ?? - FLD014-3 PROOF --- 105 4311K 4125069 13 FLD015-1 fail time 300 ??K ?? - FLD015-3 PROOF --- 4 4119K 110723 8 FLD016-1 fail time 300 ??K ?? - FLD016-3 PROOF --- 24 4502K 507942 4 FLD016-5 PROOF --- 31 4821K 873646 6 FLD017-1 fail time 300 ??K ?? - FLD017-3 PROOF --- 1 4183K 21333 2 FLD018-1 fail time 300 ??K ?? - FLD018-3 PROOF --- 2 4215K 44156 6 FLD019-1 fail time 300 ??K ?? - FLD019-3 PROOF --- 1 1468K 5189 3 FLD020-1 fail time 300 ??K ?? - FLD020-3 PROOF --- 1 3576K 12518 4 FLD021-1 fail time 300 ??K ?? - FLD021-3 PROOF --- 1 2746K 9496 4 FLD022-1 fail time 300 ??K ?? - FLD022-3 PROOF --- 24 4502K 508056 6 FLD023-1 fail time 300 ??K ?? - FLD023-3 PROOF --- 4 4183K 113162 6 FLD024-1 fail time 300 ??K ?? - FLD024-3 PROOF --- 1 3289K 11508 4 FLD025-1 fail time 300 ??K ?? - FLD025-2 fail time 300 ??K ?? - FLD025-3 fail time 301 ??K ?? - FLD025-4 PROOF --- 3 4630K 76310 6 FLD025-5 PROOF --- 4 5013K 123645 8 FLD026-1 fail time 300 ??K ?? - FLD026-3 fail time 300 ??K ?? - FLD027-1 fail time 300 ??K ?? - FLD027-3 PROOF --- 5 4087K 176053 8 FLD028-1 fail time 300 ??K ?? - FLD028-3 PROOF --- 25 4534K 593939 4 FLD029-1 fail time 300 ??K ?? - FLD029-3 fail time 301 ??K ?? - FLD030-1 PROOF --- 1 1884K 5476 2 FLD030-2 fail time 300 ??K ?? - FLD030-3 PROOF --- 3 4279K 60722 4 FLD030-4 PROOF --- 1 4183K 21283 2 FLD031-1 fail time 300 ??K ?? - FLD031-3 PROOF --- 2 4183K 56688 6 FLD031-5 PROOF --- 3 4183K 79997 10 FLD032-1 fail time 300 ??K ?? - FLD032-3 PROOF --- 1 1468K 5186 3 FLD033-1 fail time 300 ??K ?? - FLD033-3 PROOF --- 1 3576K 12511 4 FLD034-1 fail time 300 ??K ?? - FLD034-3 PROOF --- 1 2746K 9428 4 FLD035-1 fail time 300 ??K ?? - FLD035-3 PROOF --- 26 4534K 597659 6 FLD036-1 fail time 300 ??K ?? - FLD036-3 PROOF --- 26 4534K 597659 6 FLD037-1 fail time 300 ??K ?? - FLD037-3 PROOF --- 5 4151K 144944 4 FLD038-1 fail time 300 ??K ?? - FLD038-3 PROOF --- 1 3576K 12458 4 FLD039-1 PROOF --- 1 191K 374 1 FLD039-3 PROOF --- 1 479K 1554 3 FLD040-1 fail time 300 ??K ?? - FLD040-3 PROOF --- 2 4247K 40733 13 FLD040-5 PROOF --- 3 4279K 55039 11 FLD041-1 fail time 300 ??K ?? - FLD041-2 fail time 300 ??K ?? - FLD041-3 PROOF --- 5 4087K 176863 13 FLD041-4 PROOF --- 24 4470K 381134 22 FLD042-1 fail time 300 ??K ?? - FLD042-3 PROOF --- 5 4087K 176863 13 FLD043-1 fail time 300 ??K ?? - FLD043-3 PROOF --- 1 3576K 12635 8 FLD043-5 PROOF --- 38 4502K 967850 38 FLD044-1 fail time 300 ??K ?? - FLD044-2 fail time 300 ??K ?? - FLD044-3 fail time 301 ??K ?? - FLD044-4 fail time 301 ??K ?? - FLD045-1 fail time 300 ??K ?? - FLD045-2 fail time 300 ??K ?? - FLD045-3 fail time 301 ??K ?? - FLD045-4 fail time 301 ??K ?? - FLD046-1 fail time 300 ??K ?? - FLD046-3 fail time 301 ??K ?? - FLD047-1 fail time 300 ??K ?? - FLD047-2 fail time 300 ??K ?? - FLD047-3 fail time 300 ??K ?? - FLD047-4 fail time 301 ??K ?? - FLD048-1 fail time 300 ??K ?? - FLD048-2 fail time 301 ??K ?? - FLD048-3 fail time 301 ??K ?? - FLD048-4 fail time 301 ??K ?? - FLD049-1 fail time 300 ??K ?? - FLD049-2 fail time 300 ??K ?? - FLD049-3 fail time 301 ??K ?? - FLD049-4 PROOF --- 4 5013K 129255 10 FLD050-1 fail time 300 ??K ?? - FLD050-2 fail time 300 ??K ?? - FLD050-3 fail time 300 ??K ?? - FLD050-4 PROOF --- 52 5237K 1938787 10 FLD051-1 fail time 300 ??K ?? - FLD051-2 fail time 300 ??K ?? - FLD051-3 fail time 300 ??K ?? - FLD051-4 fail time 301 ??K ?? - FLD052-1 fail time 300 ??K ?? - FLD052-2 fail time 300 ??K ?? - FLD052-3 fail time 300 ??K ?? - FLD052-4 fail time 301 ??K ?? - FLD053-1 fail time 300 ??K ?? - FLD053-2 fail time 300 ??K ?? - FLD053-3 fail time 300 ??K ?? - FLD053-4 fail time 301 ??K ?? - FLD054-1 fail time 300 ??K ?? - FLD054-2 fail time 300 ??K ?? - FLD054-3 fail time 300 ??K ?? - FLD054-4 fail time 301 ??K ?? - FLD055-1 PROOF --- 1 3225K 8689 5 FLD055-3 PROOF --- 1 3001K 10352 5 FLD056-1 PROOF --- 1 159K 191 2 FLD056-3 PROOF --- 1 127K 93 2 FLD057-1 fail time 300 ??K ?? - FLD057-3 fail time 300 ??K ?? - FLD058-1 PROOF --- 1 1947K 5567 6 FLD058-3 PROOF --- 1 2874K 9887 6 FLD059-1 fail time 300 ??K ?? - FLD059-2 fail time 300 ??K ?? - FLD059-3 PROOF --- 2 4247K 41330 5 FLD059-4 PROOF --- 1 1181K 4078 3 FLD060-1 fail time 300 ??K ?? - FLD060-2 fail time 300 ??K ?? - FLD060-3 fail time 301 ??K ?? - FLD060-4 fail time 301 ??K ?? - FLD061-1 fail time 300 ??K ?? - FLD061-2 fail time 300 ??K ?? - FLD061-3 fail time 300 ??K ?? - FLD061-4 fail time 301 ??K ?? - FLD062-1 fail time 300 ??K ?? - FLD062-3 fail time 300 ??K ?? - FLD063-1 fail time 300 ??K ?? - FLD063-3 fail time 301 ??K ?? - FLD064-1 fail time 300 ??K ?? - FLD064-3 PROOF --- 3 4119K 65353 17 FLD065-1 fail time 301 ??K ?? - FLD065-3 PROOF --- 1 1277K 4571 3 FLD066-1 fail time 301 ??K ?? - FLD066-3 PROOF --- 32 4853K 916412 15 FLD067-1 fail time 300 ??K ?? - FLD067-2 fail time 301 ??K ?? - FLD067-3 PROOF --- 32 4183K 874103 5 FLD067-4 PROOF --- 2 4247K 24829 16 FLD068-1 fail time 300 ??K ?? - FLD068-2 fail time 300 ??K ?? - FLD068-3 fail time 301 ??K ?? - FLD068-4 PROOF --- 2 4247K 23750 6 FLD069-1 fail time 301 ??K ?? - FLD069-3 PROOF --- 1 2874K 9851 3 FLD070-1 fail time 301 ??K ?? - FLD070-2 fail time 300 ??K ?? - FLD070-3 PROOF --- 4 4119K 115539 4 FLD070-4 PROOF --- 1 3001K 10299 3 FLD071-1 PROOF --- 1 255K 648 1 FLD071-2 fail time 300 ??K ?? - FLD071-3 PROOF --- 2 4119K 57946 2 FLD071-4 PROOF --- 1 191K 329 1 FLD072-1 fail time 300 ??K ?? - FLD072-2 fail time 300 ??K ?? - FLD072-3 fail time 301 ??K ?? - FLD072-4 fail time 301 ??K ?? - FLD073-1 fail time 300 ??K ?? - FLD073-2 fail time 300 ??K ?? - FLD073-3 fail time 301 ??K ?? - FLD073-4 fail time 301 ??K ?? - FLD074-1 fail time 300 ??K ?? - FLD074-2 fail time 300 ??K ?? - FLD074-3 fail time 301 ??K ?? - FLD074-4 fail time 301 ??K ?? - FLD075-1 fail time 300 ??K ?? - FLD075-2 fail time 300 ??K ?? - FLD075-3 fail time 301 ??K ?? - FLD075-4 fail time 301 ??K ?? - FLD076-1 fail time 300 ??K ?? - FLD076-2 fail time 300 ??K ?? - FLD076-3 fail time 300 ??K ?? - FLD076-4 fail time 301 ??K ?? - FLD077-1 fail time 300 ??K ?? - FLD077-2 fail time 300 ??K ?? - FLD077-3 fail time 301 ??K ?? - FLD077-4 fail time 300 ??K ?? - FLD078-1 fail time 300 ??K ?? - FLD078-2 fail time 300 ??K ?? - FLD078-3 fail time 301 ??K ?? - FLD078-4 fail time 301 ??K ?? - FLD079-1 fail time 301 ??K ?? - FLD079-2 fail time 300 ??K ?? - FLD079-3 fail time 301 ??K ?? - FLD079-4 fail time 300 ??K ?? - FLD080-1 fail time 300 ??K ?? - FLD080-2 fail time 300 ??K ?? - FLD080-3 fail time 301 ??K ?? - FLD080-4 fail time 301 ??K ?? - FLD081-1 fail time 300 ??K ?? - FLD081-2 fail time 300 ??K ?? - FLD081-3 fail time 301 ??K ?? - FLD081-4 fail time 301 ??K ?? - FLD082-1 fail time 300 ??K ?? - FLD082-3 fail time 300 ??K ?? - FLD083-1 fail time 300 ??K ?? - FLD083-3 fail time 301 ??K ?? - FLD084-1 fail time 300 ??K ?? - FLD084-3 fail time 301 ??K ?? - FLD085-1 fail time 300 ??K ?? - FLD085-3 fail time 300 ??K ?? - FLD086-1 fail time 300 ??K ?? - FLD086-3 fail time 301 ??K ?? - FLD087-1 fail time 300 ??K ?? - FLD087-3 fail time 301 ??K ?? - FLD088-1 fail time 300 ??K ?? - FLD088-3 fail time 301 ??K ?? - FLD089-1 fail time 300 ??K ?? - FLD089-3 fail time 301 ??K ?? - FLD090-1 fail time 300 ??K ?? - FLD090-3 fail time 301 ??K ?? - FLD091-1 fail time 300 ??K ?? - FLD091-3 fail time 301 ??K ?? - FLD092-1 fail time 300 ??K ?? - FLD092-3 fail time 301 ??K ?? - FLD093-1 fail time 300 ??K ?? - FLD093-3 fail time 300 ??K ?? - FLD094-1 fail time 300 ??K ?? - FLD094-3 fail time 301 ??K ?? - FLD095-1 fail time 300 ??K ?? - FLD095-2 fail time 300 ??K ?? - FLD095-3 fail time 300 ??K ?? - FLD095-4 fail time 300 ??K ?? - FLD096-1 fail time 300 ??K ?? - FLD096-2 fail time 300 ??K ?? - FLD096-3 fail time 300 ??K ?? - FLD096-4 fail time 300 ??K ?? - FLD097-1 fail time 300 ??K ?? - FLD097-2 fail time 300 ??K ?? - FLD097-3 fail time 301 ??K ?? - FLD097-4 fail time 301 ??K ?? - FLD098-1 fail time 301 ??K ?? - FLD098-2 fail time 300 ??K ?? - FLD098-3 fail time 301 ??K ?? - FLD098-4 fail time 301 ??K ?? - FLD099-1 fail time 300 ??K ?? - FLD099-2 fail time 300 ??K ?? - FLD099-3 fail time 300 ??K ?? - FLD099-4 fail time 301 ??K ?? - FLD100-1 fail time 300 ??K ?? - FLD100-2 fail time 300 ??K ?? - FLD100-3 fail time 300 ??K ?? - FLD100-4 fail time 301 ??K ?? - GEO001-1 fail time 300 ??K ?? - GEO001-2 PROOF --- 279 4311K 31263 5 GEO001-3 PROOF --- 100 4215K 23252 10 GEO001-4 fail memory 105 11975K 208798 - GEO002-1 PROOF --- 81 4279K 21592 7 GEO002-2 PROOF --- 112 4247K 20511 6 GEO002-3 PROOF --- 1 191K 57 1 GEO002-4 PROOF --- 1 479K 259 8 GEO003-1 PROOF --- 1 255K 577 2 GEO003-2 PROOF --- 1 351K 565 2 GEO003-3 PROOF --- 1 223K 332 2 GEO004-1 PROOF --- 122 4406K 68908 18 GEO004-2 fail time 300 ??K ?? - GEO005-1 PROOF --- 123 4406K 68772 18 GEO005-2 fail time 300 ??K ?? - GEO006-1 fail time 300 ??K ?? - GEO006-2 fail time 300 ??K ?? - GEO006-3 PROOF --- 1 670K 3463 4 GEO007-1 fail time 300 ??K ?? - GEO007-2 fail time 300 ??K ?? - GEO007-3 PROOF --- 27 2490K 12780 6 GEO008-1 fail time 300 ??K ?? - GEO008-2 fail time 300 ??K ?? - GEO008-3 fail time 300 ??K ?? - GEO009-1 fail time 300 ??K ?? - GEO009-2 fail time 300 ??K ?? - GEO009-3 fail time 300 ??K ?? - GEO010-1 fail time 300 ??K ?? - GEO010-2 fail time 300 ??K ?? - GEO010-3 fail time 300 ??K ?? - GEO011-1 fail time 300 ??K ?? - GEO011-2 PROOF --- 1 127K 55 0 GEO011-3 PROOF --- 1 319K 391 0 GEO011-4 PROOF --- 1 159K 55 0 GEO011-5 PROOF --- 1 127K 34 0 GEO012-1 fail time 300 ??K ?? - GEO012-2 fail time 300 ??K ?? - GEO012-3 fail time 300 ??K ?? - GEO013-1 fail time 300 ??K ?? - GEO013-2 fail time 300 ??K ?? - GEO013-3 PROOF --- 14 1916K 5642 6 GEO014-2 PROOF --- 1 127K 55 2 GEO015-2 PROOF --- 1 223K 284 3 GEO015-3 PROOF --- 1 159K 87 1 GEO016-2 PROOF --- 1 159K 63 1 GEO016-3 PROOF --- 1 159K 88 1 GEO017-2 PROOF --- 1 383K 837 4 GEO017-3 PROOF --- 1 319K 639 2 GEO018-2 PROOF --- 1 319K 630 2 GEO018-3 PROOF --- 1 383K 848 2 GEO019-2 PROOF --- 1 159K 65 1 GEO019-3 PROOF --- 1 159K 94 1 GEO020-2 PROOF --- 1 383K 833 4 GEO020-3 PROOF --- 1 319K 632 2 GEO021-2 PROOF --- 1 319K 627 2 GEO021-3 PROOF --- 1 383K 839 2 GEO022-2 PROOF --- 1 638K 1776 4 GEO022-3 PROOF --- 1 638K 1834 2 GEO024-2 PROOF --- 1 351K 564 2 GEO024-3 PROOF --- 1 319K 538 5 GEO025-2 fail time 300 ??K ?? - GEO025-3 PROOF --- 292 4119K 66043 20 GEO026-2 PROOF --- 1 574K 1824 6 GEO026-3 PROOF --- 2 830K 3690 4 GEO027-2 PROOF --- 195 4406K 20225 8 GEO027-3 PROOF --- 1 351K 1096 2 GEO028-2 fail time 300 ??K ?? - GEO028-3 fail time 300 ??K ?? - GEO029-2 fail time 300 ??K ?? - GEO029-3 fail time 300 ??K ?? - GEO030-2 PROOF --- 15 1564K 5839 8 GEO030-3 PROOF --- 13 1788K 10157 6 GEO031-2 fail time 300 ??K ?? - GEO031-3 fail time 300 ??K ?? - GEO032-2 fail time 300 ??K ?? - GEO032-3 PROOF --- 1 862K 4861 2 GEO033-2 fail time 300 ??K ?? - GEO033-3 PROOF --- 4 1628K 8452 2 GEO034-2 fail time 300 ??K ?? - GEO034-3 PROOF --- 13 1596K 14469 7 GEO035-2 PROOF --- 1 191K 259 2 GEO035-3 PROOF --- 1 191K 268 2 GEO036-2 PROOF --- 44 3512K 9011 17 GEO036-3 PROOF --- 12 1373K 5939 25 GEO037-2 fail time 300 ??K ?? - GEO037-3 fail time 300 ??K ?? - GEO038-2 PROOF --- 1 319K 575 2 GEO038-3 PROOF --- 1 255K 364 2 GEO039-2 PROOF --- 2 702K 2294 7 GEO039-3 PROOF --- 1 223K 132 5 GEO040-2 PROOF --- 228 4502K 22952 8 GEO040-3 PROOF --- 113 4119K 34569 8 GEO041-2 fail time 300 ??K ?? - GEO041-3 PROOF --- 1 351K 660 4 GEO042-2 fail time 300 ??K ?? - GEO042-3 PROOF --- 118 4119K 35623 7 GEO043-2 fail time 300 ??K ?? - GEO043-3 PROOF --- 161 4119K 49682 8 GEO044-2 fail time 300 ??K ?? - GEO044-3 PROOF --- 59 4055K 16677 9 GEO045-2 fail time 300 ??K ?? - GEO045-3 PROOF --- 1 638K 1475 5 GEO046-2 fail time 300 ??K ?? - GEO046-3 PROOF --- 1 574K 1236 6 GEO047-2 fail time 300 ??K ?? - GEO047-3 PROOF --- 1 479K 851 3 GEO048-2 fail time 300 ??K ?? - GEO048-3 fail time 300 ??K ?? - GEO049-2 fail time 300 ??K ?? - GEO049-3 fail time 300 ??K ?? - GEO050-2 fail time 300 ??K ?? - GEO050-3 fail time 300 ??K ?? - GEO051-2 fail time 300 ??K ?? - GEO051-3 PROOF --- 13 1724K 9973 4 GEO052-2 fail time 300 ??K ?? - GEO052-3 PROOF --- 13 1564K 9794 3 GEO053-2 fail time 300 ??K ?? - GEO053-3 PROOF --- 1 574K 5707 4 GEO054-2 PROOF --- 1 159K 51 1 GEO054-3 PROOF --- 1 159K 45 1 GEO055-2 PROOF --- 1 159K 51 1 GEO055-3 PROOF --- 1 159K 45 1 GEO056-2 PROOF --- 1 351K 783 5 GEO056-3 PROOF --- 1 159K 45 4 GEO057-2 PROOF --- 1 255K 479 3 GEO057-3 PROOF --- 1 159K 45 3 GEO058-2 PROOF --- 2 862K 2278 7 GEO058-3 PROOF --- 1 447K 1839 8 GEO059-2 fail time 300 ??K ?? - GEO059-3 fail time 300 ??K ?? - GEO060-2 fail time 300 ??K ?? - GEO061-2 fail time 300 ??K ?? - GEO061-3 fail time 300 ??K ?? - GEO062-2 fail time 300 ??K ?? - GEO062-3 PROOF --- 109 4215K 31022 8 GEO063-2 fail time 300 ??K ?? - GEO063-3 fail time 300 ??K ?? - GEO064-2 fail time 300 ??K ?? - GEO064-3 PROOF --- 1 415K 1005 2 GEO065-2 fail time 300 ??K ?? - GEO065-3 PROOF --- 1 415K 1004 2 GEO066-2 fail time 300 ??K ?? - GEO066-3 PROOF --- 1 415K 1003 2 GEO067-2 PROOF --- 1 415K 810 8 GEO067-3 PROOF --- 1 319K 602 5 GEO068-2 fail time 300 ??K ?? - GEO068-3 fail time 300 ??K ?? - GEO069-2 fail time 300 ??K ?? - GEO069-3 PROOF --- 14 2011K 7707 7 GEO070-2 fail time 300 ??K ?? - GEO070-3 fail time 300 ??K ?? - GEO071-2 fail time 300 ??K ?? - GEO071-3 fail time 300 ??K ?? - GEO072-2 fail time 300 ??K ?? - GEO072-3 fail time 300 ??K ?? - GEO073-1 fail time 300 ??K ?? - GEO073-2 fail time 300 ??K ?? - GEO073-3 fail time 301 ??K ?? - GEO074-2 fail time 300 ??K ?? - GEO075-2 fail time 300 ??K ?? - GEO076-4 fail time 300 ??K ?? - GEO077-4 PROOF --- 238 4183K 38960 13 GEO078-4 fail time 301 ??K ?? - GEO078-5 fail time 300 ??K ?? - GEO079-1 PROOF --- 1 95K 2 2 GRA001-1 PROOF --- 1 63K 22 18 GRP001-1 PROOF --- 1 95K 215 4 GRP001-2 PROOF --- 1 95K 81 5 GRP001-3 fail time 300 ??K ?? - GRP001-4 PROOF --- 1 95K 87 6 GRP001-5 PROOF --- 1 95K 124 4 GRP002-1 fail time 301 ??K ?? - GRP002-2 PROOF --- 1 287K 393 36 GRP002-3 PROOF --- 1 670K 938 35 GRP002-4 PROOF --- 1 862K 1176 45 GRP003-1 PROOF --- 1 95K 116 2 GRP003-2 PROOF --- 1 127K 303 2 GRP004-1 PROOF --- 1 95K 129 2 GRP004-2 PROOF --- 1 127K 335 2 GRP005-1 PROOF --- 1 95K 57 1 GRP006-1 PROOF --- 1 95K 62 2 GRP007-1 PROOF --- 1 95K 72 1 GRP008-1 PROOF --- 1 510K 7890 6 GRP009-1 PROOF --- 1 159K 506 8 GRP010-1 PROOF --- 1 95K 186 3 GRP010-4 PROOF --- 1 95K 45 4 GRP011-4 PROOF --- 1 95K 64 8 GRP012-1 PROOF --- 1 159K 417 3 GRP012-2 PROOF --- 1 223K 844 7 GRP012-3 PROOF --- 1 383K 3574 7 GRP012-4 PROOF --- 1 127K 104 4 GRP013-1 PROOF --- 1 191K 816 6 GRP014-1 fail sos-empty 6 5396K 6999 - GRP015-1 fail time 300 ??K ?? - GRP016-1 fail time 300 ??K ?? - GRP017-1 PROOF --- 1 95K 189 3 GRP018-1 PROOF --- 1 127K 241 1 GRP019-1 PROOF --- 1 127K 242 1 GRP020-1 PROOF --- 1 127K 240 1 GRP021-1 PROOF --- 1 127K 239 1 GRP022-1 PROOF --- 1 127K 392 3 GRP022-2 PROOF --- 1 95K 36 2 GRP023-1 PROOF --- 1 95K 66 1 GRP023-2 PROOF --- 1 95K 7 1 GRP024-4 fail time 300 ??K ?? - GRP024-5 fail time 300 ??K ?? - GRP025-1 PROOF --- 80 4151K 262819 49 GRP025-2 fail time 300 ??K ?? - GRP025-3 fail time 301 ??K ?? - GRP025-4 fail time 300 ??K ?? - GRP026-1 fail time 300 ??K ?? - GRP026-2 fail time 300 ??K ?? - GRP026-3 fail time 301 ??K ?? - GRP026-4 fail time 300 ??K ?? - GRP027-1 MODEL --- 6 - - 3 GRP027-2 fail time 300 ??K ?? - GRP028-1 PROOF --- 1 95K 6 1 GRP028-2 PROOF --- 1 95K 39 1 GRP028-3 PROOF --- 1 95K 31 1 GRP029-1 PROOF --- 1 127K 148 2 GRP029-2 PROOF --- 1 127K 378 4 GRP030-1 PROOF --- 1 95K 148 2 GRP031-1 PROOF --- 1 127K 163 2 GRP031-2 PROOF --- 1 415K 1536 3 GRP032-3 PROOF --- 1 95K 72 1 GRP033-3 PROOF --- 1 127K 311 3 GRP033-4 PROOF --- 1 95K 141 3 GRP034-3 PROOF --- 1 95K 128 2 GRP034-4 PROOF --- 1 127K 222 2 GRP035-3 PROOF --- 1 223K 800 10 GRP036-3 PROOF --- 1 95K 158 3 GRP037-3 PROOF --- 1 287K 744 5 GRP038-3 PROOF --- 1 159K 346 1 GRP039-1 fail time 301 ??K ?? - GRP039-2 fail time 301 ??K ?? - GRP039-3 fail time 301 ??K ?? - GRP039-4 fail time 301 ??K ?? - GRP039-5 fail time 300 ??K ?? - GRP039-6 fail time 301 ??K ?? - GRP039-7 fail time 301 ??K ?? - GRP040-3 PROOF --- 248 4438K 84557 28 GRP040-4 PROOF --- 203 4215K 45877 16 GRP041-2 PROOF --- 1 95K 7 1 GRP042-2 PROOF --- 1 95K 21 2 GRP043-2 PROOF --- 1 95K 80 3 GRP044-2 PROOF --- 1 95K 20 2 GRP045-2 PROOF --- 1 223K 1040 5 GRP046-2 PROOF --- 1 447K 4825 5 GRP047-2 PROOF --- 3 3640K 27545 6 GRP048-2 PROOF --- 5 4183K 78980 7 GRP049-1 fail sos-empty 15 5748K 22745 - GRP050-1 PROOF --- 3 4470K 3830 102 GRP051-1 fail sos-empty 164 5300K 1009251 - GRP052-1 fail sos-empty 50 4790K 15524 - GRP053-1 fail sos-empty 13 5971K 12660 - GRP054-1 fail time 300 ??K ?? - GRP055-1 fail sos-empty 27 4981K 50461 - GRP056-1 fail sos-empty 82 5460K 284992 - GRP057-1 fail sos-empty 6 5396K 6999 - GRP058-1 PROOF --- 1 2235K 1172 93 GRP059-1 PROOF --- 1 2043K 2414 74 GRP060-1 fail sos-empty 6 5141K 7969 - GRP061-1 fail sos-empty 12 7153K 20174 - GRP062-1 fail sos-empty 12 5620K 36265 - GRP063-1 fail sos-empty 7 4598K 25121 - GRP064-1 fail sos-empty 7 4662K 24359 - GRP065-1 fail sos-empty 27 5045K 361235 - GRP066-1 PROOF --- 1 2522K 9696 23 GRP067-1 PROOF --- 1 2522K 9655 23 GRP068-1 PROOF --- 4 4087K 25540 33 GRP069-1 PROOF --- 4 4087K 26762 31 GRP070-1 PROOF --- 2 4055K 19304 36 GRP071-1 fail time 300 ??K ?? - GRP072-1 fail sos-empty 106 7153K 1352466 - GRP073-1 fail time 300 ??K ?? - GRP074-1 fail sos-empty 58 5588K 684473 - GRP075-1 PROOF --- 15 4151K 73270 80 GRP076-1 PROOF --- 1 1181K 8948 41 GRP077-1 PROOF --- 30 4087K 150225 65 GRP078-1 PROOF --- 2 2171K 20113 57 GRP079-1 PROOF --- 22 4119K 81726 53 GRP080-1 PROOF --- 21 4087K 70994 54 GRP081-1 fail sos-empty 19 7057K 138805 - GRP082-1 fail sos-empty 38 4694K 486052 - GRP083-1 fail sos-empty 144 5460K 853518 - GRP084-1 fail time 300 ??K ?? - GRP085-1 PROOF --- 1 510K 1063 56 GRP086-1 PROOF --- 1 415K 1082 33 GRP087-1 PROOF --- 1 1373K 5263 30 GRP088-1 fail time 300 ??K ?? - GRP089-1 PROOF --- 36 4151K 398132 69 GRP090-1 PROOF --- 167 4438K 1903468 51 GRP091-1 PROOF --- 1 989K 3097 25 GRP092-1 PROOF --- 1 958K 2356 18 GRP093-1 PROOF --- 1 989K 3280 42 GRP094-1 PROOF --- 1 542K 1621 24 GRP095-1 PROOF --- 1 1181K 4259 45 GRP096-1 PROOF --- 48 4662K 584264 57 GRP097-1 PROOF --- 23 4119K 245934 44 GRP098-1 PROOF --- 2 4023K 12597 36 GRP099-1 PROOF --- 23 4151K 107467 77 GRP100-1 PROOF --- 20 4151K 75612 71 GRP101-1 PROOF --- 15 4055K 50718 108 GRP102-1 PROOF --- 13 4183K 37674 88 GRP103-1 PROOF --- 3 3129K 12125 73 GRP104-1 PROOF --- 25 4470K 288413 80 GRP105-1 fail time 300 ??K ?? - GRP106-1 PROOF --- 17 4406K 142726 61 GRP107-1 PROOF --- 15 4662K 119246 52 GRP108-1 PROOF --- 2 4215K 10396 62 GRP109-1 PROOF --- 39 4630K 499165 69 GRP110-1 PROOF --- 34 4726K 399228 61 GRP111-1 PROOF --- 24 4470K 262575 47 GRP112-1 fail time 300 ??K ?? - GRP113-1 fail time 300 ??K ?? - GRP114-1 fail time 300 ??K ?? - GRP115-1 PROOF --- 1 351K 117 15 GRP116-1 PROOF --- 1 383K 117 20 GRP117-1 PROOF --- 1 351K 110 9 GRP118-1 PROOF --- 1 383K 117 23 GRP119-1 PROOF --- 89 6386K 11081 49 GRP120-1 PROOF --- 89 6386K 11081 61 GRP121-1 PROOF --- 89 6386K 11075 41 GRP122-1 PROOF --- 89 6418K 11291 78 GRP123-1.003 PROOF --- 1 95K 904 8 GRP123-1.005 MODEL --- 7 - - 5 GRP123-2.003 PROOF --- 1 95K 904 8 GRP123-2.005 MODEL --- 7 - - 5 GRP123-3.003 PROOF --- 1 127K 791 8 GRP123-3.004 MODEL --- 4 - - 5 GRP123-4.003 PROOF --- 1 127K 791 8 GRP123-4.004 MODEL --- 6 - - 4 GRP123-6.003 PROOF --- 1 127K 762 11 GRP123-6.005 MODEL --- 8 - - 5 GRP123-7.003 PROOF --- 1 127K 762 11 GRP123-7.005 MODEL --- 8 - - 5 GRP123-8.003 PROOF --- 1 159K 887 11 GRP123-8.004 MODEL --- 9 - - 5 GRP123-9.003 PROOF --- 1 127K 794 11 GRP123-9.004 MODEL --- 6 - - 4 GRP124-1.004 PROOF --- 1 127K 1603 23 GRP124-1.005 MODEL --- 7 - - 5 GRP124-2.004 PROOF --- 1 127K 832 18 GRP124-2.005 MODEL --- 7 - - 5 GRP124-3.004 PROOF --- 1 191K 1457 27 GRP124-3.005 fail time 300 ??K ?? - GRP124-4.004 PROOF --- 1 159K 3526 16 GRP124-4.005 MODEL --- 10 - - 5 GRP124-6.004 PROOF --- 1 191K 2317 35 GRP124-6.005 MODEL --- 8 - - 5 GRP124-7.004 PROOF --- 1 223K 2332 35 GRP124-7.005 MODEL --- 8 - - 5 GRP124-8.004 PROOF --- 1 255K 2884 34 GRP124-8.005 fail time 301 ??K ?? - GRP124-9.004 PROOF --- 1 223K 2091 35 GRP124-9.005 MODEL --- 12 - - 5 GRP125-1.003 PROOF --- 1 95K 205 8 GRP125-1.004 MODEL --- 2 - - 4 GRP125-2.004 MODEL --- 1 - - 4 GRP125-2.005 PROOF --- 18 1181K 36876 97 GRP125-3.004 MODEL --- 1 - - 5 GRP125-3.005 PROOF --- 3 989K 16393 105 GRP125-4.003 PROOF --- 1 127K 293 8 GRP125-4.004 MODEL --- 6 - - 4 GRP126-1.004 PROOF --- 1 159K 1375 22 GRP126-1.005 MODEL --- 7 - - 5 GRP126-2.004 PROOF --- 1 127K 649 15 GRP126-2.005 MODEL --- 7 - - 5 GRP126-3.004 PROOF --- 1 191K 1198 24 GRP126-3.005 fail time 300 ??K ?? - GRP126-4.004 PROOF --- 1 734K 10824 30 GRP126-4.005 MODEL --- 10 - - 5 GRP127-1.004 PROOF --- 1 159K 1380 24 GRP127-1.005 MODEL --- 7 - - 5 GRP127-2.005 MODEL --- 7 - - 5 GRP127-2.006 fail time 300 ??K ?? - GRP127-3.004 PROOF --- 1 191K 1169 28 GRP127-3.005 fail sos-empty 16 1085K 15203 - GRP127-4.004 PROOF --- 1 766K 8152 36 GRP127-4.005 MODEL --- 10 - - 5 GRP128-1.003 PROOF --- 1 447K 5797 34 GRP128-1.004 MODEL --- 6 - - 4 GRP128-2.004 MODEL --- 1 - - 4 GRP128-2.006 fail time 301 ??K ?? - GRP128-3.004 MODEL --- 9 - - 5 GRP128-3.005 fail time 300 ??K ?? - GRP128-4.003 PROOF --- 1 127K 514 16 GRP128-4.004 MODEL --- 6 - - 4 GRP129-1.003 PROOF --- 156 4279K 88065 38 GRP129-1.005 MODEL --- 12 - - 5 GRP129-2.004 PROOF --- 167 4758K 122045 74 GRP129-2.005 MODEL --- 12 - - 5 GRP129-3.004 PROOF --- 176 4630K 230962 78 GRP129-3.005 fail time 300 ??K ?? - GRP129-4.004 PROOF --- 1 798K 7276 41 GRP129-4.005 fail time 300 ??K ?? - GRP130-1.003 PROOF --- 22 1181K 18295 29 GRP130-1.005 MODEL --- 11 - - 5 GRP130-2.003 PROOF --- 1 287K 2647 27 GRP130-2.005 MODEL --- 11 - - 5 GRP130-3.003 PROOF --- 1 479K 5506 40 GRP130-3.004 MODEL --- 9 - - 5 GRP130-4.003 PROOF --- 1 127K 899 17 GRP130-4.004 MODEL --- 6 - - 4 GRP131-1.002 PROOF --- 1 127K 4823 15 GRP131-1.005 MODEL --- 12 - - 5 GRP131-2.002 PROOF --- 1 127K 4850 16 GRP131-2.005 MODEL --- 12 - - 5 GRP132-1.002 PROOF --- 1 127K 3886 13 GRP132-1.005 MODEL --- 12 - - 5 GRP132-2.002 PROOF --- 1 127K 3958 14 GRP132-2.005 MODEL --- 12 - - 5 GRP133-1.003 PROOF --- 29 1405K 31424 49 GRP133-1.004 MODEL --- 5 - - 4 GRP133-2.003 PROOF --- 1 383K 4511 36 GRP133-2.004 MODEL --- 6 - - 4 GRP134-1.003 PROOF --- 29 1405K 30912 47 GRP134-1.005 MODEL --- 11 - - 5 GRP134-2.003 PROOF --- 1 383K 4464 30 GRP134-2.005 MODEL --- 11 - - 5 GRP135-1.002 PROOF --- 1 95K 278 11 GRP135-1.005 MODEL --- 12 - - 5 GRP135-2.002 PROOF --- 1 95K 278 11 GRP135-2.005 MODEL --- 12 - - 5 GRP136-1 PROOF --- 1 95K 0 2 GRP137-1 PROOF --- 1 95K 0 2 GRP138-1 PROOF --- 1 1947K 8921 9 GRP139-1 PROOF --- 1 95K 0 2 GRP140-1 PROOF --- 1 2043K 9388 7 GRP141-1 PROOF --- 1 127K 78 9 GRP142-1 PROOF --- 1 95K 24 1 GRP143-1 PROOF --- 1 127K 69 4 GRP144-1 PROOF --- 1 95K 26 2 GRP145-1 PROOF --- 1 95K 0 2 GRP146-1 PROOF --- 1 95K 0 2 GRP147-1 PROOF --- 2 4119K 40770 25 GRP148-1 PROOF --- 3 4215K 44335 19 GRP149-1 PROOF --- 1 127K 54 9 GRP150-1 PROOF --- 1 127K 53 4 GRP151-1 PROOF --- 1 95K 0 0 GRP152-1 PROOF --- 1 95K 23 2 GRP153-1 PROOF --- 1 95K 24 1 GRP154-1 PROOF --- 1 223K 418 3 GRP155-1 PROOF --- 1 287K 548 3 GRP156-1 PROOF --- 1 255K 546 4 GRP157-1 PROOF --- 1 159K 217 3 GRP158-1 PROOF --- 1 191K 310 3 GRP159-1 PROOF --- 1 159K 215 4 GRP160-1 PROOF --- 1 95K 0 0 GRP161-1 PROOF --- 1 95K 0 0 GRP162-1 PROOF --- 1 287K 486 8 GRP163-1 PROOF --- 1 255K 409 6 GRP164-1 fail time 300 ??K ?? - GRP164-2 fail time 300 ??K ?? - GRP165-1 PROOF --- 1 159K 217 5 GRP165-2 PROOF --- 1 191K 289 5 GRP166-1 PROOF --- 1 191K 253 6 GRP166-2 PROOF --- 1 191K 272 5 GRP166-3 PROOF --- 1 223K 352 2 GRP166-4 PROOF --- 1 255K 415 2 GRP167-1 fail time 300 ??K ?? - GRP167-2 PROOF --- 62 4885K 669140 55 GRP167-3 fail time 301 ??K ?? - GRP167-4 fail time 300 ??K ?? - GRP167-5 PROOF --- 1 1852K 8513 15 GRP168-1 PROOF --- 1 830K 3855 4 GRP168-2 PROOF --- 1 1660K 7973 4 GRP169-1 PROOF --- 1 1245K 6097 10 GRP169-2 PROOF --- 1 1532K 7084 14 GRP170-1 PROOF --- 48 4853K 536111 12 GRP170-2 PROOF --- 44 4821K 495443 13 GRP170-3 PROOF --- 47 4853K 535488 9 GRP170-4 PROOF --- 46 4821K 508628 15 GRP171-1 PROOF --- 1 319K 593 9 GRP171-2 PROOF --- 1 319K 550 6 GRP172-1 PROOF --- 1 351K 638 4 GRP172-2 PROOF --- 1 447K 1120 7 GRP173-1 PROOF --- 1 191K 309 8 GRP174-1 PROOF --- 1 191K 309 10 GRP175-1 PROOF --- 1 3832K 24088 7 GRP175-2 PROOF --- 1 2203K 13157 3 GRP175-3 PROOF --- 1 2203K 13157 4 GRP175-4 PROOF --- 1 3832K 24088 6 GRP176-1 PROOF --- 1 95K 0 1 GRP176-2 PROOF --- 1 95K 0 1 GRP177-1 fail sos-empty 282 5332K 2977052 - GRP177-2 PROOF --- 1 383K 749 15 GRP178-1 PROOF --- 1 4023K 15741 21 GRP178-2 PROOF --- 1 4023K 16260 20 GRP179-1 fail time 300 ??K ?? - GRP179-2 fail time 301 ??K ?? - GRP179-3 fail time 301 ??K ?? - GRP180-1 fail time 300 ??K ?? - GRP180-2 fail time 301 ??K ?? - GRP181-1 fail time 300 ??K ?? - GRP181-2 fail time 301 ??K ?? - GRP181-3 fail time 300 ??K ?? - GRP181-4 fail time 300 ??K ?? - GRP182-1 PROOF --- 1 95K 19 1 GRP182-2 PROOF --- 1 95K 28 1 GRP182-3 PROOF --- 1 95K 24 1 GRP182-4 PROOF --- 1 95K 33 1 GRP183-1 fail time 301 ??K ?? - GRP183-2 fail time 300 ??K ?? - GRP183-3 fail time 301 ??K ?? - GRP183-4 fail time 300 ??K ?? - GRP184-1 fail time 301 ??K ?? - GRP184-2 fail time 300 ??K ?? - GRP184-3 fail time 301 ??K ?? - GRP184-4 PROOF --- 1 479K 1792 14 GRP185-1 PROOF --- 1 1053K 5071 17 GRP185-2 PROOF --- 1 1085K 5350 21 GRP185-3 PROOF --- 1 1021K 4910 9 GRP185-4 PROOF --- 1 926K 4542 9 GRP186-1 fail time 300 ??K ?? - GRP186-2 fail time 301 ??K ?? - GRP186-3 PROOF --- 1 223K 466 6 GRP186-4 PROOF --- 1 127K 17 4 GRP187-1 fail time 301 ??K ?? - GRP188-1 PROOF --- 1 95K 23 2 GRP188-2 PROOF --- 1 95K 32 2 GRP189-1 PROOF --- 1 95K 24 1 GRP189-2 PROOF --- 1 95K 33 1 GRP190-1 PROOF --- 1 894K 4113 9 GRP190-2 PROOF --- 1 926K 4183 12 GRP191-1 PROOF --- 1 926K 4183 13 GRP191-2 PROOF --- 1 894K 4113 10 GRP192-1 PROOF --- 1 191K 432 15 GRP193-1 PROOF --- 1 415K 790 11 GRP193-2 PROOF --- 1 319K 532 8 GRP194+1 PROOF --- 1 510K 734 9 GRP195-1 PROOF --- 1 1149K 885 6 GRP196-1 fail time 300 ??K ?? - GRP197-1 fail time 301 ??K ?? - GRP198-1 fail time 300 ??K ?? - GRP199-1 fail time 300 ??K ?? - GRP200-1 fail sos-empty 14 4247K 8416 - GRP201-1 fail sos-empty 22 4470K 31341 - GRP202-1 fail abend 11 6833K 163 - GRP203-1 fail time 300 ??K ?? - GRP204-1 MODEL --- 6 - - 3 GRP205-1 fail abend 11 6833K 163 - GRP206-1 PROOF --- 1 127K 97 2 HEN001-1 PROOF --- 1 95K 8 1 HEN001-3 PROOF --- 1 95K 7 1 HEN001-5 PROOF --- 1 95K 0 0 HEN002-1 PROOF --- 1 95K 3 1 HEN002-2 PROOF --- 1 95K 3 1 HEN002-3 PROOF --- 1 95K 3 1 HEN002-4 PROOF --- 1 95K 3 1 HEN002-5 PROOF --- 1 95K 0 0 HEN003-1 PROOF --- 1 127K 758 8 HEN003-2 PROOF --- 1 127K 765 8 HEN003-3 PROOF --- 1 127K 235 5 HEN003-4 PROOF --- 1 127K 234 5 HEN003-5 PROOF --- 1 255K 552 4 HEN004-1 PROOF --- 1 191K 3251 18 HEN004-2 PROOF --- 1 191K 2998 10 HEN004-3 PROOF --- 1 319K 726 13 HEN004-4 PROOF --- 1 447K 1404 7 HEN004-5 PROOF --- 1 447K 1188 8 HEN004-6 PROOF --- 1 319K 813 12 HEN005-1 PROOF --- 1 191K 916 10 HEN005-2 PROOF --- 1 159K 2816 6 HEN005-3 PROOF --- 1 191K 330 9 HEN005-4 PROOF --- 1 479K 1761 7 HEN005-5 PROOF --- 1 383K 968 8 HEN005-6 PROOF --- 1 191K 329 8 HEN006-1 PROOF --- 1 351K 3467 14 HEN006-2 PROOF --- 1 415K 7517 7 HEN006-3 PROOF --- 3 1309K 6527 27 HEN006-4 PROOF --- 1 510K 1614 5 HEN006-5 PROOF --- 1 638K 2158 6 HEN006-6 PROOF --- 4 1500K 7968 22 HEN006-7 PROOF --- 1 319K 5871 10 HEN007-1 PROOF --- 1 989K 15064 25 HEN007-2 PROOF --- 1 223K 3293 4 HEN007-3 PROOF --- 26 2426K 13243 26 HEN007-4 PROOF --- 1 159K 336 4 HEN007-5 PROOF --- 4 1916K 6520 15 HEN007-6 PROOF --- 1 191K 3102 4 HEN008-1 PROOF --- 1 191K 753 6 HEN008-2 PROOF --- 1 223K 3772 3 HEN008-3 PROOF --- 1 191K 242 5 HEN008-4 PROOF --- 1 319K 1259 8 HEN008-5 PROOF --- 1 159K 94 3 HEN008-6 PROOF --- 1 127K 227 4 HEN009-1 PROOF --- 1 798K 12950 52 HEN009-2 PROOF --- 1 159K 2910 5 HEN009-3 PROOF --- 51 4055K 23471 46 HEN009-4 PROOF --- 3 1341K 11730 7 HEN009-5 PROOF --- 21 2650K 15284 11 HEN009-6 PROOF --- 1 1085K 5266 24 HEN010-1 PROOF --- 1 702K 10833 50 HEN010-2 PROOF --- 1 255K 3644 11 HEN010-3 fail time 300 ??K ?? - HEN010-4 PROOF --- 1 638K 3704 9 HEN010-5 PROOF --- 23 2937K 19603 16 HEN010-6 PROOF --- 1 574K 3100 9 HEN010-7 PROOF --- 1 191K 3556 10 HEN011-1 PROOF --- 29 3353K 74641 122 HEN011-2 PROOF --- 23 2458K 36237 11 HEN011-3 fail time 301 ??K ?? - HEN011-4 fail time 301 ??K ?? - HEN011-5 fail time 301 ??K ?? - HEN012-1 PROOF --- 1 127K 1550 9 HEN012-3 PROOF --- 1 127K 239 6 KRS001-1 PROOF --- 1 95K 48 7 KRS002-1 PROOF --- 1 95K 49 8 KRS003-1 PROOF --- 1 95K 46 7 KRS004-1 PROOF --- 1 63K 2 1 KRS005-1 MODEL --- 1 - - 2 KRS006-1 MODEL --- 2 - - 3 KRS007-1 fail sos-empty 5 127K 430 - KRS008-1 fail time 301 ??K ?? - KRS009-1 MODEL --- 1 - - 2 KRS010-1 PROOF --- 1 127K 492 18 KRS011-1 fail sos-empty 5 159K 101 - KRS012-1 PROOF --- 1 95K 7 4 KRS013-1 PROOF --- 1 159K 845 16 KRS014-1 MODEL --- 1 - - 2 KRS015-1 PROOF --- 1 95K 53 9 KRS016-1 MODEL --- 1 - - 2 KRS017-1 PROOF --- 1 95K 3 3 LAT001-1 fail time 301 ??K ?? - LAT002-1 fail time 300 ??K ?? - LAT003-1 fail time 300 ??K ?? - LAT004-1 fail time 300 ??K ?? - LAT005-1 PROOF --- 1 159K 8390 17 LAT005-2 PROOF --- 1 127K 7104 16 LAT005-3 fail time 301 ??K ?? - LAT005-4 fail time 300 ??K ?? - LAT005-5 PROOF --- 3 1532K 27765 18 LAT005-6 PROOF --- 5 2363K 42234 19 LAT006-1 PROOF --- 4 4183K 31538 54 LAT007-1 fail sos-empty 68 4183K 295144 - LAT008-1 PROOF --- 1 415K 364 20 LAT009-1 fail time 300 ??K ?? - LAT010-1 PROOF --- 1 2395K 4235 46 LAT011-1 PROOF --- 4 4342K 74944 19 LAT012-1 PROOF --- 1 3480K 13059 16 LAT013-1 PROOF --- 35 4279K 298084 46 LAT014-1 PROOF --- 1 95K 26 1 LAT015-1 fail memory 3 11975K 308 - LAT016-1 fail time 300 ??K ?? - LAT017-1 fail time 300 ??K ?? - LAT018-1 fail time 300 ??K ?? - LAT019-1 PROOF --- 18 4215K 28465 44 LAT020-1 fail time 300 ??K ?? - LAT021-1 PROOF --- 2 4023K 8951 82 LAT022-1 PROOF --- 71 4662K 540880 127 LAT023-1 PROOF --- 58 4406K 429490 130 LAT024-1 MODEL --- 6 - - 2 LAT025-1 MODEL --- 6 - - 5 LAT026-1 PROOF --- 43 4374K 309881 47 LAT027-1 PROOF --- 35 4311K 290775 42 LAT028-1 PROOF --- 1 3384K 13923 19 LAT029-1 PROOF --- 1 1085K 2773 62 LAT030-1 fail memory 3 11975K 276 - LCL001-1 fail time 300 ??K ?? - LCL002-1 fail time 300 ??K ?? - LCL003-1 PROOF --- 59 4438K 1699706 53 LCL004-1 PROOF --- 2 1852K 8944 42 LCL005-1 fail time 300 ??K ?? - LCL006-1 PROOF --- 56 10601K 274031 18 LCL007-1 PROOF --- 1 95K 4 1 LCL008-1 PROOF --- 1 127K 71 7 LCL009-1 PROOF --- 1 319K 773 10 LCL010-1 PROOF --- 1 574K 1839 9 LCL011-1 PROOF --- 19 4438K 23915 16 LCL012-1 PROOF --- 58 8270K 673444 33 LCL013-1 PROOF --- 1 95K 6 2 LCL014-1 PROOF --- 28 6354K 107902 23 LCL015-1 PROOF --- 58 9484K 389808 39 LCL016-1 PROOF --- 39 7855K 165163 54 LCL017-1 PROOF --- 63 10218K 308563 47 LCL018-1 PROOF --- 48 9260K 261657 42 LCL019-1 fail memory 108 11975K 964306 - LCL020-1 fail time 300 ??K ?? - LCL021-1 fail memory 107 11975K 990057 - LCL022-1 PROOF --- 1 319K 768 10 LCL023-1 PROOF --- 1 702K 2041 13 LCL024-1 PROOF --- 58 8430K 516987 30 LCL025-1 PROOF --- 3 3991K 41375 12 LCL026-1 PROOF --- 3 4119K 63908 33 LCL027-1 PROOF --- 1 159K 595 11 LCL028-1 fail time 300 ??K ?? - LCL029-1 PROOF --- 1 574K 5008 8 LCL030-1 PROOF --- 40 4438K 793244 11 LCL031-1 fail time 300 ??K ?? - LCL032-1 fail time 301 ??K ?? - LCL033-1 PROOF --- 1 95K 89 7 LCL034-1 PROOF --- 1 989K 12315 28 LCL035-1 PROOF --- 1 95K 53 5 LCL036-1 PROOF --- 1 383K 3591 18 LCL037-1 fail time 300 ??K ?? - LCL038-1 fail time 301 ??K ?? - LCL039-1 PROOF --- 20 4534K 274961 25 LCL040-1 PROOF --- 20 4694K 202246 11 LCL041-1 PROOF --- 1 670K 3706 7 LCL042-1 fail time 300 ??K ?? - LCL043-1 PROOF --- 1 1053K 6282 6 LCL044-1 PROOF --- 1 1181K 7684 10 LCL045-1 PROOF --- 119 4630K 3982285 16 LCL046-1 PROOF --- 1 95K 44 2 LCL047-1 PROOF --- 1 926K 4865 17 LCL048-1 PROOF --- 1 926K 4909 19 LCL049-1 PROOF --- 3 4183K 57346 23 LCL050-1 PROOF --- 3 4215K 57972 24 LCL051-1 PROOF --- 27 4470K 460661 25 LCL052-1 PROOF --- 3 4183K 57483 34 LCL053-1 PROOF --- 3 4215K 58467 35 LCL054-1 fail time 300 ??K ?? - LCL055-1 PROOF --- 1 3384K 25158 32 LCL056-1 PROOF --- 1 3065K 22849 28 LCL057-1 PROOF --- 1 3161K 24317 30 LCL058-1 PROOF --- 50 4694K 1316809 46 LCL059-1 PROOF --- 1 3033K 22685 23 LCL060-1 PROOF --- 52 4726K 1400369 44 LCL061-1 fail time 300 ??K ?? - LCL062-1 fail time 300 ??K ?? - LCL063-1 fail time 300 ??K ?? - LCL064-1 PROOF --- 42 4438K 1080844 12 LCL064-2 PROOF --- 1 1213K 9448 12 LCL065-1 PROOF --- 1 447K 2992 16 LCL066-1 PROOF --- 1 255K 1452 19 LCL067-1 PROOF --- 27 4534K 492984 26 LCL068-1 PROOF --- 30 4630K 569577 35 LCL069-1 PROOF --- 1 319K 3577 11 LCL070-1 PROOF --- 22 5332K 427166 12 LCL071-1 PROOF --- 23 5364K 449389 40 LCL072-1 PROOF --- 14 3959K 161139 19 LCL073-1 fail time 300 ??K ?? - LCL074-1 fail time 300 ??K ?? - LCL075-1 PROOF --- 1 1309K 13206 8 LCL076-1 PROOF --- 1 191K 876 16 LCL076-2 PROOF --- 1 95K 19 1 LCL076-3 PROOF --- 1 1149K 9375 9 LCL077-1 PROOF --- 1 191K 834 15 LCL077-2 PROOF --- 1 1149K 9213 8 LCL078-1 MODEL --- 6 - - 2 LCL079-1 PROOF --- 1 95K 76 3 LCL080-1 PROOF --- 5 4087K 82139 17 LCL080-2 PROOF --- 4 4087K 52407 16 LCL081-1 PROOF --- 1 95K 103 11 LCL082-1 PROOF --- 1 95K 153 10 LCL083-1 PROOF --- 1 926K 21444 16 LCL083-2 PROOF --- 1 638K 10971 12 LCL084-1 fail time 300 ??K ?? - LCL084-2 fail time 300 ??K ?? - LCL084-3 fail time 300 ??K ?? - LCL085-1 PROOF --- 111 4630K 2389499 53 LCL086-1 PROOF --- 1 191K 556 12 LCL087-1 PROOF --- 1 127K 143 8 LCL088-1 PROOF --- 1 415K 3808 21 LCL089-1 PROOF --- 1 415K 4248 27 LCL090-1 PROOF --- 1 383K 2439 16 LCL091-1 PROOF --- 1 415K 3122 19 LCL092-1 PROOF --- 1 542K 5479 24 LCL093-1 PROOF --- 14 4342K 133910 48 LCL094-1 PROOF --- 1 574K 7647 26 LCL095-1 PROOF --- 1 1085K 17094 29 LCL096-1 PROOF --- 17 4790K 59004 20 LCL097-1 PROOF --- 1 862K 2185 8 LCL098-1 PROOF --- 1 1437K 1719 4 LCL099-1 fail time 300 ??K ?? - LCL100-1 fail time 300 ??K ?? - LCL101-1 PROOF --- 1 191K 259 10 LCL102-1 PROOF --- 3 3065K 9880 9 LCL103-1 PROOF --- 33 6099K 192871 16 LCL104-1 PROOF --- 1 223K 275 7 LCL105-1 fail time 300 ??K ?? - LCL106-1 PROOF --- 1 127K 28 4 LCL107-1 PROOF --- 1 255K 402 9 LCL108-1 PROOF --- 1 415K 833 10 LCL109-1 fail time 300 ??K ?? - LCL109-2 fail time 301 ??K ?? - LCL109-3 fail time 301 ??K ?? - LCL109-4 fail time 300 ??K ?? - LCL109-5 PROOF --- 1 191K 210 12 LCL109-6 PROOF --- 21 5173K 91122 66 LCL110-1 PROOF --- 1 319K 1573 11 LCL110-2 PROOF --- 1 287K 463 18 LCL111-1 PROOF --- 1 574K 3375 5 LCL111-2 PROOF --- 1 1884K 5912 4 LCL112-1 PROOF --- 1 319K 1614 12 LCL112-2 PROOF --- 1 319K 554 19 LCL113-1 PROOF --- 65 4374K 1996144 18 LCL113-2 PROOF --- 1 319K 577 21 LCL114-1 PROOF --- 65 4374K 1995843 24 LCL114-2 PROOF --- 1 415K 784 27 LCL115-1 PROOF --- 1 1660K 12715 16 LCL115-2 PROOF --- 1 574K 1155 23 LCL116-1 PROOF --- 66 4374K 2003187 24 LCL116-2 PROOF --- 1 670K 1452 32 LCL117-1 PROOF --- 1 95K 8 3 LCL118-1 PROOF --- 1 1277K 3416 14 LCL119-1 fail time 300 ??K ?? - LCL120-1 PROOF --- 5 4055K 15652 12 LCL121-1 PROOF --- 24 5013K 70418 26 LCL122-1 fail time 300 ??K ?? - LCL123-1 PROOF --- 56 6450K 748126 22 LCL124-1 fail time 300 ??K ?? - LCL125-1 fail time 300 ??K ?? - LCL126-1 PROOF --- 1 127K 92 7 LCL127-1 PROOF --- 68 6706K 895606 32 LCL128-1 PROOF --- 24 4885K 75673 24 LCL129-1 fail time 300 ??K ?? - LCL130-1 PROOF --- 1 127K 94 9 LCL131-1 PROOF --- 24 5013K 87913 19 LCL132-1 PROOF --- 1 159K 67 2 LCL133-1 PROOF --- 1 127K 70 6 LCL134-1 PROOF --- 1 159K 69 4 LCL135-1 PROOF --- 1 159K 72 6 LCL136-1 MODEL --- 6 - - 3 LCL137-1 MODEL --- 6 - - 2 LCL138-1 PROOF --- 22 4183K 89303 6 LCL139-1 PROOF --- 1 319K 589 26 LCL140-1 PROOF --- 1 319K 569 20 LCL141-1 PROOF --- 1 415K 774 27 LCL142-1 MODEL --- 6 - - 2 LCL143-1 PROOF --- 1 223K 258 3 LCL144-1 fail time 301 ??K ?? - LCL145-1 fail time 300 ??K ?? - LCL146-1 PROOF --- 22 3129K 18263 42 LCL147-1 fail time 300 ??K ?? - LCL148-1 fail time 300 ??K ?? - LCL149-1 fail time 300 ??K ?? - LCL150-1 fail time 300 ??K ?? - LCL151-1 fail time 300 ??K ?? - LCL152-1 fail time 300 ??K ?? - LCL153-1 PROOF --- 1 351K 447 37 LCL154-1 PROOF --- 1 319K 453 32 LCL155-1 PROOF --- 1 255K 410 24 LCL156-1 PROOF --- 1 319K 450 30 LCL157-1 PROOF --- 1 255K 329 26 LCL158-1 PROOF --- 1 287K 426 34 LCL159-1 PROOF --- 1 383K 451 49 LCL160-1 PROOF --- 79 4374K 467795 105 LCL161-1 PROOF --- 1 159K 188 8 LCL162-1 PROOF --- 2 4438K 30563 33 LCL163-1 PROOF --- 25 5524K 148681 85 LCL164-1 PROOF --- 1 351K 1403 29 LCL165-1 fail time 300 ??K ?? - LCL166-1 PROOF --- 98 11240K 935486 55 LCL167-1 fail time 300 ??K ?? - LCL168-1 fail time 300 ??K ?? - LCL169-1 PROOF --- 1 95K 1 1 LCL169-3 PROOF --- 1 95K 13 3 LCL170-1 PROOF --- 1 95K 2 1 LCL170-3 PROOF --- 1 95K 11 3 LCL171-1 PROOF --- 1 95K 12 3 LCL171-3 PROOF --- 1 127K 164 4 LCL172-1 PROOF --- 1 95K 40 3 LCL172-3 fail time 300 ??K ?? - LCL173-1 PROOF --- 1 127K 76 3 LCL173-3 PROOF --- 1 479K 1575 3 LCL174-1 PROOF --- 1 351K 762 4 LCL174-3 fail time 300 ??K ?? - LCL175-1 PROOF --- 1 95K 2 1 LCL175-3 PROOF --- 1 95K 2 1 LCL176-1 PROOF --- 1 95K 3 2 LCL176-3 PROOF --- 1 287K 777 17 LCL177-1 PROOF --- 1 95K 15 3 LCL178-1 PROOF --- 1 95K 15 3 LCL178-3 PROOF --- 1 287K 786 16 LCL179-1 fail sos-empty 25 5045K 59108 - LCL180-1 fail sos-empty 25 5045K 59108 - LCL180-3 PROOF --- 1 1788K 13452 21 LCL181-1 fail sos-empty 25 5045K 59098 - LCL181+1 PROOF --- 1 63K 1 1 LCL181-2 PROOF --- 1 63K 1 1 LCL181-3 fail time 301 ??K ?? - LCL182-1 PROOF --- 1 2746K 9593 6 LCL182-3 fail time 300 ??K ?? - LCL183-1 fail sos-empty 25 5045K 59098 - LCL183-3 PROOF --- 45 5492K 1087116 37 LCL184-1 fail sos-empty 25 5045K 59108 - LCL185-1 PROOF --- 1 127K 138 4 LCL185-3 PROOF --- 30 5013K 567749 26 LCL186-1 PROOF --- 1 127K 138 4 LCL186-3 PROOF --- 30 5077K 569681 27 LCL187-1 PROOF --- 1 127K 150 5 LCL187-3 PROOF --- 30 5013K 567779 25 LCL188-1 PROOF --- 1 95K 44 3 LCL188-3 PROOF --- 2 4215K 34002 19 LCL189-1 PROOF --- 1 95K 44 3 LCL189-3 PROOF --- 1 1979K 10372 21 LCL190-1 PROOF --- 1 127K 140 4 LCL190-3 PROOF --- 1 479K 1572 3 LCL191-1 fail sos-empty 25 5045K 59098 - LCL191-3 fail time 300 ??K ?? - LCL192-1 PROOF --- 1 1692K 5276 6 LCL192-3 fail time 300 ??K ?? - LCL193-1 PROOF --- 1 542K 1554 5 LCL193-3 fail time 300 ??K ?? - LCL194-1 fail sos-empty 25 5045K 59098 - LCL194-3 fail time 300 ??K ?? - LCL195-1 fail sos-empty 25 5045K 59098 - LCL195-3 fail time 300 ??K ?? - LCL196-1 PROOF --- 3 3863K 13293 11 LCL196-3 PROOF --- 34 5332K 694343 35 LCL197-1 PROOF --- 1 319K 684 3 LCL197-3 PROOF --- 5 4598K 137315 29 LCL198-1 PROOF --- 3 3863K 13293 11 LCL198-3 PROOF --- 35 5300K 714522 33 LCL199-1 PROOF --- 1 223K 439 6 LCL199-3 PROOF --- 31 5237K 592106 32 LCL200-1 PROOF --- 1 159K 182 5 LCL201-1 PROOF --- 1 926K 2816 8 LCL201-3 PROOF --- 39 5396K 875692 36 LCL202-1 PROOF --- 1 510K 1312 7 LCL202-3 PROOF --- 2 4374K 53944 25 LCL203-1 PROOF --- 1 510K 1312 7 LCL203-3 PROOF --- 2 4183K 45255 27 LCL204-1 PROOF --- 1 926K 2816 8 LCL205-1 PROOF --- 1 510K 1312 7 LCL205-3 PROOF --- 2 4374K 53552 26 LCL206-1 PROOF --- 1 510K 1312 7 LCL206-3 MODEL --- 6 - - 2 LCL207-1 PROOF --- 1 415K 922 7 LCL207-3 PROOF --- 31 5205K 581535 32 LCL208-1 PROOF --- 1 2746K 9598 7 LCL208-3 fail time 300 ??K ?? - LCL209-1 fail sos-empty 25 5045K 59098 - LCL209-3 PROOF --- 2 4342K 39898 31 LCL210-1 PROOF --- 1 2746K 9622 8 LCL210-3 PROOF --- 4 4502K 90454 25 LCL211-1 PROOF --- 1 2746K 9585 5 LCL211-3 PROOF --- 4 4534K 99260 24 LCL212-1 PROOF --- 4 4055K 14648 6 LCL212-3 PROOF --- 1 95K 15 4 LCL213-1 PROOF --- 1 2778K 9645 5 LCL213-3 fail time 300 ??K ?? - LCL214-1 PROOF --- 1 2778K 9645 5 LCL214-3 fail time 300 ??K ?? - LCL215-1 PROOF --- 4 4055K 14648 6 LCL215-3 fail time 301 ??K ?? - LCL216-1 PROOF --- 1 2746K 9588 5 LCL216-3 fail time 300 ??K ?? - LCL217-1 PROOF --- 1 2746K 9588 5 LCL217-3 fail time 300 ??K ?? - LCL218-1 PROOF --- 1 2075K 6852 6 LCL218-3 fail time 300 ??K ?? - LCL219-1 fail sos-empty 25 5045K 59098 - LCL219-3 PROOF --- 66 5748K 1815647 35 LCL220-1 fail sos-empty 25 5045K 59098 - LCL220-3 fail time 300 ??K ?? - LCL221-1 fail sos-empty 25 5045K 59098 - LCL221-3 fail time 300 ??K ?? - LCL222-1 fail sos-empty 25 5045K 59098 - LCL222-3 fail time 300 ??K ?? - LCL223-1 fail sos-empty 25 5045K 59098 - LCL223-3 fail time 300 ??K ?? - LCL224-1 fail sos-empty 25 5045K 59098 - LCL224-3 fail time 300 ??K ?? - LCL225-1 fail sos-empty 19 5045K 59098 - LCL225-3 fail time 300 ??K ?? - LCL226-1 PROOF --- 1 351K 762 4 LCL226-3 fail time 300 ??K ?? - LCL227-1 fail sos-empty 19 5045K 59098 - LCL227-3 fail time 301 ??K ?? - LCL228-1 fail sos-empty 19 5045K 59098 - LCL228-3 fail time 301 ??K ?? - LCL229-1 fail sos-empty 19 5045K 59098 - LCL229-3 fail time 301 ??K ?? - LCL230-1 fail sos-empty 25 5045K 59098 - LCL230+1 PROOF --- 1 63K 2 2 LCL230-2 PROOF --- 1 63K 2 2 LCL230-3 fail time 300 ??K ?? - LCL231-1 fail sos-empty 19 5045K 59098 - LCL231-3 fail time 300 ??K ?? - LCL234-1 fail sos-empty 25 5045K 59098 - LCL234-3 PROOF --- 45 5396K 1029997 13 LCL235-1 fail sos-empty 25 5045K 59098 - LCL235-3 PROOF --- 1 2267K 15465 24 LCL236-1 PROOF --- 1 95K 15 3 LCL236-3 PROOF --- 1 542K 1712 19 LCL237-1 fail sos-empty 25 5045K 59098 - LCL237-3 PROOF --- 44 5364K 1007790 11 LCL238-1 PROOF --- 1 159K 197 5 LCL238-3 PROOF --- 1 2842K 18252 25 LCL239-1 fail sos-empty 25 5045K 59108 - LCL239-3 PROOF --- 1 479K 1572 18 LCL240-1 fail sos-empty 25 5045K 59098 - LCL240-3 PROOF --- 3 4311K 95168 32 LCL241-1 fail sos-empty 25 5045K 59098 - LCL241-3 PROOF --- 1 2299K 15931 23 LCL242-1 fail sos-empty 19 5045K 59098 - LCL242-3 fail time 300 ??K ?? - LCL243-1 fail sos-empty 19 5045K 59098 - LCL243-3 fail time 300 ??K ?? - LCL244-1 fail sos-empty 19 5045K 59098 - LCL245-1 fail sos-empty 19 5045K 59098 - LCL245-3 fail time 300 ??K ?? - LCL246-1 fail sos-empty 25 5045K 59098 - LCL246-3 PROOF --- 44 5396K 1026476 26 LCL247-1 fail sos-empty 19 5045K 59098 - LCL247-3 fail time 300 ??K ?? - LCL248-1 fail sos-empty 25 5045K 59098 - LCL248-3 PROOF --- 1 2937K 19030 24 LCL249-1 fail sos-empty 25 5045K 59098 - LCL249-3 fail time 300 ??K ?? - LCL250-1 PROOF --- 19 4470K 28674 9 LCL250-3 fail time 300 ??K ?? - LCL251-1 fail sos-empty 19 5045K 59098 - LCL251-3 fail time 300 ??K ?? - LCL252-1 fail sos-empty 19 5045K 59098 - LCL252-3 fail time 300 ??K ?? - LCL253-1 fail sos-empty 19 5045K 59098 - LCL253-3 fail time 301 ??K ?? - LCL254-1 fail sos-empty 19 5045K 59052 - LCL254-3 fail time 301 ??K ?? - LCL255-1 fail sos-empty 19 5045K 59098 - LCL255-3 fail time 300 ??K ?? - LCL256-1 PROOF --- 1 3097K 22967 44 LCL257-1 PROOF --- 1 159K 182 8 LCL258-3 PROOF --- 2 4215K 34775 20 LCL259-3 PROOF --- 33 5332K 672742 32 LCL260-3 fail time 300 ??K ?? - LCL261-3 PROOF --- 40 5428K 884357 14 LCL262-3 fail time 300 ??K ?? - LCL263-3 fail time 300 ??K ?? - LCL264-3 fail time 300 ??K ?? - LCL265-3 fail time 300 ??K ?? - LCL266-3 fail time 300 ??K ?? - LCL267-3 MODEL --- 6 - - 2 LCL268-3 PROOF --- 1 542K 1624 23 LCL269-3 fail time 300 ??K ?? - LCL270-3 fail time 300 ??K ?? - LCL271-3 fail time 301 ??K ?? - LCL272-3 fail time 301 ??K ?? - LCL273-3 fail time 300 ??K ?? - LCL274-3 fail time 300 ??K ?? - LCL275-3 fail time 300 ??K ?? - LCL276-3 fail time 300 ??K ?? - LCL277-3 fail time 300 ??K ?? - LCL278-3 fail time 300 ??K ?? - LCL279-3 fail time 300 ??K ?? - LCL280-3 MODEL --- 6 - - 2 LCL281-3 fail time 300 ??K ?? - LCL282-3 fail time 300 ??K ?? - LCL283-3 fail time 300 ??K ?? - LCL284-3 fail time 300 ??K ?? - LCL285-3 fail time 300 ??K ?? - LCL286-3 fail time 300 ??K ?? - LCL287-3 PROOF --- 1 542K 1624 24 LCL288-3 MODEL --- 6 - - 2 LCL289-3 fail time 300 ??K ?? - LCL290-3 MODEL --- 6 - - 2 LCL291-3 MODEL --- 6 - - 2 LCL292-3 MODEL --- 6 - - 2 LCL293-3 fail time 300 ??K ?? - LCL294-3 PROOF --- 1 542K 1624 24 LCL295-3 fail time 300 ??K ?? - LCL296-3 PROOF --- 1 542K 1578 24 LCL297-3 PROOF --- 1 542K 1624 24 LCL298-3 fail time 300 ??K ?? - LCL299-3 fail time 300 ??K ?? - LCL300-3 fail time 300 ??K ?? - LCL301-3 PROOF --- 1 542K 1578 24 LCL302-3 fail time 300 ??K ?? - LCL303-3 fail time 300 ??K ?? - LCL304-3 fail time 300 ??K ?? - LCL305-3 fail time 300 ??K ?? - LCL306-3 fail time 300 ??K ?? - LCL307-3 fail time 300 ??K ?? - LCL308-3 fail time 300 ??K ?? - LCL309-3 fail time 300 ??K ?? - LCL310-3 fail time 300 ??K ?? - LCL311-3 fail time 300 ??K ?? - LCL312-3 fail time 300 ??K ?? - LCL313-3 fail time 301 ??K ?? - LCL314-3 fail time 300 ??K ?? - LCL315-3 fail time 300 ??K ?? - LCL316-3 fail time 300 ??K ?? - LCL317-3 fail time 300 ??K ?? - LCL318-3 fail time 300 ??K ?? - LCL319-3 fail time 300 ??K ?? - LCL320-3 PROOF --- 31 5300K 609745 31 LCL321-3 PROOF --- 1 223K 442 10 LCL322-3 PROOF --- 30 5013K 567407 13 LCL323-3 PROOF --- 30 5013K 567407 13 LCL324-3 fail time 301 ??K ?? - LCL325-3 fail time 301 ??K ?? - LCL326-3 PROOF --- 5 4566K 155827 52 LCL327-3 fail time 301 ??K ?? - LCL328-3 fail time 300 ??K ?? - LCL329-3 fail time 301 ??K ?? - LCL330-3 fail time 300 ??K ?? - LCL331-3 fail time 300 ??K ?? - LCL332-3 fail time 300 ??K ?? - LCL333-3 fail time 300 ??K ?? - LCL334-3 fail time 300 ??K ?? - LCL335-3 fail time 300 ??K ?? - LCL336-3 fail time 300 ??K ?? - LCL337-3 fail time 300 ??K ?? - LCL338-3 MODEL --- 6 - - 2 LCL339-3 fail time 300 ??K ?? - LCL340-3 fail time 300 ??K ?? - LCL341-3 fail time 300 ??K ?? - LCL342-3 fail time 300 ??K ?? - LCL343-3 fail time 300 ??K ?? - LCL344-3 fail time 300 ??K ?? - LCL345-3 fail time 300 ??K ?? - LCL346-3 fail time 300 ??K ?? - LCL347-3 fail time 300 ??K ?? - LCL348-3 fail time 300 ??K ?? - LCL349-3 fail time 300 ??K ?? - LCL350-3 fail time 300 ??K ?? - LCL351-3 fail time 300 ??K ?? - LCL352-3 fail time 300 ??K ?? - LCL353-3 fail time 300 ??K ?? - LCL354+1 fail time 300 ??K ?? - LCL355-1 PROOF --- 1 95K 1 1 LCL356-1 PROOF --- 1 95K 15 2 LCL357-1 PROOF --- 1 95K 20 2 LCL358-1 PROOF --- 1 383K 1134 4 LCL359-1 PROOF --- 1 191K 398 3 LCL360-1 PROOF --- 1 95K 5 1 LCL361-1 PROOF --- 1 287K 724 6 LCL362-1 PROOF --- 1 383K 1039 11 LCL363-1 PROOF --- 1 351K 1039 11 LCL364-1 PROOF --- 1 894K 4659 13 LCL365-1 fail time 301 ??K ?? - LCL366-1 PROOF --- 1 95K 25 3 LCL367-1 PROOF --- 1 926K 4865 17 LCL368-1 fail time 301 ??K ?? - LCL369-1 fail time 301 ??K ?? - LCL370-1 PROOF --- 29 4534K 572213 39 LCL371-1 PROOF --- 30 4534K 572213 39 LCL372-1 fail time 300 ??K ?? - LCL373-1 PROOF --- 50 4694K 1306046 42 LCL374-1 fail time 300 ??K ?? - LCL375-1 fail time 300 ??K ?? - LCL376-1 fail time 300 ??K ?? - LCL377-1 fail time 300 ??K ?? - LCL378-1 PROOF --- 1 3289K 24849 31 LCL379-1 PROOF --- 2 4023K 31184 30 LCL380-1 PROOF --- 1 3097K 23055 29 LCL381-1 PROOF --- 1 3097K 23050 30 LCL382-1 PROOF --- 30 4534K 572238 36 LCL383-1 fail time 300 ??K ?? - LCL384-1 fail time 300 ??K ?? - LCL385-1 PROOF --- 36 4598K 806815 35 LCL386-1 PROOF --- 27 4502K 483390 39 LCL387-1 fail time 300 ??K ?? - LCL388-1 fail time 300 ??K ?? - LCL389-1 fail time 300 ??K ?? - LCL390-1 PROOF --- 53 4726K 1401731 45 LCL391-1 fail time 300 ??K ?? - LCL392-1 fail time 300 ??K ?? - LCL393-1 fail time 300 ??K ?? - LCL394-1 fail time 300 ??K ?? - LCL395-1 fail time 300 ??K ?? - LCL396-1 PROOF --- 1 3289K 24860 31 LCL397-1 PROOF --- 1 319K 819 8 LCL398-1 PROOF --- 1 127K 50 3 LCL399-1 PROOF --- 1 2331K 15686 34 LCL400-1 PROOF --- 3 4247K 65128 39 LCL401-1 PROOF --- 3 4119K 47164 35 LCL402-1 PROOF --- 2 3959K 29446 33 LCL403-1 PROOF --- 50 4694K 1318117 48 LCL404-1 PROOF --- 36 4598K 807678 38 LCL405-1 PROOF --- 2 4055K 32028 36 LDA001-1 PROOF --- 1 223K 125 24 LDA002-1 PROOF --- 1 894K 878 53 LDA003-1 PROOF --- 1 191K 153 7 LDA004-1 fail time 300 ??K ?? - LDA005-1 fail time 301 ??K ?? - LDA005-2 PROOF --- 181 4758K 368542 16 LDA006-1 fail time 300 ??K ?? - LDA006-2 PROOF --- 166 4726K 337040 19 LDA007-1 PROOF --- 3 1979K 6624 11 LDA007-2 PROOF --- 2 2458K 6086 11 LDA007-3 PROOF --- 1 255K 174 11 LDA008-1 fail time 301 ??K ?? - LDA008-2 fail time 301 ??K ?? - LDA009-1 fail time 301 ??K ?? - LDA009-2 fail time 301 ??K ?? - LDA010-1 fail time 301 ??K ?? - LDA010-2 PROOF --- 32 4215K 47896 26 LDA011-1 fail time 301 ??K ?? - LDA011-2 PROOF --- 29 4215K 46237 21 LDA012-1 PROOF --- 119 5205K 157567 20 LDA012-2 PROOF --- 1 1628K 3468 16 LDA013-1 PROOF --- 1 223K 348 10 LDA014-1 fail time 300 ??K ?? - MGT001+1 PROOF --- 1 127K 12 10 MGT002+1 PROOF --- 1 127K 10 6 MGT003+1 PROOF --- 1 95K 10 6 MGT004+1 PROOF --- 1 159K 92 7 MGT005+1 fail time 300 ??K ?? - MGT005+2 PROOF --- 13 766K 3014 6 MGT006+1 PROOF --- 1 127K 6 5 MGT007+1 PROOF --- 1 159K 113 7 MGT008+1 PROOF --- 1 127K 4 4 MGT009+1 PROOF --- 1 127K 4 4 MGT010+1 PROOF --- 1 127K 6 5 MGT011+1 PROOF --- 1 159K 67 8 MGT012+1 PROOF --- 1 159K 67 8 MGT013+1 PROOF --- 1 191K 401 11 MGT014+1 PROOF --- 1 191K 392 11 MGT015+1 PROOF --- 1 127K 5 4 MGT016+1 PROOF --- 1 127K 21 3 MGT017+1 PROOF --- 1 127K 5 4 MGT018+1 PROOF --- 1 127K 21 3 MGT019+2 MODEL --- 6 - - 2 MGT020+1 PROOF --- 1 255K 487 10 MGT021+1 PROOF --- 1 127K 46 6 MGT022+1 PROOF --- 1 95K 7 4 MGT022+2 PROOF --- 1 95K 7 4 MGT023+1 PROOF --- 1 606K 631 11 MGT023+2 PROOF --- 74 4342K 9281 52 MGT024+1 PROOF --- 1 159K 213 27 MGT025+1 fail time 300 ??K ?? - MGT026+1 PROOF --- 1 223K 364 14 MGT027+1 PROOF --- 110 4119K 14095 33 MGT028+1 PROOF --- 1 127K 27 14 MGT029+1 fail time 300 ??K ?? - MGT030+1 PROOF --- 1 127K 123 33 MGT031+1 MODEL --- 6 - - 2 MGT032+2 PROOF --- 1 95K 6 5 MGT033+1 fail time 301 ??K ?? - MGT033+2 fail time 301 ??K ?? - MGT034+1 fail time 300 ??K ?? - MGT034+2 PROOF --- 223 4598K 134568 18 MGT035+1 fail time 300 ??K ?? - MGT035+2 fail time 300 ??K ?? - MGT036+1 PROOF --- 1 95K 14 5 MGT036+2 PROOF --- 1 95K 15 5 MGT036+3 PROOF --- 1 95K 4 2 MGT037+1 PROOF --- 156 4215K 25850 29 MGT037+2 fail time 301 ??K ?? - MGT038+1 MODEL --- 1 - - 2 MGT038+2 fail time 300 ??K ?? - MGT039+1 PROOF --- 1 766K 2054 21 MGT039+2 fail time 300 ??K ?? - MGT040+1 MODEL --- 6 - - 2 MGT040+2 MODEL --- 6 - - 2 MGT041+2 PROOF --- 1 95K 4 3 MSC001-1 PROOF --- 1 1117K 3093 11 MSC002-1 PROOF --- 1 255K 404 7 MSC002-2 PROOF --- 1 255K 404 7 MSC003-1 PROOF --- 1 95K 7 4 MSC004-1 PROOF --- 1 95K 16 7 MSC005-1 PROOF --- 2 4055K 11670 4 MSC006-1 PROOF --- 1 95K 618 11 MSC007-1.008 fail sos-empty 33 4055K 18774 - MSC007-2.005 fail time 301 ??K ?? - MSC008-1.002 PROOF --- 3 926K 4262 4 MSC008-1.010 fail time 301 ??K ?? - MSC008-2.002 PROOF --- 2 798K 3554 5 MSC009-1 MODEL --- 1 - - 2 MSC009+1 MODEL --- 1 - - 2 NUM001-1 PROOF --- 2 4119K 31307 3 NUM002-1 PROOF --- 3 4183K 76963 3 NUM003-1 PROOF --- 31 4279K 730399 4 NUM004-1 PROOF --- 3 4183K 77000 3 NUM005-1 fail time 301 ??K ?? - NUM006-1 fail time 300 ??K ?? - NUM007-1 fail time 301 ??K ?? - NUM008-1 fail time 300 ??K ?? - NUM009-1 PROOF --- 3 1916K 2358 3 NUM010-1 fail time 300 ??K ?? - NUM011-1 fail time 300 ??K ?? - NUM012-1 fail time 300 ??K ?? - NUM013-1 fail time 301 ??K ?? - NUM014-1 PROOF --- 1 95K 8 3 NUM015-1 PROOF --- 1 95K 25 6 NUM016-1 PROOF --- 1 95K 17 4 NUM016-2 PROOF --- 1 95K 11 5 NUM017-1 PROOF --- 84 4694K 3137132 8 NUM017-2 PROOF --- 26 2810K 23469 8 NUM018-1 fail time 300 ??K ?? - NUM019-1 PROOF --- 1 95K 13 1 NUM020-1 PROOF --- 1 127K 139 2 NUM021-1 PROOF --- 1 351K 1301 5 NUM022-1 PROOF --- 1 95K 15 5 NUM023-1 PROOF --- 1 95K 4 1 NUM024-1 PROOF --- 1 2586K 10191 5 NUM025-1 PROOF --- 1 95K 16 1 NUM025-2 PROOF --- 1 95K 44 2 NUM026-1 fail sos-empty 163 5620K 5071618 - NUM027-1 PROOF --- 110 4438K 30388 6 NUM028-1 fail time 300 ??K ?? - NUM029-1 fail time 300 ??K ?? - NUM030-1 fail time 300 ??K ?? - NUM031-1 fail time 300 ??K ?? - NUM032-1 fail time 300 ??K ?? - NUM033-1 fail time 301 ??K ?? - NUM034-1 fail time 301 ??K ?? - NUM035-1 fail time 300 ??K ?? - NUM036-1 fail time 300 ??K ?? - NUM037-1 fail time 300 ??K ?? - NUM038-1 fail time 300 ??K ?? - NUM039-1 fail time 300 ??K ?? - NUM040-1 fail time 300 ??K ?? - NUM041-1 fail time 300 ??K ?? - NUM042-1 fail time 300 ??K ?? - NUM043-1 fail time 300 ??K ?? - NUM044-1 fail time 300 ??K ?? - NUM045-1 fail time 300 ??K ?? - NUM046-1 fail time 300 ??K ?? - NUM047-1 fail time 300 ??K ?? - NUM048-1 fail time 300 ??K ?? - NUM049-1 fail time 300 ??K ?? - NUM050-1 fail time 300 ??K ?? - NUM051-1 fail time 300 ??K ?? - NUM052-1 fail time 300 ??K ?? - NUM053-1 fail time 300 ??K ?? - NUM054-1 fail time 300 ??K ?? - NUM055-1 fail time 300 ??K ?? - NUM056-1 fail time 300 ??K ?? - NUM057-1 fail time 300 ??K ?? - NUM058-1 fail time 300 ??K ?? - NUM059-1 fail time 300 ??K ?? - NUM060-1 fail time 300 ??K ?? - NUM061-1 fail time 300 ??K ?? - NUM062-1 fail time 301 ??K ?? - NUM063-1 fail time 300 ??K ?? - NUM064-1 fail time 300 ??K ?? - NUM065-1 fail time 300 ??K ?? - NUM066-1 fail time 300 ??K ?? - NUM067-1 fail time 300 ??K ?? - NUM068-1 fail time 300 ??K ?? - NUM069-1 fail time 300 ??K ?? - NUM070-1 fail time 300 ??K ?? - NUM071-1 fail time 300 ??K ?? - NUM072-1 fail time 300 ??K ?? - NUM073-1 fail time 300 ??K ?? - NUM074-1 fail time 300 ??K ?? - NUM075-1 fail time 300 ??K ?? - NUM076-1 fail time 300 ??K ?? - NUM077-1 fail time 300 ??K ?? - NUM078-1 fail time 300 ??K ?? - NUM079-1 fail time 300 ??K ?? - NUM080-1 fail time 300 ??K ?? - NUM081-1 fail time 300 ??K ?? - NUM082-1 fail time 300 ??K ?? - NUM083-1 fail time 300 ??K ?? - NUM084-1 fail time 300 ??K ?? - NUM085-1 fail time 300 ??K ?? - NUM086-1 fail time 300 ??K ?? - NUM087-1 fail time 300 ??K ?? - NUM088-1 fail time 300 ??K ?? - NUM089-1 fail time 300 ??K ?? - NUM090-1 fail time 301 ??K ?? - NUM091-1 fail time 300 ??K ?? - NUM092-1 fail time 300 ??K ?? - NUM093-1 fail time 300 ??K ?? - NUM094-1 fail time 300 ??K ?? - NUM095-1 fail time 300 ??K ?? - NUM096-1 fail time 300 ??K ?? - NUM097-1 fail time 300 ??K ?? - NUM098-1 fail time 300 ??K ?? - NUM099-1 fail time 300 ??K ?? - NUM100-1 fail time 300 ??K ?? - NUM101-1 fail time 300 ??K ?? - NUM102-1 fail time 300 ??K ?? - NUM103-1 fail time 300 ??K ?? - NUM104-1 fail time 300 ??K ?? - NUM105-1 fail time 300 ??K ?? - NUM106-1 fail time 300 ??K ?? - NUM107-1 fail time 300 ??K ?? - NUM108-1 fail time 300 ??K ?? - NUM109-1 fail time 300 ??K ?? - NUM110-1 fail time 300 ??K ?? - NUM111-1 fail time 300 ??K ?? - NUM112-1 fail time 300 ??K ?? - NUM113-1 fail time 300 ??K ?? - NUM114-1 fail time 300 ??K ?? - NUM115-1 fail time 300 ??K ?? - NUM116-1 fail time 300 ??K ?? - NUM117-1 fail time 300 ??K ?? - NUM118-1 fail time 301 ??K ?? - NUM119-1 fail time 300 ??K ?? - NUM120-1 fail time 300 ??K ?? - NUM121-1 fail time 300 ??K ?? - NUM122-1 fail time 300 ??K ?? - NUM123-1 fail time 300 ??K ?? - NUM124-1 fail time 300 ??K ?? - NUM125-1 fail time 300 ??K ?? - NUM126-1 fail time 300 ??K ?? - NUM127-1 fail time 300 ??K ?? - NUM128-1 fail time 300 ??K ?? - NUM129-1 fail time 300 ??K ?? - NUM130-1 fail time 300 ??K ?? - NUM131-1 fail time 300 ??K ?? - NUM132-1 fail time 300 ??K ?? - NUM133-1 fail time 300 ??K ?? - NUM134-1 fail time 300 ??K ?? - NUM135-1 fail time 300 ??K ?? - NUM136-1 fail time 300 ??K ?? - NUM137-1 fail time 300 ??K ?? - NUM138-1 fail time 300 ??K ?? - NUM139-1 fail time 300 ??K ?? - NUM140-1 fail time 300 ??K ?? - NUM141-1 fail time 300 ??K ?? - NUM142-1 fail time 300 ??K ?? - NUM143-1 fail time 300 ??K ?? - NUM144-1 fail time 300 ??K ?? - NUM145-1 fail time 300 ??K ?? - NUM146-1 fail time 300 ??K ?? - NUM147-1 fail time 300 ??K ?? - NUM148-1 fail time 300 ??K ?? - NUM149-1 fail time 300 ??K ?? - NUM150-1 fail time 300 ??K ?? - NUM151-1 fail time 300 ??K ?? - NUM152-1 fail time 300 ??K ?? - NUM153-1 fail time 300 ??K ?? - NUM154-1 fail time 301 ??K ?? - NUM155-1 fail time 300 ??K ?? - NUM156-1 fail time 300 ??K ?? - NUM157-1 fail time 300 ??K ?? - NUM158-1 fail time 300 ??K ?? - NUM159-1 fail time 300 ??K ?? - NUM160-1 fail time 300 ??K ?? - NUM161-1 fail time 300 ??K ?? - NUM162-1 fail time 300 ??K ?? - NUM163-1 fail time 300 ??K ?? - NUM164-1 fail time 300 ??K ?? - NUM165-1 fail time 300 ??K ?? - NUM166-1 fail time 300 ??K ?? - NUM167-1 fail time 300 ??K ?? - NUM168-1 fail time 300 ??K ?? - NUM169-1 fail time 300 ??K ?? - NUM170-1 fail time 300 ??K ?? - NUM171-1 fail time 300 ??K ?? - NUM172-1 fail time 300 ??K ?? - NUM173-1 fail time 300 ??K ?? - NUM174-1 fail time 300 ??K ?? - NUM175-1 fail time 300 ??K ?? - NUM176-1 fail time 300 ??K ?? - NUM177-1 fail time 300 ??K ?? - NUM178-1 fail time 300 ??K ?? - NUM179-1 fail time 300 ??K ?? - NUM180-1 PROOF --- 1 1245K 2178 4 NUM181-1 fail time 300 ??K ?? - NUM182-1 fail time 300 ??K ?? - NUM183-1 PROOF --- 3 4119K 8520 4 NUM184-1 fail time 301 ??K ?? - NUM185-1 fail time 300 ??K ?? - NUM186-1 fail time 300 ??K ?? - NUM187-1 fail time 300 ??K ?? - NUM188-1 fail time 300 ??K ?? - NUM189-1 fail time 300 ??K ?? - NUM190-1 PROOF --- 1 1437K 2297 13 NUM191-1 fail time 300 ??K ?? - NUM192-1 fail time 300 ??K ?? - NUM193-1 fail time 300 ??K ?? - NUM194-1 fail time 300 ??K ?? - NUM195-1 fail time 300 ??K ?? - NUM196-1 fail time 300 ??K ?? - NUM197-1 fail time 300 ??K ?? - NUM198-1 fail time 300 ??K ?? - NUM199-1 fail time 300 ??K ?? - NUM200-1 fail time 300 ??K ?? - NUM201-1 fail time 300 ??K ?? - NUM202-1 fail time 300 ??K ?? - NUM203-1 fail time 300 ??K ?? - NUM204-1 fail time 300 ??K ?? - NUM205-1 fail time 300 ??K ?? - NUM206-1 fail time 300 ??K ?? - NUM207-1 fail time 300 ??K ?? - NUM208-1 fail time 300 ??K ?? - NUM209-1 fail time 300 ??K ?? - NUM210-1 fail time 300 ??K ?? - NUM211-1 fail time 300 ??K ?? - NUM212-1 fail time 300 ??K ?? - NUM213-1 fail time 301 ??K ?? - NUM214-1 fail time 300 ??K ?? - NUM215-1 fail time 300 ??K ?? - NUM216-1 fail time 300 ??K ?? - NUM217-1 fail time 300 ??K ?? - NUM218-1 fail time 300 ??K ?? - NUM219-1 fail time 300 ??K ?? - NUM220-1 fail time 300 ??K ?? - NUM221-1 fail time 300 ??K ?? - NUM222-1 fail time 300 ??K ?? - NUM223-1 fail time 300 ??K ?? - NUM224-1 fail time 300 ??K ?? - NUM225-1 fail time 300 ??K ?? - NUM226-1 fail time 300 ??K ?? - NUM227-1 fail time 300 ??K ?? - NUM228-1 PROOF --- 1 1596K 2693 2 NUM229-1 fail time 300 ??K ?? - NUM230-1 fail time 300 ??K ?? - NUM231-1 fail time 300 ??K ?? - NUM232-1 fail time 300 ??K ?? - NUM233-1 fail time 300 ??K ?? - NUM234-1 fail time 300 ??K ?? - NUM235-1 fail time 300 ??K ?? - NUM236-1 fail time 300 ??K ?? - NUM237-1 fail time 300 ??K ?? - NUM238-1 fail time 300 ??K ?? - NUM239-1 fail time 300 ??K ?? - NUM240-1 fail time 300 ??K ?? - NUM241-1 fail time 300 ??K ?? - NUM242-1 fail time 301 ??K ?? - NUM243-1 fail time 300 ??K ?? - NUM244-1 fail time 300 ??K ?? - NUM245-1 fail time 300 ??K ?? - NUM245-2 fail time 300 ??K ?? - NUM246-1 fail time 300 ??K ?? - NUM246-2 fail time 300 ??K ?? - NUM247-1 fail time 300 ??K ?? - NUM247-2 fail time 300 ??K ?? - NUM248-1 fail time 300 ??K ?? - NUM248-2 fail time 300 ??K ?? - NUM249-1 fail time 300 ??K ?? - NUM249-2 fail time 300 ??K ?? - NUM250-1 fail time 300 ??K ?? - NUM250-2 fail time 300 ??K ?? - NUM251-1 fail time 300 ??K ?? - NUM251-2 fail time 300 ??K ?? - NUM252-1 fail time 300 ??K ?? - NUM252-2 fail time 300 ??K ?? - NUM253-1 fail time 300 ??K ?? - NUM253-2 fail time 300 ??K ?? - NUM254-1 fail time 300 ??K ?? - NUM254-2 fail time 300 ??K ?? - NUM255-1 fail time 300 ??K ?? - NUM255-2 fail time 300 ??K ?? - NUM256-1 fail time 300 ??K ?? - NUM256-2 fail time 300 ??K ?? - NUM257-1 fail time 301 ??K ?? - NUM257-2 fail time 301 ??K ?? - NUM258-1 fail time 300 ??K ?? - NUM258-2 fail time 300 ??K ?? - NUM259-1 fail time 300 ??K ?? - NUM259-2 fail time 300 ??K ?? - NUM260-1 fail time 300 ??K ?? - NUM260-2 fail time 300 ??K ?? - NUM261-1 fail time 300 ??K ?? - NUM261-2 fail time 300 ??K ?? - NUM262-1 fail time 300 ??K ?? - NUM262-2 fail time 300 ??K ?? - NUM263-1 fail time 300 ??K ?? - NUM263-2 fail time 300 ??K ?? - NUM264-1 fail time 300 ??K ?? - NUM264-2 fail time 300 ??K ?? - NUM265-1 fail time 300 ??K ?? - NUM266-1 fail time 300 ??K ?? - NUM267-1 fail time 300 ??K ?? - NUM268-1 fail time 300 ??K ?? - NUM269-1 fail time 300 ??K ?? - NUM270-1 fail time 300 ??K ?? - NUM271-1 fail time 300 ??K ?? - NUM272-1 fail time 300 ??K ?? - NUM273-1 fail time 300 ??K ?? - NUM274-1 fail time 300 ??K ?? - NUM275-1 fail time 300 ??K ?? - NUM276-1 fail time 300 ??K ?? - NUM277-1 fail time 301 ??K ?? - NUM277-2 fail time 301 ??K ?? - NUM278-1 fail time 300 ??K ?? - NUM279-1 fail time 300 ??K ?? - NUM280-1 fail time 300 ??K ?? - NUM281-1 fail time 300 ??K ?? - NUM282-1 fail time 300 ??K ?? - NUM283-1.005 PROOF --- 1 926K 713 39 NUM284-1.014 PROOF --- 1 606K 247 246 NUM285-1 MODEL --- 1 - - 2 PLA001-1 fail sos-empty 20 5077K 28764 - PLA002-1 PROOF --- 1 95K 26 6 PLA002-2 fail sos-empty 61 5652K 615765 - PLA003-1 PROOF --- 1 95K 16 6 PLA004-1 fail time 301 ??K ?? - PLA004-2 fail time 301 ??K ?? - PLA005-1 fail time 301 ??K ?? - PLA005-2 fail time 301 ??K ?? - PLA006-1 PROOF --- 1 542K 1402 2 PLA007-1 fail time 300 ??K ?? - PLA008-1 fail time 301 ??K ?? - PLA009-1 fail time 301 ??K ?? - PLA009-2 fail time 301 ??K ?? - PLA010-1 fail time 301 ??K ?? - PLA011-1 fail time 301 ??K ?? - PLA011-2 fail time 301 ??K ?? - PLA012-1 fail time 300 ??K ?? - PLA013-1 fail time 301 ??K ?? - PLA014-1 fail time 301 ??K ?? - PLA014-2 fail time 301 ??K ?? - PLA015-1 fail time 301 ??K ?? - PLA016-1 fail time 301 ??K ?? - PLA017-1 PROOF --- 1 542K 1308 4 PLA018-1 fail time 301 ??K ?? - PLA019-1 fail time 301 ??K ?? - PLA020-1 PROOF --- 1 127K 125 1 PLA021-1 fail time 301 ??K ?? - PLA022-1 fail time 301 ??K ?? - PLA022-2 fail time 301 ??K ?? - PLA023-1 fail time 301 ??K ?? - PRV001-1 PROOF --- 1 95K 1562 11 PRV002-1 PROOF --- 1 287K 737 3 PRV003-1 PROOF --- 1 95K 14 1 PRV004-1 fail time 300 ??K ?? - PRV005-1 PROOF --- 58 4055K 20545 3 PRV006-1 PROOF --- 1 127K 80 2 PRV007-1 fail time 301 ??K ?? - PRV008-1 PROOF --- 1 223K 514 2 PRV009-1 PROOF --- 1 95K 51 3 PUZ001+1 PROOF --- 1 127K 335 10 PUZ001-1 PROOF --- 1 95K 14 6 PUZ001-2 PROOF --- 1 95K 258 13 PUZ001-3 MODEL --- 1 - - 3 PUZ002-1 PROOF --- 1 95K 9 9 PUZ003-1 PROOF --- 1 95K 19 4 PUZ004-1 PROOF --- 1 63K 9 11 PUZ005-1 PROOF --- 1 191K 735 34 PUZ005+1 PROOF --- 2 1820K 10136 29 PUZ006-1 PROOF --- 1 127K 94 13 PUZ007-1 PROOF --- 1 159K 409 16 PUZ008-1 PROOF --- 1 127K 16 1 PUZ008-2 PROOF --- 1 127K 13 11 PUZ008-3 PROOF --- 1 127K 50 18 PUZ009-1 PROOF --- 1 63K 9 6 PUZ010-1 fail time 300 ??K ?? - PUZ011-1 PROOF --- 1 95K 1 0 PUZ012-1 PROOF --- 1 95K 236 5 PUZ013-1 PROOF --- 1 95K 8 7 PUZ014-1 PROOF --- 1 95K 14 15 PUZ015-1 fail memory 59 11975K 106953 - PUZ015-2.006 fail sos-empty 70 4119K 31252 - PUZ016-1 PROOF --- 1 638K 2483 12 PUZ016-2.004 MODEL --- 1 - - 2 PUZ016-2.005 PROOF --- 4 1884K 15369 395 PUZ017-1 fail time 300 ??K ?? - PUZ018-1 PROOF --- 1 159K 421 17 PUZ018-2 fail sos-empty 10 159K 1768 - PUZ019-1 fail time 300 ??K ?? - PUZ020-1 PROOF --- 1 95K 13 2 PUZ021-1 PROOF --- 147 4470K 37775 18 PUZ022-1 PROOF --- 1 95K 31 2 PUZ023-1 PROOF --- 1 95K 60 4 PUZ024-1 PROOF --- 1 95K 17 2 PUZ025-1 PROOF --- 1 127K 294 4 PUZ026-1 PROOF --- 1 191K 2459 14 PUZ027-1 PROOF --- 1 159K 492 8 PUZ028-1 MODEL --- 1 - - 6 PUZ028-2 fail time 300 ??K ?? - PUZ028-3 fail time 300 ??K ?? - PUZ028-4 fail time 300 ??K ?? - PUZ028-5 PROOF --- 53 702K 241391 117 PUZ028-6 fail time 300 ??K ?? - PUZ029-1 PROOF --- 1 95K 11 8 PUZ030-1 PROOF --- 2 255K 12055 89 PUZ030-2 PROOF --- 1 159K 2025 105 PUZ031-1 PROOF --- 1 127K 68 17 PUZ031+1 PROOF --- 1 127K 68 17 PUZ032-1 PROOF --- 1 95K 38 5 PUZ033-1 PROOF --- 1 63K 11 13 PUZ034-1.003 fail sos-empty 86 4566K 6594 - PUZ034-1.004 fail sos-empty 81 4726K 6197 - PUZ035-1 PROOF --- 1 95K 94 9 PUZ035-2 PROOF --- 1 95K 101 11 PUZ035-3 PROOF --- 1 95K 89 9 PUZ035-4 PROOF --- 1 95K 87 9 PUZ035-5 PROOF --- 1 95K 33 3 PUZ035-6 PROOF --- 1 159K 351 3 PUZ035-7 PROOF --- 293 4470K 1348753 13 PUZ036-1.005 PROOF --- 1 989K 1351 9 PUZ037-1 PROOF --- 1 383K 8 1 PUZ037-2 PROOF --- 13 8334K 4710 3 PUZ037-3 fail memory 18 11975K 6894 - RNG001-1 PROOF --- 2 1564K 19852 15 RNG001-2 fail time 300 ??K ?? - RNG001-3 PROOF --- 4 1500K 154943 13 RNG001-4 PROOF --- 1 926K 10274 10 RNG001-5 PROOF --- 5 5013K 86890 10 RNG002-1 PROOF --- 1 223K 699 5 RNG003-1 PROOF --- 1 191K 577 7 RNG004-1 PROOF --- 1 1245K 12784 23 RNG004-2 PROOF --- 2 1373K 11914 20 RNG004-3 PROOF --- 43 4311K 1359785 4 RNG005-1 PROOF --- 1 479K 2718 12 RNG005-2 PROOF --- 1 223K 1045 1 RNG006-1 PROOF --- 3 1916K 23891 14 RNG006-2 PROOF --- 5 4023K 103986 2 RNG006-3 PROOF --- 1 862K 5615 13 RNG007-1 PROOF --- 1 894K 10555 23 RNG007-4 PROOF --- 1 159K 111 7 RNG007-5 MODEL --- 6 - - 2 RNG008-1 PROOF --- 22 4183K 68357 45 RNG008-2 PROOF --- 26 4023K 49938 39 RNG008-3 PROOF --- 1 447K 750 16 RNG008-4 PROOF --- 1 447K 750 18 RNG008-5 PROOF --- 19 3927K 48626 28 RNG008-6 PROOF --- 25 4119K 98780 32 RNG008-7 PROOF --- 1 510K 1562 36 RNG009-5 fail time 300 ??K ?? - RNG009-7 fail time 301 ??K ?? - RNG010-1 fail time 301 ??K ?? - RNG010-2 PROOF --- 1 95K 0 0 RNG010-5 fail time 300 ??K ?? - RNG010-6 fail time 300 ??K ?? - RNG010-7 fail sos-empty 253 6450K 1396548 - RNG011-5 PROOF --- 1 95K 0 0 RNG012-6 PROOF --- 1 191K 266 8 RNG013-6 PROOF --- 1 191K 268 8 RNG014-6 PROOF --- 1 159K 175 5 RNG015-6 PROOF --- 1 159K 178 7 RNG016-6 PROOF --- 1 383K 1125 10 RNG017-6 PROOF --- 1 191K 291 14 RNG018-6 PROOF --- 1 159K 178 7 RNG019-6 PROOF --- 1 447K 1166 17 RNG019-7 PROOF --- 1 447K 832 13 RNG020-6 PROOF --- 1 447K 1166 15 RNG020-7 PROOF --- 1 447K 832 13 RNG021-6 PROOF --- 1 447K 1166 15 RNG021-7 PROOF --- 1 447K 832 15 RNG023-6 PROOF --- 1 383K 1135 8 RNG023-7 PROOF --- 1 383K 797 5 RNG024-6 PROOF --- 1 383K 1136 8 RNG024-7 PROOF --- 1 383K 798 5 RNG025-1 fail time 301 ??K ?? - RNG025-4 PROOF --- 5 4374K 64879 37 RNG025-5 PROOF --- 24 4438K 105300 31 RNG025-6 PROOF --- 5 4311K 64273 36 RNG025-7 PROOF --- 24 4406K 108083 31 RNG025-8 MODEL --- 6 - - 3 RNG025-9 MODEL --- 8 - - 3 RNG026-6 fail time 300 ??K ?? - RNG026-7 fail time 300 ??K ?? - RNG027-1 fail time 300 ??K ?? - RNG027-2 fail time 301 ??K ?? - RNG027-5 fail time 301 ??K ?? - RNG027-7 fail time 301 ??K ?? - RNG027-8 fail time 300 ??K ?? - RNG027-9 fail time 301 ??K ?? - RNG028-1 fail time 300 ??K ?? - RNG028-2 fail time 301 ??K ?? - RNG028-5 fail time 301 ??K ?? - RNG028-7 fail time 301 ??K ?? - RNG028-8 fail time 300 ??K ?? - RNG028-9 fail time 300 ??K ?? - RNG029-1 fail time 300 ??K ?? - RNG029-2 fail time 301 ??K ?? - RNG029-5 fail time 301 ??K ?? - RNG029-6 fail time 301 ??K ?? - RNG029-7 fail time 301 ??K ?? - RNG030-6 fail time 301 ??K ?? - RNG030-7 fail time 300 ??K ?? - RNG031-6 fail time 300 ??K ?? - RNG031-7 fail time 300 ??K ?? - RNG032-6 fail time 301 ??K ?? - RNG032-7 fail time 301 ??K ?? - RNG033-6 fail time 300 ??K ?? - RNG033-7 fail time 300 ??K ?? - RNG033-8 fail time 300 ??K ?? - RNG033-9 fail time 300 ??K ?? - RNG034-1 fail time 301 ??K ?? - RNG035-7 fail time 301 ??K ?? - RNG036-7 fail memory 15 11975K 1742 - RNG037-1 PROOF --- 1 479K 2718 12 RNG037-2 PROOF --- 1 223K 966 2 RNG038-1 PROOF --- 1 191K 780 5 RNG038-2 PROOF --- 1 223K 935 3 RNG039-1 PROOF --- 1 766K 9354 13 RNG039-2 PROOF --- 97 5875K 2963100 9 RNG040-1 PROOF --- 1 159K 697 1 RNG040-2 PROOF --- 1 223K 1072 4 RNG041-1 PROOF --- 1 255K 3039 4 ROB001-1 fail time 301 ??K ?? - ROB002-1 PROOF --- 1 159K 150 4 ROB003-1 PROOF --- 1 191K 213 17 ROB004-1 PROOF --- 1 479K 729 22 ROB005-1 PROOF --- 3 4438K 18763 37 ROB006-1 fail time 301 ??K ?? - ROB006-2 fail time 300 ??K ?? - ROB006-3 fail time 300 ??K ?? - ROB007-1 fail time 301 ??K ?? - ROB007-2 fail time 301 ??K ?? - ROB007-3 fail time 300 ??K ?? - ROB007-4 fail time 300 ??K ?? - ROB008-1 PROOF --- 1 159K 129 2 ROB009-1 PROOF --- 1 191K 152 6 ROB010-1 PROOF --- 1 127K 62 3 ROB011-1 PROOF --- 1 223K 161 8 ROB012-1 fail time 300 ??K ?? - ROB012-2 fail time 301 ??K ?? - ROB013-1 PROOF --- 1 127K 55 2 ROB014-1 fail time 301 ??K ?? - ROB014-2 PROOF --- 27 4502K 130916 26 ROB015-1 MODEL --- 6 - - 2 ROB015-2 fail time 300 ??K ?? - ROB016-1 PROOF --- 1 255K 177 2 ROB017-1 fail time 301 ??K ?? - ROB018-1 fail time 301 ??K ?? - ROB019-1 fail time 300 ??K ?? - ROB020-1 fail time 301 ??K ?? - ROB020-2 fail time 301 ??K ?? - ROB021-1 PROOF --- 1 415K 689 3 ROB022-1 PROOF --- 1 830K 881 25 ROB023-1 PROOF --- 1 574K 771 24 ROB024-1 fail time 300 ??K ?? - ROB025-1 fail time 300 ??K ?? - ROB026-1 fail time 301 ??K ?? - ROB027-1 fail time 301 ??K ?? - SET001-1 PROOF --- 1 95K 15 2 SET002-1 PROOF --- 1 191K 1914 21 SET002+3 PROOF --- 1 95K 23 1 SET002+4 fail time 301 ??K ?? - SET002-6 fail time 300 ??K ?? - SET003-1 PROOF --- 1 95K 21 3 SET004-1 PROOF --- 1 95K 19 3 SET005-1 PROOF --- 59 989K 173241 34 SET006-1 PROOF --- 1 95K 20 3 SET007-1 fail time 301 ??K ?? - SET008-1 PROOF --- 1 159K 988 1 SET008+3 PROOF --- 22 2426K 10049 9 SET009-1 PROOF --- 1 159K 365 5 SET009+3 PROOF --- 1 159K 403 7 SET010-1 fail time 301 ??K ?? - SET010+3 fail time 301 ??K ?? - SET011-1 PROOF --- 5 351K 21539 18 SET011+3 fail time 301 ??K ?? - SET012-1 fail time 301 ??K ?? - SET012-2 fail time 301 ??K ?? - SET012-3 fail time 300 ??K ?? - SET012+4 fail time 300 ??K ?? - SET012-4 PROOF --- 32 2203K 10060 8 SET013-1 fail time 301 ??K ?? - SET013-2 fail time 301 ??K ?? - SET013-3 fail time 300 ??K ?? - SET013+4 fail time 301 ??K ?? - SET013-4 PROOF --- 122 4247K 61801 15 SET014-2 PROOF --- 191 4247K 72728 9 SET014-3 fail time 300 ??K ?? - SET014+3 fail time 301 ??K ?? - SET014-4 fail time 300 ??K ?? - SET014+4 fail time 301 ??K ?? - SET014-6 fail time 300 ??K ?? - SET015-1 fail time 301 ??K ?? - SET015-2 fail time 301 ??K ?? - SET015-3 fail time 300 ??K ?? - SET015-4 fail time 300 ??K ?? - SET015+4 fail time 300 ??K ?? - SET016+1 fail time 300 ??K ?? - SET016-1 PROOF --- 115 4215K 12603 14 SET016-3 fail time 300 ??K ?? - SET016+4 fail time 300 ??K ?? - SET016-6 fail time 300 ??K ?? - SET016-7 fail time 300 ??K ?? - SET017+1 fail time 300 ??K ?? - SET017-3 fail time 300 ??K ?? - SET017-4 fail time 300 ??K ?? - SET017-6 PROOF --- 13 4279K 38424 13 SET017-7 PROOF --- 23 4438K 78943 15 SET018-1 fail time 300 ??K ?? - SET018+1 fail time 300 ??K ?? - SET018-3 fail time 300 ??K ?? - SET018-4 fail time 300 ??K ?? - SET018+4 fail time 301 ??K ?? - SET018-6 fail time 300 ??K ?? - SET018-7 fail time 300 ??K ?? - SET019-3 PROOF --- 2 1628K 3250 6 SET019+4 PROOF --- 1 127K 19 1 SET019-4 PROOF --- 2 1532K 2937 6 SET020+1 fail time 300 ??K ?? - SET020-3 fail time 300 ??K ?? - SET020-4 fail time 300 ??K ?? - SET020-6 fail time 300 ??K ?? - SET020-7 fail time 300 ??K ?? - SET021-3 fail time 300 ??K ?? - SET021-4 fail time 300 ??K ?? - SET021-6 fail time 300 ??K ?? - SET021-7 fail time 300 ??K ?? - SET022-3 fail time 300 ??K ?? - SET022-4 fail time 300 ??K ?? - SET023-3 fail time 300 ??K ?? - SET023-4 fail time 300 ??K ?? - SET024+1 PROOF --- 30 4279K 148790 9 SET024-3 PROOF --- 1 447K 357 2 SET024-4 PROOF --- 1 447K 284 2 SET024-6 PROOF --- 1 287K 80 3 SET024-7 PROOF --- 1 351K 300 3 SET025+1 PROOF --- 1 319K 274 2 SET025-3 PROOF --- 1 415K 168 2 SET025-4 PROOF --- 1 383K 133 2 SET025-6 PROOF --- 1 479K 505 3 SET025-7 PROOF --- 1 574K 730 3 SET025-8 fail time 300 ??K ?? - SET025-9 fail time 300 ??K ?? - SET027+1 PROOF --- 5 4055K 18509 4 SET027+3 PROOF --- 1 95K 8 4 SET027-3 PROOF --- 75 4470K 23785 4 SET027+4 PROOF --- 1 351K 619 4 SET027-4 PROOF --- 218 4215K 58539 4 SET027-6 PROOF --- 1 798K 1409 4 SET027-7 PROOF --- 1 798K 1411 4 SET028-3 fail time 300 ??K ?? - SET028-4 fail time 300 ??K ?? - SET029-3 fail time 301 ??K ?? - SET029-4 fail time 301 ??K ?? - SET030-3 fail time 300 ??K ?? - SET030-4 fail time 300 ??K ?? - SET030-6 fail time 300 ??K ?? - SET031-3 fail time 300 ??K ?? - SET031-4 fail time 300 ??K ?? - SET032-3 fail time 300 ??K ?? - SET032-4 fail time 300 ??K ?? - SET032-6 fail time 300 ??K ?? - SET033-3 fail time 300 ??K ?? - SET033-4 fail time 300 ??K ?? - SET033-6 fail time 300 ??K ?? - SET034-3 fail time 300 ??K ?? - SET034-4 fail time 300 ??K ?? - SET034-6 fail time 300 ??K ?? - SET035-3 fail time 300 ??K ?? - SET035-4 fail time 300 ??K ?? - SET035-6 fail time 300 ??K ?? - SET036-3 fail time 300 ??K ?? - SET036-4 fail time 300 ??K ?? - SET036-6 fail time 300 ??K ?? - SET037-3 fail time 300 ??K ?? - SET037-4 fail time 300 ??K ?? - SET037-6 fail time 300 ??K ?? - SET038-3 fail time 300 ??K ?? - SET038-4 fail time 300 ??K ?? - SET038-6 fail time 300 ??K ?? - SET039-3 fail time 301 ??K ?? - SET039-4 fail time 300 ??K ?? - SET040-3 fail time 300 ??K ?? - SET040-4 fail time 300 ??K ?? - SET040-6 fail time 300 ??K ?? - SET041-3 fail time 300 ??K ?? - SET041-4 fail time 300 ??K ?? - SET041-6 fail time 300 ??K ?? - SET042-3 fail time 300 ??K ?? - SET042-4 fail time 300 ??K ?? - SET043+1 PROOF --- 1 63K 2 2 SET043-5 PROOF --- 1 63K 2 2 SET044+1 PROOF --- 1 95K 19 4 SET044-5 PROOF --- 1 63K 19 4 SET045+1 PROOF --- 1 63K 2 2 SET045-5 PROOF --- 1 63K 2 2 SET046+1 PROOF --- 1 95K 72 5 SET046-5 PROOF --- 1 63K 25 5 SET047+1 PROOF --- 1 127K 535 19 SET047-5 PROOF --- 1 127K 535 19 SET050-6 PROOF --- 1 1181K 2179 3 SET051-6 PROOF --- 1 1149K 2106 3 SET052-6 PROOF --- 1 1341K 2706 2 SET053-6 PROOF --- 1 1309K 2631 2 SET054+1 PROOF --- 1 510K 850 2 SET054-6 PROOF --- 1 255K 9 1 SET054-7 PROOF --- 1 255K 9 1 SET055+1 PROOF --- 22 4215K 110654 4 SET055-6 PROOF --- 4 4087K 22578 4 SET055-7 PROOF --- 1 351K 69 2 SET056+1 fail time 300 ??K ?? - SET056-6 PROOF --- 22 4342K 57547 2 SET056-7 PROOF --- 23 4374K 59098 2 SET057+1 fail time 300 ??K ?? - SET057-6 PROOF --- 1 351K 262 2 SET057-7 PROOF --- 1 351K 291 2 SET058+1 fail time 300 ??K ?? - SET058-6 PROOF --- 1 351K 262 2 SET058-7 PROOF --- 1 351K 291 2 SET059+1 fail time 300 ??K ?? - SET059-6 PROOF --- 1 383K 332 4 SET059-7 PROOF --- 1 383K 368 4 SET060+1 PROOF --- 2 2778K 8236 3 SET060-6 PROOF --- 1 766K 1314 2 SET060-7 PROOF --- 1 926K 1730 2 SET061+1 PROOF --- 1 191K 11 0 SET061-6 PROOF --- 19 4215K 30431 7 SET061-7 PROOF --- 1 1341K 2927 2 SET062+1 PROOF --- 1 191K 14 1 SET062+3 PROOF --- 1 95K 1 1 SET062+4 PROOF --- 1 159K 97 1 SET062-6 PROOF --- 2 3225K 7516 6 SET062-7 PROOF --- 1 287K 82 1 SET063+1 PROOF --- 1 223K 107 1 SET063+3 PROOF --- 1 95K 11 2 SET063+4 fail time 301 ??K ?? - SET063-6 PROOF --- 2 3065K 7422 6 SET063-7 PROOF --- 1 319K 143 1 SET064+1 fail time 300 ??K ?? - SET064-6 PROOF --- 22 4374K 64581 6 SET064-7 PROOF --- 1 1596K 3823 3 SET065+1 PROOF --- 1 255K 139 2 SET065-6 PROOF --- 1 287K 86 2 SET065-7 PROOF --- 1 319K 156 2 SET066+1 fail time 300 ??K ?? - SET066-6 fail time 301 ??K ?? - SET066-7 fail time 301 ??K ?? - SET067+1 fail time 300 ??K ?? - SET067-6 fail time 300 ??K ?? - SET067-7 fail time 300 ??K ?? - SET068-6 fail time 300 ??K ?? - SET068-7 fail time 300 ??K ?? - SET069+1 fail time 300 ??K ?? - SET069-6 fail time 300 ??K ?? - SET069-7 fail time 300 ??K ?? - SET070-6 fail time 300 ??K ?? - SET070-7 fail time 300 ??K ?? - SET071+1 fail time 300 ??K ?? - SET071-6 fail time 300 ??K ?? - SET071-7 PROOF --- 245 4981K 1496318 29 SET072+1 PROOF --- 239 4758K 3403028 16 SET072-6 PROOF --- 22 4470K 110590 11 SET072-7 PROOF --- 41 4502K 180616 16 SET073+1 PROOF --- 30 4279K 148800 9 SET073-6 PROOF --- 19 4215K 30549 7 SET073-7 PROOF --- 1 447K 580 0 SET074+1 PROOF --- 30 4279K 148800 9 SET074-6 PROOF --- 19 4215K 30549 7 SET074-7 PROOF --- 1 447K 574 0 SET075-6 PROOF --- 5 4151K 24702 7 SET075-7 PROOF --- 1 447K 531 1 SET076+1 fail time 300 ??K ?? - SET076-6 fail time 300 ??K ?? - SET076-7 fail time 300 ??K ?? - SET077+1 PROOF --- 1 191K 11 1 SET077-6 PROOF --- 1 255K 8 2 SET077-7 PROOF --- 1 287K 11 2 SET078-6 PROOF --- 1 319K 156 3 SET078-7 PROOF --- 1 351K 246 3 SET079+1 PROOF --- 30 4279K 151092 10 SET079-6 PROOF --- 20 4279K 33792 9 SET079-7 PROOF --- 1 447K 559 2 SET080-6 PROOF --- 1 287K 117 5 SET080-7 PROOF --- 1 319K 183 3 SET081+1 PROOF --- 1 510K 817 4 SET081-6 PROOF --- 1 351K 222 4 SET081-7 PROOF --- 1 447K 506 4 SET082+1 PROOF --- 260 4790K 3305477 8 SET082-6 PROOF --- 24 4374K 68179 6 SET082-7 PROOF --- 20 4534K 16303 3 SET083+1 PROOF --- 31 4342K 154317 12 SET083-6 PROOF --- 23 4374K 65572 10 SET083-7 PROOF --- 36 4853K 95204 9 SET084+1 PROOF --- 31 4342K 174604 15 SET084-6 PROOF --- 1 1245K 2334 7 SET084-7 PROOF --- 4 3640K 9297 7 SET085-6 PROOF --- 19 4438K 82693 11 SET085-7 PROOF --- 72 4949K 270361 15 SET086+1 PROOF --- 80 4598K 793082 11 SET086-6 fail time 300 ??K ?? - SET086-7 fail time 300 ??K ?? - SET087-6 fail time 300 ??K ?? - SET087-7 fail time 300 ??K ?? - SET088-6 fail time 300 ??K ?? - SET088-7 fail time 300 ??K ?? - SET089-6 fail time 300 ??K ?? - SET089-7 fail time 300 ??K ?? - SET090+1 fail time 300 ??K ?? - SET090-6 fail time 300 ??K ?? - SET090-7 fail time 300 ??K ?? - SET091+1 fail time 300 ??K ?? - SET091-6 fail time 300 ??K ?? - SET091-7 fail time 300 ??K ?? - SET092-6 fail time 300 ??K ?? - SET092-7 fail time 300 ??K ?? - SET093+1 PROOF --- 2 2554K 7530 2 SET093-6 PROOF --- 1 1277K 2514 3 SET093-7 PROOF --- 13 4502K 11943 3 SET094+1 PROOF --- 104 4853K 1122273 15 SET094-6 PROOF --- 14 4279K 49325 5 SET094-7 PROOF --- 5 4151K 16634 7 SET095+1 fail time 300 ??K ?? - SET095+4 PROOF --- 5 3097K 7332 2 SET095-6 PROOF --- 65 4758K 543492 5 SET095-7 PROOF --- 1 383K 278 4 SET096+1 fail time 300 ??K ?? - SET096-6 PROOF --- 52 4726K 372560 12 SET096-7 PROOF --- 2 2905K 7759 11 SET097+1 fail time 300 ??K ?? - SET097-6 fail time 300 ??K ?? - SET097-7 fail time 300 ??K ?? - SET098+1 fail time 300 ??K ?? - SET098-6 fail time 300 ??K ?? - SET098-7 fail time 300 ??K ?? - SET099+1 fail time 300 ??K ?? - SET099-6 fail time 300 ??K ?? - SET099-7 fail time 300 ??K ?? - SET100-6 fail time 300 ??K ?? - SET100-7 fail time 300 ??K ?? - SET101+1 PROOF --- 52 4438K 389220 11 SET101-6 PROOF --- 1 479K 506 4 SET101-7 PROOF --- 1 574K 757 4 SET102+1 fail time 300 ??K ?? - SET102-6 PROOF --- 1 479K 504 4 SET102-7 PROOF --- 1 574K 749 4 SET103+1 fail time 300 ??K ?? - SET103-6 fail time 300 ??K ?? - SET103-7 fail time 300 ??K ?? - SET104+1 fail time 300 ??K ?? - SET104-6 fail time 300 ??K ?? - SET104-7 fail time 300 ??K ?? - SET105+1 fail time 300 ??K ?? - SET105-6 fail time 300 ??K ?? - SET105-7 fail time 300 ??K ?? - SET108+1 fail time 300 ??K ?? - SET108-6 PROOF --- 1 1053K 1857 2 SET108-7 PROOF --- 3 3257K 8251 2 SET109-6 fail time 300 ??K ?? - SET109-7 fail time 300 ??K ?? - SET110-6 fail time 301 ??K ?? - SET110-7 fail time 300 ??K ?? - SET111-6 fail time 300 ??K ?? - SET111-7 fail time 300 ??K ?? - SET112-6 fail time 300 ??K ?? - SET112-7 fail time 300 ??K ?? - SET113+1 fail time 300 ??K ?? - SET113-6 fail time 300 ??K ?? - SET113-7 fail time 300 ??K ?? - SET114-6 fail time 300 ??K ?? - SET114-7 fail time 300 ??K ?? - SET115-6 fail time 300 ??K ?? - SET115-7 fail time 300 ??K ?? - SET116-6 fail time 300 ??K ?? - SET116-7 fail time 300 ??K ?? - SET117+1 PROOF --- 2 2554K 7535 3 SET117-6 PROOF --- 1 1277K 2520 4 SET117-7 PROOF --- 5 4087K 12374 1 SET118-6 PROOF --- 1 351K 236 1 SET118-7 PROOF --- 1 542K 650 1 SET119+1 fail time 300 ??K ?? - SET119-6 fail time 300 ??K ?? - SET119-7 PROOF --- 190 5141K 1151357 8 SET120+1 fail time 300 ??K ?? - SET120-6 fail time 300 ??K ?? - SET120-7 PROOF --- 194 5141K 1172331 12 SET121+1 fail time 300 ??K ?? - SET121-6 fail time 300 ??K ?? - SET121-7 PROOF --- 190 5141K 1149689 8 SET122+1 fail time 300 ??K ?? - SET122-6 fail time 300 ??K ?? - SET122-7 PROOF --- 192 5141K 1167917 8 SET123-6 fail time 300 ??K ?? - SET124-6 fail time 300 ??K ?? - SET125-6 PROOF --- 187 5013K 1966611 9 SET126-6 fail time 300 ??K ?? - SET127-6 fail time 300 ??K ?? - SET128-6 fail time 300 ??K ?? - SET129-6 fail time 300 ??K ?? - SET130-6 fail time 300 ??K ?? - SET131-6 fail time 300 ??K ?? - SET132-6 fail time 300 ??K ?? - SET133-6 fail time 300 ??K ?? - SET134-6 fail time 300 ??K ?? - SET135-6 fail time 300 ??K ?? - SET136-6 fail time 301 ??K ?? - SET137-6 fail time 301 ??K ?? - SET138-6 fail time 300 ??K ?? - SET139-6 fail time 300 ??K ?? - SET140-6 fail time 300 ??K ?? - SET141-6 fail time 300 ??K ?? - SET142-6 fail time 300 ??K ?? - SET143+3 fail time 301 ??K ?? - SET143+4 fail time 301 ??K ?? - SET143-6 fail time 300 ??K ?? - SET144+3 fail time 301 ??K ?? - SET144-6 fail time 300 ??K ?? - SET145-6 fail time 300 ??K ?? - SET146+3 PROOF --- 1 319K 801 10 SET146-6 PROOF --- 19 4438K 78626 6 SET147-6 fail time 300 ??K ?? - SET148+3 PROOF --- 1 95K 23 1 SET148+4 fail time 301 ??K ?? - SET148-6 fail time 300 ??K ?? - SET149-6 fail time 300 ??K ?? - SET150-6 fail time 300 ??K ?? - SET151-6 fail time 300 ??K ?? - SET152-6 PROOF --- 1 1213K 2080 2 SET153-6 fail time 300 ??K ?? - SET154-6 fail time 300 ??K ?? - SET155+4 fail time 301 ??K ?? - SET155-6 fail time 300 ??K ?? - SET156+4 fail time 301 ??K ?? - SET156-6 fail time 300 ??K ?? - SET157-6 fail time 300 ??K ?? - SET158-6 PROOF --- 1 383K 255 2 SET159+3 fail time 301 ??K ?? - SET159+4 fail time 301 ??K ?? - SET159-6 fail time 300 ??K ?? - SET160-6 fail time 300 ??K ?? - SET161-6 fail time 300 ??K ?? - SET162+3 PROOF --- 108 4087K 48424 10 SET162+4 fail time 301 ??K ?? - SET162-6 fail time 300 ??K ?? - SET163-6 fail time 300 ??K ?? - SET165-6 fail time 300 ??K ?? - SET166-6 PROOF --- 14 4279K 46298 7 SET167-6 PROOF --- 254 4694K 2685444 6 SET168-6 PROOF --- 239 4662K 2449591 6 SET169+3 fail time 300 ??K ?? - SET169+4 fail time 301 ??K ?? - SET169-6 fail time 300 ??K ?? - SET170-6 fail time 300 ??K ?? - SET171+3 fail time 300 ??K ?? - SET171+4 fail time 301 ??K ?? - SET171-6 fail time 300 ??K ?? - SET172-6 fail time 300 ??K ?? - SET173+3 PROOF --- 38 4311K 22132 11 SET173-6 fail time 300 ??K ?? - SET174-6 fail time 300 ??K ?? - SET175+3 PROOF --- 121 4438K 91836 12 SET175-6 fail time 300 ??K ?? - SET176-6 fail time 300 ??K ?? - SET177-6 fail time 300 ??K ?? - SET178-6 fail time 300 ??K ?? - SET179-6 fail time 300 ??K ?? - SET180-6 fail time 300 ??K ?? - SET181-6 fail time 300 ??K ?? - SET182-6 fail time 300 ??K ?? - SET183+3 PROOF --- 1 1149K 3851 10 SET183-6 fail time 300 ??K ?? - SET184-6 PROOF --- 1 926K 1664 4 SET185+3 PROOF --- 90 4279K 34081 10 SET185-6 fail time 300 ??K ?? - SET186-6 fail time 300 ??K ?? - SET187-6 fail time 300 ??K ?? - SET188-6 fail time 300 ??K ?? - SET189-6 fail time 300 ??K ?? - SET190-6 fail time 300 ??K ?? - SET191-6 fail time 301 ??K ?? - SET192-6 fail time 301 ??K ?? - SET193-6 fail time 300 ??K ?? - SET194+3 PROOF --- 1 191K 313 3 SET194-6 fail time 300 ??K ?? - SET195-6 fail time 300 ??K ?? - SET196+3 PROOF --- 1 159K 288 3 SET196-6 PROOF --- 17 4406K 64979 3 SET197-6 PROOF --- 17 4406K 64534 3 SET199+3 PROOF --- 1 479K 1577 5 SET199+4 fail time 300 ??K ?? - SET199-6 fail time 300 ??K ?? - SET200+3 fail time 300 ??K ?? - SET200-6 fail time 300 ??K ?? - SET201+3 PROOF --- 3 2043K 6044 7 SET201-6 fail time 300 ??K ?? - SET202-6 fail time 300 ??K ?? - SET203-6 PROOF --- 1 383K 236 3 SET204-6 PROOF --- 1 1341K 2391 3 SET205-6 fail time 300 ??K ?? - SET206-6 fail time 300 ??K ?? - SET207-6 fail time 300 ??K ?? - SET208-6 fail time 300 ??K ?? - SET209-6 fail time 300 ??K ?? - SET210-6 fail time 300 ??K ?? - SET211-6 fail time 300 ??K ?? - SET212-6 fail time 300 ??K ?? - SET213-6 fail time 300 ??K ?? - SET214-6 fail time 300 ??K ?? - SET215-6 fail time 300 ??K ?? - SET216-6 fail time 300 ??K ?? - SET217-6 fail time 300 ??K ?? - SET218-6 fail time 300 ??K ?? - SET219-6 fail time 300 ??K ?? - SET220-6 fail time 300 ??K ?? - SET221-6 fail time 300 ??K ?? - SET222-6 fail time 300 ??K ?? - SET223-6 fail time 300 ??K ?? - SET224-6 fail time 300 ??K ?? - SET225-6 fail time 300 ??K ?? - SET226-6 fail time 300 ??K ?? - SET227-6 fail time 301 ??K ?? - SET228-6 fail time 301 ??K ?? - SET229-6 fail time 300 ??K ?? - SET230-6 fail time 300 ??K ?? - SET231-6 fail time 300 ??K ?? - SET232-6 fail time 300 ??K ?? - SET233-6 fail time 300 ??K ?? - SET234-6 fail time 300 ??K ?? - SET235-6 PROOF --- 2 3289K 7200 4 SET236-6 PROOF --- 2 3321K 7343 5 SET237-6 fail time 300 ??K ?? - SET238-6 fail time 300 ??K ?? - SET239-6 PROOF --- 101 4821K 978480 2 SET240-6 fail time 301 ??K ?? - SET241-6 fail time 300 ??K ?? - SET242-6 PROOF --- 1 415K 329 1 SET243-6 fail time 300 ??K ?? - SET244-6 fail time 300 ??K ?? - SET245-6 fail time 300 ??K ?? - SET246-6 fail time 300 ??K ?? - SET247-6 fail time 300 ??K ?? - SET248-6 fail time 300 ??K ?? - SET249-6 fail time 300 ??K ?? - SET250-6 fail time 300 ??K ?? - SET251-6 fail time 300 ??K ?? - SET252-6 PROOF --- 69 4662K 601226 4 SET253-6 fail time 300 ??K ?? - SET254-6 fail time 300 ??K ?? - SET255-6 fail time 300 ??K ?? - SET256-6 fail time 300 ??K ?? - SET257-6 fail time 300 ??K ?? - SET258-6 fail time 300 ??K ?? - SET259-6 fail time 300 ??K ?? - SET260-6 fail time 300 ??K ?? - SET261-6 fail time 300 ??K ?? - SET262-6 fail time 300 ??K ?? - SET263-6 fail time 300 ??K ?? - SET264-6 fail time 300 ??K ?? - SET265-6 fail time 300 ??K ?? - SET266-6 fail time 300 ??K ?? - SET267-6 fail time 300 ??K ?? - SET268-6 fail time 300 ??K ?? - SET269-6 fail time 300 ??K ?? - SET270-6 fail time 300 ??K ?? - SET271-6 fail time 300 ??K ?? - SET272-6 fail time 300 ??K ?? - SET273-6 fail time 300 ??K ?? - SET274-6 fail time 300 ??K ?? - SET275-6 fail time 300 ??K ?? - SET276-6 fail time 301 ??K ?? - SET277-6 fail time 300 ??K ?? - SET278-6 fail time 300 ??K ?? - SET279-6 fail time 300 ??K ?? - SET280-6 fail time 300 ??K ?? - SET281-6 fail time 300 ??K ?? - SET282-6 fail time 300 ??K ?? - SET283-6 fail time 300 ??K ?? - SET284-6 fail time 300 ??K ?? - SET285-6 fail time 300 ??K ?? - SET286-6 fail time 300 ??K ?? - SET287-6 fail time 300 ??K ?? - SET288-6 fail time 300 ??K ?? - SET289-6 fail time 300 ??K ?? - SET290-6 fail time 300 ??K ?? - SET291-6 fail time 300 ??K ?? - SET292-6 fail time 300 ??K ?? - SET293-6 fail time 300 ??K ?? - SET294-6 fail time 300 ??K ?? - SET295-6 fail time 300 ??K ?? - SET296-6 PROOF --- 1 287K 8 4 SET297-6 fail time 300 ??K ?? - SET298-6 fail time 300 ??K ?? - SET299-6 fail time 300 ??K ?? - SET300-6 fail time 300 ??K ?? - SET301-6 fail time 300 ??K ?? - SET302-6 fail time 300 ??K ?? - SET303-6 fail time 300 ??K ?? - SET304-6 fail time 301 ??K ?? - SET305-6 fail time 301 ??K ?? - SET306-6 fail time 300 ??K ?? - SET307-6 fail time 300 ??K ?? - SET308-6 fail time 300 ??K ?? - SET309-6 fail time 300 ??K ?? - SET310-6 fail time 300 ??K ?? - SET311-6 fail time 300 ??K ?? - SET312-6 fail time 300 ??K ?? - SET313-6 fail time 300 ??K ?? - SET314-6 fail time 300 ??K ?? - SET315-6 fail time 300 ??K ?? - SET316-6 fail time 300 ??K ?? - SET317-6 fail time 300 ??K ?? - SET318-6 fail time 300 ??K ?? - SET319-6 fail time 300 ??K ?? - SET320-6 fail time 300 ??K ?? - SET321-6 fail time 300 ??K ?? - SET322-6 fail time 300 ??K ?? - SET323-6 fail time 300 ??K ?? - SET324-6 fail time 300 ??K ?? - SET325-6 fail time 300 ??K ?? - SET326-6 fail time 300 ??K ?? - SET327-6 fail time 300 ??K ?? - SET328-6 fail time 300 ??K ?? - SET329-6 fail time 300 ??K ?? - SET330-6 fail time 300 ??K ?? - SET331-6 fail time 300 ??K ?? - SET332-6 fail time 301 ??K ?? - SET333-6 fail time 301 ??K ?? - SET334-6 fail time 300 ??K ?? - SET335-6 fail time 300 ??K ?? - SET336-6 fail time 300 ??K ?? - SET337-6 fail time 300 ??K ?? - SET338-6 fail time 300 ??K ?? - SET339-6 fail time 300 ??K ?? - SET340-6 fail time 300 ??K ?? - SET341-6 fail time 300 ??K ?? - SET342-6 fail time 300 ??K ?? - SET343-6 fail time 300 ??K ?? - SET344-6 fail time 300 ??K ?? - SET345-6 fail time 300 ??K ?? - SET346-6 fail time 300 ??K ?? - SET347+4 fail time 300 ??K ?? - SET347-6 fail time 300 ??K ?? - SET348-6 fail time 300 ??K ?? - SET349-6 fail time 300 ??K ?? - SET350-6 fail time 300 ??K ?? - SET351+4 fail time 301 ??K ?? - SET351-6 fail time 300 ??K ?? - SET352+4 fail time 300 ??K ?? - SET352-6 fail time 300 ??K ?? - SET353-6 fail time 300 ??K ?? - SET354-6 fail time 300 ??K ?? - SET355+4 PROOF --- 24 4215K 24627 3 SET355-6 fail time 300 ??K ?? - SET356-6 fail time 300 ??K ?? - SET357-6 fail time 300 ??K ?? - SET358+4 fail time 301 ??K ?? - SET358-6 fail time 300 ??K ?? - SET359-6 fail time 300 ??K ?? - SET360-6 fail time 301 ??K ?? - SET361-6 fail time 300 ??K ?? - SET362-6 fail time 300 ??K ?? - SET363-6 fail time 300 ??K ?? - SET364-6 fail time 300 ??K ?? - SET365-6 fail time 300 ??K ?? - SET366+4 PROOF --- 43 4406K 79069 8 SET366-6 fail time 300 ??K ?? - SET367-6 fail time 300 ??K ?? - SET368-6 fail time 300 ??K ?? - SET369-6 fail time 300 ??K ?? - SET370-6 fail time 300 ??K ?? - SET371-6 fail time 300 ??K ?? - SET372+4 fail time 301 ??K ?? - SET372-6 fail time 300 ??K ?? - SET373-6 fail time 300 ??K ?? - SET374-6 fail time 300 ??K ?? - SET375-6 fail time 300 ??K ?? - SET376-6 fail time 300 ??K ?? - SET377-6 fail time 300 ??K ?? - SET378-6 fail time 300 ??K ?? - SET379-6 fail time 300 ??K ?? - SET380-6 fail time 300 ??K ?? - SET381-6 fail time 300 ??K ?? - SET382-6 fail time 300 ??K ?? - SET383-6 fail time 300 ??K ?? - SET384-6 fail time 300 ??K ?? - SET385-6 fail time 300 ??K ?? - SET386-6 fail time 300 ??K ?? - SET387-6 fail time 300 ??K ?? - SET388-6 fail time 301 ??K ?? - SET389-6 fail time 301 ??K ?? - SET390-6 fail time 300 ??K ?? - SET391-6 fail time 300 ??K ?? - SET392-6 fail time 300 ??K ?? - SET393-6 fail time 300 ??K ?? - SET394-6 fail time 300 ??K ?? - SET395-6 fail time 300 ??K ?? - SET396-6 fail time 300 ??K ?? - SET397-6 fail time 300 ??K ?? - SET398-6 fail time 300 ??K ?? - SET399-6 fail time 300 ??K ?? - SET400-6 fail time 300 ??K ?? - SET401-6 fail time 300 ??K ?? - SET402-6 fail time 300 ??K ?? - SET403-6 fail time 300 ??K ?? - SET404-6 fail time 300 ??K ?? - SET405-6 fail time 300 ??K ?? - SET406-6 fail time 300 ??K ?? - SET407-6 fail time 300 ??K ?? - SET408-6 fail time 300 ??K ?? - SET409-6 fail time 300 ??K ?? - SET410-6 fail time 300 ??K ?? - SET411-6 PROOF --- 4 4119K 15062 4 SET412-6 fail time 300 ??K ?? - SET413-6 fail time 300 ??K ?? - SET414-6 fail time 300 ??K ?? - SET415-6 fail time 300 ??K ?? - SET416-6 fail time 300 ??K ?? - SET417-6 fail time 301 ??K ?? - SET418-6 fail time 301 ??K ?? - SET419-6 fail time 300 ??K ?? - SET420-6 fail time 300 ??K ?? - SET421-6 fail time 300 ??K ?? - SET422-6 fail time 300 ??K ?? - SET423-6 fail time 300 ??K ?? - SET424-6 fail time 300 ??K ?? - SET425-6 fail time 300 ??K ?? - SET426-6 fail time 300 ??K ?? - SET427-6 fail time 300 ??K ?? - SET428-6 fail time 300 ??K ?? - SET429-6 fail time 300 ??K ?? - SET430-6 fail time 300 ??K ?? - SET431-6 fail time 300 ??K ?? - SET432-6 fail time 300 ??K ?? - SET433-6 fail time 300 ??K ?? - SET434-6 fail time 300 ??K ?? - SET435-6 fail time 300 ??K ?? - SET436-6 fail time 300 ??K ?? - SET437-6 fail time 300 ??K ?? - SET438-6 fail time 300 ??K ?? - SET439-6 fail time 300 ??K ?? - SET440-6 fail time 300 ??K ?? - SET441-6 fail time 300 ??K ?? - SET442-6 fail time 300 ??K ?? - SET443-6 fail time 300 ??K ?? - SET444-6 fail time 300 ??K ?? - SET445-6 fail time 301 ??K ?? - SET446-6 fail time 300 ??K ?? - SET447-6 fail time 300 ??K ?? - SET448-6 fail time 300 ??K ?? - SET449-6 fail time 300 ??K ?? - SET450-6 fail time 300 ??K ?? - SET451-6 fail time 300 ??K ?? - SET452-6 fail time 300 ??K ?? - SET453-6 fail time 300 ??K ?? - SET454-6 fail time 300 ??K ?? - SET455-6 fail time 300 ??K ?? - SET456-6 fail time 300 ??K ?? - SET457-6 fail time 300 ??K ?? - SET458-6 fail time 300 ??K ?? - SET459-6 fail time 300 ??K ?? - SET460-6 fail time 300 ??K ?? - SET461-6 fail time 300 ??K ?? - SET462-6 fail time 300 ??K ?? - SET463-6 fail time 300 ??K ?? - SET464-6 fail time 300 ??K ?? - SET465-6 fail time 300 ??K ?? - SET466-6 fail time 300 ??K ?? - SET467-6 fail time 300 ??K ?? - SET468-6 fail time 300 ??K ?? - SET469-6 fail time 300 ??K ?? - SET470-6 fail time 300 ??K ?? - SET471-6 fail time 300 ??K ?? - SET472-6 fail time 300 ??K ?? - SET473-6 fail time 301 ??K ?? - SET474-6 fail time 300 ??K ?? - SET475-6 fail time 300 ??K ?? - SET476-6 fail time 300 ??K ?? - SET477-6 fail time 300 ??K ?? - SET478-6 fail time 300 ??K ?? - SET479-6 PROOF --- 21 4406K 99094 3 SET480-6 fail time 300 ??K ?? - SET481-6 fail time 300 ??K ?? - SET482-6 fail time 300 ??K ?? - SET483-6 fail time 300 ??K ?? - SET484-6 fail time 300 ??K ?? - SET485-6 fail time 300 ??K ?? - SET486-6 fail time 300 ??K ?? - SET487-6 fail time 300 ??K ?? - SET488-6 fail time 300 ??K ?? - SET489-6 fail time 300 ??K ?? - SET490-6 fail time 300 ??K ?? - SET491-6 fail time 300 ??K ?? - SET492-6 fail time 300 ??K ?? - SET493-6 fail time 300 ??K ?? - SET494-6 fail time 300 ??K ?? - SET495-6 fail time 300 ??K ?? - SET496-6 fail time 300 ??K ?? - SET497-6 fail time 300 ??K ?? - SET498-6 fail time 300 ??K ?? - SET499-6 fail time 300 ??K ?? - SET500-6 fail time 300 ??K ?? - SET501-6 fail time 300 ??K ?? - SET502-6 fail time 300 ??K ?? - SET503-6 fail time 301 ??K ?? - SET504-6 fail time 301 ??K ?? - SET505-6 fail time 300 ??K ?? - SET506-6 PROOF --- 3 3384K 9255 22 SET507-6 PROOF --- 13 4438K 13377 23 SET508-6 fail time 300 ??K ?? - SET509-6 fail time 300 ??K ?? - SET510-6 PROOF --- 19 4374K 78627 14 SET511-6 fail time 300 ??K ?? - SET512-6 fail time 300 ??K ?? - SET513-6 fail time 300 ??K ?? - SET514-6 fail time 300 ??K ?? - SET515-6 fail time 300 ??K ?? - SET516-6 PROOF --- 42 4374K 235810 24 SET517-6 PROOF --- 44 4342K 245178 25 SET518-6 fail time 300 ??K ?? - SET519-6 fail time 300 ??K ?? - SET520-6 fail time 301 ??K ?? - SET521-6 fail time 300 ??K ?? - SET522-6 fail time 300 ??K ?? - SET523-6 fail time 300 ??K ?? - SET524-6 fail time 300 ??K ?? - SET525-6 fail time 300 ??K ?? - SET526-6 fail time 300 ??K ?? - SET527-6 fail time 300 ??K ?? - SET528-6 fail time 300 ??K ?? - SET529-6 fail time 300 ??K ?? - SET530-6 fail time 300 ??K ?? - SET531-6 fail time 300 ??K ?? - SET532-6 fail time 300 ??K ?? - SET533-6 fail time 300 ??K ?? - SET534-6 fail time 300 ??K ?? - SET535-6 fail time 300 ??K ?? - SET536-6 fail time 300 ??K ?? - SET537-6 fail time 300 ??K ?? - SET538-6 fail time 300 ??K ?? - SET539-6 fail time 300 ??K ?? - SET540-6 fail time 300 ??K ?? - SET541-6 fail time 300 ??K ?? - SET542-6 fail time 300 ??K ?? - SET543-6 fail time 300 ??K ?? - SET544-6 fail time 300 ??K ?? - SET545-6 fail time 300 ??K ?? - SET546-6 fail time 300 ??K ?? - SET547-6 fail time 301 ??K ?? - SET548-6 fail time 301 ??K ?? - SET549-6 fail time 300 ??K ?? - SET550-6 fail time 300 ??K ?? - SET551-6 fail time 300 ??K ?? - SET552-6 fail time 300 ??K ?? - SET553-6 PROOF --- 44 4598K 331946 6 SET554-6 fail time 300 ??K ?? - SET555-6 fail time 300 ??K ?? - SET556-6 fail time 300 ??K ?? - SET557-6 fail time 300 ??K ?? - SET558-6 PROOF --- 1 351K 194 3 SET559-6 fail time 300 ??K ?? - SET560-6 fail time 300 ??K ?? - SET561-6 fail time 300 ??K ?? - SET562-6 fail time 300 ??K ?? - SET563-6 PROOF --- 12 4247K 28111 6 SET564-6 fail time 300 ??K ?? - SET565-6 fail time 300 ??K ?? - SET566-6 fail time 300 ??K ?? - SET567-6 fail time 300 ??K ?? - SET573+3 PROOF --- 1 95K 25 1 SET574+3 PROOF --- 1 95K 4 1 SET575+3 PROOF --- 1 95K 12 2 SET576+3 PROOF --- 1 95K 16 2 SET577+3 fail time 301 ??K ?? - SET578+3 PROOF --- 125 4247K 74922 16 SET579+3 fail time 300 ??K ?? - SET580+3 fail time 301 ??K ?? - SET581+3 PROOF --- 1 127K 157 3 SET582+3 fail time 301 ??K ?? - SET583+3 PROOF --- 1 95K 19 1 SET584+3 fail time 301 ??K ?? - SET585+3 PROOF --- 1 95K 18 1 SET586+3 PROOF --- 31 4087K 13770 6 SET587+3 fail time 300 ??K ?? - SET588+3 PROOF --- 1 447K 1983 5 SET589+3 PROOF --- 1 95K 48 3 SET590+3 PROOF --- 1 95K 6 3 SET591+3 PROOF --- 1 159K 163 6 SET592+3 PROOF --- 1 127K 89 2 SET593+3 fail time 301 ??K ?? - SET594+3 fail time 301 ??K ?? - SET595+3 fail time 300 ??K ?? - SET595+4 fail time 301 ??K ?? - SET596+3 PROOF --- 1 159K 238 7 SET597+3 PROOF --- 1 383K 1030 21 SET598+3 PROOF --- 1 383K 1026 21 SET599+3 PROOF --- 1 127K 11 2 SET600+3 PROOF --- 1 415K 1110 23 SET601+3 fail time 300 ??K ?? - SET602+3 PROOF --- 1 95K 14 1 SET602+4 fail time 300 ??K ?? - SET603+3 PROOF --- 24 1979K 5945 9 SET603+4 fail time 301 ??K ?? - SET604+3 PROOF --- 1 95K 5 1 SET605+3 PROOF --- 1 95K 5 1 SET606+3 fail time 300 ??K ?? - SET607+3 fail time 301 ??K ?? - SET608+3 fail time 300 ??K ?? - SET609+3 fail time 301 ??K ?? - SET610+3 fail time 301 ??K ?? - SET611+3 fail time 300 ??K ?? - SET612+3 fail time 301 ??K ?? - SET613+3 fail time 300 ??K ?? - SET614+3 fail time 300 ??K ?? - SET615+3 fail time 300 ??K ?? - SET616+3 PROOF --- 28 2363K 7012 7 SET617+3 PROOF --- 1 127K 85 7 SET618+3 PROOF --- 1 127K 27 2 SET619+3 PROOF --- 1 766K 2198 11 SET620+3 PROOF --- 52 4119K 29646 6 SET621+3 PROOF --- 1 351K 582 8 SET622+3 PROOF --- 1 127K 24 6 SET623+3 fail time 300 ??K ?? - SET624+3 fail time 301 ??K ?? - SET625+3 PROOF --- 1 95K 44 4 SET626+3 PROOF --- 1 510K 1559 4 SET627+3 PROOF --- 1 95K 12 2 SET628+3 PROOF --- 1 191K 332 16 SET629+3 PROOF --- 153 4534K 113092 6 SET630+3 fail time 301 ??K ?? - SET631+3 PROOF --- 1 95K 35 4 SET632+3 PROOF --- 1 351K 1380 14 SET633+3 PROOF --- 1 127K 33 2 SET634+3 fail time 300 ??K ?? - SET635+3 PROOF --- 1 255K 545 5 SET636+3 PROOF --- 50 4087K 23190 28 SET637+3 PROOF --- 247 4598K 98656 21 SET638+3 PROOF --- 1 223K 396 6 SET639+3 PROOF --- 1 127K 54 3 SET640+3 PROOF --- 38 4342K 19005 21 SET641+3 PROOF --- 53 4119K 36647 7 SET642+3 PROOF --- 1 159K 75 2 SET643+3 PROOF --- 1 255K 296 2 SET644+3 PROOF --- 80 4247K 114988 31 SET645+3 PROOF --- 33 4247K 28987 18 SET646+3 fail time 300 ??K ?? - SET647+3 fail time 301 ??K ?? - SET648+3 fail time 301 ??K ?? - SET649+3 PROOF --- 32 4342K 229356 17 SET650+3 PROOF --- 284 5428K 2292129 20 SET651+3 fail time 301 ??K ?? - SET652+3 fail time 301 ??K ?? - SET653+3 PROOF --- 1 191K 77 3 SET654+3 PROOF --- 1 191K 77 3 SET655+3 PROOF --- 64 4342K 447835 30 SET656+3 PROOF --- 74 4598K 25901 24 SET657+3 fail time 300 ??K ?? - SET658+3 PROOF --- 1 191K 64 2 SET659+3 fail time 301 ??K ?? - SET660+3 fail time 300 ??K ?? - SET661+3 fail time 300 ??K ?? - SET662+3 PROOF --- 1 351K 533 6 SET663+3 PROOF --- 1 638K 1345 9 SET664+3 PROOF --- 1 638K 1345 9 SET665+3 fail time 300 ??K ?? - SET666+3 fail time 301 ??K ?? - SET667+3 fail time 300 ??K ?? - SET668+3 PROOF --- 84 4566K 287677 33 SET669+3 PROOF --- 120 4566K 454868 31 SET670+3 fail time 300 ??K ?? - SET671+3 fail time 300 ??K ?? - SET672+3 fail time 300 ??K ?? - SET673+3 fail time 300 ??K ?? - SET674+3 fail time 300 ??K ?? - SET675+3 PROOF --- 1 255K 180 21 SET676+3 PROOF --- 1 255K 311 2 SET677+3 PROOF --- 1 255K 257 11 SET678+3 fail time 300 ??K ?? - SET679+3 PROOF --- 1 574K 1318 10 SET680+3 fail time 300 ??K ?? - SET681+3 fail time 300 ??K ?? - SET682+3 PROOF --- 24 4151K 12666 13 SET683+3 PROOF --- 24 4151K 12666 13 SET684+3 fail time 300 ??K ?? - SET685+3 fail time 300 ??K ?? - SET686+3 fail time 300 ??K ?? - SET687+4 PROOF --- 1 159K 128 2 SET688+4 PROOF --- 1 510K 1092 6 SET689+4 PROOF --- 1 415K 826 5 SET690+4 fail time 301 ??K ?? - SET691+4 PROOF --- 1 159K 115 2 SET692+4 fail time 300 ??K ?? - SET693+4 fail time 301 ??K ?? - SET694+4 fail time 300 ??K ?? - SET695+4 fail time 301 ??K ?? - SET696+4 fail time 301 ??K ?? - SET697+4 fail time 301 ??K ?? - SET698+4 fail time 301 ??K ?? - SET699+4 fail time 301 ??K ?? - SET700+4 fail time 301 ??K ?? - SET701+4 fail time 301 ??K ?? - SET702+4 fail time 301 ??K ?? - SET703+4 fail time 301 ??K ?? - SET704+4 PROOF --- 5 3193K 7459 3 SET705+4 PROOF --- 28 4183K 24950 6 SET706+4 fail time 301 ??K ?? - SET707+4 fail time 300 ??K ?? - SET708+4 fail time 300 ??K ?? - SET709+4 fail time 300 ??K ?? - SET710+4 fail time 300 ??K ?? - SET711+4 fail time 300 ??K ?? - SET712+4 fail time 300 ??K ?? - SET713+4 fail time 300 ??K ?? - SET714+4 fail time 300 ??K ?? - SET715+4 fail time 300 ??K ?? - SET716+4 fail time 300 ??K ?? - SET717+4 fail time 300 ??K ?? - SET718+4 fail time 300 ??K ?? - SET719+4 fail time 300 ??K ?? - SET720+4 fail time 301 ??K ?? - SET721+4 fail time 300 ??K ?? - SET722+4 fail time 299 ??K ?? - SET723+4 fail time 300 ??K ?? - SET724+4 fail time 299 ??K ?? - SET725+4 fail time 300 ??K ?? - SET726+4 fail time 299 ??K ?? - SET727+4 fail time 300 ??K ?? - SET728+4 fail time 299 ??K ?? - SET729+4 fail time 300 ??K ?? - SET730+4 fail time 300 ??K ?? - SET731+4 fail time 300 ??K ?? - SET732+4 fail time 300 ??K ?? - SET733+4 fail time 300 ??K ?? - SET734+4 fail time 300 ??K ?? - SET735+4 fail time 300 ??K ?? - SET736+4 fail time 300 ??K ?? - SET737+4 fail time 300 ??K ?? - SET738+4 fail time 300 ??K ?? - SET739+4 fail time 300 ??K ?? - SET740+4 fail time 300 ??K ?? - SET741+4 fail time 300 ??K ?? - SET742+4 fail time 300 ??K ?? - SET743+4 fail time 301 ??K ?? - SET744+4 fail time 300 ??K ?? - SET745+4 fail time 300 ??K ?? - SET746+4 fail time 300 ??K ?? - SET747+4 fail time 300 ??K ?? - SET748+4 fail time 300 ??K ?? - SET749+4 fail time 300 ??K ?? - SET750+4 fail time 300 ??K ?? - SET751+4 fail time 300 ??K ?? - SET752+4 fail time 300 ??K ?? - SET753+4 fail time 300 ??K ?? - SET754+4 fail time 300 ??K ?? - SET755+4 fail time 300 ??K ?? - SET756+4 fail time 300 ??K ?? - SET757+4 fail time 300 ??K ?? - SET758+4 fail time 300 ??K ?? - SET759+4 fail time 300 ??K ?? - SET760+4 fail time 300 ??K ?? - SET761+4 fail time 300 ??K ?? - SET762+4 fail time 300 ??K ?? - SET763+4 fail time 300 ??K ?? - SET764+4 fail time 300 ??K ?? - SET765+4 fail time 300 ??K ?? - SET766+4 PROOF --- 1 319K 193 2 SET767+4 fail time 300 ??K ?? - SET768+4 fail time 300 ??K ?? - SET769+4 fail time 300 ??K ?? - SET770+4 fail time 300 ??K ?? - SET771+4 fail time 300 ??K ?? - SET772+4 fail time 300 ??K ?? - SET773+4 fail time 300 ??K ?? - SET774+4 fail time 300 ??K ?? - SET775+4 fail time 300 ??K ?? - SET776+4 PROOF --- 4 1596K 4258 4 SYN001-1.005 PROOF --- 1 95K 31 56 SYN001+1 PROOF --- 1 63K 0 -1 SYN002-1.007:008 PROOF --- 1 95K 257 6 SYN003-1.006 PROOF --- 1 95K 18 10 SYN004-1.007 PROOF --- 1 95K 13 12 SYN005-1.010 PROOF --- 1 95K 1 0 SYN006-1 PROOF --- 1 95K 4 4 SYN007+1.014 fail memory 1 11975K 0 - SYN008-1 PROOF --- 1 63K 4 2 SYN009-1 PROOF --- 1 95K 42 2 SYN010-1.005:005 PROOF --- 1 95K 21 42 SYN011-1 PROOF --- 1 63K 6 10 SYN012-1 PROOF --- 1 606K 442 8 SYN013-1 fail time 301 ??K ?? - SYN014-1 fail time 301 ??K ?? - SYN014-2 PROOF --- 1 95K 60 2 SYN015-1 fail time 300 ??K ?? - SYN015-2 PROOF --- 45 1181K 49711 19 SYN028-1 PROOF --- 1 63K 4 5 SYN029-1 PROOF --- 1 63K 3 4 SYN030-1 PROOF --- 1 63K 7 7 SYN031-1 PROOF --- 1 63K 17 3 SYN032-1 PROOF --- 1 63K 6 10 SYN033-1 PROOF --- 1 95K 6 1 SYN034-1 PROOF --- 1 63K 72 4 SYN035-1 PROOF --- 1 95K 3 1 SYN036-1 fail time 300 ??K ?? - SYN036+1 fail time 300 ??K ?? - SYN036+2 fail time 300 ??K ?? - SYN036-2 MODEL --- 6 - - 2 SYN036-3 PROOF --- 1 159K 565 46 SYN036-4 fail time 301 ??K ?? - SYN037-1 PROOF --- 1 255K 1361 83 SYN037-2 PROOF --- 1 95K 136 23 SYN038-1 PROOF --- 1 606K 520 8 SYN039-1 PROOF --- 1 159K 283 6 SYN040-1 PROOF --- 1 63K 1 1 SYN040+1 PROOF --- 1 63K 1 1 SYN041-1 PROOF --- 1 63K 0 0 SYN041+1 PROOF --- 1 63K 0 -1 SYN044-1 PROOF --- 1 63K 6 6 SYN044+1 PROOF --- 1 63K 6 6 SYN045-1 PROOF --- 1 63K 1 1 SYN045+1 PROOF --- 1 63K 1 1 SYN046-1 PROOF --- 1 63K 1 1 SYN046+1 PROOF --- 1 63K 1 1 SYN047-1 PROOF --- 1 63K 4 4 SYN047+1 PROOF --- 1 63K 4 4 SYN048-1 PROOF --- 1 63K 0 0 SYN048+1 PROOF --- 1 63K 0 0 SYN049-1 PROOF --- 1 63K 1 1 SYN049+1 PROOF --- 1 63K 1 1 SYN050-1 PROOF --- 1 63K 2 1 SYN050+1 PROOF --- 1 95K 2 1 SYN051-1 PROOF --- 1 63K 3 2 SYN051+1 PROOF --- 1 63K 3 2 SYN052+1 PROOF --- 1 63K 3 2 SYN052-1 PROOF --- 1 63K 4 2 SYN053-1 PROOF --- 1 63K 1 1 SYN053+1 PROOF --- 1 63K 1 1 SYN054-1 PROOF --- 1 63K 7 5 SYN054+1 PROOF --- 1 63K 7 5 SYN055-1 PROOF --- 1 63K 10 6 SYN055+1 PROOF --- 1 63K 6 2 SYN056-1 MODEL --- 1 - - 2 SYN056+1 PROOF --- 1 95K 28 12 SYN057-1 PROOF --- 1 63K 5 4 SYN057+1 PROOF --- 1 95K 5 4 SYN058-1 PROOF --- 1 63K 3 3 SYN058+1 PROOF --- 1 95K 3 3 SYN059-1 MODEL --- 1 - - 2 SYN059+1 PROOF --- 1 95K 81 22 SYN060-1 PROOF --- 1 63K 6 3 SYN060+1 PROOF --- 1 63K 6 3 SYN061-1 PROOF --- 1 63K 2 1 SYN061+1 PROOF --- 1 63K 2 1 SYN062-1 PROOF --- 1 63K 3 3 SYN062+1 PROOF --- 1 63K 3 3 SYN063-1 PROOF --- 1 63K 1 2 SYN063+1 PROOF --- 1 63K 1 2 SYN063-2 PROOF --- 1 63K 1 1 SYN064-1 PROOF --- 1 63K 0 0 SYN064+1 PROOF --- 1 63K 0 0 SYN065-1 PROOF --- 1 63K 1 1 SYN065+1 PROOF --- 1 95K 1 1 SYN066-1 PROOF --- 1 95K 5 4 SYN066+1 PROOF --- 1 95K 5 4 SYN067-1 fail time 300 ??K ?? - SYN067+1 fail time 300 ??K ?? - SYN067-2 fail time 300 ??K ?? - SYN067-3 fail time 300 ??K ?? - SYN068-1 PROOF --- 1 63K 7 3 SYN068+1 PROOF --- 1 95K 7 3 SYN069+1 PROOF --- 1 95K 12 7 SYN069-1 PROOF --- 1 95K 15 10 SYN070+1 PROOF --- 1 95K 15 9 SYN070-1 PROOF --- 1 95K 37 9 SYN071-1 PROOF --- 1 63K 20 8 SYN071+1 PROOF --- 1 95K 20 8 SYN072+1 PROOF --- 1 95K 107 15 SYN072-1 PROOF --- 1 95K 53 10 SYN073-1 PROOF --- 1 63K 2 1 SYN073+1 PROOF --- 1 63K 2 1 SYN074+1 PROOF --- 1 287K 884 9 SYN074-1 PROOF --- 1 638K 1858 9 SYN075+1 PROOF --- 1 255K 793 9 SYN075-1 PROOF --- 1 287K 954 9 SYN076-1 fail time 301 ??K ?? - SYN076+1 fail time 301 ??K ?? - SYN077-1 fail time 301 ??K ?? - SYN077+1 fail time 301 ??K ?? - SYN078-1 MODEL --- 3 - - 2 SYN078+1 PROOF --- 1 95K 195 12 SYN079-1 PROOF --- 1 63K 1 1 SYN079+1 PROOF --- 1 63K 1 1 SYN080-1 PROOF --- 1 63K 3 3 SYN080+1 PROOF --- 1 63K 3 3 SYN081-1 PROOF --- 1 63K 11 1 SYN081+1 PROOF --- 1 63K 11 1 SYN082+1 PROOF --- 1 95K 14 5 SYN082-1 PROOF --- 1 95K 25 5 SYN083-1 PROOF --- 1 95K 0 3 SYN083+1 PROOF --- 1 95K 0 3 SYN084-1 MODEL --- 1 - - 2 SYN084+1 PROOF --- 1 95K 161 16 SYN084-2 PROOF --- 1 95K 156 14 SYN085-1.010 PROOF --- 1 95K 1 2 SYN086-1.003 MODEL --- 1 - - 2 SYN087-1.003 MODEL --- 1 - - 2 SYN088-1.010 PROOF --- 1 351K 512 1 SYN089-1.002 PROOF --- 1 63K 2 2 SYN090-1.008 PROOF --- 1 95K 31 54 SYN091-1.003 MODEL --- 1 - - 2 SYN092-1.003 MODEL --- 1 - - 2 SYN093-1.002 PROOF --- 1 95K 11 12 SYN094-1.005 PROOF --- 1 127K 55 71 SYN095-1.002 PROOF --- 1 63K 2 1 SYN096-1.008 PROOF --- 1 127K 61 27 SYN097-1.002 PROOF --- 1 95K 20 12 SYN098-1.002 PROOF --- 1 127K 26 23 SYN099-1.003 PROOF --- 1 95K 17 3 SYN100-1.005 PROOF --- 1 127K 47 15 SYN101-1.002:002 PROOF --- 1 95K 20 3 SYN102-1.007:007 PROOF --- 1 1788K 7169 27 SYN103-1 PROOF --- 1 415K 0 0 SYN104-1 PROOF --- 1 415K 0 0 SYN105-1 PROOF --- 1 415K 55 1 SYN106-1 PROOF --- 1 415K 26 1 SYN107-1 PROOF --- 1 447K 453 2 SYN108-1 PROOF --- 1 447K 299 8 SYN109-1 PROOF --- 1 447K 439 5 SYN110-1 PROOF --- 1 479K 1441 6 SYN111-1 PROOF --- 1 447K 333 5 SYN112-1 PROOF --- 1 415K 214 2 SYN113-1 PROOF --- 1 447K 473 5 SYN114-1 PROOF --- 1 415K 60 3 SYN115-1 PROOF --- 1 479K 831 7 SYN116-1 PROOF --- 1 447K 697 8 SYN117-1 PROOF --- 1 447K 697 8 SYN118-1 PROOF --- 1 415K 0 0 SYN119-1 PROOF --- 1 415K 0 0 SYN120-1 PROOF --- 1 415K 25 1 SYN121-1 PROOF --- 1 415K 241 4 SYN122-1 PROOF --- 1 415K 240 4 SYN123-1 PROOF --- 1 415K 139 3 SYN124-1 PROOF --- 1 447K 261 5 SYN125-1 PROOF --- 1 479K 861 3 SYN126-1 PROOF --- 1 447K 688 5 SYN127-1 PROOF --- 1 447K 688 5 SYN128-1 PROOF --- 1 479K 879 16 SYN129-1 PROOF --- 1 479K 881 16 SYN130-1 PROOF --- 1 415K 0 0 SYN131-1 PROOF --- 1 383K 0 0 SYN132-1 PROOF --- 1 383K 0 0 SYN133-1 PROOF --- 1 415K 0 0 SYN134-1 PROOF --- 1 415K 213 2 SYN135-1 PROOF --- 1 415K 229 5 SYN136-1 PROOF --- 1 415K 229 5 SYN137-1 PROOF --- 1 447K 281 6 SYN138-1 PROOF --- 1 447K 466 9 SYN139-1 PROOF --- 1 510K 2232 16 SYN140-1 PROOF --- 1 510K 2230 17 SYN141-1 PROOF --- 1 479K 833 8 SYN142-1 PROOF --- 1 510K 2244 20 SYN143-1 PROOF --- 1 510K 2244 20 SYN144-1 PROOF --- 1 510K 2383 15 SYN145-1 PROOF --- 1 383K 0 0 SYN146-1 PROOF --- 1 415K 27 1 SYN147-1 PROOF --- 1 415K 90 1 SYN148-1 PROOF --- 1 447K 391 3 SYN149-1 PROOF --- 1 415K 17 1 SYN150-1 PROOF --- 1 447K 374 2 SYN151-1 PROOF --- 1 447K 374 2 SYN152-1 PROOF --- 1 447K 309 2 SYN153-1 PROOF --- 1 447K 781 3 SYN154-1 PROOF --- 1 447K 781 3 SYN155-1 PROOF --- 1 479K 834 13 SYN156-1 PROOF --- 1 510K 3139 27 SYN157-1 PROOF --- 1 479K 829 12 SYN158-1 PROOF --- 1 479K 829 12 SYN159-1 PROOF --- 1 479K 1642 26 SYN160-1 PROOF --- 1 479K 829 12 SYN161-1 PROOF --- 1 479K 829 12 SYN162-1 PROOF --- 1 479K 829 12 SYN163-1 PROOF --- 1 479K 1642 26 SYN164-1 PROOF --- 1 383K 0 0 SYN165-1 PROOF --- 1 415K 19 1 SYN166-1 PROOF --- 1 510K 2133 4 SYN167-1 PROOF --- 1 415K 2 1 SYN168-1 PROOF --- 1 415K 227 4 SYN169-1 PROOF --- 1 415K 227 4 SYN170-1 PROOF --- 1 447K 687 5 SYN171-1 PROOF --- 1 479K 1724 12 SYN172-1 PROOF --- 1 415K 0 0 SYN173-1 PROOF --- 1 415K 191 1 SYN174-1 PROOF --- 1 415K 164 1 SYN175-1 PROOF --- 1 415K 243 2 SYN176-1 PROOF --- 1 415K 239 5 SYN177-1 PROOF --- 1 479K 830 3 SYN178-1 PROOF --- 1 479K 1964 6 SYN179-1 PROOF --- 1 447K 751 9 SYN180-1 PROOF --- 1 479K 1987 13 SYN181-1 PROOF --- 1 479K 1192 7 SYN182-1 PROOF --- 1 447K 730 6 SYN183-1 PROOF --- 1 447K 730 6 SYN184-1 PROOF --- 1 383K 0 0 SYN185-1 PROOF --- 1 383K 0 0 SYN186-1 PROOF --- 1 447K 341 2 SYN187-1 PROOF --- 1 447K 342 2 SYN188-1 PROOF --- 1 447K 454 2 SYN189-1 PROOF --- 1 447K 459 3 SYN190-1 PROOF --- 1 447K 731 9 SYN191-1 PROOF --- 1 447K 676 13 SYN192-1 PROOF --- 1 479K 816 11 SYN193-1 PROOF --- 1 479K 815 11 SYN194-1 PROOF --- 1 479K 812 10 SYN195-1 PROOF --- 1 479K 811 9 SYN196-1 PROOF --- 1 415K 107 2 SYN197-1 PROOF --- 1 415K 75 1 SYN198-1 PROOF --- 1 415K 107 2 SYN199-1 PROOF --- 1 415K 107 2 SYN200-1 PROOF --- 1 415K 107 2 SYN201-1 PROOF --- 1 479K 1016 5 SYN202-1 PROOF --- 1 479K 2035 8 SYN203-1 PROOF --- 1 447K 740 7 SYN204-1 PROOF --- 1 510K 2195 14 SYN205-1 PROOF --- 1 510K 2196 14 SYN206-1 PROOF --- 1 479K 1040 6 SYN207-1 PROOF --- 1 447K 740 7 SYN208-1 PROOF --- 1 447K 758 6 SYN209-1 PROOF --- 1 447K 682 6 SYN210-1 PROOF --- 1 447K 683 6 SYN211-1 PROOF --- 1 447K 684 6 SYN212-1 PROOF --- 1 447K 686 6 SYN213-1 PROOF --- 1 479K 828 15 SYN214-1 PROOF --- 1 479K 828 15 SYN215-1 PROOF --- 1 479K 828 15 SYN216-1 PROOF --- 1 415K 101 2 SYN217-1 PROOF --- 1 415K 139 3 SYN218-1 PROOF --- 1 415K 139 3 SYN219-1 PROOF --- 1 415K 241 4 SYN220-1 PROOF --- 1 415K 220 5 SYN221-1 PROOF --- 1 447K 248 5 SYN222-1 PROOF --- 1 415K 242 5 SYN223-1 PROOF --- 1 415K 209 5 SYN224-1 PROOF --- 1 447K 261 5 SYN225-1 PROOF --- 1 479K 1584 3 SYN226-1 PROOF --- 1 415K 220 5 SYN227-1 PROOF --- 1 479K 884 3 SYN228-1 PROOF --- 1 479K 1314 3 SYN229-1 PROOF --- 1 447K 248 5 SYN230-1 PROOF --- 1 447K 248 5 SYN231-1 PROOF --- 1 415K 242 5 SYN232-1 PROOF --- 1 415K 242 5 SYN233-1 PROOF --- 1 415K 209 5 SYN234-1 PROOF --- 1 479K 1583 3 SYN235-1 PROOF --- 1 479K 1259 3 SYN236-1 PROOF --- 1 415K 209 5 SYN237-1 PROOF --- 1 415K 18 1 SYN238-1 PROOF --- 1 415K 13 1 SYN239-1 PROOF --- 1 415K 28 1 SYN240-1 PROOF --- 1 415K 18 1 SYN241-1 PROOF --- 1 415K 22 1 SYN242-1 PROOF --- 1 415K 22 1 SYN243-1 PROOF --- 1 415K 157 1 SYN244-1 PROOF --- 1 415K 30 1 SYN245-1 PROOF --- 1 415K 30 1 SYN246-1 PROOF --- 1 415K 42 1 SYN247-1 PROOF --- 1 415K 4 1 SYN248-1 PROOF --- 1 415K 203 3 SYN249-1 PROOF --- 1 415K 207 3 SYN250-1 PROOF --- 1 479K 1349 5 SYN251-1 PROOF --- 1 415K 217 1 SYN252-1 PROOF --- 1 510K 2232 16 SYN253-1 PROOF --- 1 510K 2230 17 SYN254-1 PROOF --- 1 510K 2230 17 SYN255-1 PROOF --- 1 447K 374 2 SYN256-1 PROOF --- 1 447K 374 2 SYN257-1 PROOF --- 1 415K 0 0 SYN258-1 PROOF --- 1 415K 2 1 SYN259-1 PROOF --- 1 415K 2 1 SYN260-1 PROOF --- 1 415K 2 1 SYN261-1 PROOF --- 1 415K 9 1 SYN262-1 PROOF --- 1 447K 310 2 SYN263-1 PROOF --- 1 479K 1117 3 SYN264-1 PROOF --- 1 447K 588 2 SYN265-1 PROOF --- 1 415K 227 4 SYN266-1 PROOF --- 1 479K 1717 13 SYN267-1 PROOF --- 1 447K 687 5 SYN268-1 PROOF --- 1 447K 687 5 SYN269-1 PROOF --- 1 479K 1725 12 SYN270-1 PROOF --- 1 479K 1632 14 SYN271-1 PROOF --- 1 479K 1724 12 SYN272-1 PROOF --- 1 479K 1550 7 SYN273-1 PROOF --- 1 479K 872 7 SYN274-1 PROOF --- 1 383K 0 0 SYN275-1 PROOF --- 1 415K 0 0 SYN276-1 PROOF --- 1 415K 0 0 SYN277-1 PROOF --- 1 415K 1 1 SYN278-1 PROOF --- 1 415K 16 1 SYN279-1 PROOF --- 1 415K 191 1 SYN280-1 PROOF --- 1 415K 5 1 SYN281-1 PROOF --- 1 415K 123 1 SYN282-1 PROOF --- 1 415K 1 1 SYN283-1 PROOF --- 1 415K 81 1 SYN284-1 PROOF --- 1 415K 164 1 SYN285-1 PROOF --- 1 447K 599 3 SYN286-1 PROOF --- 1 415K 86 1 SYN287-1 PROOF --- 1 415K 5 1 SYN288-1 PROOF --- 1 415K 5 1 SYN289-1 PROOF --- 1 415K 179 1 SYN290-1 PROOF --- 1 415K 79 1 SYN291-1 PROOF --- 1 415K 1 1 SYN292-1 PROOF --- 1 415K 6 1 SYN293-1 PROOF --- 1 415K 184 2 SYN294-1 PROOF --- 1 415K 184 2 SYN295-1 PROOF --- 1 415K 1 1 SYN296-1 PROOF --- 1 415K 84 1 SYN297-1 PROOF --- 1 415K 16 1 SYN298-1 PROOF --- 1 479K 1038 6 SYN299-1 PROOF --- 1 479K 1038 6 SYN300-1 PROOF --- 1 479K 1040 6 SYN301-1 PROOF --- 1 447K 681 6 SYN302-1.003 MODEL --- 1 - - 2 SYN303-1 fail sos-empty 6 63K 3 - SYN304-1 MODEL --- 1 - - 2 SYN305-1 fail sos-empty 7 63K 4 - SYN306-1 MODEL --- 6 - - 2 SYN307-1 MODEL --- 6 - - 2 SYN308-1 MODEL --- 1 - - 2 SYN309-1 MODEL --- 1 - - 2 SYN310-1 PROOF --- 1 95K 47 12 SYN311-1 fail sos-empty 24 4630K 49320 - SYN312-1 fail sos-empty 70 5684K 615244 - SYN313-1.001:002 PROOF --- 1 766K 1095 6 SYN314-1.002:001 fail time 300 ??K ?? - SYN315-1 PROOF --- 1 63K 3 2 SYN315+1 PROOF --- 1 63K 3 2 SYN316-1 MODEL --- 6 - - 2 SYN316+1 MODEL --- 6 - - 2 SYN317-1 MODEL --- 1 - - 2 SYN317+1 PROOF --- 1 63K 1 2 SYN318-1 PROOF --- 1 63K 1 1 SYN318+1 PROOF --- 1 63K 1 1 SYN319-1 PROOF --- 1 63K 4 3 SYN319+1 PROOF --- 1 95K 4 3 SYN320-1 MODEL --- 1 - - 2 SYN320+1 MODEL --- 1 - - 3 SYN321-1 PROOF --- 1 63K 3 2 SYN321+1 PROOF --- 1 95K 3 2 SYN322-1 MODEL --- 1 - - 2 SYN322+1 MODEL --- 1 - - 2 SYN323-1 PROOF --- 1 63K 3 2 SYN323+1 PROOF --- 1 63K 3 2 SYN324-1 MODEL --- 6 - - 2 SYN324+1 MODEL --- 6 - - 2 SYN325-1 PROOF --- 1 63K 4 2 SYN325+1 PROOF --- 1 63K 4 2 SYN326-1 PROOF --- 1 63K 4 2 SYN326+1 PROOF --- 1 95K 4 2 SYN327+1 PROOF --- 1 63K 2 1 SYN327-1 PROOF --- 1 63K 37 3 SYN328-1 PROOF --- 1 95K 394 22 SYN328+1 PROOF --- 1 95K 394 22 SYN329-1 MODEL --- 1 - - 6 SYN329+1 MODEL --- 1 - - 6 SYN330-1 fail time 300 ??K ?? - SYN330+1 fail time 300 ??K ?? - SYN331-1 PROOF --- 1 95K 11 3 SYN331+1 PROOF --- 1 95K 11 3 SYN332-1 PROOF --- 3 479K 12934 8 SYN332+1 PROOF --- 4 510K 13236 8 SYN333-1 PROOF --- 1 95K 3 1 SYN333+1 PROOF --- 1 95K 3 1 SYN334-1 PROOF --- 1 606K 442 8 SYN334+1 PROOF --- 1 606K 442 8 SYN335-1 fail time 300 ??K ?? - SYN335+1 fail time 300 ??K ?? - SYN336-1 PROOF --- 1 63K 0 0 SYN336+1 PROOF --- 1 63K 0 0 SYN337-1 MODEL --- 1 - - 2 SYN337+1 MODEL --- 1 - - 2 SYN338-1 PROOF --- 1 63K 0 0 SYN338+1 PROOF --- 1 63K 0 0 SYN339-1 PROOF --- 1 63K 0 0 SYN339+1 PROOF --- 1 63K 0 0 SYN340-1 PROOF --- 1 63K 0 0 SYN340+1 PROOF --- 1 63K 0 0 SYN341-1 PROOF --- 1 63K 0 0 SYN341+1 PROOF --- 1 63K 0 0 SYN342-1 MODEL --- 1 - - 2 SYN342+1 MODEL --- 1 - - 2 SYN343-1 PROOF --- 1 63K 0 2 SYN343+1 PROOF --- 1 63K 0 2 SYN344-1 MODEL --- 1 - - 2 SYN344+1 MODEL --- 1 - - 2 SYN345+1 PROOF --- 1 95K 10 6 SYN345-1 PROOF --- 1 95K 20 6 SYN346-1 PROOF --- 1 63K 1 0 SYN346+1 PROOF --- 1 63K 1 0 SYN347-1 PROOF --- 1 95K 75 8 SYN347+1 PROOF --- 1 95K 77 8 SYN348-1 MODEL --- 5 - - 2 SYN348+1 MODEL --- 5 - - 2 SYN349-1 PROOF --- 1 95K 380 8 SYN349+1 PROOF --- 1 95K 380 8 SYN350+1 PROOF --- 1 95K 45 3 SYN350-1 PROOF --- 1 95K 80 6 SYN351-1 MODEL --- 6 - - 3 SYN351+1 PROOF --- 1 95K 2 1 SYN352-1 PROOF --- 1 127K 154 6 SYN352+1 PROOF --- 1 127K 154 6 SYN353-1 fail time 300 ??K ?? - SYN353+1 fail time 300 ??K ?? - SYN354-1 PROOF --- 1 95K 11 5 SYN354+1 PROOF --- 1 95K 11 5 SYN355+1 PROOF --- 1 63K 2 2 SYN356+1 PROOF --- 1 95K 8 5 SYN357+1 PROOF --- 1 63K 0 0 SYN358+1 PROOF --- 1 63K 3 2 SYN359+1 PROOF --- 1 95K 3 2 SYN360+1 PROOF --- 1 63K 1 1 SYN361+1 PROOF --- 1 95K 2 1 SYN362+1 PROOF --- 1 63K 1 0 SYN363+1 PROOF --- 1 63K 1 1 SYN364+1 PROOF --- 1 95K 11 3 SYN365+1 PROOF --- 1 127K 129 4 SYN366+1 PROOF --- 1 95K 7 2 SYN367+1 PROOF --- 1 63K 2 2 SYN368+1 PROOF --- 1 63K 0 0 SYN369+1 PROOF --- 1 63K 2 1 SYN370+1 PROOF --- 1 63K 0 1 SYN371+1 PROOF --- 1 63K 0 0 SYN372+1 PROOF --- 1 63K 1 1 SYN373+1 PROOF --- 1 63K 1 2 SYN374+1 PROOF --- 1 95K 58 8 SYN375+1 PROOF --- 1 95K 8 6 SYN376+1 PROOF --- 1 63K 2 2 SYN377+1 PROOF --- 1 95K 4 5 SYN378+1 PROOF --- 1 63K 0 0 SYN379+1 PROOF --- 1 63K 0 0 SYN380+1 PROOF --- 1 63K 2 2 SYN381+1 PROOF --- 1 95K 10 4 SYN382+1 PROOF --- 1 63K 1 1 SYN383+1 PROOF --- 1 63K 0 0 SYN384+1 PROOF --- 1 63K 0 0 SYN385+1 PROOF --- 1 63K 0 0 SYN386+1 PROOF --- 1 95K 2 2 SYN387+1 PROOF --- 1 63K 0 -1 SYN388+1 PROOF --- 1 63K 0 -1 SYN389+1 PROOF --- 1 63K 0 -1 SYN390+1 PROOF --- 1 63K 0 -1 SYN391+1 PROOF --- 1 63K 3 3 SYN392+1 PROOF --- 1 63K 3 3 SYN393+1 PROOF --- 1 63K 7 10 SYN394+1 PROOF --- 1 63K 1 1 SYN395+1 PROOF --- 1 63K 1 1 SYN396+1 PROOF --- 1 63K 1 1 SYN397+1 PROOF --- 1 63K 0 1 SYN398+1 PROOF --- 1 63K 1 1 SYN399+1 PROOF --- 1 63K 3 2 SYN400+1 PROOF --- 1 63K 0 -1 SYN401+1 PROOF --- 1 63K 0 0 SYN402+1 PROOF --- 1 63K 0 0 SYN403+1 PROOF --- 1 63K 2 2 SYN404+1 PROOF --- 1 63K 0 0 SYN405+1 PROOF --- 1 63K 1 0 SYN406+1 PROOF --- 1 63K 2 1 SYN407+1 PROOF --- 1 63K 2 1 SYN408+1 PROOF --- 1 63K 0 0 SYN409+1 PROOF --- 1 63K 1 1 SYN410+1 PROOF --- 1 63K 0 0 SYN411+1 PROOF --- 1 63K 1 1 SYN412+1 PROOF --- 1 63K 0 2 SYN413+1 PROOF --- 1 63K 2 2 SYN414+1 MODEL --- 1 - - 2 SYN415+1 PROOF --- 26 638K 97891 46 SYN416+1 PROOF --- 1 63K 0 -1 SYN417+1 PROOF --- 266 4311K 91369 112 SYN418+1 fail abend 1 63K 0 - SYN418-1 fail time 301 ??K ?? - SYN419+1 fail abend 1 63K 0 - SYN419-1 fail sos-empty 113 1341K 12551 - SYN420+1 fail abend 1 63K 0 - SYN420-1 fail time 300 ??K ?? - SYN421+1 fail abend 1 63K 0 - SYN421-1 fail time 300 ??K ?? - SYN422+1 fail abend 1 63K 0 - SYN422-1 fail time 300 ??K ?? - SYN423+1 fail abend 1 63K 0 - SYN423-1 fail time 300 ??K ?? - SYN424+1 fail abend 1 63K 0 - SYN424-1 fail time 300 ??K ?? - SYN425+1 fail abend 1 63K 0 - SYN425-1 fail sos-empty 20 1181K 1992 - SYN426+1 fail abend 1 63K 0 - SYN426-1 fail time 300 ??K ?? - SYN427+1 fail abend 1 63K 0 - SYN427-1 fail time 300 ??K ?? - SYN428+1 fail abend 1 63K 0 - SYN428-1 fail time 300 ??K ?? - SYN429+1 fail abend 1 63K 0 - SYN429-1 fail time 301 ??K ?? - SYN430-1 MODEL --- 6 - - 2 SYN430+1 MODEL --- 6 - - 2 SYN431-1 fail time 301 ??K ?? - SYN431+1 fail time 301 ??K ?? - SYN432-1 MODEL --- 6 - - 2 SYN432+1 MODEL --- 8 - - 2 SYN433-1 MODEL --- 6 - - 2 SYN433+1 MODEL --- 6 - - 2 SYN434+1 fail abend 1 63K 0 - SYN434-1 fail time 301 ??K ?? - SYN435+1 fail abend 1 63K 0 - SYN435-1 fail time 300 ??K ?? - SYN436+1 fail abend 1 63K 0 - SYN436-1 fail time 301 ??K ?? - SYN437+1 fail abend 1 63K 0 - SYN437-1 fail time 300 ??K ?? - SYN438+1 fail abend 1 63K 0 - SYN438-1 fail time 301 ??K ?? - SYN439+1 fail abend 1 63K 0 - SYN439-1 fail time 300 ??K ?? - SYN440+1 fail abend 1 63K 0 - SYN440-1 fail time 300 ??K ?? - SYN441+1 fail abend 1 63K 0 - SYN441-1 fail time 300 ??K ?? - SYN442+1 fail abend 1 63K 0 - SYN442-1 fail time 301 ??K ?? - SYN443+1 fail abend 1 63K 0 - SYN443-1 fail time 301 ??K ?? - SYN444+1 fail abend 1 63K 0 - SYN444-1 fail time 301 ??K ?? - SYN445+1 fail abend 1 63K 0 - SYN445-1 fail time 301 ??K ?? - SYN446+1 fail abend 1 63K 0 - SYN446-1 fail time 301 ??K ?? - SYN447+1 fail abend 1 63K 0 - SYN447-1 fail time 300 ??K ?? - SYN448+1 fail abend 1 63K 0 - SYN448-1 fail time 301 ??K ?? - SYN449+1 fail abend 1 63K 0 - SYN449-1 fail time 301 ??K ?? - SYN450+1 fail abend 1 63K 0 - SYN450-1 fail time 301 ??K ?? - SYN451+1 fail abend 1 63K 0 - SYN451-1 fail time 301 ??K ?? - SYN452+1 fail abend 1 63K 0 - SYN452-1 fail time 301 ??K ?? - SYN453+1 fail abend 1 63K 0 - SYN453-1 fail time 300 ??K ?? - SYN454+1 fail abend 1 63K 0 - SYN454-1 fail time 300 ??K ?? - SYN455+1 fail abend 1 63K 0 - SYN455-1 fail time 300 ??K ?? - SYN456+1 fail abend 1 63K 0 - SYN456-1 fail time 300 ??K ?? - SYN457+1 fail abend 1 63K 0 - SYN457-1 fail time 300 ??K ?? - SYN458+1 fail abend 1 63K 0 - SYN458-1 fail time 301 ??K ?? - SYN459+1 fail abend 1 63K 0 - SYN459-1 fail time 301 ??K ?? - SYN460+1 fail abend 1 63K 0 - SYN460-1 fail time 300 ??K ?? - SYN461+1 fail abend 1 63K 0 - SYN461-1 fail time 301 ??K ?? - SYN462+1 fail abend 1 63K 0 - SYN462-1 fail time 300 ??K ?? - SYN463+1 fail abend 1 63K 0 - SYN463-1 fail time 301 ??K ?? - SYN464+1 fail abend 1 63K 0 - SYN464-1 fail time 300 ??K ?? - SYN465+1 fail abend 1 63K 0 - SYN465-1 fail time 300 ??K ?? - SYN466+1 fail abend 1 63K 0 - SYN466-1 fail time 301 ??K ?? - SYN467+1 fail abend 1 63K 0 - SYN467-1 fail time 301 ??K ?? - SYN468+1 fail abend 1 63K 0 - SYN468-1 fail time 301 ??K ?? - SYN469+1 fail abend 1 63K 0 - SYN469-1 fail time 300 ??K ?? - SYN470+1 fail abend 1 63K 0 - SYN470-1 fail time 301 ??K ?? - SYN471+1 fail abend 1 63K 0 - SYN471-1 fail time 301 ??K ?? - SYN472+1 fail abend 1 63K 0 - SYN472-1 fail time 301 ??K ?? - SYN473+1 fail abend 1 63K 0 - SYN473-1 fail time 300 ??K ?? - SYN474+1 fail abend 1 63K 0 - SYN474-1 fail time 300 ??K ?? - SYN475+1 fail abend 1 63K 0 - SYN475-1 fail time 300 ??K ?? - SYN476+1 fail abend 1 63K 0 - SYN476-1 fail time 301 ??K ?? - SYN477+1 fail abend 1 63K 0 - SYN477-1 fail time 301 ??K ?? - SYN478+1 fail abend 1 63K 0 - SYN478-1 fail time 300 ??K ?? - SYN479+1 fail abend 1 63K 0 - SYN479-1 fail time 301 ??K ?? - SYN480+1 fail abend 1 63K 0 - SYN480-1 fail time 300 ??K ?? - SYN481+1 fail abend 1 63K 0 - SYN481-1 fail time 301 ??K ?? - SYN482+1 fail abend 1 63K 0 - SYN482-1 fail time 301 ??K ?? - SYN483+1 fail abend 1 63K 0 - SYN483-1 fail time 301 ??K ?? - SYN484+1 fail abend 1 63K 0 - SYN484-1 fail time 300 ??K ?? - SYN485+1 fail abend 1 63K 0 - SYN485-1 fail time 301 ??K ?? - SYN486+1 fail abend 1 63K 0 - SYN486-1 fail time 301 ??K ?? - SYN487+1 fail abend 1 63K 0 - SYN487-1 fail time 300 ??K ?? - SYN488+1 fail abend 1 63K 0 - SYN488-1 fail time 300 ??K ?? - SYN489+1 fail abend 1 63K 0 - SYN489-1 fail time 301 ??K ?? - SYN490-1 MODEL --- 1 - - 2 SYN490+1 MODEL --- 1 - - 2 SYN491-1 MODEL --- 4 - - 2 SYN491+1 MODEL --- 6 - - 2 SYN492-1 MODEL --- 1 - - 2 SYN492+1 MODEL --- 1 - - 2 SYN493-1 MODEL --- 6 - - 2 SYN493+1 MODEL --- 6 - - 2 SYN494-1 MODEL --- 1 - - 2 SYN494+1 MODEL --- 1 - - 2 SYN495-1 MODEL --- 1 - - 2 SYN495+1 MODEL --- 1 - - 2 SYN496-1 MODEL --- 1 - - 2 SYN496+1 MODEL --- 1 - - 2 SYN497-1 MODEL --- 1 - - 2 SYN497+1 MODEL --- 1 - - 2 SYN498+1 fail abend 1 63K 0 - SYN498-1 fail time 300 ??K ?? - SYN499+1 fail abend 1 63K 0 - SYN499-1 fail time 300 ??K ?? - SYN500+1 fail abend 1 63K 0 - SYN500-1 fail time 301 ??K ?? - SYN501+1 fail abend 1 63K 0 - SYN501-1 fail time 301 ??K ?? - SYN502+1 fail abend 1 63K 0 - SYN502-1 fail time 300 ??K ?? - SYN503+1 fail abend 1 63K 0 - SYN503-1 fail time 300 ??K ?? - SYN504+1 fail abend 1 63K 0 - SYN504-1 fail time 301 ??K ?? - SYN505+1 fail abend 1 63K 0 - SYN505-1 fail time 300 ??K ?? - SYN506+1 fail abend 1 63K 0 - SYN506-1 fail time 301 ??K ?? - SYN507+1 fail abend 1 63K 0 - SYN507-1 fail time 301 ??K ?? - SYN508+1 fail abend 1 63K 0 - SYN508-1 fail time 300 ??K ?? - SYN509+1 fail abend 1 63K 0 - SYN509-1 fail time 301 ??K ?? - SYN510+1 fail abend 1 63K 0 - SYN510-1 fail time 301 ??K ?? - SYN511+1 fail abend 1 63K 0 - SYN511-1 fail time 301 ??K ?? - SYN512+1 fail abend 1 63K 0 - SYN512-1 fail time 301 ??K ?? - SYN513+1 fail abend 1 63K 0 - SYN513-1 fail time 300 ??K ?? - SYN514+1 fail abend 1 63K 0 - SYN514-1 fail time 300 ??K ?? - SYN515-1 MODEL --- 1 - - 2 SYN515+1 MODEL --- 3 - - 2 SYN516-1 MODEL --- 1 - - 2 SYN516+1 MODEL --- 2 - - 2 SYN517+1 MODEL --- 1 - - 2 SYN517-1 MODEL --- 2 - - 2 SYN518+1 fail abend 1 63K 0 - SYN518-1 fail time 300 ??K ?? - SYN519+1 fail abend 1 63K 0 - SYN519-1 fail time 300 ??K ?? - SYN520+1 fail abend 1 63K 0 - SYN520-1 fail time 300 ??K ?? - SYN521-1 MODEL --- 1 - - 2 SYN521+1 MODEL --- 1 - - 2 SYN522-1 MODEL --- 1 - - 2 SYN522+1 MODEL --- 5 - - 2 SYN523-1 MODEL --- 1 - - 2 SYN523+1 MODEL --- 1 - - 2 SYN524-1 MODEL --- 1 - - 2 SYN524+1 MODEL --- 1 - - 2 SYN525-1 MODEL --- 1 - - 2 SYN525+1 MODEL --- 1 - - 2 SYN526-1 MODEL --- 1 - - 2 SYN526+1 MODEL --- 1 - - 2 SYN527-1 MODEL --- 1 - - 2 SYN527+1 MODEL --- 1 - - 2 SYN528-1 MODEL --- 1 - - 2 SYN528+1 MODEL --- 1 - - 2 SYN529-1 MODEL --- 1 - - 2 SYN529+1 MODEL --- 1 - - 2 SYN530-1 MODEL --- 1 - - 2 SYN530+1 MODEL --- 1 - - 2 SYN531-1 MODEL --- 1 - - 2 SYN531+1 MODEL --- 2 - - 2 SYN532-1 MODEL --- 1 - - 2 SYN532+1 MODEL --- 2 - - 2 SYN533-1 MODEL --- 1 - - 2 SYN533+1 MODEL --- 1 - - 2 SYN534-1 MODEL --- 1 - - 2 SYN534+1 MODEL --- 1 - - 2 SYN535-1 MODEL --- 1 - - 2 SYN535+1 MODEL --- 1 - - 2 SYN536-1 MODEL --- 1 - - 2 SYN536+1 MODEL --- 2 - - 2 SYN537+1 fail abend 1 63K 0 - SYN537-1 MODEL --- 1 - - 2 SYN538+1 fail abend 1 63K 0 - SYN538-1 MODEL --- 1 - - 2 SYN539+1 fail abend 1 63K 0 - SYN539-1 MODEL --- 6 - - 2 SYN540+1 fail abend 1 63K 0 - SYN540-1 fail sos-empty 6 255K 857 - SYN541+1 fail abend 1 63K 0 - SYN541-1 MODEL --- 1 - - 2 SYN542+1 fail abend 1 63K 0 - SYN542-1 fail time 300 ??K ?? - SYN543+1 fail abend 1 63K 0 - SYN543-1 fail time 300 ??K ?? - SYN544+1 fail abend 1 63K 0 - SYN544-1 fail time 300 ??K ?? - SYN545+1 fail abend 1 63K 0 - SYN545-1 fail time 300 ??K ?? - SYN546+1 fail abend 1 63K 0 - SYN546-1 fail time 300 ??K ?? - SYN547+1 fail abend 1 63K 0 - SYN547-1 fail time 300 ??K ?? - SYN548+1 fail time 300 ??K ?? - SYN549+1 PROOF --- 1 670K 5753 40 SYN550+1 fail time 300 ??K ?? - SYN551+1 fail time 300 ??K ?? - SYN551+2 fail time 299 ??K ?? - SYN551+3 PROOF --- 74 4853K 25482 87 SYN552-1 MODEL --- 1 - - 2 TOP001-1 fail time 300 ??K ?? - TOP001-2 PROOF --- 1 127K 81 10 TOP002-1 fail time 300 ??K ?? - TOP002-2 PROOF --- 1 63K 1 1 TOP003-1 fail time 300 ??K ?? - TOP003-2 MODEL --- 6 - - 2 TOP004-1 PROOF --- 1 255K 26 0 TOP004-2 PROOF --- 1 127K 15 0 TOP005-1 fail time 300 ??K ?? - TOP005-2 PROOF --- 1 159K 105 9 TOP006-1 fail time 300 ??K ?? - TOP007-1 fail time 300 ??K ?? - TOP008-1 fail time 300 ??K ?? - TOP009-1 fail time 301 ??K ?? - TOP010-1 fail time 300 ??K ?? - TOP011-1 fail time 300 ??K ?? - TOP012-1 fail time 300 ??K ?? - TOP013-1 fail time 300 ??K ?? - TOP014-1 fail time 300 ??K ?? - TOP015-1 fail time 300 ??K ?? - TOP016-1 fail time 300 ??K ?? - TOP017-1 fail time 300 ??K ?? - TOP018-1 fail time 300 ??K ?? - TOP019-1 fail time 300 ??K ?? -