detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn436.smt2 (content) unsat unknown 0.477s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn435.smt2 (content) unsat unknown 0.304s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn434.smt2 (content) unsat unknown 0.266s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn433.smt2 (content) unsat unknown 0.321s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn428.smt2 (content) unsat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn427.smt2 (content) unsat unknown 0.019s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn425.smt2 (content) unsat unknown 0.051s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn421.smt2 (content) unsat unknown 0.600s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn420.smt2 (content) unsat unknown 0.469s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn417.smt2 (content) unsat unknown 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn415.smt2 (content) unsat unknown 0.225s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unknown 0.492s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.032s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unknown 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn406.smt2 (content) unsat unknown 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn396.smt2 (content) unsat unknown 0.099s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn395.smt2 (content) unsat unknown 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn393.smt2 (content) unsat unknown 0.091s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn392.smt2 (content) unsat unknown 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2 (content) unsat unknown 0.251s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) unsat unknown 0.470s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn373.smt2 (content) unsat unknown 0.299s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn368.smt2 (content) unsat unknown 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn367.smt2 (content) unsat unknown 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unknown 0.114s