detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unknown 0.095s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unknown 0.273s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn348.smt2 (content) unsat unknown 0.464s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unknown 0.519s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unknown 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) unsat unknown 0.588s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn332.smt2 (content) unsat unknown 0.469s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn326.smt2 (content) unsat unknown 0.462s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn325.smt2 (content) unsat unknown 0.542s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn323.smt2 (content) unsat unknown 0.528s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn321.smt2 (content) unsat unknown 0.296s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn318.smt2 (content) unsat unknown 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn311.smt2 (content) unsat unknown 0.612s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unknown 0.159s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unknown 0.032s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn284.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn283.smt2 (content) unsat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn279.smt2 (content) unsat unknown 0.053s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn276.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn272.smt2 (content) unsat unknown 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn270.smt2 (content) unsat unknown 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn268.smt2 (content) unsat unknown 0.127s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn267.smt2 (content) unsat unknown 0.046s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn265.smt2 (content) unsat unknown 0.030s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn264.smt2 (content) unsat unknown 0.033s