Discrepancies tables for mqm
QBFEVAL'18 - Prenex CNF Track


Instance # Sat # Unsat Minority Solver
Core1108_tbm_21.tex.module.000008 12 1 Caqe-bloqqer-qdo
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001 3 10 Qute_default, Qute_opt500, Qute_random
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003 3 12 Qute_default, Qute_opt500, Qute_random
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003 3 12 Qute_default, Qute_opt500, Qute_random
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001 8 1 Caqe-bloqqer-qdo
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003 10 1 Caqe-bloqqer-qdo
Download table[csv, latex]