detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl364.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unknown 0.124s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unknown 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unknown 0.122s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unknown 0.124s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unknown 0.150s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unknown 0.025s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unknown 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unknown 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unknown 0.013s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unknown 0.086s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unknown 0.077s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unknown 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unknown 0.066s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unknown 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unknown 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unknown 0.014s