detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl764.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl763.smt2 (content) unsat unknown 0.077s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl763.smt2 (content) unsat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl763.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl762.smt2 (content) unsat unknown 0.310s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl762.smt2 (content) unsat unknown 0.191s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl762.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl761.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl761.smt2 (content) unsat unknown 0.055s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl761.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl760.smt2 (content) unsat unknown 0.150s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl760.smt2 (content) unsat unknown 0.136s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl760.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl759.smt2 (content) unsat unknown 0.062s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl759.smt2 (content) unsat unknown 0.093s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl759.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl758.smt2 (content) unsat unknown 0.504s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl758.smt2 (content) unsat unknown 0.577s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl758.smt2 (content) unsat unknown 0.099s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl757.smt2 (content) unsat unknown 0.226s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl757.smt2 (content) unsat unknown 0.167s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl757.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl756.smt2 (content) unsat unknown 0.157s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl756.smt2 (content) unsat unknown 0.143s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl756.smt2 (content) unsat unknown 0.033s