Instances of family Scholl_dqbf solved by hqs
QBFEVAL'18 - DQBF Solvers Track

InstanceResultTime
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0.04
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.05
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0.08
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT0.13
term1.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT0.17
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT0.18
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0.2
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT0.29
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT0.29
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0.32
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT0.39
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT0.45
comp.blif_0.10_0.50_0_3_henkin.dqdimacsUNSAT0.48
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT0.49
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.49
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.63
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT0.64
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT0.66
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT0.69
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT0.73
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.78
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT0.78
comp.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.84
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT0.84
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT0.86
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0.88
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT0.89
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT0.9
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT0.92
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT0.93
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT1.06
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT1.09
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT1.1
term1.blif_0.10_1.00_5_3_henkin.dqdimacsUNSAT1.12
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT1.19
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT1.21
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT1.21
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT1.22
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT1.22
term1.blif_0.50_1.00_5_3_henkin.dqdimacsUNSAT1.33
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT1.41
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT1.46
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT1.56
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT1.57
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT1.64
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT1.66
term1.blif_0.50_1.00_5_0_henkin.dqdimacsSAT1.78
comp.blif_0.20_1.00_4_0_henkin.dqdimacsSAT1.94
comp.blif_0.20_1.00_9_3_henkin.dqdimacsSAT2.1
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT2.12
term1.blif_0.20_1.00_3_2_henkin.dqdimacsUNSAT2.96
comp.blif_0.20_0.10_0_2_henkin.dqdimacsUNSAT3.37
comp.blif_0.60_1.00_5_2_henkin.dqdimacsUNSAT3.83
comp.blif_0.20_0.10_1_1_henkin.dqdimacsUNSAT6.44
comp.blif_0.50_1.00_4_0_henkin.dqdimacsSAT7.25
comp.blif_0.50_1.00_9_2_henkin.dqdimacsSAT8.18
comp.blif_0.60_1.00_9_1_henkin.dqdimacsSAT91.91
comp.blif_0.50_1.00_5_1_henkin.dqdimacsUNSAT433.81
C432.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
C432.blif_0.20_0.10_2_1_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_4_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_9_1_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_3_3_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_0_2_henkin.dqdimacsFAIL900
C432.blif_0.20_0.20_1_1_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_1_0_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_8_2_henkin.dqdimacsFAIL900
C432.blif_0.10_0.10_1_3_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_1_2_henkin.dqdimacsFAIL900
C432.blif_0.20_0.50_0_3_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_7_1_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_2_0_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_9_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.10_2_0_henkin.dqdimacsFAIL900
C432.blif_0.10_0.20_1_1_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_3_0_henkin.dqdimacsFAIL900
C432.blif_0.20_1.00_0_1_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_8_2_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_3_0_henkin.dqdimacsFAIL900
comp.blif_0.30_0.20_2_2_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_0_0_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_3_3_henkin.dqdimacsFAIL900
C432.blif_0.20_1.00_1_1_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_8_0_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_0_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_9_2_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_0_0_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_1_3_henkin.dqdimacsFAIL900
C432.blif_0.30_0.10_1_0_henkin.dqdimacsFAIL900
C499.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_2_1_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_2_3_henkin.dqdimacsFAIL900
C432.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_0_1_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_3_2_henkin.dqdimacsFAIL900
comp.blif_0.20_0.50_0_0_henkin.dqdimacsFAIL900