detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413134/iso_icl196.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413133/iso_icl195.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413133/iso_icl195.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413132/iso_icl194.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413132/iso_icl194.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413131/iso_icl193.smt2 (content) unsat unsat 0.104s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413131/iso_icl193.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413130/iso_icl192.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413130/iso_icl192.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413129/iso_icl191.smt2 (content) unsat unsat 0.135s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413129/iso_icl191.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413128/iso_icl190.smt2 (content) unsat unsat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413128/iso_icl190.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413127/iso_icl189.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413127/iso_icl189.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413126/iso_icl188.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413126/iso_icl188.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413125/iso_icl187.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413125/iso_icl187.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413124/iso_icl186.smt2 (content) unsat unsat 0.084s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413124/iso_icl186.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413123/iso_icl185.smt2 (content) unsat unsat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413123/iso_icl185.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413122/iso_icl184.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413122/iso_icl184.smt2 (content) unsat unsat 0.041s