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.941s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn973.smt2 (content) unsat unsat 0.293s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn969.smt2 (content) unsat unsat 0.660s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unsat 0.374s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unsat 0.485s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unsat 0.214s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unsat 0.148s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unsat 0.495s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unsat 0.316s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unsat 0.473s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unsat 0.653s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unsat 0.473s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unsat 0.329s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) unsat unsat 0.871s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) unsat unsat 0.887s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unsat 0.122s