detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat sat 0.191s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat sat 1.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat sat 0.651s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat sat 0.293s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat sat 0.389s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 3.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 2.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat sat 0.355s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat sat 0.246s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat sat 0.222s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat sat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat sat 0.468s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) unknown unsat 12.3s