detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412697/iso_icl043.smt2 (content) unsat unsat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412697/iso_icl043.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412696/iso_icl042.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412696/iso_icl042.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412695/iso_icl041.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412695/iso_icl041.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412694/iso_icl040.smt2 (content) unsat unsat 0.047s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412694/iso_icl040.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412693/iso_icl039.smt2 (content) unsat unsat 0.046s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412693/iso_icl039.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412692/iso_icl038.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412692/iso_icl038.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412691/iso_icl037.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412691/iso_icl037.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412690/iso_icl036.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412690/iso_icl036.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412689/iso_icl035.smt2 (content) unsat unsat 0.040s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412689/iso_icl035.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412688/iso_icl034.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412688/iso_icl034.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412687/iso_icl033.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412687/iso_icl033.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412686/iso_icl032.smt2 (content) unsat unsat 0.043s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412686/iso_icl032.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412685/iso_icl031.smt2 (content) unsat unsat 0.040s