detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) unsat unsat 0.953s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn973.smt2 (content) unsat unsat 0.340s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn969.smt2 (content) unsat unsat 0.502s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unsat 0.384s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unsat 0.179s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unsat 0.496s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unsat 0.352s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unsat 0.435s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unsat 0.337s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unsat 0.657s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unsat 0.777s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unsat 0.543s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unsat 0.449s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) unsat unsat 0.732s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) unsat unsat 0.870s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unsat 0.131s