Instance | Result | Time | |
---|---|---|---|
6qbf-5cnf-160var-2560cl.9 | UNSAT | 9.92 | |
6qbf-5cnf-160var-2560cl.0 | UNSAT | 10.22 | |
6qbf-5cnf-160var-2560cl.3 | UNSAT | 11.57 | |
6qbf-5cnf-160var-2560cl.5 | UNSAT | 11.9 | |
6qbf-5cnf-160var-2560cl.8 | UNSAT | 12 | |
6qbf-5cnf-160var-2560cl.7 | UNSAT | 12.79 | |
6qbf-5cnf-160var-2560cl.1 | UNSAT | 14.49 | |
6qbf-5cnf-160var-2560cl.2 | UNSAT | 47.04 | |
6qbf-5cnf-160var-2560cl.4 | UNSAT | 50.74 | |
6qbf-5cnf-160var-2560cl.6 | UNSAT | 76.92 |