detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412785/iso_icl1028.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412784/iso_icl1027.smt2 (content) unsat unsat 0.140s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412784/iso_icl1027.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412783/iso_icl1026.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412783/iso_icl1026.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412782/iso_icl1025.smt2 (content) unsat unsat 0.171s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412782/iso_icl1025.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412781/iso_icl1024.smt2 (content) unsat unsat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412781/iso_icl1024.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412780/iso_icl1023.smt2 (content) unsat unsat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412780/iso_icl1023.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412779/iso_icl1022.smt2 (content) unsat unsat 0.201s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412779/iso_icl1022.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412778/iso_icl1021.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412778/iso_icl1021.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412777/iso_icl1020.smt2 (content) unsat unsat 0.197s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412777/iso_icl1020.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412776/iso_icl102.smt2 (content) unsat unsat 0.151s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412776/iso_icl102.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412775/iso_icl1019.smt2 (content) unsat unsat 0.116s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412775/iso_icl1019.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412774/iso_icl1018.smt2 (content) unsat unsat 0.045s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412774/iso_icl1018.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412773/iso_icl1017.smt2 (content) unsat unsat 0.047s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412773/iso_icl1017.smt2 (content) unsat unsat 0.026s