Instance | Solver | Result | Time | |
---|---|---|---|---|
s1196_d2_s | par-pd-depqbf | SAT | 0.51 | |
s1196_d3_u | caqe-picosat-par | UNSAT | 91.84 | |
s1196_d4_u | caqe-picosat-par | UNSAT | 81.44 | |
s1196_d5_u | par-pd-depqbf | UNSAT | 63.22 | |
s1196_d6_u | par-pd-depqbf | UNSAT | 312.04 | |
s1196_d7_u | par-pd-depqbf | UNSAT | 165.56 |