detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.244s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.155s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.283s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.228s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.108s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.453s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.445s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.574s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.400s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.411s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.247s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.350s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.095s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.106s