detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn294.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn294.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn293.smt2 (content) sat sat 0.167s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn293.smt2 (content) sat sat 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn292.smt2 (content) sat sat 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn292.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unknown unsat 10.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unsat 0.301s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn290.smt2 (content) sat sat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn290.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn289.smt2 (content) sat sat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn289.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn287.smt2 (content) sat sat 0.226s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn287.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn286.smt2 (content) sat sat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn286.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn285.smt2 (content) sat sat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn285.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn284.smt2 (content) unsat unsat 0.406s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn284.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn283.smt2 (content) unsat unsat 0.964s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn283.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn282.smt2 (content) sat sat 0.449s