Instances of family Scholl_dqbf solved by iprover_hqspre_schedule
DQBF Solvers Track

InstanceResultTime
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.30_1.00_1_3_henkin.dqdimacsUNSAT0.05
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsUNSAT0.07
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.07
z4ml.blif_0.20_1.00_0_3_henkin.dqdimacsUNSAT0.11
C499.blif_0.10_1.00_7_1_henkin.dqdimacsUNSAT0.21
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT1.5
z4ml.blif_0.30_0.50_1_0_henkin.dqdimacsSAT1.66
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT1.68
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT3.64
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT3.68
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT3.71
term1.blif_0.20_1.00_3_1_henkin.dqdimacsUNSAT4.51
C432.blif_0.50_1.00_3_3_henkin.dqdimacsUNSAT5.46
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT5.84
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT5.87
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT5.88
term1.blif_0.50_1.00_9_2_henkin.dqdimacsUNSAT7.31
term1.blif_0.60_1.00_3_3_henkin.dqdimacsUNSAT8.68
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT9.38
comp.blif_0.50_1.00_2_2_henkin.dqdimacsUNSAT9.52
z4ml.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT11.14
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT11.94
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsSAT14.1
comp.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT20.54
C432.blif_0.40_1.00_1_2_henkin.dqdimacsUNSAT30.86
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT36.53
term1.blif_0.10_1.00_5_3_henkin.dqdimacsUNSAT63.69
term1.blif_0.20_1.00_5_3_henkin.dqdimacsUNSAT63.69
term1.blif_0.50_1.00_5_3_henkin.dqdimacsUNSAT63.79
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT80.3
term1.blif_0.10_1.00_5_1_henkin.dqdimacsUNSAT80.5
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT86.58
comp.blif_0.10_0.20_2_1_henkin.dqdimacsUNSAT89.94
term1.blif_0.10_1.00_5_2_henkin.dqdimacsUNSAT104.49
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT104.76
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT300.83
term1.blif_0.20_1.00_9_0_henkin.dqdimacsSAT336.61
term1.blif_0.60_1.00_9_0_henkin.dqdimacsSAT336.81
term1.blif_0.50_1.00_5_0_henkin.dqdimacsSAT394.67
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT484.83
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT485.04
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT511.86
comp.blif_0.10_0.10_0_2_henkin.dqdimacsUNSAT707.76
comp.blif_0.20_0.50_2_3_henkin.dqdimacsUNSAT716.68
comp.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT729.78
comp.blif_0.10_0.10_0_3_henkin.dqdimacsFAIL900
comp.blif_0.20_1.00_4_0_henkin.dqdimacsFAIL900
C432.blif_0.20_0.50_1_3_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_1_0_henkin.dqdimacsFAIL900
term1.blif_0.60_1.00_3_0_henkin.dqdimacsFAIL900
comp.blif_0.20_1.00_9_3_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_9_1_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_3_0_henkin.dqdimacsFAIL900
C432.blif_0.40_0.10_0_0_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_2_0_henkin.dqdimacsFAIL900
comp.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_4_2_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_4_0_henkin.dqdimacsFAIL900
C432.blif_0.40_0.20_1_2_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_4_1_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_4_0_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_5_0_henkin.dqdimacsFAIL900
C432.blif_0.50_0.50_1_3_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_0_1_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_5_1_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_9_2_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_9_2_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_1_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_2_3_henkin.dqdimacsFAIL900
comp.blif_0.10_0.10_0_0_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_0_3_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_3_3_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_2_henkin.dqdimacsFAIL900
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacsFAIL900
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_7_2_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_4_1_henkin.dqdimacsFAIL900
z4ml.blif_0.50_0.10_2_2_henkin.dqdimacsFAIL900
C499.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_0_0_henkin.dqdimacsFAIL900
comp.blif_0.20_1.00_5_1_henkin.dqdimacsFAIL900
C432.blif_0.10_0.10_1_0_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_1_2_henkin.dqdimacsFAIL900
z4ml.blif_0.50_0.10_2_3_henkin.dqdimacsFAIL900