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

InstanceResultTime
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.16
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT0.25
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.28
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0.29
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT0.48
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.51
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT0.53
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT0.55
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT0.75
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT0.82
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT0.83
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.92
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT1.02
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT1.09
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT1.1
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT1.14
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT1.33
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT1.35
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT1.48
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT1.72
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT2.49
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT3.25
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT3.3
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT3.55
term1.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT5.3
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT5.48
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT6.12
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT16.24
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT38.67
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT41.86
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT54.8
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT55.33
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT76.97
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT85.34
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT93.24
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT104.1
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT111.51
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.10_0.20_1_3_henkin.dqdimacsFAIL900
comp.blif_0.20_0.10_1_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_0_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_9_1_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.10_0.50_0_3_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_0_0_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_2_1_henkin.dqdimacsFAIL900
term1.blif_0.10_1.00_5_3_henkin.dqdimacsFAIL900
z4ml.blif_0.30_0.10_2_1_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.10_0.50_1_3_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.10_1.00_0_1_henkin.dqdimacsFAIL900
comp.blif_0.20_0.50_0_0_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_4_0_henkin.dqdimacsFAIL900
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900
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
comp.blif_0.20_1.00_4_0_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_5_1_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
comp.blif_0.20_1.00_9_3_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_9_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.10_1.00_9_3_henkin.dqdimacsFAIL900
comp.blif_0.30_0.10_2_0_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_5_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.10_0.10_0_3_henkin.dqdimacsFAIL900
comp.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900
comp.blif_0.30_0.20_2_2_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_5_2_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900