Sota solver results for family Scholl_dqbf
DQBF Solvers Track


InstanceSolverResultTime
C432.blif_0.10_0.10_1_0_henkin.dqdimacsdqbddSAT29.92
C432.blif_0.10_1.00_2_0_henkin.dqdimacsdqbddSAT19.31
C432.blif_0.10_1.00_7_3_henkin.dqdimacshqsUNSAT0
C432.blif_0.40_1.00_1_2_henkin.dqdimacshqsUNSAT0
C432.blif_0.50_1.00_3_3_henkin.dqdimacshqsUNSAT0
C499.blif_0.10_1.00_4_2_henkin.dqdimacshqsUNSAT9.67
C499.blif_0.10_1.00_7_1_henkin.dqdimacshqsUNSAT0
C499.blif_0.10_1.00_7_2_henkin.dqdimacsdqbddUNSAT180.17
C499.blif_0.10_1.00_9_2_henkin.dqdimacshqsUNSAT10
C499.blif_0.20_1.00_3_3_henkin.dqdimacshqsUNSAT152.46
C499.blif_0.20_1.00_7_2_henkin.dqdimacsdqbddUNSAT179.91
C499.blif_0.50_1.00_8_1_henkin.dqdimacsdqbddUNSAT188.73
comp.blif_0.10_0.10_0_0_henkin.dqdimacsdqbddSAT0.63
comp.blif_0.10_0.10_0_2_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_0.10_0_3_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_0.20_0_0_henkin.dqdimacsdqbddSAT0.58
comp.blif_0.10_0.20_1_0_henkin.dqdimacsdqbddSAT0.83
comp.blif_0.10_0.20_1_3_henkin.dqdimacsdqbddUNSAT1.47
comp.blif_0.10_0.20_2_0_henkin.dqdimacsdqbddSAT0.54
comp.blif_0.10_0.20_2_1_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_0.50_0_3_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_0.50_1_3_henkin.dqdimacsdqbddUNSAT1.46
comp.blif_0.10_1.00_0_0_henkin.dqdimacsdqbddSAT0
comp.blif_0.10_1.00_0_1_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_1.00_2_0_henkin.dqdimacsdqbddSAT0
comp.blif_0.10_1.00_2_1_henkin.dqdimacshqsUNSAT0
comp.blif_0.10_1.00_2_3_henkin.dqdimacsdqbddUNSAT0
comp.blif_0.10_1.00_4_1_henkin.dqdimacsdqbddUNSAT0
comp.blif_0.10_1.00_4_2_henkin.dqdimacsdqbddUNSAT0
comp.blif_0.10_1.00_5_2_henkin.dqdimacshqsUNSAT0.62
comp.blif_0.10_1.00_9_3_henkin.dqdimacsdqbddUNSAT0
comp.blif_0.20_0.20_0_3_henkin.dqdimacsdqbddUNSAT1.36
comp.blif_0.20_0.20_2_2_henkin.dqdimacshqsUNSAT0.76
comp.blif_0.20_0.50_2_3_henkin.dqdimacshqsUNSAT0
comp.blif_0.20_1.00_4_0_henkin.dqdimacsdqbddSAT0
comp.blif_0.20_1.00_5_1_henkin.dqdimacshqsUNSAT0
comp.blif_0.20_1.00_9_3_henkin.dqdimacsdqbddSAT0
comp.blif_0.30_0.50_2_1_henkin.dqdimacshqsUNSAT0
comp.blif_0.50_1.00_2_2_henkin.dqdimacshqsUNSAT0
comp.blif_0.50_1.00_4_0_henkin.dqdimacsdqbddSAT0.65
comp.blif_0.50_1.00_5_1_henkin.dqdimacshqsUNSAT0.95
comp.blif_0.50_1.00_9_1_henkin.dqdimacsdqbddUNSAT0.61
comp.blif_0.60_1.00_4_0_henkin.dqdimacsdqbddSAT0.84
comp.blif_0.60_1.00_4_1_henkin.dqdimacsdqbddUNSAT0.93
comp.blif_0.60_1.00_5_0_henkin.dqdimacsdqbddSAT1.22
comp.blif_0.60_1.00_9_2_henkin.dqdimacsdqbddUNSAT0.91
term1.blif_0.10_1.00_5_1_henkin.dqdimacshqsUNSAT19.27
term1.blif_0.10_1.00_5_2_henkin.dqdimacsdqbddUNSAT16.76
term1.blif_0.10_1.00_5_3_henkin.dqdimacshqsUNSAT14.86
term1.blif_0.20_1.00_3_1_henkin.dqdimacshqsUNSAT0
term1.blif_0.20_1.00_3_2_henkin.dqdimacshqsUNSAT0.61
term1.blif_0.20_1.00_5_2_henkin.dqdimacsdqbddUNSAT17.43
term1.blif_0.20_1.00_5_3_henkin.dqdimacshqsUNSAT15.01
term1.blif_0.20_1.00_9_0_henkin.dqdimacsdqbddSAT0.94
term1.blif_0.50_1.00_3_0_henkin.dqdimacsdqbddSAT0.95
term1.blif_0.50_1.00_3_1_henkin.dqdimacshqsUNSAT0
term1.blif_0.50_1.00_5_0_henkin.dqdimacshqsSAT20.67
term1.blif_0.50_1.00_5_3_henkin.dqdimacshqsUNSAT14.87
term1.blif_0.50_1.00_9_2_henkin.dqdimacsdqbddUNSAT0
term1.blif_0.60_1.00_3_0_henkin.dqdimacsdqbddSAT0.93
term1.blif_0.60_1.00_3_1_henkin.dqdimacshqsUNSAT0
term1.blif_0.60_1.00_3_3_henkin.dqdimacshqsUNSAT0.7
term1.blif_0.60_1.00_5_1_henkin.dqdimacshqsUNSAT19.34
term1.blif_0.60_1.00_9_0_henkin.dqdimacsdqbddSAT0.91
term1.blif_0.60_1.00_9_1_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsdqbddSAT0
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.20_0.20_2_2_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacshqsSAT0
z4ml.blif_0.20_1.00_0_3_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.30_0.50_1_0_henkin.dqdimacshqsSAT0
z4ml.blif_0.30_1.00_1_3_henkin.dqdimacshqsUNSAT0
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacsdqbddSAT0
z4ml.blif_0.50_0.10_2_2_henkin.dqdimacsdqbddUNSAT0
z4ml.blif_0.50_0.10_2_3_henkin.dqdimacsdqbddUNSAT0
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsdqbddSAT0
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsdqbddSAT0
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacshqsUNSAT0