Instances of family Scholl_dqbf solved by hqs
DQBF Solvers Track

InstanceResultTime
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsFAIL0
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0
comp.blif_0.10_0.10_0_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0
C432.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL0
comp.blif_0.20_1.00_5_1_henkin.dqdimacsUNSAT0
term1.blif_0.20_1.00_3_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0
comp.blif_0.20_1.00_4_0_henkin.dqdimacsFAIL0
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT0
C432.blif_0.40_1.00_1_2_henkin.dqdimacsUNSAT0
comp.blif_0.10_0.20_2_1_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_2_2_henkin.dqdimacsUNSAT0
comp.blif_0.20_1.00_9_3_henkin.dqdimacsFAIL0
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT0
C432.blif_0.50_1.00_3_3_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL0
z4ml.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT0
comp.blif_0.10_0.50_0_3_henkin.dqdimacsUNSAT0
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL0
z4ml.blif_0.20_1.00_0_3_henkin.dqdimacsUNSAT0
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0
C432.blif_0.50_0.50_1_3_henkin.dqdimacsFAIL0
comp.blif_0.20_0.50_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.30_0.50_1_0_henkin.dqdimacsSAT0
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT0
C499.blif_0.10_1.00_7_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.30_1.00_1_3_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT0.22
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT0.58
term1.blif_0.20_1.00_3_2_henkin.dqdimacsUNSAT0.61
comp.blif_0.10_1.00_5_2_henkin.dqdimacsUNSAT0.62
term1.blif_0.60_1.00_3_3_henkin.dqdimacsUNSAT0.7
comp.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT0.76
term1.blif_0.50_1.00_3_0_henkin.dqdimacsFAIL0.76
term1.blif_0.60_1.00_3_0_henkin.dqdimacsFAIL0.77
term1.blif_0.50_1.00_9_2_henkin.dqdimacsUNSAT0.77
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT0.81
term1.blif_0.20_1.00_9_0_henkin.dqdimacsFAIL0.91
comp.blif_0.50_1.00_9_1_henkin.dqdimacsUNSAT0.91
term1.blif_0.60_1.00_9_0_henkin.dqdimacsFAIL0.91
comp.blif_0.50_1.00_5_1_henkin.dqdimacsUNSAT0.95
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT1.5
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT1.51
comp.blif_0.60_1.00_9_2_henkin.dqdimacsUNSAT1.64
comp.blif_0.50_1.00_4_0_henkin.dqdimacsFAIL1.71
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacsFAIL1.99
comp.blif_0.10_1.00_4_1_henkin.dqdimacsUNSAT2.2
z4ml.blif_0.50_0.10_2_2_henkin.dqdimacsUNSAT2.23
comp.blif_0.10_0.20_0_0_henkin.dqdimacsFAIL2.29
z4ml.blif_0.50_0.10_2_3_henkin.dqdimacsUNSAT3.54
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT4.35
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT4.37
comp.blif_0.10_0.20_1_0_henkin.dqdimacsFAIL5.07
comp.blif_0.60_1.00_5_0_henkin.dqdimacsFAIL6.31
comp.blif_0.10_0.10_0_0_henkin.dqdimacsFAIL6.38
comp.blif_0.60_1.00_4_1_henkin.dqdimacsUNSAT6.84
comp.blif_0.10_0.20_2_0_henkin.dqdimacsFAIL8.21
comp.blif_0.20_0.20_0_3_henkin.dqdimacsUNSAT8.69
C499.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT9.67
C499.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT10
term1.blif_0.10_1.00_5_3_henkin.dqdimacsUNSAT14.86
term1.blif_0.50_1.00_5_3_henkin.dqdimacsUNSAT14.87
term1.blif_0.20_1.00_5_3_henkin.dqdimacsUNSAT15.01
term1.blif_0.10_1.00_5_1_henkin.dqdimacsUNSAT19.27
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT19.34
term1.blif_0.50_1.00_5_0_henkin.dqdimacsSAT20.67
term1.blif_0.10_1.00_5_2_henkin.dqdimacsUNSAT34.58
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT34.78
C499.blif_0.20_1.00_3_3_henkin.dqdimacsUNSAT152.46
comp.blif_0.30_0.50_0_2_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_7_2_henkin.dqdimacsFAIL900
C499.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900
C432.blif_0.10_0.10_1_0_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_1_2_henkin.dqdimacsFAIL900
C432.blif_0.20_0.50_1_3_henkin.dqdimacsFAIL900
C432.blif_0.40_0.10_0_0_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_4_0_henkin.dqdimacsFAIL900
C432.blif_0.40_0.20_1_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_1_henkin.dqdimacsFAIL900