detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413097/iso_icl159.smt2 (content) unsat unsat 0.213s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413097/iso_icl159.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413096/iso_icl158.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413096/iso_icl158.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413095/iso_icl157.smt2 (content) unsat unsat 0.100s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413095/iso_icl157.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413094/iso_icl156.smt2 (content) unsat unsat 0.124s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413094/iso_icl156.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413093/iso_icl155.smt2 (content) unsat unsat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413093/iso_icl155.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413092/iso_icl154.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413092/iso_icl154.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413091/iso_icl153.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413091/iso_icl153.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413090/iso_icl152.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413090/iso_icl152.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413089/iso_icl151.smt2 (content) unsat unsat 0.148s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413089/iso_icl151.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413088/iso_icl150.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413088/iso_icl150.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413087/iso_icl149.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413087/iso_icl149.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413086/iso_icl148.smt2 (content) unsat unsat 0.110s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413086/iso_icl148.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413085/iso_icl147.smt2 (content) unsat unsat 0.094s