detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn393.smt2 (content) unsat unsat 0.148s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn392.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2 (content) unsat unsat 0.354s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) unsat unsat 0.584s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn373.smt2 (content) unsat unsat 0.408s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn368.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn367.smt2 (content) unsat unsat 0.122s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unsat 0.197s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unsat 0.309s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn348.smt2 (content) unsat unsat 0.768s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unsat 0.983s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unsat 0.853s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) unsat unsat 0.692s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn332.smt2 (content) unsat unsat 0.837s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn326.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn325.smt2 (content) unsat unsat 0.708s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn323.smt2 (content) unsat unsat 0.988s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn321.smt2 (content) unsat unsat 0.609s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn318.smt2 (content) unsat unsat 0.293s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn311.smt2 (content) unsat unsat 0.963s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unsat 0.291s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn284.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn283.smt2 (content) unsat unsat 0.054s