detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn573.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn573.smt2 (content) unsat unknown 2.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn573.smt2 (content) unsat unknown 0.273s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn572.smt2 (content) sat unknown 0.367s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn572.smt2 (content) sat unknown 0.204s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn572.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn571.smt2 (content) sat unknown 0.374s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn571.smt2 (content) sat unknown 0.145s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn571.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn570.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn570.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn570.smt2 (content) unsat unknown 0.130s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat unknown 0.486s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat unknown 0.248s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat unknown 0.251s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat unknown 0.207s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat unknown 0.999s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat unknown 0.101s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat unknown 0.650s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) timeout unknown 10s