Sota solver results for family mqm
Prenex CNF Track


InstanceSolverResultTime
Core1108_tbm_21.tex.module.000008Caqe-hqspreSAT16.55
Core1108_tbm_21.tex.module.000030caqe-preSAT17.26
Umbrella_tbm_05.tex.module.000039Caqe-hqspreSAT25.71
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001depqbf_prefix_opt_qdoUNSAT0.56
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001Caqe-hqspreSAT59.03
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003depqbf_prefix_opt_qdoUNSAT3.68
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003depqbf_prefix_opt_qdoUNSAT1.69
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001Caqe-hqspreSAT89.08
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003Caqe-hqspreSAT83.59
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003caqe-preSAT39.76