detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn279.smt2 (content) unsat unsat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn276.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn272.smt2 (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn270.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn268.smt2 (content) unsat unsat 0.238s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn267.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn265.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn264.smt2 (content) unsat unsat 0.097s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn261.smt2 (content) unsat unsat 0.241s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn253.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn248.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn244.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn243.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn238.smt2 (content) unsat unsat 0.127s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn225.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn220.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn209.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) unsat unsat 0.519s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unsat 0.586s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unsat 0.330s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.845s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.814s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.701s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unsat 0.379s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unsat 0.508s