detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413034/iso_icl1254.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413033/iso_icl1253.smt2 (content) unsat unsat 0.141s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413033/iso_icl1253.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413032/iso_icl1252.smt2 (content) unsat unsat 0.130s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413032/iso_icl1252.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413031/iso_icl1251.smt2 (content) unsat unsat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413031/iso_icl1251.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413030/iso_icl1250.smt2 (content) unsat unsat 0.104s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413030/iso_icl1250.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413029/iso_icl125.smt2 (content) unsat unsat 0.331s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413029/iso_icl125.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413028/iso_icl1249.smt2 (content) unsat unsat 0.193s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413028/iso_icl1249.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413027/iso_icl1248.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413027/iso_icl1248.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413026/iso_icl1247.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413026/iso_icl1247.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413025/iso_icl1246.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413025/iso_icl1246.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413024/iso_icl1245.smt2 (content) unsat unsat 0.085s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413024/iso_icl1245.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413023/iso_icl1244.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413023/iso_icl1244.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413022/iso_icl1243.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413022/iso_icl1243.smt2 (content) unsat unsat 0.029s