detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412696/iso_icl042.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412696/iso_icl042.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412695/iso_icl041.smt2 (content) unsat unsat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412695/iso_icl041.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412694/iso_icl040.smt2 (content) unsat unsat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412694/iso_icl040.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412693/iso_icl039.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412693/iso_icl039.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412692/iso_icl038.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412692/iso_icl038.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412691/iso_icl037.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412691/iso_icl037.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412690/iso_icl036.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412690/iso_icl036.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412689/iso_icl035.smt2 (content) unsat unsat 0.049s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412689/iso_icl035.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412688/iso_icl034.smt2 (content) unsat unsat 0.045s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412688/iso_icl034.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412687/iso_icl033.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412687/iso_icl033.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412686/iso_icl032.smt2 (content) unsat unsat 0.052s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412686/iso_icl032.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412685/iso_icl031.smt2 (content) unsat unsat 0.050s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412685/iso_icl031.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412684/iso_icl030.smt2 (content) unsat unsat 0.073s