1 UNSAT CERTIFIED 20 5.95 20 34.745 Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs
2 UNSAT CERTIFIED 20 6.42 20 37.727 Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs
3 UNSAT CERTIFIED 20 7.48 20 51.094 Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs
4 UNSAT CERTIFIED 20 6.29 20 35.172 Core1108_tbm_02.tex.moduleQ3.2S.000095.qdimacs
5 UNSAT CERTIFIED 20 6.31 20 35.918 Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs
6 UNSAT CERTIFIED 20 6.35 20 39.304 Core1108_tbm_02.tex.moduleQ3.2S.000099.qdimacs
7 UNSAT CERTIFIED 20 6.38 20 36.251 Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs
8 UNSAT CERTIFIED 20 0.02 20 0.073 Core1108_tbm_03.tex.module.000003.qdimacs
9 UNSAT CERTIFIED 20 0.02 20 0.061 Core1108_tbm_03.tex.module.000019.qdimacs
10 UNSAT CERTIFIED 20 0.00 20 0.044 Core1108_tbm_03.tex.module.000021.qdimacs
11 UNSAT CERTIFIED 20 0.00 20 0.045 Core1108_tbm_03.tex.module.000023.qdimacs
12 UNSAT CERTIFIED 20 4.93 20 31.682 Core1108_tbm_03.tex.module.000038.qdimacs
13 UNSAT CERTIFIED 20 6.10 20 44.852 Core1108_tbm_03.tex.module.000039.qdimacs
14 UNSAT CERTIFIED 20 0.01 20 0.055 Core1108_tbm_03.tex.module.000048.qdimacs
15 UNSAT CERTIFIED 20 9.35 20 62.683 Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs
16 UNSAT CERTIFIED 20 9.22 20 57.708 Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs
17 UNSAT CERTIFIED 20 9.12 20 63.268 Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs
18 UNSAT CERTIFIED 20 9.17 20 53.899 Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs
19 UNSAT CERTIFIED 20 9.01 20 52.527 Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs
20 UNSAT CERTIFIED 20 0.02 20 0.077 Core1108_tbm_09.tex.module.000028.qdimacs
21 UNSAT CERTIFIED 20 0.01 20 0.064 Core1108_tbm_09.tex.module.000033.qdimacs
22 UNSAT CERTIFIED 20 12.82 20 99.898 Core1108_tbm_09.tex.moduleQ3.2S.000003.qdimacs
23 UNSAT CERTIFIED 20 12.84 20 95.360 Core1108_tbm_09.tex.moduleQ3.2S.000005.qdimacs
24 UNSAT CERTIFIED 20 12.51 20 92.706 Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs
25 UNSAT CERTIFIED 20 12.54 20 81.983 Core1108_tbm_09.tex.moduleQ3.2S.000010.qdimacs
26 NOT CERTIFIABLE 1 20.36 10 976.734 Core1108_tbm_21.tex.module.000009.qdimacs
27 NOT CERTIFIABLE 1 19.32 10 1018.264 Core1108_tbm_21.tex.module.000010.qdimacs
28 UNSAT CERTIFIED 20 2.44 20 10.341 Core1108_tbm_21.tex.module.000014.qdimacs
29 UNSAT CERTIFIED 20 0.02 20 0.065 Core1108_tbm_21.tex.module.000017.qdimacs
30 UNSAT CERTIFIED 20 0.01 20 0.051 Core1108_tbm_21.tex.module.000023.qdimacs
31 UNSAT CERTIFIED 20 0.00 20 0.038 Core1108_tbm_21.tex.module.000026.qdimacs
32 UNSAT CERTIFIED 20 0.01 20 0.041 Core1108_tbm_21.tex.module.000027.qdimacs
33 NOT CERTIFIABLE 1 17.64 10 1122.254 Core1108_tbm_21.tex.module.000030.qdimacs
34 NOT CERTIFIABLE 1 0.00 20 0.034 Core1108_tbm_21.tex.module.000091.qdimacs
35 NOT CERTIFIABLE 1 6.34 10 180.592 Core1108_tbm_28.tex.moduleQ2.2S.000003.qdimacs
36 NOT CERTIFIABLE 1 42.39 10 1105.234 Umbrella_tbm_05.tex.module.000011.qdimacs
37 UNSAT CERTIFIED 20 0.03 20 0.131 Umbrella_tbm_05.tex.module.000015.qdimacs
38 NOT CERTIFIABLE 1 38.07 10 858.845 Umbrella_tbm_05.tex.module.000025.qdimacs
39 UNSAT CERTIFIED 20 0.03 20 0.110 Umbrella_tbm_05.tex.module.000030.qdimacs
40 NOT CERTIFIABLE 1 35.07 10 832.798 Umbrella_tbm_05.tex.module.000039.qdimacs
41 UNSAT CERTIFIED 20 0.03 20 0.115 Umbrella_tbm_05.tex.module.000043.qdimacs
42 NOT CERTIFIABLE 1 31.33 10 1089.458 Umbrella_tbm_05.tex.module.000053.qdimacs
43 NOT CERTIFIABLE 1 28.12 10 991.677 Umbrella_tbm_05.tex.module.000064.qdimacs
44 UNSAT CERTIFIED 20 0.02 20 0.087 Umbrella_tbm_05.tex.module.000065.qdimacs
45 UNSAT CERTIFIED 20 0.03 20 0.089 Umbrella_tbm_05.tex.module.000079.qdimacs
46 NOT CERTIFIABLE 1 25.55 10 1030.643 Umbrella_tbm_05.tex.module.000088.qdimacs
47 UNSAT CERTIFIED 20 3.79 20 83.073 Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs
48 UNSAT CERTIFIED 20 5.96 20 172.458 Umbrella_tbm_14.tex.moduleQ2.1S.000749.qdimacs
49 UNSAT CERTIFIED 20 2.18 20 23.536 Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs
50 UNSAT CERTIFIED 20 4.30 20 129.054 Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs
51 UNSAT CERTIFIED 20 2.66 20 46.934 Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs
52 UNSAT CERTIFIED 20 3.01 20 59.034 Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs
53 UNSAT CERTIFIED 20 2.79 20 49.052 Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs
54 UNSAT CERTIFIED 20 2.02 20 23.093 Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs
55 UNSAT CERTIFIED 20 2.50 20 38.410 Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs
56 UNSAT CERTIFIED 20 2.21 20 30.303 Umbrella_tbm_14.tex.moduleQ2.2S.000002.qdimacs
57 NOT CERTIFIABLE 1 27.61 10 1098.561 Umbrella_tbm_21.tex.module.000024.qdimacs
58 NOT CERTIFIABLE 1 26.00 10 955.880 Umbrella_tbm_21.tex.module.000029.qdimacs
59 UNSAT CERTIFIED 20 6.23 20 23.977 Umbrella_tbm_21.tex.module.000044.qdimacs
60 NOT CERTIFIABLE 1 24.16 10 822.768 Umbrella_tbm_21.tex.module.000049.qdimacs
61 NOT CERTIFIABLE 1 24.67 10 1123.987 Umbrella_tbm_21.tex.module.000056.qdimacs
62 UNSAT CERTIFIED 20 5.32 20 22.107 Umbrella_tbm_21.tex.module.000139.qdimacs
63 SEG FAULT 11 2.11 10 27.510 Umbrella_tbm_23.tex.moduleQ1.2S.000001.qdimacs
64 SEG FAULT 11 1.77 10 17.734 Umbrella_tbm_24.tex.module.000066.qdimacs
65 NOT CERTIFIABLE 1 1.87 10 19.344 Umbrella_tbm_24.tex.module.000103.qdimacs
66 NOT CERTIFIABLE 1 1.78 10 18.228 Umbrella_tbm_24.tex.module.000131.qdimacs
67 SEG FAULT 11 8.71 10 213.842 Umbrella_tbm_24.tex.moduleQ2.1S.000022.qdimacs
68 SEG FAULT 11 7.71 10 198.146 Umbrella_tbm_24.tex.moduleQ2.1S.000136.qdimacs
69 SEG FAULT 11 8.24 10 202.031 Umbrella_tbm_24.tex.moduleQ2.1S.000188.qdimacs
70 UNSAT CERTIFIED 20 0.06 20 0.200 Umbrella_tbm_25.tex.module.000003.qdimacs
71 UNSAT CERTIFIED 20 16.11 20 120.547 Umbrella_tbm_25.tex.module.000084.qdimacs
72 UNSAT CERTIFIED 20 18.45 20 123.808 Umbrella_tbm_25.tex.module.000087.qdimacs
73 UNSAT CERTIFIED 20 18.25 20 149.795 Umbrella_tbm_25.tex.module.000099.qdimacs
74 UNSAT CERTIFIED 20 23.63 20 250.906 Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs
75 UNSAT CERTIFIED 20 0.02 20 0.095 Umbrella_tbm_26.tex.module.000004.qdimacs
76 UNSAT CERTIFIED 20 22.67 20 611.141 Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs
77 UNSAT CERTIFIED 20 21.93 20 559.042 Umbrella_tbm_26.tex.moduleQ3.2S.000014.qdimacs
78 UNSAT CERTIFIED 20 23.39 20 654.785 Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs
79 UNSAT CERTIFIED 20 23.68 20 648.278 Umbrella_tbm_26.tex.moduleQ3.2S.000037.qdimacs
80 UNSAT CERTIFIED 20 23.40 20 607.183 Umbrella_tbm_26.tex.moduleQ3.2S.000041.qdimacs
81 NOT CERTIFIABLE 1 2.85 10 15.423 Umbrella_tbm_29.tex.module.000009.qdimacs
82 NOT CERTIFIABLE 1 2.95 10 18.204 Umbrella_tbm_29.tex.module.000010.qdimacs
83 NOT CERTIFIABLE 1 2.12 10 14.516 Umbrella_tbm_29.tex.module.000078.qdimacs
84 NOT CERTIFIABLE 1 9.56 10 276.664 Umbrella_tbm_29.tex.moduleQ2.2S.000001.qdimacs
85 UNSAT CERTIFIED 20 1.59 20 5.101 W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs
86 UNSAT CERTIFIED 20 0.42 20 1.115 W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs
87 UNSAT CERTIFIED 20 0.58 20 1.387 W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs
88 UNSAT CERTIFIED 20 0.60 20 1.123 W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs