detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413196/iso_icl258.smt2 (content) unsat unsat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413196/iso_icl258.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413195/iso_icl257.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413195/iso_icl257.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413194/iso_icl256.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413194/iso_icl256.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413193/iso_icl255.smt2 (content) unsat unsat 0.122s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413193/iso_icl255.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413192/iso_icl254.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413192/iso_icl254.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413191/iso_icl253.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413191/iso_icl253.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413190/iso_icl252.smt2 (content) unsat unsat 0.136s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413190/iso_icl252.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413189/iso_icl251.smt2 (content) unsat unsat 0.122s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413189/iso_icl251.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413188/iso_icl250.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413188/iso_icl250.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413187/iso_icl249.smt2 (content) unsat unsat 0.119s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413187/iso_icl249.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413186/iso_icl248.smt2 (content) unsat unsat 0.085s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413186/iso_icl248.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413185/iso_icl247.smt2 (content) unsat unsat 0.043s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413185/iso_icl247.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413184/iso_icl246.smt2 (content) unsat unsat 0.083s