detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413435/iso_icl497.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.124s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.125s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.054s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.085s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.063s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.066s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.023s