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.181s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn392.smt2 (content) unsat unsat 0.174s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2 (content) unsat unsat 0.480s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) unsat unsat 0.588s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn373.smt2 (content) unsat unsat 0.505s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn368.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn367.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unsat 0.333s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn348.smt2 (content) unsat unsat 0.614s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unsat 0.988s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unsat 0.518s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) unsat unsat 0.713s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn332.smt2 (content) unsat unsat 0.804s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn326.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn325.smt2 (content) unsat unsat 0.993s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn323.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn321.smt2 (content) unsat unsat 0.414s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn318.smt2 (content) unsat unsat 0.309s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn311.smt2 (content) unsat unsat 0.738s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unsat 0.243s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn284.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn283.smt2 (content) unsat unsat 0.092s