detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413246/iso_icl308.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413246/iso_icl308.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413245/iso_icl307.smt2 (content) unsat unsat 0.205s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413245/iso_icl307.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413244/iso_icl306.smt2 (content) unsat unsat 0.242s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413244/iso_icl306.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413243/iso_icl305.smt2 (content) unsat unsat 0.299s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413243/iso_icl305.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413242/iso_icl304.smt2 (content) unsat unsat 0.199s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413242/iso_icl304.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413241/iso_icl303.smt2 (content) unsat unsat 0.144s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413241/iso_icl303.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413240/iso_icl302.smt2 (content) unsat unsat 0.189s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413240/iso_icl302.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413239/iso_icl301.smt2 (content) unsat unsat 0.169s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413239/iso_icl301.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413238/iso_icl300.smt2 (content) unsat unsat 0.154s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413238/iso_icl300.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413237/iso_icl299.smt2 (content) unsat unsat 0.223s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413237/iso_icl299.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413236/iso_icl298.smt2 (content) unsat unsat 0.201s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413236/iso_icl298.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413235/iso_icl297.smt2 (content) unsat unsat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413235/iso_icl297.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413234/iso_icl296.smt2 (content) unsat unsat 0.146s