detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413021/iso_icl1242.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413021/iso_icl1242.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413020/iso_icl1241.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413020/iso_icl1241.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413019/iso_icl1240.smt2 (content) unsat unsat 0.041s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413019/iso_icl1240.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413018/iso_icl124.smt2 (content) unsat unsat 0.196s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413018/iso_icl124.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413017/iso_icl1239.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413017/iso_icl1239.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413016/iso_icl1238.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413016/iso_icl1238.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413015/iso_icl1237.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413015/iso_icl1237.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413014/iso_icl1236.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413014/iso_icl1236.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413013/iso_icl1235.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413013/iso_icl1235.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413012/iso_icl1234.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413012/iso_icl1234.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413011/iso_icl1233.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413011/iso_icl1233.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413010/iso_icl1232.smt2 (content) unsat unsat 0.110s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413010/iso_icl1232.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413009/iso_icl1231.smt2 (content) unsat unsat 0.096s