problem |
result |
overall_time |
c100_problem__004.smt2.slack |
sat |
0.09 |
c100_problem__005.smt2.slack |
sat |
196.1 |
c10_problem__001.smt2.slack |
sat |
0 |
c10_problem__004.smt2.slack |
sat |
5.72 |
c10_problem__005.smt2.slack |
sat |
0.06 |
c10_problem__006.smt2.slack |
sat |
0.04 |
c20_problem__003.smt2.slack |
sat |
0.05 |
c20_problem__005.smt2.slack |
sat |
0.15 |
c20_problem__006.smt2.slack |
sat |
0.11 |
c30_problem__002.smt2.slack |
sat |
0.12 |
c30_problem__003.smt2.slack |
sat |
0.27 |
c30_problem__004.smt2.slack |
sat |
22.08 |
c40_problem__005.smt2.slack |
sat |
32.93 |
c50_problem__003.smt2.slack |
sat |
5.19 |
c50_problem__004.smt2.slack |
sat |
7.04 |
c60_problem__003.smt2.slack |
sat |
114.19 |
c60_problem__005.smt2.slack |
sat |
7.11 |
c60_problem__006.smt2.slack |
sat |
0.15 |
c70_problem__005.smt2.slack |
sat |
10.5 |
c70_problem__006.smt2.slack |
sat |
7.18 |
c80_problem__002.smt2.slack |
sat |
0.17 |
c80_problem__003.smt2.slack |
sat |
0.11 |
c80_problem__004.smt2.slack |
sat |
7.1 |
c80_problem__005.smt2.slack |
sat |
7.23 |
c80_problem__006.smt2.slack |
sat |
10.93 |
c90_problem__002.smt2.slack |
sat |
0.4 |
c90_problem__004.smt2.slack |
sat |
0.09 |
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.02 |
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 |
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.01 |
v15_problem_2__007.smt2.slack |
sat |
0 |
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.57 |
v15_problem_2__015.smt2.slack |
sat |
0.02 |
v15_problem_2__016.smt2.slack |
sat |
0.01 |
v15_problem_2__017.smt2.slack |
sat |
0.82 |
v15_problem_2__018.smt2.slack |
sat |
0.54 |
v15_problem_2__023.smt2.slack |
sat |
0.07 |
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 |
v15_problem__007.smt2.slack |
sat |
0 |
v15_problem__008.smt2.slack |
sat |
0 |
v15_problem__009.smt2.slack |
sat |
0.01 |
v15_problem__010.smt2.slack |
sat |
0.01 |
v15_problem__011.smt2.slack |
sat |
0.22 |
v15_problem__012.smt2.slack |
sat |
0.01 |
v15_problem__013.smt2.slack |
sat |
0 |
v15_problem__014.smt2.slack |
sat |
0 |
v15_problem__015.smt2.slack |
sat |
0.01 |
v15_problem__017.smt2.slack |
sat |
0.47 |
v15_problem__018.smt2.slack |
sat |
0.01 |
v15_problem__019.smt2.slack |
sat |
0.03 |
v15_problem__020.smt2.slack |
sat |
0.02 |
v15_problem__021.smt2.slack |
sat |
0.02 |
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 |
v20_problem_2__006.smt2.slack |
sat |
0.02 |
v20_problem_2__007.smt2.slack |
sat |
0.03 |
v20_problem_2__008.smt2.slack |
sat |
0 |
v20_problem_2__009.smt2.slack |
sat |
0.04 |
v20_problem_2__010.smt2.slack |
sat |
1.28 |
v20_problem_2__011.smt2.slack |
sat |
0.28 |
v20_problem_2__012.smt2.slack |
sat |
0.01 |
v20_problem_2__013.smt2.slack |
sat |
0.05 |
v20_problem_2__014.smt2.slack |
sat |
0.18 |
v20_problem_2__015.smt2.slack |
sat |
7.1 |
v20_problem_2__016.smt2.slack |
sat |
0.2 |
v20_problem_2__017.smt2.slack |
sat |
7.2 |
v20_problem_2__018.smt2.slack |
sat |
26.41 |
v20_problem_2__019.smt2.slack |
sat |
0.28 |
v20_problem_2__020.smt2.slack |
sat |
7.46 |
v20_problem_2__022.smt2.slack |
sat |
0.3 |
v20_problem_2__024.smt2.slack |
sat |
7.4 |
v20_problem_2__025.smt2.slack |
sat |
37.77 |
v20_problem_2__028.smt2.slack |
sat |
569.500032 |
v20_problem_2__029.smt2.slack |
sat |
0.58 |
v20_problem_2__035.smt2.slack |
sat |
1.15 |
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.01 |
v20_problem__005.smt2.slack |
sat |
0.01 |
v20_problem__006.smt2.slack |
sat |
0.03 |
v20_problem__007.smt2.slack |
sat |
0.03 |
v20_problem__008.smt2.slack |
sat |
0 |
v20_problem__009.smt2.slack |
sat |
0.2 |
v20_problem__010.smt2.slack |
sat |
0 |
v20_problem__011.smt2.slack |
sat |
0.5 |
v20_problem__012.smt2.slack |
sat |
0.05 |
v20_problem__013.smt2.slack |
sat |
1.16 |
v20_problem__015.smt2.slack |
sat |
0.01 |
v20_problem__017.smt2.slack |
sat |
0.12 |
v20_problem__019.smt2.slack |
sat |
25.36 |
v20_problem__020.smt2.slack |
sat |
9.54 |
v20_problem__021.smt2.slack |
sat |
129.99 |
v20_problem__022.smt2.slack |
sat |
0.01 |
v20_problem__024.smt2.slack |
sat |
0.56 |
v20_problem__026.smt2.slack |
sat |
1711.660032 |
v20_problem__030.smt2.slack |
sat |
7.55 |
v25_problem_2__001.smt2.slack |
sat |
0.01 |
v25_problem_2__002.smt2.slack |
sat |
1.12 |
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 |
0.24 |
v25_problem_2__007.smt2.slack |
sat |
0.13 |
v25_problem_2__008.smt2.slack |
sat |
0 |
v25_problem_2__009.smt2.slack |
sat |
0.02 |
v25_problem_2__010.smt2.slack |
sat |
0.01 |
v25_problem_2__011.smt2.slack |
sat |
9.28 |
v25_problem_2__013.smt2.slack |
sat |
0.43 |
v25_problem_2__014.smt2.slack |
sat |
0.02 |
v25_problem_2__018.smt2.slack |
sat |
7.69 |
v25_problem_2__019.smt2.slack |
sat |
2377.12 |
v25_problem_2__020.smt2.slack |
sat |
27.73 |
v25_problem_2__023.smt2.slack |
sat |
1791.110016 |
v25_problem_2__028.smt2.slack |
sat |
1.42 |
v25_problem_2__030.smt2.slack |
sat |
25.69 |
v25_problem_2__034.smt2.slack |
sat |
23.9 |
v25_problem__001.smt2.slack |
sat |
0.01 |
v25_problem__002.smt2.slack |
sat |
0.01 |
v25_problem__003.smt2.slack |
sat |
0 |
v25_problem__004.smt2.slack |
sat |
0.02 |
v25_problem__005.smt2.slack |
sat |
0.01 |
v25_problem__006.smt2.slack |
sat |
0.02 |
v25_problem__007.smt2.slack |
sat |
0.01 |
v25_problem__008.smt2.slack |
sat |
0.04 |
v25_problem__009.smt2.slack |
sat |
0.22 |
v25_problem__010.smt2.slack |
sat |
0.14 |
v25_problem__011.smt2.slack |
sat |
0.33 |
v25_problem__012.smt2.slack |
sat |
7.2 |
v25_problem__013.smt2.slack |
sat |
0.02 |
v25_problem__014.smt2.slack |
sat |
0.28 |
v25_problem__015.smt2.slack |
sat |
198 |
v25_problem__018.smt2.slack |
sat |
0.02 |
v25_problem__019.smt2.slack |
sat |
0.88 |
v25_problem__020.smt2.slack |
sat |
0.02 |
v25_problem__021.smt2.slack |
sat |
1.77 |
v25_problem__023.smt2.slack |
sat |
1.19 |
v25_problem__033.smt2.slack |
sat |
9.16 |
v30_problem_2__001.smt2.slack |
sat |
0 |
v30_problem_2__002.smt2.slack |
sat |
0.01 |
v30_problem_2__003.smt2.slack |
sat |
0.01 |
v30_problem_2__004.smt2.slack |
sat |
0.02 |
v30_problem_2__005.smt2.slack |
sat |
0.02 |
v30_problem_2__006.smt2.slack |
sat |
7.24 |
v30_problem_2__007.smt2.slack |
sat |
7.08 |
v30_problem_2__008.smt2.slack |
sat |
0.21 |
v30_problem_2__009.smt2.slack |
sat |
8.69 |
v30_problem_2__010.smt2.slack |
sat |
0.01 |
v30_problem_2__011.smt2.slack |
sat |
0 |
v30_problem_2__012.smt2.slack |
sat |
1 |
v30_problem_2__014.smt2.slack |
sat |
1.11 |
v30_problem_2__017.smt2.slack |
sat |
1.2 |
v30_problem_2__021.smt2.slack |
sat |
0.01 |
v30_problem_2__024.smt2.slack |
sat |
11.04 |
v30_problem_2__029.smt2.slack |
sat |
7.76 |
v30_problem_2__032.smt2.slack |
sat |
1.88 |
v30_problem__001.smt2.slack |
sat |
0 |
v30_problem__002.smt2.slack |
sat |
0.08 |
v30_problem__003.smt2.slack |
sat |
0.22 |
v30_problem__004.smt2.slack |
sat |
0 |
v30_problem__005.smt2.slack |
sat |
0 |
v30_problem__006.smt2.slack |
sat |
0.03 |
v30_problem__007.smt2.slack |
sat |
0.01 |
v30_problem__008.smt2.slack |
sat |
0.01 |
v30_problem__009.smt2.slack |
sat |
0 |
v30_problem__010.smt2.slack |
sat |
0.06 |
v30_problem__011.smt2.slack |
sat |
22.04 |
v30_problem__012.smt2.slack |
sat |
0.33 |
v30_problem__013.smt2.slack |
sat |
0.83 |
v30_problem__014.smt2.slack |
sat |
7.32 |
v30_problem__016.smt2.slack |
sat |
0.55 |
v30_problem__018.smt2.slack |
sat |
7.2 |
v30_problem__019.smt2.slack |
sat |
7.24 |
v30_problem__023.smt2.slack |
sat |
0.42 |
v30_problem__024.smt2.slack |
sat |
9.96 |
v35_problem_2__001.smt2.slack |
sat |
0 |
v35_problem_2__002.smt2.slack |
sat |
0.02 |
v35_problem_2__003.smt2.slack |
sat |
0 |
v35_problem_2__004.smt2.slack |
sat |
0.01 |
v35_problem_2__005.smt2.slack |
sat |
0 |
v35_problem_2__006.smt2.slack |
sat |
0.8 |
v35_problem_2__007.smt2.slack |
sat |
0.64 |
v35_problem_2__008.smt2.slack |
sat |
0.01 |
v35_problem_2__009.smt2.slack |
sat |
0 |
v35_problem_2__010.smt2.slack |
sat |
0.01 |
v35_problem_2__013.smt2.slack |
sat |
1.27 |
v35_problem_2__014.smt2.slack |
sat |
0.01 |
v35_problem_2__015.smt2.slack |
sat |
0.99 |
v35_problem_2__016.smt2.slack |
sat |
22.81 |
v35_problem_2__020.smt2.slack |
sat |
0.01 |
v35_problem_2__028.smt2.slack |
sat |
8.65 |
v35_problem_2__032.smt2.slack |
sat |
9.7 |
v35_problem_2__035.smt2.slack |
sat |
10.01 |
v35_problem__001.smt2.slack |
sat |
0 |
v35_problem__002.smt2.slack |
sat |
0.01 |
v35_problem__003.smt2.slack |
sat |
0.26 |
v35_problem__004.smt2.slack |
sat |
0 |
v35_problem__005.smt2.slack |
sat |
0 |
v35_problem__006.smt2.slack |
sat |
0.08 |
v35_problem__007.smt2.slack |
sat |
0.46 |
v35_problem__008.smt2.slack |
sat |
0.07 |
v35_problem__009.smt2.slack |
sat |
0.2 |
v35_problem__010.smt2.slack |
sat |
0.58 |
v35_problem__011.smt2.slack |
sat |
1.84 |
v35_problem__012.smt2.slack |
sat |
1.47 |
v35_problem__013.smt2.slack |
sat |
22.05 |
v35_problem__014.smt2.slack |
sat |
0.09 |
v35_problem__015.smt2.slack |
sat |
7.22 |
v35_problem__018.smt2.slack |
sat |
1.78 |
v35_problem__019.smt2.slack |
sat |
0.01 |
v35_problem__020.smt2.slack |
sat |
1.12 |
v35_problem__026.smt2.slack |
sat |
1.33 |
v35_problem__027.smt2.slack |
sat |
10.02 |
v40_problem_2__001.smt2.slack |
sat |
0.01 |
v40_problem_2__002.smt2.slack |
sat |
0.01 |
v40_problem_2__003.smt2.slack |
sat |
0.01 |
v40_problem_2__004.smt2.slack |
sat |
0.01 |
v40_problem_2__005.smt2.slack |
sat |
0.04 |
v40_problem_2__006.smt2.slack |
sat |
0.01 |
v40_problem_2__007.smt2.slack |
sat |
0.01 |
v40_problem_2__008.smt2.slack |
sat |
0.01 |
v40_problem_2__009.smt2.slack |
sat |
0.01 |
v40_problem_2__010.smt2.slack |
sat |
0.14 |
v40_problem_2__011.smt2.slack |
sat |
7.18 |
v40_problem_2__012.smt2.slack |
sat |
0.7 |
v40_problem_2__014.smt2.slack |
sat |
7.03 |
v40_problem_2__015.smt2.slack |
sat |
0.02 |
v40_problem_2__019.smt2.slack |
sat |
0.7 |
v40_problem_2__020.smt2.slack |
sat |
22.23 |
v40_problem_2__021.smt2.slack |
sat |
0.36 |
v40_problem_2__022.smt2.slack |
sat |
0.04 |
v40_problem_2__025.smt2.slack |
sat |
7.18 |
v40_problem_2__031.smt2.slack |
sat |
11.55 |
v40_problem__001.smt2.slack |
sat |
0 |
v40_problem__002.smt2.slack |
sat |
0.01 |
v40_problem__003.smt2.slack |
sat |
0 |
v40_problem__004.smt2.slack |
sat |
0.01 |
v40_problem__005.smt2.slack |
sat |
0.01 |
v40_problem__006.smt2.slack |
sat |
0.01 |
v40_problem__007.smt2.slack |
sat |
0.01 |
v40_problem__008.smt2.slack |
sat |
0.8 |
v40_problem__009.smt2.slack |
sat |
0 |
v40_problem__010.smt2.slack |
sat |
0 |
v40_problem__011.smt2.slack |
sat |
0.02 |
v40_problem__012.smt2.slack |
sat |
8.88 |
v40_problem__013.smt2.slack |
sat |
7.93 |
v40_problem__015.smt2.slack |
sat |
8.9 |
v40_problem__016.smt2.slack |
sat |
0.04 |
v40_problem__017.smt2.slack |
sat |
0.24 |
v40_problem__019.smt2.slack |
sat |
0.33 |
v40_problem__023.smt2.slack |
sat |
8.14 |
v40_problem__024.smt2.slack |
sat |
1.12 |
v40_problem__025.smt2.slack |
sat |
10.76 |
v40_problem__033.smt2.slack |
sat |
25.16 |
v45_problem_2__001.smt2.slack |
sat |
0 |
v45_problem_2__002.smt2.slack |
sat |
0.02 |
v45_problem_2__003.smt2.slack |
sat |
0.02 |
v45_problem_2__004.smt2.slack |
sat |
0.02 |
v45_problem_2__005.smt2.slack |
sat |
0 |
v45_problem_2__006.smt2.slack |
sat |
0 |
v45_problem_2__007.smt2.slack |
sat |
0.02 |
v45_problem_2__008.smt2.slack |
sat |
7.02 |
v45_problem_2__009.smt2.slack |
sat |
0 |
v45_problem_2__010.smt2.slack |
sat |
1.13 |
v45_problem_2__011.smt2.slack |
sat |
7.08 |
v45_problem_2__012.smt2.slack |
sat |
9.8 |
v45_problem_2__013.smt2.slack |
sat |
7.04 |
v45_problem_2__015.smt2.slack |
sat |
0.02 |
v45_problem_2__024.smt2.slack |
sat |
7.94 |
v45_problem_2__029.smt2.slack |
sat |
8.55 |
v45_problem__001.smt2.slack |
sat |
0.01 |
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 |
0.03 |
v45_problem__006.smt2.slack |
sat |
0.02 |
v45_problem__007.smt2.slack |
sat |
1.41 |
v45_problem__008.smt2.slack |
sat |
0 |
v45_problem__009.smt2.slack |
sat |
0.08 |
v45_problem__010.smt2.slack |
sat |
0.02 |
v45_problem__013.smt2.slack |
sat |
0.85 |
v45_problem__014.smt2.slack |
sat |
7.04 |
v45_problem__015.smt2.slack |
sat |
0.01 |
v45_problem__018.smt2.slack |
sat |
22.48 |
v45_problem__026.smt2.slack |
sat |
9.38 |
v45_problem__032.smt2.slack |
sat |
10.16 |
c100_problem__006.smt2.slack |
unsat |
0.09 |
c10_problem__002.smt2.slack |
unsat |
0.02 |
c20_problem__004.smt2.slack |
unsat |
0.06 |
c30_problem__006.smt2.slack |
unsat |
0.06 |
c40_problem__002.smt2.slack |
unsat |
0.1 |
c50_problem__002.smt2.slack |
unsat |
0.09 |
c50_problem__006.smt2.slack |
unsat |
0.09 |
c90_problem__005.smt2.slack |
unsat |
0.11 |
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.02 |
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.01 |
v10_problem_2__035.smt2.slack |
unsat |
0.01 |
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.01 |
v15_problem_2__019.smt2.slack |
unsat |
0.01 |
v15_problem_2__020.smt2.slack |
unsat |
0.01 |
v15_problem_2__021.smt2.slack |
unsat |
0.1 |
v15_problem_2__022.smt2.slack |
unsat |
0.01 |
v15_problem_2__024.smt2.slack |
unsat |
0.01 |
v15_problem_2__025.smt2.slack |
unsat |
8.2 |
v15_problem__016.smt2.slack |
unsat |
0.01 |
v15_problem__022.smt2.slack |
unsat |
0.01 |
v15_problem__023.smt2.slack |
unsat |
0.02 |
v15_problem__024.smt2.slack |
unsat |
0.02 |
v15_problem__025.smt2.slack |
unsat |
0.06 |
v20_problem_2__026.smt2.slack |
unsat |
0.84 |
v20_problem_2__027.smt2.slack |
unsat |
0.32 |
v20_problem_2__030.smt2.slack |
unsat |
0.44 |
v20_problem_2__031.smt2.slack |
unsat |
1.07 |
v20_problem_2__032.smt2.slack |
unsat |
0.72 |
v20_problem_2__033.smt2.slack |
unsat |
0.72 |
v20_problem_2__034.smt2.slack |
unsat |
0.7 |
v20_problem__016.smt2.slack |
unsat |
0.21 |
v20_problem__018.smt2.slack |
unsat |
0.31 |
v20_problem__023.smt2.slack |
unsat |
0.23 |
v20_problem__025.smt2.slack |
unsat |
0.86 |
v20_problem__027.smt2.slack |
unsat |
0.68 |
v20_problem__029.smt2.slack |
unsat |
0.76 |
v20_problem__031.smt2.slack |
unsat |
0.61 |
v20_problem__032.smt2.slack |
unsat |
0.45 |
v20_problem__033.smt2.slack |
unsat |
0.41 |
v20_problem__034.smt2.slack |
unsat |
1.29 |
v20_problem__035.smt2.slack |
unsat |
1.01 |
v25_problem_2__029.smt2.slack |
unsat |
1.23 |
v25_problem_2__031.smt2.slack |
unsat |
8.7 |
v25_problem_2__033.smt2.slack |
unsat |
8.52 |
v25_problem__022.smt2.slack |
unsat |
246.11 |
v25_problem__031.smt2.slack |
unsat |
508.070016 |
v25_problem__032.smt2.slack |
unsat |
1.48 |
v25_problem__034.smt2.slack |
unsat |
1.14 |
v30_problem__032.smt2.slack |
unsat |
9.08 |