detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl189.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl188.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl187.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl186.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl185.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl184.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl183.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl182.smt2 (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl181.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl180.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl179.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl178.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl177.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl176.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl175.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl174.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl173.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl172.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl171.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl170.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unsat 0.045s