detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn272.smt2 (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn270.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn268.smt2 (content) unsat unsat 0.278s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn267.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn265.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn264.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn261.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn253.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn248.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn244.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn243.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn238.smt2 (content) unsat unsat 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn225.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn220.smt2 (content) unsat unsat 0.111s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn209.smt2 (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) unsat unsat 0.555s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unsat 0.440s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.678s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.918s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.905s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unsat 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unsat 0.611s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1326.smt2 (content) unsat unsat 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1321.smt2 (content) unsat unsat 0.079s