Sota solver results for family Scholl_dqbf
QBFEVAL'19 - DQBF Solvers Track


InstanceSolverResultTime
C432.blif_0.10_1.00_2_0_henkin.dqdimacshqsSAT0
C432.blif_0.10_1.00_7_3_henkin.dqdimacsdCaqeUNSAT0
C432.blif_0.20_1.00_2_2_henkin.dqdimacsdCaqeUNSAT0
C432.blif_0.30_1.00_2_1_henkin.dqdimacsdCaqeUNSAT0
C432.blif_0.40_1.00_1_2_henkin.dqdimacshqsUNSAT0
C432.blif_0.50_1.00_3_3_henkin.dqdimacsdCaqeUNSAT0
C499.blif_0.10_1.00_0_1_henkin.dqdimacsdCaqeUNSAT0
C499.blif_0.10_1.00_2_1_henkin.dqdimacsdCaqeUNSAT0
C499.blif_0.10_1.00_4_2_henkin.dqdimacshqs+ql+fsUNSAT8.17
C499.blif_0.10_1.00_7_2_henkin.dqdimacshqs+qlUNSAT8.11
C499.blif_0.10_1.00_9_2_henkin.dqdimacshqs+qlUNSAT95.19
C499.blif_0.20_1.00_1_1_henkin.dqdimacsdCaqeUNSAT0
C499.blif_0.20_1.00_2_0_henkin.dqdimacshqsSAT64.71
C499.blif_0.50_1.00_8_1_henkin.dqdimacsdCaqeUNSAT0
C499.blif_0.60_1.00_0_3_henkin.dqdimacsdCaqeUNSAT0
comp.blif_0.10_0.10_0_0_henkin.dqdimacshqs+ql+fsSAT0.8
comp.blif_0.10_0.10_0_2_henkin.dqdimacshqs+ql+fsUNSAT0
comp.blif_0.10_0.10_0_3_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_0.10_1_3_henkin.dqdimacshqs+qlUNSAT386.97
comp.blif_0.10_0.20_0_0_henkin.dqdimacshqs+qlSAT1.01
comp.blif_0.10_0.20_1_3_henkin.dqdimacshqs+ql+fsUNSAT1.01
comp.blif_0.10_0.20_2_1_henkin.dqdimacshqsUNSAT3.88
comp.blif_0.10_0.50_0_3_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_0.50_1_3_henkin.dqdimacshqsUNSAT1.05
comp.blif_0.10_1.00_0_0_henkin.dqdimacshqsSAT0
comp.blif_0.10_1.00_0_1_henkin.dqdimacsdCaqeUNSAT0
comp.blif_0.10_1.00_2_0_henkin.dqdimacshqsSAT0
comp.blif_0.10_1.00_2_1_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_1.00_2_3_henkin.dqdimacsdCaqeUNSAT0
comp.blif_0.10_1.00_4_2_henkin.dqdimacshqs+qlUNSAT0
comp.blif_0.10_1.00_5_2_henkin.dqdimacshqsUNSAT1.11
comp.blif_0.10_1.00_9_3_henkin.dqdimacshqsUNSAT0
comp.blif_0.20_0.10_0_2_henkin.dqdimacshqs+qlUNSAT3.29
comp.blif_0.20_0.10_1_1_henkin.dqdimacshqsUNSAT1.91
comp.blif_0.20_0.20_0_3_henkin.dqdimacshqs+ql+fsUNSAT2.88
comp.blif_0.20_0.20_2_2_henkin.dqdimacshqsUNSAT0
comp.blif_0.20_1.00_4_0_henkin.dqdimacshqsSAT0
comp.blif_0.20_1.00_5_1_henkin.dqdimacshqs+qlUNSAT2.99
comp.blif_0.20_1.00_9_3_henkin.dqdimacshqsSAT0
comp.blif_0.30_0.50_2_1_henkin.dqdimacsdCaqeUNSAT0.03
comp.blif_0.50_1.00_2_2_henkin.dqdimacsdCaqeUNSAT0
comp.blif_0.50_1.00_4_0_henkin.dqdimacsdCaqeSAT0.02
comp.blif_0.50_1.00_5_1_henkin.dqdimacshqs+ql+fsUNSAT170.57
comp.blif_0.50_1.00_9_1_henkin.dqdimacsdCaqeUNSAT0
comp.blif_0.50_1.00_9_2_henkin.dqdimacsdCaqeSAT0
comp.blif_0.60_1.00_4_0_henkin.dqdimacsdCaqeSAT0.02
comp.blif_0.60_1.00_5_0_henkin.dqdimacshqs+ql+fsSAT185.11
comp.blif_0.60_1.00_9_2_henkin.dqdimacsdCaqeUNSAT0
term1.blif_0.10_1.00_5_1_henkin.dqdimacshqs+ql+fsUNSAT24.67
term1.blif_0.10_1.00_5_2_henkin.dqdimacshqsUNSAT16.27
term1.blif_0.20_1.00_3_1_henkin.dqdimacshqsUNSAT0
term1.blif_0.20_1.00_3_2_henkin.dqdimacshqsUNSAT0.53
term1.blif_0.20_1.00_5_2_henkin.dqdimacshqs+ql+fsUNSAT16.28
term1.blif_0.20_1.00_9_0_henkin.dqdimacsdCaqeSAT0
term1.blif_0.50_1.00_3_0_henkin.dqdimacshqsSAT0.92
term1.blif_0.50_1.00_3_1_henkin.dqdimacshqsUNSAT0
term1.blif_0.50_1.00_5_0_henkin.dqdimacshqs+ql+fsSAT24
term1.blif_0.50_1.00_5_3_henkin.dqdimacshqs+ql+fsUNSAT40.54
term1.blif_0.50_1.00_9_2_henkin.dqdimacshqsUNSAT0
term1.blif_0.60_1.00_3_1_henkin.dqdimacshqsUNSAT0
term1.blif_0.60_1.00_3_3_henkin.dqdimacshqsUNSAT0.91
term1.blif_0.60_1.00_5_1_henkin.dqdimacshqs+qlUNSAT22.8
term1.blif_0.60_1.00_9_0_henkin.dqdimacshqsSAT0
term1.blif_0.60_1.00_9_1_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_0.10_1_2_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacshqsSAT0
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_1.00_0_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsdCaqeSAT0
z4ml.blif_0.10_1.00_2_1_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacshqsSAT0
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsdCaqeSAT0
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsdCaqeSAT0
z4ml.blif_0.20_1.00_7_1_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacshqs+qlUNSAT0
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacshqsSAT0
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacshqsSAT0
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsdCaqeUNSAT0
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsdCaqeUNSAT0