detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.141s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.129s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.119s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.125s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.075s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.301s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.188s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.093s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.123s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.192s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.137s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.140s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.126s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.147s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.102s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.175s