detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unsat 0.133s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl871.smt2 (content) unsat unsat 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl871.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unsat 0.241s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unsat 0.216s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unsat 0.205s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unsat 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unsat 0.656s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl864.smt2 (content) unsat unsat 0.263s