detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn261.smt2 (content) unsat unknown 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn253.smt2 (content) unsat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn248.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn244.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn243.smt2 (content) unsat unknown 0.035s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn238.smt2 (content) unsat unknown 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn225.smt2 (content) unsat unknown 0.016s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn220.smt2 (content) unsat unknown 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn209.smt2 (content) unsat unknown 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) unsat unknown 0.309s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unknown 0.426s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unknown 0.265s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unknown 0.450s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unknown 0.621s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 0.452s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 0.226s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 0.299s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1326.smt2 (content) unsat unknown 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1321.smt2 (content) unsat unknown 0.035s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn132.smt2 (content) unsat unknown 0.588s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1319.smt2 (content) unsat unknown 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1315.smt2 (content) unsat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn131.smt2 (content) unsat unknown 0.605s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1308.smt2 (content) unsat unknown 0.062s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1301.smt2 (content) unsat unknown 0.530s