detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl188.smt2 (content) unsat unsat 0.624s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl187.smt2 (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl186.smt2 (content) unsat unsat 0.416s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl185.smt2 (content) unsat unsat 0.485s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl184.smt2 (content) unsat unsat 0.471s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl183.smt2 (content) unsat unsat 0.562s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl182.smt2 (content) unsat unsat 0.789s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl181.smt2 (content) unsat unsat 0.552s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl180.smt2 (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) unsat unsat 0.739s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) unsat unsat 0.915s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unsat 0.470s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) unsat unsat 0.479s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unsat 0.424s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl174.smt2 (content) unsat unsat 0.432s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl173.smt2 (content) unsat unsat 0.459s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl172.smt2 (content) unsat unsat 0.916s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl171.smt2 (content) unsat unsat 0.746s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl170.smt2 (content) unsat unsat 0.846s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl169.smt2 (content) unsat unsat 0.503s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl168.smt2 (content) unsat unsat 0.903s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl167.smt2 (content) unsat unsat 0.772s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl166.smt2 (content) unsat unsat 0.299s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl165.smt2 (content) unsat unsat 0.698s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl164.smt2 (content) unsat unsat 0.541s