detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat sat 5.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat sat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat sat 0.645s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat sat 0.207s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat sat 0.924s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat sat 0.403s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat sat 0.261s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn550.smt2 (content) sat sat 0.359s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn550.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn549.smt2 (content) sat sat 0.369s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn549.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn548.smt2 (content) sat sat 0.453s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn548.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn547.smt2 (content) sat sat 0.444s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn547.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn546.smt2 (content) sat sat 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn546.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn545.smt2 (content) sat sat 0.318s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn545.smt2 (content) sat sat 0.045s