detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn344.smt2 (content) sat unknown 0.196s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn344.smt2 (content) sat unknown 0.198s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn344.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn343.smt2 (content) sat unknown 0.463s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn343.smt2 (content) sat unknown 0.130s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn343.smt2 (content) sat unknown 0.130s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn343.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unknown 5.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unknown 5.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unknown 0.519s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn341.smt2 (content) sat unknown 0.186s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn341.smt2 (content) sat unknown 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn341.smt2 (content) sat unknown 0.133s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn341.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn340.smt2 (content) sat unknown 0.247s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn340.smt2 (content) sat unknown 0.228s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn340.smt2 (content) sat unknown 0.229s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn340.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unknown 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unknown 0.253s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) unsat unknown 5.9s