detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413235/iso_icl297.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413234/iso_icl296.smt2 (content) unsat unsat 0.116s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413234/iso_icl296.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413233/iso_icl295.smt2 (content) unsat unsat 0.159s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413233/iso_icl295.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413232/iso_icl294.smt2 (content) unsat unsat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413232/iso_icl294.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413231/iso_icl293.smt2 (content) unsat unsat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413231/iso_icl293.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413230/iso_icl292.smt2 (content) unsat unsat 0.177s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413230/iso_icl292.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413229/iso_icl291.smt2 (content) unsat unsat 0.085s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413229/iso_icl291.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413228/iso_icl290.smt2 (content) unsat unsat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413228/iso_icl290.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413227/iso_icl289.smt2 (content) unsat unsat 0.067s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413227/iso_icl289.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413226/iso_icl288.smt2 (content) unsat unsat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413226/iso_icl288.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413225/iso_icl287.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413225/iso_icl287.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413224/iso_icl286.smt2 (content) unsat unsat 0.063s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413224/iso_icl286.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413223/iso_icl285.smt2 (content) unsat unsat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413223/iso_icl285.smt2 (content) unsat unsat 0.023s