detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413597/iso_icl659.smt2 (content) unsat unsat 0.285s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413597/iso_icl659.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413596/iso_icl658.smt2 (content) unsat unsat 0.271s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413596/iso_icl658.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413595/iso_icl657.smt2 (content) unsat unsat 0.171s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413595/iso_icl657.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413594/iso_icl656.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413594/iso_icl656.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413593/iso_icl655.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413593/iso_icl655.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413592/iso_icl654.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413592/iso_icl654.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413591/iso_icl653.smt2 (content) unsat unsat 0.172s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413591/iso_icl653.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413590/iso_icl652.smt2 (content) unsat unsat 0.150s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413590/iso_icl652.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413589/iso_icl651.smt2 (content) unsat unsat 0.191s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413589/iso_icl651.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413588/iso_icl650.smt2 (content) unsat unsat 0.219s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413588/iso_icl650.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413587/iso_icl649.smt2 (content) unsat unsat 0.186s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413587/iso_icl649.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413586/iso_icl648.smt2 (content) unsat unsat 0.152s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413586/iso_icl648.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413585/iso_icl647.smt2 (content) unsat unsat 0.140s