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.121s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unsat 0.042s
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.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unsat 0.089s
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.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl871.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unsat 0.190s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unsat 0.236s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unsat 0.197s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unsat 0.238s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unsat 0.330s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl864.smt2 (content) unsat unsat 0.494s