detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 2.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.205s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.259s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 9.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.845s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.182s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.291s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.707s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.814s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.487s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.083s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.111s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.166s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 5.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.701s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.245s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat sat 0.160s