detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.092s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.086s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413416/iso_icl478.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413416/iso_icl478.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413415/iso_icl477.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413415/iso_icl477.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413414/iso_icl476.smt2 (content) unsat unsat 0.136s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413414/iso_icl476.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413413/iso_icl475.smt2 (content) unsat unsat 0.127s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413413/iso_icl475.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413412/iso_icl474.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413412/iso_icl474.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413411/iso_icl473.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413411/iso_icl473.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413410/iso_icl472.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413410/iso_icl472.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413409/iso_icl471.smt2 (content) unsat unsat 0.074s