detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn406.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn406.smt2 (content) unsat unsat 0.123s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn405.smt2 (content) sat sat 0.228s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn405.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn404.smt2 (content) sat sat 0.538s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn404.smt2 (content) sat sat 0.168s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn403.smt2 (content) sat sat 0.111s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn403.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn402.smt2 (content) sat sat 0.211s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn402.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn401.smt2 (content) sat sat 0.214s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn401.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn400.smt2 (content) sat sat 0.328s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn400.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn399.smt2 (content) sat sat 0.147s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn399.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn398.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn398.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn397.smt2 (content) sat sat 0.161s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn397.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn396.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn396.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn395.smt2 (content) unsat unsat 3.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn395.smt2 (content) unsat unsat 0.247s