detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412947/iso_icl1175.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412947/iso_icl1175.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412946/iso_icl1174.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412946/iso_icl1174.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412945/iso_icl1173.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412945/iso_icl1173.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412944/iso_icl1172.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412944/iso_icl1172.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412943/iso_icl1171.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412943/iso_icl1171.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412942/iso_icl1170.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412942/iso_icl1170.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412941/iso_icl117.smt2 (content) unsat unsat 0.134s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412941/iso_icl117.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412940/iso_icl1169.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412940/iso_icl1169.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412939/iso_icl1168.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412939/iso_icl1168.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412938/iso_icl1167.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412938/iso_icl1167.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412935/iso_icl1164.smt2 (content) unsat unsat 0.065s