Sota solver results for family mqm
QBFEVAL'18 - Prenex CNF Track


InstanceSolverResultTime
Core1108_tbm_21.tex.module.000008Qute_randomSAT1.42
Core1108_tbm_21.tex.module.000030Qute_opt500SAT1.37
Umbrella_tbm_05.tex.module.000039Qute_defaultSAT2.77
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001depqbf_prefix_opt_qdoUNSAT0.58
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001Qute_opt500SAT7.3
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003depqbf_prefix_opt_qdoUNSAT3.68
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003depqbf_prefix_opt_qdoUNSAT1.67
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001Caqe-bloqqer-qdoUNSAT15.76
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003Qute_defaultSAT25.45
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003Qute_opt500SAT7.19