Sota solver results for family Bloem_dqbf
DQBF Solvers Track


InstanceSolverResultTime
add10n.dqdimacshqsSAT0
add10y.dqdimacsdqbddSAT0
add16n.dqdimacshqsSAT1.13
add20n.dqdimacshqsSAT1.36
add4n.dqdimacshqsSAT0
add6n.dqdimacshqsSAT0
add8y.dqdimacsdqbddSAT0
bs16n.dqdimacsiprover_hqspre_scheduleSAT184.58
bs16y.dqdimacsiprover_hqspre_scheduleSAT182.5
bs8y.dqdimacsdqbddSAT0
cnt10n.dqdimacsdqbddSAT55.03
cnt10y.dqdimacsdqbddSAT54.71
cnt11n.dqdimacsdqbddSAT574.86
cnt11y.dqdimacsiprover_hqspre_scheduleSAT468.35
cnt6n.dqdimacsdqbddSAT0
cnt6y.dqdimacsdqbddSAT0
cnt7y.dqdimacsdqbddSAT0
cnt9n.dqdimacsdqbddSAT9.51
cnt9y.dqdimacsdqbddSAT9.49
ex2.dqdimacshqsSAT0
mult11.dqdimacshqsSAT0
mult2.dqdimacshqsSAT0
mult4.dqdimacshqsSAT0
mult6.dqdimacshqsSAT0
mult9.dqdimacshqsSAT0
mv4n.dqdimacsdqbddSAT0
mv9y.dqdimacsdqbddSAT113.26
mvs4n.dqdimacshqsSAT0
mvs8n.dqdimacsdqbddSAT6.84
mvs8y.dqdimacsdqbddSAT7.06
sh_u_o.dqdimacshqsUNSAT0
stay4n.dqdimacsdqbddSAT0
stay4y.dqdimacsdqbddSAT0
stay6n.dqdimacsdqbddSAT15.2
stay6y.dqdimacsdqbddSAT11.47
unrealizable.dqdimacshqsUNSAT0