detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn865.smt2 (content) sat unknown 0.101s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn865.smt2 (content) sat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.324s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.141s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) timeout unknown 10.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 10.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 0.624s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.253s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.212s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.299s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.181s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.203s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.132s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.433s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.505s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.528s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.200s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 1.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.733s