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

InstanceResultTime
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_0_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_2_2_henkin.dqdimacsUNSAT0
term1.blif_0.20_1.00_9_0_henkin.dqdimacsSAT0
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsUNSAT0
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT0
C432.blif_0.30_1.00_2_1_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_9_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.20_1.00_7_1_henkin.dqdimacsUNSAT0
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0
C432.blif_0.50_1.00_3_3_henkin.dqdimacsUNSAT0
C499.blif_0.20_1.00_1_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT0
comp.blif_0.60_1.00_9_2_henkin.dqdimacsUNSAT0
C499.blif_0.50_1.00_8_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT0
z4ml.blif_0.10_0.10_1_2_henkin.dqdimacsUNSAT0
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_9_2_henkin.dqdimacsSAT0
C499.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT0
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT0.01
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0.01
comp.blif_0.60_1.00_4_0_henkin.dqdimacsSAT0.02
comp.blif_0.50_1.00_4_0_henkin.dqdimacsSAT0.02
comp.blif_0.20_1.00_4_0_henkin.dqdimacsSAT0.03
comp.blif_0.20_1.00_9_3_henkin.dqdimacsSAT0.03
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT0.03
comp.blif_0.10_1.00_0_0_henkin.dqdimacsSAT0.04
comp.blif_0.10_1.00_2_0_henkin.dqdimacsSAT0.04
comp.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0.04
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT0.15
term1.blif_0.60_1.00_9_0_henkin.dqdimacsSAT0.16
term1.blif_0.50_1.00_9_2_henkin.dqdimacsUNSAT0.17
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT0.6
C432.blif_0.40_1.00_1_2_henkin.dqdimacsUNSAT0.65
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT0.73
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT2.22
comp.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT4.3
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT9.3
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT11.47
comp.blif_0.10_0.20_2_1_henkin.dqdimacsUNSAT13.19
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT14.68
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT14.75
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT29.44
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT29.47
comp.blif_0.10_0.10_0_2_henkin.dqdimacsUNSAT37.33
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT56.66
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsSAT143.33
comp.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT165.07
C432.blif_0.10_1.00_2_0_henkin.dqdimacsSAT233.91
comp.blif_0.20_1.00_5_1_henkin.dqdimacsUNSAT736.03
comp.blif_0.50_1.00_5_1_henkin.dqdimacsFAIL900.01
C432.blif_0.20_1.00_0_0_henkin.dqdimacsFAIL900.01
term1.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900.01
comp.blif_0.10_0.20_0_0_henkin.dqdimacsFAIL900.02
C499.blif_0.10_1.00_4_2_henkin.dqdimacsFAIL900.02
comp.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900.02
comp.blif_0.60_1.00_5_0_henkin.dqdimacsFAIL900.02
C432.blif_0.50_1.00_6_3_henkin.dqdimacsFAIL900.02
C432.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900.02
term1.blif_0.10_1.00_5_1_henkin.dqdimacsFAIL900.02
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900.02
term1.blif_0.20_1.00_3_1_henkin.dqdimacsFAIL900.03
C432.blif_0.10_1.00_0_2_henkin.dqdimacsFAIL900.03
term1.blif_0.20_1.00_5_2_henkin.dqdimacsFAIL900.03
term1.blif_0.60_1.00_5_1_henkin.dqdimacsFAIL900.03
C499.blif_0.10_1.00_3_0_henkin.dqdimacsFAIL900.04
term1.blif_0.50_1.00_5_0_henkin.dqdimacsFAIL900.04
C432.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900.04
C499.blif_0.20_1.00_2_0_henkin.dqdimacsFAIL900.04
comp.blif_0.10_0.10_0_0_henkin.dqdimacsFAIL900.04
C432.blif_0.20_1.00_7_1_henkin.dqdimacsFAIL900.05
C432.blif_0.10_0.10_2_0_henkin.dqdimacsFAIL900.05
C499.blif_0.10_1.00_9_2_henkin.dqdimacsFAIL900.05
C432.blif_0.20_1.00_8_2_henkin.dqdimacsFAIL900.06
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900.06
C432.blif_0.20_0.50_2_0_henkin.dqdimacsFAIL900.06
comp.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900.07
comp.blif_0.20_0.20_0_3_henkin.dqdimacsFAIL900.07
comp.blif_0.10_0.10_1_3_henkin.dqdimacsFAIL900.07
comp.blif_0.20_0.10_1_1_henkin.dqdimacsFAIL900.08
C499.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900.08
term1.blif_0.50_1.00_3_0_henkin.dqdimacsFAIL900.08
C432.blif_0.20_0.50_2_1_henkin.dqdimacsFAIL900.09
term1.blif_0.60_1.00_3_3_henkin.dqdimacsFAIL900.1
comp.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900.1