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


InstanceSolverResultTime
Core1108_tbm_21.tex.module.000008Caqe-hqspreSAT16.52
Core1108_tbm_21.tex.module.000030Caqe-hqspreSAT17.18
Umbrella_tbm_05.tex.module.000039Caqe-hqspreSAT25.63
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001depqbf_prefix_opt_qdoUNSAT0.57
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001Caqe-hqspreSAT58.99
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003depqbf_prefix_opt_qdoUNSAT3.71
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003depqbf_prefix_opt_qdoUNSAT1.68
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001caqe-preSAT88.98
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003Caqe-hqspreSAT83.06
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003Caqe-hqspreSAT39.68