detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413046/iso_icl1265.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413046/iso_icl1265.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413045/iso_icl1264.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413045/iso_icl1264.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413044/iso_icl1263.smt2 (content) unsat unsat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413044/iso_icl1263.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413043/iso_icl1262.smt2 (content) unsat unsat 0.052s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413043/iso_icl1262.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413042/iso_icl1261.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413042/iso_icl1261.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413041/iso_icl1260.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413041/iso_icl1260.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413040/iso_icl126.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413040/iso_icl126.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413039/iso_icl1259.smt2 (content) unsat unsat 0.072s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413039/iso_icl1259.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413038/iso_icl1258.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413038/iso_icl1258.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413037/iso_icl1257.smt2 (content) unsat unsat 0.146s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413037/iso_icl1257.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413036/iso_icl1256.smt2 (content) unsat unsat 0.153s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413036/iso_icl1256.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413035/iso_icl1255.smt2 (content) unsat unsat 0.147s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413035/iso_icl1255.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413034/iso_icl1254.smt2 (content) unsat unsat 0.110s