detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unsat 0.745s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unsat 0.584s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn518.smt2 (content) sat sat 0.744s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn518.smt2 (content) sat sat 0.103s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn517.smt2 (content) sat sat 0.393s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn517.smt2 (content) sat sat 0.122s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unsat 0.428s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unsat 0.153s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn515.smt2 (content) sat sat 0.191s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn515.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn514.smt2 (content) sat sat 0.240s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn514.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn513.smt2 (content) sat sat 0.260s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn513.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn512.smt2 (content) sat sat 0.079s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn512.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn511.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn511.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn510.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn510.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn509.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn509.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn508.smt2 (content) unsat unsat 3.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn508.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn507.smt2 (content) sat sat 0.302s