problem |
result |
overall_time |
c100_problem__002.smt2.slack |
sat |
3.1 |
c100_problem__004.smt2.slack |
sat |
4.29 |
c10_problem__001.smt2.slack |
sat |
0.51 |
c10_problem__004.smt2.slack |
sat |
0.63 |
c10_problem__005.smt2.slack |
sat |
7.48 |
c10_problem__006.smt2.slack |
sat |
0.82 |
c20_problem__003.smt2.slack |
sat |
70.31 |
c20_problem__005.smt2.slack |
sat |
1.64 |
c20_problem__006.smt2.slack |
sat |
1.2 |
c30_problem__004.smt2.slack |
sat |
2485.71 |
c30_problem__005.smt2.slack |
sat |
1.85 |
c40_problem__003.smt2.slack |
sat |
1.22 |
c40_problem__006.smt2.slack |
sat |
1.3 |
c50_problem__004.smt2.slack |
sat |
0.55 |
c60_problem__002.smt2.slack |
sat |
48.39 |
c60_problem__003.smt2.slack |
sat |
1.95 |
c60_problem__005.smt2.slack |
sat |
1.37 |
c60_problem__006.smt2.slack |
sat |
4.17 |
c70_problem__003.smt2.slack |
sat |
0.96 |
c70_problem__005.smt2.slack |
sat |
326.36 |
c70_problem__006.smt2.slack |
sat |
2.31 |
c80_problem__002.smt2.slack |
sat |
1.35 |
c80_problem__004.smt2.slack |
sat |
5 |
c80_problem__005.smt2.slack |
sat |
0.81 |
c80_problem__006.smt2.slack |
sat |
6.12 |
c90_problem__002.smt2.slack |
sat |
0.65 |
c90_problem__003.smt2.slack |
sat |
4.15 |
c90_problem__006.smt2.slack |
sat |
1.03 |
v10_problem_2__001.smt2.slack |
sat |
0.42 |
v10_problem_2__002.smt2.slack |
sat |
0.53 |
v10_problem_2__003.smt2.slack |
sat |
NULL |
v10_problem_2__004.smt2.slack |
sat |
0.45 |
v10_problem_2__005.smt2.slack |
sat |
0.57 |
v10_problem_2__006.smt2.slack |
sat |
0.36 |
v10_problem_2__007.smt2.slack |
sat |
0.47 |
v10_problem_2__008.smt2.slack |
sat |
0.42 |
v10_problem_2__009.smt2.slack |
sat |
0.44 |
v10_problem_2__010.smt2.slack |
sat |
0.41 |
v10_problem_2__011.smt2.slack |
sat |
0.64 |
v10_problem_2__013.smt2.slack |
sat |
0.71 |
v10_problem_2__014.smt2.slack |
sat |
0.54 |
v10_problem_2__015.smt2.slack |
sat |
0.48 |
v10_problem_2__017.smt2.slack |
sat |
0.42 |
v10_problem_2__018.smt2.slack |
sat |
0.79 |
v10_problem_2__020.smt2.slack |
sat |
0.46 |
v10_problem_2__022.smt2.slack |
sat |
0.53 |
v10_problem_2__023.smt2.slack |
sat |
0.61 |
v10_problem__001.smt2.slack |
sat |
0.46 |
v10_problem__002.smt2.slack |
sat |
0.49 |
v10_problem__003.smt2.slack |
sat |
0.48 |
v10_problem__005.smt2.slack |
sat |
0.41 |
v10_problem__006.smt2.slack |
sat |
0.36 |
v10_problem__007.smt2.slack |
sat |
0.48 |
v10_problem__008.smt2.slack |
sat |
0.57 |
v10_problem__009.smt2.slack |
sat |
0.51 |
v10_problem__010.smt2.slack |
sat |
0.42 |
v10_problem__012.smt2.slack |
sat |
0.5 |
v10_problem__013.smt2.slack |
sat |
0.6 |
v10_problem__014.smt2.slack |
sat |
0.49 |
v10_problem__015.smt2.slack |
sat |
0.58 |
v10_problem__018.smt2.slack |
sat |
0.89 |
v10_problem__019.smt2.slack |
sat |
0.57 |
v10_problem__023.smt2.slack |
sat |
0.6 |
v15_problem_2__001.smt2.slack |
sat |
0.44 |
v15_problem_2__002.smt2.slack |
sat |
0.56 |
v15_problem_2__003.smt2.slack |
sat |
0.63 |
v15_problem_2__004.smt2.slack |
sat |
0.68 |
v15_problem_2__005.smt2.slack |
sat |
1.34 |
v15_problem_2__006.smt2.slack |
sat |
2.54 |
v15_problem_2__007.smt2.slack |
sat |
0.89 |
v15_problem_2__008.smt2.slack |
sat |
0.57 |
v15_problem_2__009.smt2.slack |
sat |
0.56 |
v15_problem_2__010.smt2.slack |
sat |
0.74 |
v15_problem_2__012.smt2.slack |
sat |
0.65 |
v15_problem_2__013.smt2.slack |
sat |
7.75 |
v15_problem_2__014.smt2.slack |
sat |
2.97 |
v15_problem_2__015.smt2.slack |
sat |
0.68 |
v15_problem_2__016.smt2.slack |
sat |
1.11 |
v15_problem_2__017.smt2.slack |
sat |
5.34 |
v15_problem_2__018.smt2.slack |
sat |
3.52 |
v15_problem_2__023.smt2.slack |
sat |
0.88 |
v15_problem__001.smt2.slack |
sat |
0.69 |
v15_problem__002.smt2.slack |
sat |
0.5 |
v15_problem__003.smt2.slack |
sat |
0.69 |
v15_problem__004.smt2.slack |
sat |
0.5 |
v15_problem__005.smt2.slack |
sat |
0.43 |
v15_problem__006.smt2.slack |
sat |
0.86 |
v15_problem__007.smt2.slack |
sat |
1.23 |
v15_problem__008.smt2.slack |
sat |
0.43 |
v15_problem__009.smt2.slack |
sat |
1.48 |
v15_problem__010.smt2.slack |
sat |
0.78 |
v15_problem__011.smt2.slack |
sat |
1.27 |
v15_problem__012.smt2.slack |
sat |
1.99 |
v15_problem__013.smt2.slack |
sat |
1.33 |
v15_problem__014.smt2.slack |
sat |
1.07 |
v15_problem__015.smt2.slack |
sat |
0.57 |
v15_problem__017.smt2.slack |
sat |
1.08 |
v15_problem__018.smt2.slack |
sat |
1.75 |
v15_problem__019.smt2.slack |
sat |
1.59 |
v15_problem__020.smt2.slack |
sat |
1.16 |
v15_problem__021.smt2.slack |
sat |
0.94 |
v20_problem_2__001.smt2.slack |
sat |
0.52 |
v20_problem_2__002.smt2.slack |
sat |
0.55 |
v20_problem_2__003.smt2.slack |
sat |
0.87 |
v20_problem_2__004.smt2.slack |
sat |
0.55 |
v20_problem_2__005.smt2.slack |
sat |
1.08 |
v20_problem_2__006.smt2.slack |
sat |
7.92 |
v20_problem_2__007.smt2.slack |
sat |
13.46 |
v20_problem_2__008.smt2.slack |
sat |
266.89 |
v20_problem_2__009.smt2.slack |
sat |
2.02 |
v20_problem_2__010.smt2.slack |
sat |
0.89 |
v20_problem_2__011.smt2.slack |
sat |
0.74 |
v20_problem_2__012.smt2.slack |
sat |
3.5 |
v20_problem_2__013.smt2.slack |
sat |
654.81 |
v20_problem_2__014.smt2.slack |
sat |
17.43 |
v20_problem_2__015.smt2.slack |
sat |
5.32 |
v20_problem_2__016.smt2.slack |
sat |
4.97 |
v20_problem_2__017.smt2.slack |
sat |
6.86 |
v20_problem_2__018.smt2.slack |
sat |
2.85 |
v20_problem_2__019.smt2.slack |
sat |
1.9 |
v20_problem_2__020.smt2.slack |
sat |
1.87 |
v20_problem_2__022.smt2.slack |
sat |
1.06 |
v20_problem_2__024.smt2.slack |
sat |
4.27 |
v20_problem_2__025.smt2.slack |
sat |
580.73 |
v20_problem_2__028.smt2.slack |
sat |
515.77 |
v20_problem_2__029.smt2.slack |
sat |
2.33 |
v20_problem_2__035.smt2.slack |
sat |
4.01 |
v20_problem__001.smt2.slack |
sat |
0.88 |
v20_problem__002.smt2.slack |
sat |
0.56 |
v20_problem__003.smt2.slack |
sat |
0.79 |
v20_problem__004.smt2.slack |
sat |
0.66 |
v20_problem__005.smt2.slack |
sat |
0.77 |
v20_problem__006.smt2.slack |
sat |
0.63 |
v20_problem__007.smt2.slack |
sat |
1.08 |
v20_problem__008.smt2.slack |
sat |
3.99 |
v20_problem__009.smt2.slack |
sat |
476.11 |
v20_problem__010.smt2.slack |
sat |
0.79 |
v20_problem__011.smt2.slack |
sat |
5.06 |
v20_problem__012.smt2.slack |
sat |
3.56 |
v20_problem__013.smt2.slack |
sat |
1.64 |
v20_problem__017.smt2.slack |
sat |
1.5 |
v20_problem__019.smt2.slack |
sat |
15.39 |
v20_problem__020.smt2.slack |
sat |
4.28 |
v20_problem__021.smt2.slack |
sat |
2.72 |
v20_problem__022.smt2.slack |
sat |
3.21 |
v20_problem__024.smt2.slack |
sat |
2.63 |
v20_problem__026.smt2.slack |
sat |
260.29 |
v20_problem__028.smt2.slack |
sat |
3.06 |
v20_problem__030.smt2.slack |
sat |
5.24 |
v25_problem_2__001.smt2.slack |
sat |
1.69 |
v25_problem_2__002.smt2.slack |
sat |
2.98 |
v25_problem_2__003.smt2.slack |
sat |
0.59 |
v25_problem_2__004.smt2.slack |
sat |
0.91 |
v25_problem_2__005.smt2.slack |
sat |
0.81 |
v25_problem_2__006.smt2.slack |
sat |
1.23 |
v25_problem_2__007.smt2.slack |
sat |
116.34 |
v25_problem_2__008.smt2.slack |
sat |
0.68 |
v25_problem_2__009.smt2.slack |
sat |
3.05 |
v25_problem_2__010.smt2.slack |
sat |
0.66 |
v25_problem_2__011.smt2.slack |
sat |
5.16 |
v25_problem_2__012.smt2.slack |
sat |
17.36 |
v25_problem_2__014.smt2.slack |
sat |
33.7 |
v25_problem_2__015.smt2.slack |
sat |
136.34 |
v25_problem_2__016.smt2.slack |
sat |
11.85 |
v25_problem_2__017.smt2.slack |
sat |
24.85 |
v25_problem_2__018.smt2.slack |
sat |
11.08 |
v25_problem_2__019.smt2.slack |
sat |
3.97 |
v25_problem_2__020.smt2.slack |
sat |
4.31 |
v25_problem_2__021.smt2.slack |
sat |
15.2 |
v25_problem_2__022.smt2.slack |
sat |
3.43 |
v25_problem_2__023.smt2.slack |
sat |
4.44 |
v25_problem_2__024.smt2.slack |
sat |
2.54 |
v25_problem_2__025.smt2.slack |
sat |
11.93 |
v25_problem_2__026.smt2.slack |
sat |
15.49 |
v25_problem_2__027.smt2.slack |
sat |
9.1 |
v25_problem_2__028.smt2.slack |
sat |
3.08 |
v25_problem_2__030.smt2.slack |
sat |
12.37 |
v25_problem_2__034.smt2.slack |
sat |
4.67 |
v25_problem_2__035.smt2.slack |
sat |
3.66 |
v25_problem__001.smt2.slack |
sat |
0.76 |
v25_problem__002.smt2.slack |
sat |
0.6 |
v25_problem__003.smt2.slack |
sat |
0.59 |
v25_problem__004.smt2.slack |
sat |
7.1 |
v25_problem__005.smt2.slack |
sat |
4.55 |
v25_problem__006.smt2.slack |
sat |
3.08 |
v25_problem__007.smt2.slack |
sat |
9.53 |
v25_problem__008.smt2.slack |
sat |
1.77 |
v25_problem__009.smt2.slack |
sat |
5.85 |
v25_problem__010.smt2.slack |
sat |
494.91 |
v25_problem__011.smt2.slack |
sat |
11.91 |
v25_problem__012.smt2.slack |
sat |
4.52 |
v25_problem__013.smt2.slack |
sat |
121.73 |
v25_problem__014.smt2.slack |
sat |
1.11 |
v25_problem__015.smt2.slack |
sat |
7.14 |
v25_problem__016.smt2.slack |
sat |
16.3 |
v25_problem__018.smt2.slack |
sat |
38.91 |
v25_problem__020.smt2.slack |
sat |
10.82 |
v25_problem__021.smt2.slack |
sat |
25.35 |
v25_problem__023.smt2.slack |
sat |
5.24 |
v25_problem__024.smt2.slack |
sat |
40.87 |
v25_problem__025.smt2.slack |
sat |
11.78 |
v25_problem__026.smt2.slack |
sat |
27.32 |
v25_problem__027.smt2.slack |
sat |
5.82 |
v25_problem__029.smt2.slack |
sat |
28.85 |
v25_problem__033.smt2.slack |
sat |
8.65 |
v25_problem__035.smt2.slack |
sat |
8.34 |
v30_problem_2__001.smt2.slack |
sat |
0.53 |
v30_problem_2__002.smt2.slack |
sat |
0.42 |
v30_problem_2__003.smt2.slack |
sat |
0.46 |
v30_problem_2__004.smt2.slack |
sat |
0.8 |
v30_problem_2__005.smt2.slack |
sat |
224.09 |
v30_problem_2__006.smt2.slack |
sat |
29.34 |
v30_problem_2__007.smt2.slack |
sat |
2.17 |
v30_problem_2__008.smt2.slack |
sat |
2.71 |
v30_problem_2__009.smt2.slack |
sat |
31.17 |
v30_problem_2__010.smt2.slack |
sat |
2.74 |
v30_problem_2__011.smt2.slack |
sat |
169.12 |
v30_problem_2__012.smt2.slack |
sat |
1.82 |
v30_problem_2__013.smt2.slack |
sat |
13.07 |
v30_problem_2__014.smt2.slack |
sat |
3.89 |
v30_problem_2__015.smt2.slack |
sat |
262.88 |
v30_problem_2__016.smt2.slack |
sat |
4.89 |
v30_problem_2__017.smt2.slack |
sat |
107.97 |
v30_problem_2__018.smt2.slack |
sat |
10.93 |
v30_problem_2__019.smt2.slack |
sat |
4.07 |
v30_problem_2__021.smt2.slack |
sat |
95 |
v30_problem_2__022.smt2.slack |
sat |
148.82 |
v30_problem_2__023.smt2.slack |
sat |
4.27 |
v30_problem_2__024.smt2.slack |
sat |
853.11 |
v30_problem_2__025.smt2.slack |
sat |
24.16 |
v30_problem_2__027.smt2.slack |
sat |
26.41 |
v30_problem_2__028.smt2.slack |
sat |
83.95 |
v30_problem_2__029.smt2.slack |
sat |
49.41 |
v30_problem_2__030.smt2.slack |
sat |
8.54 |
v30_problem_2__031.smt2.slack |
sat |
62.89 |
v30_problem_2__032.smt2.slack |
sat |
2.11 |
v30_problem_2__033.smt2.slack |
sat |
1390.07 |
v30_problem_2__035.smt2.slack |
sat |
186.2 |
v30_problem__001.smt2.slack |
sat |
1.75 |
v30_problem__002.smt2.slack |
sat |
4.89 |
v30_problem__003.smt2.slack |
sat |
6.7 |
v30_problem__004.smt2.slack |
sat |
0.95 |
v30_problem__005.smt2.slack |
sat |
0.43 |
v30_problem__006.smt2.slack |
sat |
5.3 |
v30_problem__007.smt2.slack |
sat |
18.56 |
v30_problem__008.smt2.slack |
sat |
0.73 |
v30_problem__009.smt2.slack |
sat |
0.8 |
v30_problem__010.smt2.slack |
sat |
6.01 |
v30_problem__011.smt2.slack |
sat |
3.7 |
v30_problem__012.smt2.slack |
sat |
289.83 |
v30_problem__013.smt2.slack |
sat |
366.65 |
v30_problem__014.smt2.slack |
sat |
25.29 |
v30_problem__018.smt2.slack |
sat |
19.87 |
v30_problem__019.smt2.slack |
sat |
7.56 |
v30_problem__020.smt2.slack |
sat |
156.74 |
v30_problem__021.smt2.slack |
sat |
11.96 |
v30_problem__022.smt2.slack |
sat |
14.96 |
v30_problem__023.smt2.slack |
sat |
51.39 |
v30_problem__024.smt2.slack |
sat |
4.14 |
v30_problem__025.smt2.slack |
sat |
1.75 |
v30_problem__026.smt2.slack |
sat |
9.36 |
v30_problem__027.smt2.slack |
sat |
4.89 |
v30_problem__029.smt2.slack |
sat |
10.93 |
v30_problem__030.smt2.slack |
sat |
21.62 |
v30_problem__031.smt2.slack |
sat |
6.21 |
v30_problem__033.smt2.slack |
sat |
12.08 |
v30_problem__034.smt2.slack |
sat |
2.57 |
v30_problem__035.smt2.slack |
sat |
22.65 |
v35_problem_2__001.smt2.slack |
sat |
0.8 |
v35_problem_2__002.smt2.slack |
sat |
0.64 |
v35_problem_2__003.smt2.slack |
sat |
2.76 |
v35_problem_2__004.smt2.slack |
sat |
443.46 |
v35_problem_2__005.smt2.slack |
sat |
2.16 |
v35_problem_2__006.smt2.slack |
sat |
4.63 |
v35_problem_2__007.smt2.slack |
sat |
6.68 |
v35_problem_2__008.smt2.slack |
sat |
177 |
v35_problem_2__009.smt2.slack |
sat |
45.96 |
v35_problem_2__010.smt2.slack |
sat |
2.36 |
v35_problem_2__011.smt2.slack |
sat |
45.76 |
v35_problem_2__012.smt2.slack |
sat |
2.43 |
v35_problem_2__013.smt2.slack |
sat |
43.96 |
v35_problem_2__014.smt2.slack |
sat |
6.18 |
v35_problem_2__018.smt2.slack |
sat |
2.38 |
v35_problem_2__019.smt2.slack |
sat |
187.53 |
v35_problem_2__020.smt2.slack |
sat |
9.3 |
v35_problem_2__022.smt2.slack |
sat |
5.59 |
v35_problem_2__024.smt2.slack |
sat |
53.37 |
v35_problem_2__025.smt2.slack |
sat |
17.9 |
v35_problem_2__026.smt2.slack |
sat |
29.59 |
v35_problem_2__027.smt2.slack |
sat |
102.91 |
v35_problem_2__028.smt2.slack |
sat |
71.19 |
v35_problem_2__029.smt2.slack |
sat |
49.55 |
v35_problem_2__030.smt2.slack |
sat |
97.99 |
v35_problem_2__031.smt2.slack |
sat |
NULL |
v35_problem_2__032.smt2.slack |
sat |
7.97 |
v35_problem_2__033.smt2.slack |
sat |
329.05 |
v35_problem_2__034.smt2.slack |
sat |
24.45 |
v35_problem_2__035.smt2.slack |
sat |
8.98 |
v35_problem__001.smt2.slack |
sat |
0.48 |
v35_problem__002.smt2.slack |
sat |
0.8 |
v35_problem__003.smt2.slack |
sat |
1.23 |
v35_problem__004.smt2.slack |
sat |
0.67 |
v35_problem__007.smt2.slack |
sat |
3.28 |
v35_problem__008.smt2.slack |
sat |
1 |
v35_problem__009.smt2.slack |
sat |
2.15 |
v35_problem__010.smt2.slack |
sat |
31.11 |
v35_problem__011.smt2.slack |
sat |
1722.38 |
v35_problem__012.smt2.slack |
sat |
4.26 |
v35_problem__013.smt2.slack |
sat |
1.4 |
v35_problem__014.smt2.slack |
sat |
38.16 |
v35_problem__015.smt2.slack |
sat |
1.43 |
v35_problem__016.smt2.slack |
sat |
9.76 |
v35_problem__018.smt2.slack |
sat |
38.5 |
v35_problem__020.smt2.slack |
sat |
22.12 |
v35_problem__021.smt2.slack |
sat |
4.9 |
v35_problem__023.smt2.slack |
sat |
3.99 |
v35_problem__024.smt2.slack |
sat |
13.94 |
v35_problem__026.smt2.slack |
sat |
7.06 |
v35_problem__027.smt2.slack |
sat |
23.36 |
v35_problem__028.smt2.slack |
sat |
4 |
v35_problem__030.smt2.slack |
sat |
28.33 |
v35_problem__031.smt2.slack |
sat |
53.34 |
v35_problem__032.smt2.slack |
sat |
41.6 |
v35_problem__034.smt2.slack |
sat |
31.18 |
v35_problem__035.smt2.slack |
sat |
4.56 |
v40_problem_2__001.smt2.slack |
sat |
122.31 |
v40_problem_2__002.smt2.slack |
sat |
1 |
v40_problem_2__003.smt2.slack |
sat |
1.85 |
v40_problem_2__004.smt2.slack |
sat |
1.06 |
v40_problem_2__005.smt2.slack |
sat |
0.99 |
v40_problem_2__006.smt2.slack |
sat |
5.39 |
v40_problem_2__007.smt2.slack |
sat |
0.6 |
v40_problem_2__008.smt2.slack |
sat |
3.13 |
v40_problem_2__009.smt2.slack |
sat |
26.22 |
v40_problem_2__010.smt2.slack |
sat |
6.17 |
v40_problem_2__011.smt2.slack |
sat |
2.41 |
v40_problem_2__012.smt2.slack |
sat |
347.65 |
v40_problem_2__014.smt2.slack |
sat |
703.15 |
v40_problem_2__015.smt2.slack |
sat |
3.85 |
v40_problem_2__016.smt2.slack |
sat |
11.6 |
v40_problem_2__017.smt2.slack |
sat |
152.27 |
v40_problem_2__018.smt2.slack |
sat |
33.24 |
v40_problem_2__019.smt2.slack |
sat |
19.1 |
v40_problem_2__020.smt2.slack |
sat |
5.19 |
v40_problem_2__021.smt2.slack |
sat |
177.02 |
v40_problem_2__022.smt2.slack |
sat |
52.39 |
v40_problem_2__023.smt2.slack |
sat |
22.15 |
v40_problem_2__024.smt2.slack |
sat |
372.7 |
v40_problem_2__025.smt2.slack |
sat |
31.16 |
v40_problem_2__026.smt2.slack |
sat |
91.22 |
v40_problem_2__027.smt2.slack |
sat |
2417.75 |
v40_problem_2__030.smt2.slack |
sat |
81.57 |
v40_problem_2__031.smt2.slack |
sat |
6.91 |
v40_problem_2__032.smt2.slack |
sat |
88.62 |
v40_problem_2__034.smt2.slack |
sat |
4.58 |
v40_problem_2__035.smt2.slack |
sat |
392.93 |
v40_problem__001.smt2.slack |
sat |
11.58 |
v40_problem__002.smt2.slack |
sat |
1.33 |
v40_problem__003.smt2.slack |
sat |
474.7 |
v40_problem__004.smt2.slack |
sat |
0.84 |
v40_problem__005.smt2.slack |
sat |
0.42 |
v40_problem__006.smt2.slack |
sat |
0.88 |
v40_problem__008.smt2.slack |
sat |
386.33 |
v40_problem__009.smt2.slack |
sat |
1922.96 |
v40_problem__010.smt2.slack |
sat |
0.7 |
v40_problem__011.smt2.slack |
sat |
30.14 |
v40_problem__012.smt2.slack |
sat |
1772.5 |
v40_problem__013.smt2.slack |
sat |
837.04 |
v40_problem__014.smt2.slack |
sat |
0.85 |
v40_problem__015.smt2.slack |
sat |
1.96 |
v40_problem__017.smt2.slack |
sat |
19.01 |
v40_problem__018.smt2.slack |
sat |
99.39 |
v40_problem__019.smt2.slack |
sat |
257.82 |
v40_problem__020.smt2.slack |
sat |
453.32 |
v40_problem__021.smt2.slack |
sat |
312.71 |
v40_problem__022.smt2.slack |
sat |
120.14 |
v40_problem__023.smt2.slack |
sat |
101.07 |
v40_problem__025.smt2.slack |
sat |
26.46 |
v40_problem__026.smt2.slack |
sat |
30.84 |
v40_problem__028.smt2.slack |
sat |
1699.51 |
v40_problem__029.smt2.slack |
sat |
69.51 |
v40_problem__030.smt2.slack |
sat |
620.76 |
v40_problem__031.smt2.slack |
sat |
71.75 |
v40_problem__032.smt2.slack |
sat |
48.95 |
v40_problem__033.smt2.slack |
sat |
699.1 |
v40_problem__034.smt2.slack |
sat |
7.87 |
v40_problem__035.smt2.slack |
sat |
4.38 |
v45_problem_2__001.smt2.slack |
sat |
5.11 |
v45_problem_2__002.smt2.slack |
sat |
0.85 |
v45_problem_2__003.smt2.slack |
sat |
4.75 |
v45_problem_2__004.smt2.slack |
sat |
0.84 |
v45_problem_2__005.smt2.slack |
sat |
1.02 |
v45_problem_2__007.smt2.slack |
sat |
0.71 |
v45_problem_2__008.smt2.slack |
sat |
0.56 |
v45_problem_2__009.smt2.slack |
sat |
0.73 |
v45_problem_2__013.smt2.slack |
sat |
46.37 |
v45_problem_2__014.smt2.slack |
sat |
12.48 |
v45_problem_2__016.smt2.slack |
sat |
9.36 |
v45_problem_2__017.smt2.slack |
sat |
95.79 |
v45_problem_2__018.smt2.slack |
sat |
6.67 |
v45_problem_2__020.smt2.slack |
sat |
9.34 |
v45_problem_2__021.smt2.slack |
sat |
11.12 |
v45_problem_2__022.smt2.slack |
sat |
37.87 |
v45_problem_2__023.smt2.slack |
sat |
16.18 |
v45_problem_2__025.smt2.slack |
sat |
65.14 |
v45_problem_2__027.smt2.slack |
sat |
566.36 |
v45_problem_2__028.smt2.slack |
sat |
51.05 |
v45_problem_2__029.smt2.slack |
sat |
8.99 |
v45_problem_2__030.smt2.slack |
sat |
921.34 |
v45_problem_2__031.smt2.slack |
sat |
29.99 |
v45_problem_2__032.smt2.slack |
sat |
214.13 |
v45_problem_2__033.smt2.slack |
sat |
4.73 |
v45_problem_2__034.smt2.slack |
sat |
365.32 |
v45_problem_2__035.smt2.slack |
sat |
6.72 |
v45_problem__001.smt2.slack |
sat |
0.95 |
v45_problem__002.smt2.slack |
sat |
0.77 |
v45_problem__003.smt2.slack |
sat |
0.92 |
v45_problem__004.smt2.slack |
sat |
0.64 |
v45_problem__005.smt2.slack |
sat |
0.87 |
v45_problem__006.smt2.slack |
sat |
18.29 |
v45_problem__007.smt2.slack |
sat |
36.1 |
v45_problem__008.smt2.slack |
sat |
6.98 |
v45_problem__009.smt2.slack |
sat |
6.87 |
v45_problem__010.smt2.slack |
sat |
1 |
v45_problem__011.smt2.slack |
sat |
458.77 |
v45_problem__012.smt2.slack |
sat |
11.26 |
v45_problem__015.smt2.slack |
sat |
19.55 |
v45_problem__016.smt2.slack |
sat |
17.5 |
v45_problem__017.smt2.slack |
sat |
132.38 |
v45_problem__018.smt2.slack |
sat |
243.06 |
v45_problem__020.smt2.slack |
sat |
13.63 |
v45_problem__021.smt2.slack |
sat |
47.08 |
v45_problem__022.smt2.slack |
sat |
30.2 |
v45_problem__023.smt2.slack |
sat |
15.84 |
v45_problem__024.smt2.slack |
sat |
25.24 |
v45_problem__025.smt2.slack |
sat |
297.17 |
v45_problem__027.smt2.slack |
sat |
795.66 |
v45_problem__029.smt2.slack |
sat |
11.71 |
v45_problem__034.smt2.slack |
sat |
52.6 |
v45_problem__035.smt2.slack |
sat |
NULL |
c100_problem__006.smt2.slack |
unsat |
0.65 |
c10_problem__002.smt2.slack |
unsat |
0.56 |
c20_problem__004.smt2.slack |
unsat |
0.59 |
c30_problem__006.smt2.slack |
unsat |
0.62 |
c40_problem__002.smt2.slack |
unsat |
0.72 |
c50_problem__002.smt2.slack |
unsat |
1.02 |
c50_problem__006.smt2.slack |
unsat |
0.69 |
c90_problem__005.smt2.slack |
unsat |
0.71 |
v10_problem_2__012.smt2.slack |
unsat |
0.58 |
v10_problem_2__016.smt2.slack |
unsat |
0.56 |
v10_problem_2__019.smt2.slack |
unsat |
0.57 |
v10_problem_2__021.smt2.slack |
unsat |
0.64 |
v10_problem_2__024.smt2.slack |
unsat |
0.55 |
v10_problem_2__025.smt2.slack |
unsat |
0.61 |
v10_problem_2__026.smt2.slack |
unsat |
0.5 |
v10_problem_2__027.smt2.slack |
unsat |
0.48 |
v10_problem_2__028.smt2.slack |
unsat |
0.69 |
v10_problem_2__029.smt2.slack |
unsat |
0.61 |
v10_problem_2__030.smt2.slack |
unsat |
0.65 |
v10_problem_2__031.smt2.slack |
unsat |
0.46 |
v10_problem_2__032.smt2.slack |
unsat |
0.47 |
v10_problem_2__033.smt2.slack |
unsat |
0.63 |
v10_problem_2__034.smt2.slack |
unsat |
0.51 |
v10_problem_2__035.smt2.slack |
unsat |
0.4 |
v10_problem__016.smt2.slack |
unsat |
0.61 |
v10_problem__017.smt2.slack |
unsat |
0.39 |
v10_problem__020.smt2.slack |
unsat |
0.66 |
v10_problem__021.smt2.slack |
unsat |
0.69 |
v10_problem__022.smt2.slack |
unsat |
0.52 |
v10_problem__024.smt2.slack |
unsat |
0.6 |
v10_problem__025.smt2.slack |
unsat |
0.38 |
v10_problem__026.smt2.slack |
unsat |
0.49 |
v10_problem__027.smt2.slack |
unsat |
0.5 |
v10_problem__028.smt2.slack |
unsat |
0.47 |
v10_problem__029.smt2.slack |
unsat |
0.39 |
v10_problem__030.smt2.slack |
unsat |
0.5 |
v10_problem__031.smt2.slack |
unsat |
0.38 |
v10_problem__032.smt2.slack |
unsat |
0.52 |
v10_problem__034.smt2.slack |
unsat |
0.66 |
v10_problem__035.smt2.slack |
unsat |
0.73 |
v15_problem_2__011.smt2.slack |
unsat |
0.63 |
v15_problem_2__019.smt2.slack |
unsat |
1.54 |
v15_problem_2__020.smt2.slack |
unsat |
0.53 |
v15_problem_2__021.smt2.slack |
unsat |
1.19 |
v15_problem_2__022.smt2.slack |
unsat |
0.78 |
v15_problem_2__024.smt2.slack |
unsat |
0.72 |
v15_problem_2__025.smt2.slack |
unsat |
1.67 |
v15_problem__016.smt2.slack |
unsat |
0.47 |
v15_problem__022.smt2.slack |
unsat |
0.95 |
v15_problem__023.smt2.slack |
unsat |
0.97 |
v15_problem__024.smt2.slack |
unsat |
1.15 |
v15_problem__025.smt2.slack |
unsat |
0.9 |
v20_problem_2__023.smt2.slack |
unsat |
666.03 |
v20_problem_2__026.smt2.slack |
unsat |
2.27 |
v20_problem_2__027.smt2.slack |
unsat |
2.09 |
v20_problem_2__030.smt2.slack |
unsat |
1.99 |
v20_problem_2__031.smt2.slack |
unsat |
2.81 |
v20_problem_2__032.smt2.slack |
unsat |
1.13 |
v20_problem_2__033.smt2.slack |
unsat |
3.03 |
v20_problem_2__034.smt2.slack |
unsat |
1.66 |
v20_problem__014.smt2.slack |
unsat |
420.03 |
v20_problem__016.smt2.slack |
unsat |
1.01 |
v20_problem__018.smt2.slack |
unsat |
1.56 |
v20_problem__023.smt2.slack |
unsat |
0.62 |
v20_problem__025.smt2.slack |
unsat |
1.63 |
v20_problem__027.smt2.slack |
unsat |
1.81 |
v20_problem__029.smt2.slack |
unsat |
1.15 |
v20_problem__031.smt2.slack |
unsat |
3.2 |
v20_problem__032.smt2.slack |
unsat |
1.58 |
v20_problem__033.smt2.slack |
unsat |
NULL |
v20_problem__034.smt2.slack |
unsat |
2.23 |
v20_problem__035.smt2.slack |
unsat |
1.11 |
v25_problem_2__029.smt2.slack |
unsat |
1.67 |
v25_problem_2__031.smt2.slack |
unsat |
2.8 |
v25_problem_2__033.smt2.slack |
unsat |
2.82 |
v25_problem__022.smt2.slack |
unsat |
6.32 |
v25_problem__031.smt2.slack |
unsat |
7.23 |
v25_problem__032.smt2.slack |
unsat |
2.61 |
v25_problem__034.smt2.slack |
unsat |
2.51 |
v30_problem__032.smt2.slack |
unsat |
5.13 |