detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl822.smt2 (content) unsat unknown 0.129s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl822.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl821.smt2 (content) unsat unknown 0.188s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl821.smt2 (content) unsat unknown 0.464s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl821.smt2 (content) unsat unknown 0.091s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl820.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl820.smt2 (content) unsat unknown 0.107s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl820.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl819.smt2 (content) unsat unknown 0.090s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl819.smt2 (content) unsat unknown 0.079s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl819.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl818.smt2 (content) unsat unknown 0.263s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl818.smt2 (content) unsat unknown 0.270s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl818.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl817.smt2 (content) unsat unknown 0.521s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl817.smt2 (content) unsat unknown 0.282s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl817.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl816.smt2 (content) unsat unknown 0.235s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl816.smt2 (content) unsat unknown 0.170s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl816.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl815.smt2 (content) unsat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl815.smt2 (content) unsat unknown 0.150s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl815.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl814.smt2 (content) unsat unknown 0.097s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl814.smt2 (content) unsat unknown 0.111s