detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl832.smt2 (content) unsat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl832.smt2 (content) unsat unknown 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl832.smt2 (content) unsat unknown 0.099s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl832.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl831.smt2 (content) unsat unknown 0.150s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl831.smt2 (content) unsat unknown 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl831.smt2 (content) unsat unknown 0.147s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl831.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.197s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.134s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.142s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.200s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.198s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.201s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.180s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.116s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl826.smt2 (content) unsat unknown 0.094s