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 0.588s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat sat 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat sat 0.084s
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.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat sat 1.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat sat 0.693s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat sat 0.646s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat sat 0.436s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn550.smt2 (content) sat sat 0.411s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn550.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn549.smt2 (content) sat sat 0.720s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn549.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn548.smt2 (content) sat sat 0.645s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn548.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn547.smt2 (content) sat sat 0.402s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn547.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn546.smt2 (content) sat sat 0.549s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn546.smt2 (content) sat sat 0.208s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn545.smt2 (content) sat sat 0.422s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn545.smt2 (content) sat sat 0.062s