Sota solver results for family Balabanov_dqbf
QBFEVAL'19 - DQBF Solvers Track


InstanceSolverResultTime
battleship-10-10-unsat.cnf.dqdimacshqs+ql+fsUNSAT7.29
battleship-10-17-sat.cnf.dqdimacsdCaqeSAT12.17
battleship-10-19-sat.cnf.dqdimacsdCaqeSAT4.6
battleship-11-11-unsat.cnf.dqdimacshqs+ql+fsUNSAT104.1
battleship-11-21-sat.cnf.dqdimacsdCaqeSAT29.09
battleship-12-12-unsat.cnf.dqdimacsdCaqeUNSAT160.78
battleship-5-8-unsat.cnf.dqdimacshqs+ql+fsUNSAT0
battleship-6-9-unsat.cnf.dqdimacshqs+qlUNSAT0.9
battleship-7-12-unsat.cnf.dqdimacshqs+qlUNSAT292.94
crn_11_100_s.cnf.dqdimacsdCaqeSAT11.36
crn_11_99_u.cnf.dqdimacshqs+qlUNSAT7.47
f600.shuffled.cnf.dqdimacshqs+ql+fsSAT7.19
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacshqsSAT5.37
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacshqs+ql+fsUNSAT0
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacshqs+ql+fsUNSAT3.27
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacsdCaqeUNSAT181.28
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacshqs+ql+fsSAT1.08
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacshqsUNSAT0.7
sgen3-n120-s12930489-sat.cnf.dqdimacshqs+ql+fsSAT0.9
sgen3-n140-s18527668-sat.cnf.dqdimacshqs+ql+fsSAT1.96
sgen3-n160-s40283905-sat.cnf.dqdimacshqs+ql+fsSAT1.21
sgen3-n180-s34713902-sat.cnf.dqdimacshqs+ql+fsSAT1.4
sgen3-n200-s39840374-sat.cnf.dqdimacshqs+ql+fsSAT2.28
sgen3-n240-s78945233-sat.cnf.dqdimacshqs+ql+fsSAT188.9
sgen3-n260-s62321009-sat.cnf.dqdimacshqs+ql+fsSAT447.18
urquhart3_25bis.shuffled.cnf.dqdimacshqs+ql+fsUNSAT0
x1_40.shuffled.cnf.dqdimacshqs+ql+fsUNSAT0
x1_80.shuffled.cnf.dqdimacshqs+ql+fsUNSAT0