Instance | Solver | Result | Time | |
---|---|---|---|---|
2qbf-5cnf-160var-1280cl.0 | sSolve | UNSAT | 41.97 | |
2qbf-5cnf-160var-1280cl.1 | skizzo_v0.4 | UNSAT | 722.9 | |
2qbf-5cnf-160var-1280cl.2 | sSolve | UNSAT | 0.21 | |
2qbf-5cnf-160var-1280cl.3 | skizzo_v0.4 | UNSAT | 244.82 | |
2qbf-5cnf-160var-1280cl.4 | sSolve | UNSAT | 0.05 | |
2qbf-5cnf-160var-1280cl.5 | semprop | UNSAT | 0.03 | |
2qbf-5cnf-160var-1280cl.6 | skizzo_v0.5 | UNSAT | 11.41 | |
2qbf-5cnf-160var-1280cl.7 | skizzo_v0.4 | UNSAT | 9.86 | |
2qbf-5cnf-160var-1280cl.8 | skizzo_v0.5 | UNSAT | 93.57 | |
2qbf-5cnf-160var-1280cl.9 | skizzo_v0.5 | UNSAT | 11.29 |