detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413446/iso_icl508.smt2 (content) unsat unsat 0.187s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413446/iso_icl508.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413445/iso_icl507.smt2 (content) unsat unsat 0.257s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413445/iso_icl507.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413444/iso_icl506.smt2 (content) unsat unsat 0.313s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413444/iso_icl506.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413443/iso_icl505.smt2 (content) unsat unsat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413443/iso_icl505.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413442/iso_icl504.smt2 (content) unsat unsat 0.353s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413442/iso_icl504.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413441/iso_icl503.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413441/iso_icl503.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413440/iso_icl502.smt2 (content) unsat unsat 0.092s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413440/iso_icl502.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413439/iso_icl501.smt2 (content) unsat unsat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413439/iso_icl501.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413438/iso_icl500.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413438/iso_icl500.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413437/iso_icl499.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413437/iso_icl499.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413436/iso_icl498.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413436/iso_icl498.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413435/iso_icl497.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413435/iso_icl497.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.200s