problem |
result |
overall_time |
c100_problem__002.smt2.slack |
sat |
4.63 |
c100_problem__003.smt2.slack |
sat |
11.18 |
c100_problem__004.smt2.slack |
sat |
2389.509888 |
c10_problem__001.smt2.slack |
sat |
0 |
c10_problem__004.smt2.slack |
sat |
239.43 |
c10_problem__005.smt2.slack |
sat |
1.51 |
c10_problem__006.smt2.slack |
sat |
11.47 |
c20_problem__002.smt2.slack |
sat |
1.56 |
c20_problem__003.smt2.slack |
sat |
4.09 |
c20_problem__005.smt2.slack |
sat |
11.69 |
c20_problem__006.smt2.slack |
sat |
1.6 |
c30_problem__003.smt2.slack |
sat |
2.66 |
c30_problem__004.smt2.slack |
sat |
1930.56 |
c30_problem__005.smt2.slack |
sat |
2.83 |
c40_problem__003.smt2.slack |
sat |
3.31 |
c40_problem__004.smt2.slack |
sat |
343.129984 |
c40_problem__006.smt2.slack |
sat |
25.86 |
c50_problem__003.smt2.slack |
sat |
425.030016 |
c50_problem__004.smt2.slack |
sat |
82.99 |
c60_problem__002.smt2.slack |
sat |
1283.789952 |
c60_problem__003.smt2.slack |
sat |
7.04 |
c60_problem__005.smt2.slack |
sat |
208.04 |
c70_problem__002.smt2.slack |
sat |
226.81 |
c70_problem__006.smt2.slack |
sat |
3.96 |
c80_problem__002.smt2.slack |
sat |
66.08 |
c80_problem__004.smt2.slack |
sat |
0 |
c80_problem__005.smt2.slack |
sat |
3.51 |
c90_problem__003.smt2.slack |
sat |
0.04 |
c90_problem__004.smt2.slack |
sat |
161.4 |
c90_problem__006.smt2.slack |
sat |
1929.229952 |
v10_problem_2__001.smt2.slack |
sat |
0 |
v10_problem_2__002.smt2.slack |
sat |
0 |
v10_problem_2__003.smt2.slack |
sat |
0 |
v10_problem_2__004.smt2.slack |
sat |
0 |
v10_problem_2__005.smt2.slack |
sat |
0 |
v10_problem_2__006.smt2.slack |
sat |
0 |
v10_problem_2__007.smt2.slack |
sat |
0 |
v10_problem_2__008.smt2.slack |
sat |
0 |
v10_problem_2__009.smt2.slack |
sat |
0 |
v10_problem_2__010.smt2.slack |
sat |
0 |
v10_problem_2__011.smt2.slack |
sat |
0 |
v10_problem_2__013.smt2.slack |
sat |
0 |
v10_problem_2__014.smt2.slack |
sat |
0 |
v10_problem_2__015.smt2.slack |
sat |
0 |
v10_problem_2__017.smt2.slack |
sat |
0 |
v10_problem_2__018.smt2.slack |
sat |
0 |
v10_problem_2__020.smt2.slack |
sat |
0 |
v10_problem_2__022.smt2.slack |
sat |
0 |
v10_problem_2__023.smt2.slack |
sat |
0 |
v10_problem__001.smt2.slack |
sat |
0 |
v10_problem__002.smt2.slack |
sat |
0 |
v10_problem__003.smt2.slack |
sat |
0 |
v10_problem__005.smt2.slack |
sat |
0 |
v10_problem__006.smt2.slack |
sat |
0 |
v10_problem__007.smt2.slack |
sat |
0 |
v10_problem__008.smt2.slack |
sat |
0 |
v10_problem__009.smt2.slack |
sat |
0 |
v10_problem__010.smt2.slack |
sat |
0 |
v10_problem__012.smt2.slack |
sat |
0 |
v10_problem__013.smt2.slack |
sat |
0 |
v10_problem__014.smt2.slack |
sat |
0 |
v10_problem__015.smt2.slack |
sat |
0 |
v10_problem__018.smt2.slack |
sat |
0 |
v10_problem__019.smt2.slack |
sat |
0 |
v10_problem__023.smt2.slack |
sat |
0 |
v15_problem_2__001.smt2.slack |
sat |
0 |
v15_problem_2__002.smt2.slack |
sat |
0.1 |
v15_problem_2__003.smt2.slack |
sat |
0 |
v15_problem_2__004.smt2.slack |
sat |
0 |
v15_problem_2__005.smt2.slack |
sat |
0 |
v15_problem_2__006.smt2.slack |
sat |
0 |
v15_problem_2__007.smt2.slack |
sat |
0.08 |
v15_problem_2__008.smt2.slack |
sat |
0 |
v15_problem_2__009.smt2.slack |
sat |
0 |
v15_problem_2__010.smt2.slack |
sat |
0 |
v15_problem_2__012.smt2.slack |
sat |
0 |
v15_problem_2__013.smt2.slack |
sat |
0 |
v15_problem_2__014.smt2.slack |
sat |
0.28 |
v15_problem_2__015.smt2.slack |
sat |
0 |
v15_problem_2__016.smt2.slack |
sat |
0.29 |
v15_problem_2__017.smt2.slack |
sat |
2.82 |
v15_problem_2__018.smt2.slack |
sat |
1.46 |
v15_problem_2__023.smt2.slack |
sat |
0.31 |
v15_problem__001.smt2.slack |
sat |
0 |
v15_problem__002.smt2.slack |
sat |
0 |
v15_problem__003.smt2.slack |
sat |
0 |
v15_problem__004.smt2.slack |
sat |
0 |
v15_problem__005.smt2.slack |
sat |
0 |
v15_problem__006.smt2.slack |
sat |
0.05 |
v15_problem__007.smt2.slack |
sat |
0 |
v15_problem__008.smt2.slack |
sat |
0 |
v15_problem__009.smt2.slack |
sat |
0.11 |
v15_problem__010.smt2.slack |
sat |
0 |
v15_problem__011.smt2.slack |
sat |
0.13 |
v15_problem__012.smt2.slack |
sat |
0 |
v15_problem__013.smt2.slack |
sat |
0 |
v15_problem__014.smt2.slack |
sat |
0.33 |
v15_problem__015.smt2.slack |
sat |
0.04 |
v15_problem__017.smt2.slack |
sat |
3.24 |
v15_problem__018.smt2.slack |
sat |
0 |
v15_problem__019.smt2.slack |
sat |
3.5 |
v15_problem__020.smt2.slack |
sat |
0.03 |
v15_problem__021.smt2.slack |
sat |
0 |
v20_problem_2__001.smt2.slack |
sat |
0 |
v20_problem_2__002.smt2.slack |
sat |
0 |
v20_problem_2__003.smt2.slack |
sat |
0 |
v20_problem_2__004.smt2.slack |
sat |
0 |
v20_problem_2__005.smt2.slack |
sat |
0.2 |
v20_problem_2__006.smt2.slack |
sat |
0.49 |
v20_problem_2__007.smt2.slack |
sat |
14.49 |
v20_problem_2__008.smt2.slack |
sat |
0.33 |
v20_problem_2__009.smt2.slack |
sat |
1.96 |
v20_problem_2__010.smt2.slack |
sat |
14.45 |
v20_problem_2__011.smt2.slack |
sat |
1.66 |
v20_problem_2__012.smt2.slack |
sat |
269.609984 |
v20_problem_2__013.smt2.slack |
sat |
11.87 |
v20_problem_2__014.smt2.slack |
sat |
9.8 |
v20_problem_2__015.smt2.slack |
sat |
2.69 |
v20_problem_2__016.smt2.slack |
sat |
15.15 |
v20_problem_2__017.smt2.slack |
sat |
7.68 |
v20_problem_2__018.smt2.slack |
sat |
39.61 |
v20_problem_2__019.smt2.slack |
sat |
1.33 |
v20_problem_2__020.smt2.slack |
sat |
0.07 |
v20_problem_2__021.smt2.slack |
sat |
75.42 |
v20_problem_2__022.smt2.slack |
sat |
3.71 |
v20_problem_2__024.smt2.slack |
sat |
2.32 |
v20_problem_2__025.smt2.slack |
sat |
151.12 |
v20_problem_2__028.smt2.slack |
sat |
88.6 |
v20_problem_2__029.smt2.slack |
sat |
0.18 |
v20_problem_2__035.smt2.slack |
sat |
0.26 |
v20_problem__001.smt2.slack |
sat |
0 |
v20_problem__002.smt2.slack |
sat |
0 |
v20_problem__003.smt2.slack |
sat |
0 |
v20_problem__004.smt2.slack |
sat |
0 |
v20_problem__005.smt2.slack |
sat |
0 |
v20_problem__006.smt2.slack |
sat |
0.06 |
v20_problem__007.smt2.slack |
sat |
2.37 |
v20_problem__008.smt2.slack |
sat |
0 |
v20_problem__009.smt2.slack |
sat |
6.71 |
v20_problem__010.smt2.slack |
sat |
0 |
v20_problem__011.smt2.slack |
sat |
0.68 |
v20_problem__012.smt2.slack |
sat |
25.01 |
v20_problem__013.smt2.slack |
sat |
0.02 |
v20_problem__015.smt2.slack |
sat |
0 |
v20_problem__017.smt2.slack |
sat |
90.85 |
v20_problem__019.smt2.slack |
sat |
133.81 |
v20_problem__020.smt2.slack |
sat |
13.18 |
v20_problem__021.smt2.slack |
sat |
180.8 |
v20_problem__022.smt2.slack |
sat |
8.89 |
v20_problem__024.smt2.slack |
sat |
0.15 |
v20_problem__026.smt2.slack |
sat |
272.729984 |
v20_problem__028.smt2.slack |
sat |
12.3 |
v20_problem__030.smt2.slack |
sat |
12.53 |
v25_problem_2__001.smt2.slack |
sat |
0 |
v25_problem_2__002.smt2.slack |
sat |
6.31 |
v25_problem_2__003.smt2.slack |
sat |
0 |
v25_problem_2__004.smt2.slack |
sat |
0 |
v25_problem_2__005.smt2.slack |
sat |
0 |
v25_problem_2__006.smt2.slack |
sat |
3.75 |
v25_problem_2__007.smt2.slack |
sat |
1.37 |
v25_problem_2__008.smt2.slack |
sat |
6.64 |
v25_problem_2__009.smt2.slack |
sat |
30.29 |
v25_problem_2__010.smt2.slack |
sat |
0.06 |
v25_problem_2__011.smt2.slack |
sat |
844.2 |
v25_problem_2__012.smt2.slack |
sat |
13.79 |
v25_problem_2__013.smt2.slack |
sat |
284.48 |
v25_problem_2__014.smt2.slack |
sat |
9.96 |
v25_problem_2__015.smt2.slack |
sat |
1.76 |
v25_problem_2__017.smt2.slack |
sat |
31.61 |
v25_problem_2__018.smt2.slack |
sat |
45.26 |
v25_problem_2__019.smt2.slack |
sat |
677.449984 |
v25_problem_2__020.smt2.slack |
sat |
37.78 |
v25_problem_2__022.smt2.slack |
sat |
17.56 |
v25_problem_2__023.smt2.slack |
sat |
39.1 |
v25_problem_2__024.smt2.slack |
sat |
27.43 |
v25_problem_2__025.smt2.slack |
sat |
1629.100032 |
v25_problem_2__026.smt2.slack |
sat |
1490.470016 |
v25_problem_2__030.smt2.slack |
sat |
467.510016 |
v25_problem_2__035.smt2.slack |
sat |
578.310016 |
v25_problem__001.smt2.slack |
sat |
5.01 |
v25_problem__002.smt2.slack |
sat |
0 |
v25_problem__003.smt2.slack |
sat |
0 |
v25_problem__004.smt2.slack |
sat |
0.01 |
v25_problem__005.smt2.slack |
sat |
0 |
v25_problem__006.smt2.slack |
sat |
2.3 |
v25_problem__007.smt2.slack |
sat |
37.53 |
v25_problem__008.smt2.slack |
sat |
9.89 |
v25_problem__009.smt2.slack |
sat |
552.780032 |
v25_problem__010.smt2.slack |
sat |
11.2 |
v25_problem__011.smt2.slack |
sat |
292.609984 |
v25_problem__012.smt2.slack |
sat |
165.49 |
v25_problem__013.smt2.slack |
sat |
6.57 |
v25_problem__014.smt2.slack |
sat |
0 |
v25_problem__015.smt2.slack |
sat |
148.52 |
v25_problem__016.smt2.slack |
sat |
251.13 |
v25_problem__017.smt2.slack |
sat |
167.6 |
v25_problem__018.smt2.slack |
sat |
20.41 |
v25_problem__019.smt2.slack |
sat |
35.11 |
v25_problem__020.smt2.slack |
sat |
0.02 |
v25_problem__021.smt2.slack |
sat |
2138.349952 |
v25_problem__023.smt2.slack |
sat |
372.16 |
v25_problem__024.smt2.slack |
sat |
81.13 |
v25_problem__030.smt2.slack |
sat |
448.28 |
v25_problem__033.smt2.slack |
sat |
0.46 |
v30_problem_2__001.smt2.slack |
sat |
0 |
v30_problem_2__002.smt2.slack |
sat |
0.07 |
v30_problem_2__003.smt2.slack |
sat |
0 |
v30_problem_2__004.smt2.slack |
sat |
0 |
v30_problem_2__005.smt2.slack |
sat |
0 |
v30_problem_2__006.smt2.slack |
sat |
51.12 |
v30_problem_2__007.smt2.slack |
sat |
187.69 |
v30_problem_2__008.smt2.slack |
sat |
20.71 |
v30_problem_2__009.smt2.slack |
sat |
92.12 |
v30_problem_2__010.smt2.slack |
sat |
4.31 |
v30_problem_2__011.smt2.slack |
sat |
0 |
v30_problem_2__012.smt2.slack |
sat |
0.02 |
v30_problem_2__013.smt2.slack |
sat |
233.24 |
v30_problem_2__014.smt2.slack |
sat |
31.73 |
v30_problem_2__016.smt2.slack |
sat |
1616.120064 |
v30_problem_2__017.smt2.slack |
sat |
1311.990016 |
v30_problem_2__018.smt2.slack |
sat |
2122.08 |
v30_problem_2__020.smt2.slack |
sat |
60.81 |
v30_problem_2__021.smt2.slack |
sat |
0 |
v30_problem_2__022.smt2.slack |
sat |
253.31 |
v30_problem_2__024.smt2.slack |
sat |
2069.170048 |
v30_problem_2__025.smt2.slack |
sat |
249.51 |
v30_problem_2__030.smt2.slack |
sat |
0.43 |
v30_problem_2__032.smt2.slack |
sat |
0.67 |
v30_problem_2__034.smt2.slack |
sat |
291.950016 |
v30_problem_2__035.smt2.slack |
sat |
145.49 |
v30_problem__001.smt2.slack |
sat |
0.02 |
v30_problem__002.smt2.slack |
sat |
6.96 |
v30_problem__003.smt2.slack |
sat |
0.02 |
v30_problem__004.smt2.slack |
sat |
0 |
v30_problem__005.smt2.slack |
sat |
0 |
v30_problem__006.smt2.slack |
sat |
0 |
v30_problem__007.smt2.slack |
sat |
0.03 |
v30_problem__008.smt2.slack |
sat |
0 |
v30_problem__009.smt2.slack |
sat |
0 |
v30_problem__010.smt2.slack |
sat |
35.55 |
v30_problem__012.smt2.slack |
sat |
249.81 |
v30_problem__013.smt2.slack |
sat |
0.02 |
v30_problem__014.smt2.slack |
sat |
111.21 |
v30_problem__015.smt2.slack |
sat |
322.790016 |
v30_problem__017.smt2.slack |
sat |
749.8 |
v30_problem__018.smt2.slack |
sat |
991.859968 |
v30_problem__019.smt2.slack |
sat |
40.02 |
v30_problem__020.smt2.slack |
sat |
178.24 |
v30_problem__021.smt2.slack |
sat |
200.41 |
v30_problem__023.smt2.slack |
sat |
0.07 |
v30_problem__026.smt2.slack |
sat |
132.05 |
v30_problem__030.smt2.slack |
sat |
365.92 |
v30_problem__033.smt2.slack |
sat |
1253.799936 |
v30_problem__034.smt2.slack |
sat |
0.61 |
v30_problem__035.smt2.slack |
sat |
173.11 |
v35_problem_2__001.smt2.slack |
sat |
0 |
v35_problem_2__002.smt2.slack |
sat |
0 |
v35_problem_2__003.smt2.slack |
sat |
0 |
v35_problem_2__004.smt2.slack |
sat |
0 |
v35_problem_2__005.smt2.slack |
sat |
0 |
v35_problem_2__006.smt2.slack |
sat |
0.01 |
v35_problem_2__007.smt2.slack |
sat |
0.07 |
v35_problem_2__008.smt2.slack |
sat |
0 |
v35_problem_2__009.smt2.slack |
sat |
0 |
v35_problem_2__010.smt2.slack |
sat |
0 |
v35_problem_2__011.smt2.slack |
sat |
2257.900032 |
v35_problem_2__012.smt2.slack |
sat |
62.23 |
v35_problem_2__013.smt2.slack |
sat |
853.550016 |
v35_problem_2__014.smt2.slack |
sat |
67.65 |
v35_problem_2__015.smt2.slack |
sat |
97.75 |
v35_problem_2__018.smt2.slack |
sat |
0 |
v35_problem_2__023.smt2.slack |
sat |
0.1 |
v35_problem__001.smt2.slack |
sat |
0 |
v35_problem__002.smt2.slack |
sat |
22.2 |
v35_problem__003.smt2.slack |
sat |
36.15 |
v35_problem__004.smt2.slack |
sat |
0 |
v35_problem__005.smt2.slack |
sat |
51.93 |
v35_problem__006.smt2.slack |
sat |
74.44 |
v35_problem__007.smt2.slack |
sat |
87.21 |
v35_problem__008.smt2.slack |
sat |
0.01 |
v35_problem__009.smt2.slack |
sat |
37.4 |
v35_problem__010.smt2.slack |
sat |
462.02 |
v35_problem__011.smt2.slack |
sat |
82.24 |
v35_problem__013.smt2.slack |
sat |
471.169984 |
v35_problem__014.smt2.slack |
sat |
0.06 |
v35_problem__015.smt2.slack |
sat |
984.220032 |
v35_problem__016.smt2.slack |
sat |
379 |
v35_problem__017.smt2.slack |
sat |
1158.520064 |
v35_problem__018.smt2.slack |
sat |
0 |
v35_problem__019.smt2.slack |
sat |
1141.76 |
v35_problem__020.smt2.slack |
sat |
717.219968 |
v35_problem__028.smt2.slack |
sat |
361.489984 |
v35_problem__030.smt2.slack |
sat |
559.670016 |
v40_problem_2__001.smt2.slack |
sat |
0 |
v40_problem_2__002.smt2.slack |
sat |
0 |
v40_problem_2__003.smt2.slack |
sat |
0 |
v40_problem_2__004.smt2.slack |
sat |
0 |
v40_problem_2__005.smt2.slack |
sat |
0 |
v40_problem_2__006.smt2.slack |
sat |
0 |
v40_problem_2__007.smt2.slack |
sat |
798.590016 |
v40_problem_2__008.smt2.slack |
sat |
0.4 |
v40_problem_2__010.smt2.slack |
sat |
0.05 |
v40_problem_2__011.smt2.slack |
sat |
132.19 |
v40_problem_2__012.smt2.slack |
sat |
1843.139968 |
v40_problem_2__013.smt2.slack |
sat |
320.329984 |
v40_problem_2__014.smt2.slack |
sat |
1076.370048 |
v40_problem_2__015.smt2.slack |
sat |
0 |
v40_problem_2__017.smt2.slack |
sat |
304.7 |
v40_problem_2__022.smt2.slack |
sat |
0 |
v40_problem_2__031.smt2.slack |
sat |
1020.670016 |
v40_problem__001.smt2.slack |
sat |
0 |
v40_problem__002.smt2.slack |
sat |
0 |
v40_problem__003.smt2.slack |
sat |
88.02 |
v40_problem__004.smt2.slack |
sat |
0 |
v40_problem__005.smt2.slack |
sat |
0 |
v40_problem__006.smt2.slack |
sat |
0 |
v40_problem__007.smt2.slack |
sat |
0 |
v40_problem__008.smt2.slack |
sat |
0.01 |
v40_problem__009.smt2.slack |
sat |
19.52 |
v40_problem__010.smt2.slack |
sat |
0 |
v40_problem__015.smt2.slack |
sat |
0.15 |
v40_problem__026.smt2.slack |
sat |
11.04 |
v40_problem__028.smt2.slack |
sat |
0.93 |
v40_problem__033.smt2.slack |
sat |
11.01 |
v45_problem_2__001.smt2.slack |
sat |
73.76 |
v45_problem_2__002.smt2.slack |
sat |
235.13 |
v45_problem_2__003.smt2.slack |
sat |
0 |
v45_problem_2__004.smt2.slack |
sat |
7.36 |
v45_problem_2__005.smt2.slack |
sat |
0 |
v45_problem_2__006.smt2.slack |
sat |
0 |
v45_problem_2__008.smt2.slack |
sat |
80.17 |
v45_problem_2__009.smt2.slack |
sat |
0 |
v45_problem_2__010.smt2.slack |
sat |
0.01 |
v45_problem_2__011.smt2.slack |
sat |
0.01 |
v45_problem_2__015.smt2.slack |
sat |
0.01 |
v45_problem_2__016.smt2.slack |
sat |
829.670016 |
v45_problem_2__021.smt2.slack |
sat |
1565.420032 |
v45_problem_2__028.smt2.slack |
sat |
4.07 |
v45_problem_2__030.smt2.slack |
sat |
0.62 |
v45_problem_2__032.smt2.slack |
sat |
0.44 |
v45_problem__001.smt2.slack |
sat |
0 |
v45_problem__002.smt2.slack |
sat |
0 |
v45_problem__003.smt2.slack |
sat |
0 |
v45_problem__004.smt2.slack |
sat |
0 |
v45_problem__005.smt2.slack |
sat |
50.7 |
v45_problem__006.smt2.slack |
sat |
0.03 |
v45_problem__007.smt2.slack |
sat |
0.09 |
v45_problem__008.smt2.slack |
sat |
0.04 |
v45_problem__009.smt2.slack |
sat |
0 |
v45_problem__011.smt2.slack |
sat |
517.42 |
v45_problem__012.smt2.slack |
sat |
0.07 |
v45_problem__013.smt2.slack |
sat |
705.4 |
v45_problem__018.smt2.slack |
sat |
0.24 |
v45_problem__020.smt2.slack |
sat |
0.28 |
v45_problem__026.smt2.slack |
sat |
2335.300096 |
v45_problem__029.smt2.slack |
sat |
7.03 |
v45_problem__032.smt2.slack |
sat |
1.3 |
c100_problem__006.smt2.slack |
unsat |
0 |
c10_problem__002.smt2.slack |
unsat |
0 |
c20_problem__004.smt2.slack |
unsat |
0 |
c30_problem__006.smt2.slack |
unsat |
0 |
c40_problem__002.smt2.slack |
unsat |
0 |
c50_problem__002.smt2.slack |
unsat |
0 |
c50_problem__006.smt2.slack |
unsat |
0 |
c90_problem__005.smt2.slack |
unsat |
0 |
v10_problem_2__012.smt2.slack |
unsat |
0 |
v10_problem_2__016.smt2.slack |
unsat |
0 |
v10_problem_2__019.smt2.slack |
unsat |
0 |
v10_problem_2__021.smt2.slack |
unsat |
0 |
v10_problem_2__024.smt2.slack |
unsat |
0 |
v10_problem_2__025.smt2.slack |
unsat |
0 |
v10_problem_2__026.smt2.slack |
unsat |
0 |
v10_problem_2__027.smt2.slack |
unsat |
0 |
v10_problem_2__028.smt2.slack |
unsat |
0 |
v10_problem_2__029.smt2.slack |
unsat |
0 |
v10_problem_2__030.smt2.slack |
unsat |
0 |
v10_problem_2__031.smt2.slack |
unsat |
0 |
v10_problem_2__032.smt2.slack |
unsat |
0 |
v10_problem_2__033.smt2.slack |
unsat |
0 |
v10_problem_2__034.smt2.slack |
unsat |
0 |
v10_problem_2__035.smt2.slack |
unsat |
0 |
v10_problem__016.smt2.slack |
unsat |
0 |
v10_problem__017.smt2.slack |
unsat |
0 |
v10_problem__020.smt2.slack |
unsat |
0 |
v10_problem__021.smt2.slack |
unsat |
0 |
v10_problem__022.smt2.slack |
unsat |
0 |
v10_problem__024.smt2.slack |
unsat |
0 |
v10_problem__025.smt2.slack |
unsat |
0 |
v10_problem__026.smt2.slack |
unsat |
0 |
v10_problem__027.smt2.slack |
unsat |
0 |
v10_problem__028.smt2.slack |
unsat |
0 |
v10_problem__029.smt2.slack |
unsat |
0 |
v10_problem__030.smt2.slack |
unsat |
0 |
v10_problem__031.smt2.slack |
unsat |
0 |
v10_problem__032.smt2.slack |
unsat |
0 |
v10_problem__034.smt2.slack |
unsat |
0 |
v10_problem__035.smt2.slack |
unsat |
0 |
v15_problem_2__011.smt2.slack |
unsat |
0 |
v15_problem_2__019.smt2.slack |
unsat |
0.03 |
v15_problem_2__020.smt2.slack |
unsat |
0 |
v15_problem_2__021.smt2.slack |
unsat |
0.06 |
v15_problem_2__022.smt2.slack |
unsat |
0 |
v15_problem_2__024.smt2.slack |
unsat |
0.08 |
v15_problem_2__025.smt2.slack |
unsat |
0.85 |
v15_problem__016.smt2.slack |
unsat |
0 |
v15_problem__022.smt2.slack |
unsat |
0 |
v15_problem__023.smt2.slack |
unsat |
0.01 |
v15_problem__024.smt2.slack |
unsat |
0 |
v15_problem__025.smt2.slack |
unsat |
0 |
v20_problem_2__023.smt2.slack |
unsat |
158.88 |
v20_problem_2__026.smt2.slack |
unsat |
0.24 |
v20_problem_2__027.smt2.slack |
unsat |
0.11 |
v20_problem_2__030.smt2.slack |
unsat |
0.14 |
v20_problem_2__031.smt2.slack |
unsat |
0.16 |
v20_problem_2__032.smt2.slack |
unsat |
0.17 |
v20_problem_2__033.smt2.slack |
unsat |
0.29 |
v20_problem_2__034.smt2.slack |
unsat |
0.21 |
v20_problem__014.smt2.slack |
unsat |
672.030016 |
v20_problem__016.smt2.slack |
unsat |
0.02 |
v20_problem__018.smt2.slack |
unsat |
0.08 |
v20_problem__023.smt2.slack |
unsat |
0.08 |
v20_problem__025.smt2.slack |
unsat |
0.09 |
v20_problem__027.smt2.slack |
unsat |
0.09 |
v20_problem__029.smt2.slack |
unsat |
0.18 |
v20_problem__031.smt2.slack |
unsat |
0.17 |
v20_problem__032.smt2.slack |
unsat |
0.15 |
v20_problem__033.smt2.slack |
unsat |
0.13 |
v20_problem__034.smt2.slack |
unsat |
0.21 |
v20_problem__035.smt2.slack |
unsat |
0.12 |
v25_problem_2__029.smt2.slack |
unsat |
0.14 |
v25_problem_2__031.smt2.slack |
unsat |
0.29 |
v25_problem_2__033.smt2.slack |
unsat |
0.18 |
v25_problem__022.smt2.slack |
unsat |
4.73 |
v25_problem__031.smt2.slack |
unsat |
0.29 |
v25_problem__032.smt2.slack |
unsat |
0.26 |
v25_problem__034.smt2.slack |
unsat |
0.2 |
v30_problem__032.smt2.slack |
unsat |
0.32 |