detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl170.smt2 (content) unsat unknown 0.142s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl170.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unknown 0.343s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unknown 0.474s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unknown 0.476s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unknown 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unknown 0.012s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unknown 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unknown 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unknown 0.229s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unknown 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unknown 0.156s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unknown 0.083s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unknown 0.108s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unknown 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl164.smt2 (content) unsat unknown 0.166s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl164.smt2 (content) unsat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl164.smt2 (content) unsat unknown 0.151s