detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413210/iso_icl272.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.038s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.047s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.048s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.096s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.028s