detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.067s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.071s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.055s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.067s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.074s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.053s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unknown 0.105s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unknown 0.088s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.144s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.175s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.214s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.057s