detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn207.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) unsat unknown 0.315s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn205.smt2 (content) sat unknown 0.519s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn205.smt2 (content) sat unknown 0.207s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn205.smt2 (content) sat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn204.smt2 (content) sat unknown 0.184s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn204.smt2 (content) sat unknown 0.146s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn204.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn203.smt2 (content) sat unknown 0.860s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn203.smt2 (content) sat unknown 0.220s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn203.smt2 (content) sat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn202.smt2 (content) sat unknown 0.345s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn202.smt2 (content) sat unknown 0.357s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn202.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn201.smt2 (content) sat unknown 0.230s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn201.smt2 (content) sat unknown 0.102s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn201.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unknown 5.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unknown 0.372s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn199.smt2 (content) sat unknown 0.275s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn199.smt2 (content) sat unknown 0.089s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn199.smt2 (content) sat unknown 0.019s