detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl257.smt2 (content) unsat unknown 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl256.smt2 (content) unsat unknown 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl255.smt2 (content) unsat unknown 0.638s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl254.smt2 (content) unsat unknown 0.364s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl253.smt2 (content) unsat unknown 0.461s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl252.smt2 (content) unsat unknown 0.694s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl251.smt2 (content) unsat unknown 0.192s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl250.smt2 (content) unsat unknown 0.030s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl249.smt2 (content) unsat unknown 0.038s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) unsat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unknown 0.016s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unknown 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl242.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl241.smt2 (content) unsat unknown 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl240.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl239.smt2 (content) unsat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl238.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl237.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl236.smt2 (content) unsat unknown 0.345s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl235.smt2 (content) unsat unknown 0.405s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl234.smt2 (content) unsat unknown 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl233.smt2 (content) unsat unknown 0.066s