detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn773.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn773.smt2 (content) unsat unknown 1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn773.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn772.smt2 (content) sat unknown 0.050s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn772.smt2 (content) sat unknown 0.049s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn772.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn771.smt2 (content) sat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn771.smt2 (content) sat unknown 0.048s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn771.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn770.smt2 (content) sat unknown 0.115s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn770.smt2 (content) sat unknown 0.092s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn770.smt2 (content) sat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unknown 6.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unknown 5.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unknown 0.354s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat unknown 0.182s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat unknown 0.121s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat unknown 0.071s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat unknown 0.089s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unknown 8.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unknown 0.356s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat unknown 0.213s