detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unsat 0.485s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat sat 0.534s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat sat 0.553s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat sat 0.199s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat sat 0.645s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat sat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat sat 0.447s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat sat 0.440s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn550.smt2 (content) sat sat 0.734s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn550.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn549.smt2 (content) sat sat 0.274s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn549.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn548.smt2 (content) sat sat 0.574s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn548.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn547.smt2 (content) sat sat 0.473s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn547.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn546.smt2 (content) sat sat 0.936s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn546.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn545.smt2 (content) sat sat 0.610s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn545.smt2 (content) sat sat 0.054s