detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl957.smt2 (content) unsat unknown 0.082s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl956.smt2 (content) unsat unknown 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl955.smt2 (content) unsat unknown 0.062s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl954.smt2 (content) unsat unknown 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl953.smt2 (content) unsat unknown 0.052s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl952.smt2 (content) unsat unknown 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) unsat unknown 0.289s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl950.smt2 (content) unsat unknown 0.370s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl949.smt2 (content) unsat unknown 0.515s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl948.smt2 (content) unsat unknown 0.220s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl947.smt2 (content) unsat unknown 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl946.smt2 (content) unsat unknown 0.255s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl945.smt2 (content) unsat unknown 0.447s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl944.smt2 (content) unsat unknown 0.436s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl943.smt2 (content) unsat unknown 0.701s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl942.smt2 (content) unsat unknown 0.568s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl941.smt2 (content) unsat unknown 0.112s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl940.smt2 (content) unsat unknown 0.569s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl939.smt2 (content) unsat unknown 0.460s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl938.smt2 (content) unsat unknown 0.423s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl937.smt2 (content) unsat unknown 0.279s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl936.smt2 (content) unsat unknown 0.494s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl935.smt2 (content) unsat unknown 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl934.smt2 (content) unsat unknown 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl933.smt2 (content) unsat unknown 0.067s