Instances of family Balabanov_dqbf solved by dCaqe
QBFEVAL'19 - DQBF Solvers Track

InstanceResultTime
battleship-5-8-unsat.cnf.dqdimacsUNSAT0.92
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT1.68
battleship-10-19-sat.cnf.dqdimacsSAT4.6
battleship-6-9-unsat.cnf.dqdimacsUNSAT4.98
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT6.08
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT7.01
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT7.76
crn_11_100_s.cnf.dqdimacsSAT11.36
crn_11_99_u.cnf.dqdimacsUNSAT11.56
battleship-10-17-sat.cnf.dqdimacsSAT12.17
battleship-10-10-unsat.cnf.dqdimacsUNSAT22.07
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT23.78
battleship-11-21-sat.cnf.dqdimacsSAT29.09
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT29.7
sgen3-n180-s34713902-sat.cnf.dqdimacsSAT69.97
x1_40.shuffled.cnf.dqdimacsUNSAT90.05
battleship-12-12-unsat.cnf.dqdimacsUNSAT160.78
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacsUNSAT181.28
battleship-11-11-unsat.cnf.dqdimacsUNSAT300.7
battleship-7-12-unsat.cnf.dqdimacsUNSAT841.05
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT898.6
sgen3-n280-s93756482-sat.cnf.dqdimacsFAIL900.01
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf.dqdimacsFAIL900.01
sgen3-n300-s12830984-sat.cnf.dqdimacsFAIL900.01
x1_80.shuffled.cnf.dqdimacsFAIL900.02
sgen3-n200-s39840374-sat.cnf.dqdimacsFAIL900.03
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacsFAIL900.03
sgen3-n240-s78945233-sat.cnf.dqdimacsFAIL900.03
sgen3-n220-s24359701-sat.cnf.dqdimacsFAIL900.04
sgen3-n260-s62321009-sat.cnf.dqdimacsFAIL900.04
sgen3-n160-s40283905-sat.cnf.dqdimacsFAIL900.05
battleship-13-13-unsat.cnf.dqdimacsFAIL900.06
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf.dqdimacsFAIL900.07
f600.shuffled.cnf.dqdimacsFAIL900.07