detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl889.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl888.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl887.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl886.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl885.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl884.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl883.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl882.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl881.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl871.smt2 (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unsat 0.046s