detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.141s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.124s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.184s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.193s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.180s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.295s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.157s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.156s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unknown 0.208s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unknown 0.154s