ie-local-interpolant.smt2 |
unsat |
missing |
0 |
.126 |
.128 |
19525632 |
sat |
missing |
0 |
.479 |
.487 |
45228032 |
new-cast-encoding_sat.smt2 |
sat |
correct |
0 |
.00897 |
.0116 |
5513216 |
sat |
correct |
0 |
.214 |
.230 |
23986176 |
other-cast-encoding.smt2 |
unknown |
unknown |
0 |
.00909 |
.0100 |
4583424 |
error |
error |
0 |
.193 |
.199 |
23822336 |
smtinterpol-NPE-LAInterpolor-color_unsat.smt2 |
error |
error |
0 |
.0209 |
.0351 |
2883584 |
unsat |
correct |
0 |
.769 |
.778 |
46264320 |