QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Balabanov_dqbf
DQBF Solvers Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| battleship-10-10-unsat.cnf.dqdimacs | dqbdd | UNSAT | 10.3 |  |
| battleship-10-19-sat.cnf.dqdimacs | dqbdd | SAT | 10.48 | |
| battleship-11-11-unsat.cnf.dqdimacs | iprover_hqspre_single | UNSAT | 126.2 | |
| battleship-11-21-sat.cnf.dqdimacs | hqs | SAT | 67.58 | |
| battleship-5-8-unsat.cnf.dqdimacs | dqbdd | UNSAT | 0.7 | |
| battleship-6-9-unsat.cnf.dqdimacs | dqbdd | UNSAT | 0.91 | |
| crn_11_100_s.cnf.dqdimacs | dqbdd | SAT | 27.18 | |
| crn_11_99_u.cnf.dqdimacs | dqbdd | UNSAT | 7.41 | |
| lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacs | hqs | SAT | 4.71 | |
| marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacs | hqs | UNSAT | 1.36 | |
| marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacs | dqbdd | UNSAT | 7.28 | |
| mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacs | hqs | UNSAT | 201.08 | |
| php-010-008.shuffled-as.sat05-1171.cnf.dqdimacs | hqs | UNSAT | 0.76 | |
| sgen3-n120-s12930489-sat.cnf.dqdimacs | dqbdd | SAT | 21.77 | |
| urquhart3_25bis.shuffled.cnf.dqdimacs | dqbdd | UNSAT | 4.4 | |
| x1_40.shuffled.cnf.dqdimacs | hqs | UNSAT | 6.52 | |