detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413296/iso_icl358.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413296/iso_icl358.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413295/iso_icl357.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413295/iso_icl357.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413294/iso_icl356.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413294/iso_icl356.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413293/iso_icl355.smt2 (content) unsat unsat 0.127s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413293/iso_icl355.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413292/iso_icl354.smt2 (content) unsat unsat 0.102s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413292/iso_icl354.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413291/iso_icl353.smt2 (content) unsat unsat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413291/iso_icl353.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413290/iso_icl352.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413290/iso_icl352.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413289/iso_icl351.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413289/iso_icl351.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413288/iso_icl350.smt2 (content) unsat unsat 0.129s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413288/iso_icl350.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413287/iso_icl349.smt2 (content) unsat unsat 0.138s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413287/iso_icl349.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413286/iso_icl348.smt2 (content) unsat unsat 0.174s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413286/iso_icl348.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413285/iso_icl347.smt2 (content) unsat unsat 0.142s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413285/iso_icl347.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413284/iso_icl346.smt2 (content) unsat unsat 0.199s