detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408585/iso_icl043.smt2 (content) unsat unsat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408584/iso_icl042.smt2 (content) unsat unsat 0.372s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408584/iso_icl042.smt2 (content) unsat unsat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408584/iso_icl042.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408583/iso_icl041.smt2 (content) unsat unsat 0.303s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408583/iso_icl041.smt2 (content) unsat unsat 0.204s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408583/iso_icl041.smt2 (content) unsat unsat 0.073s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408582/iso_icl040.smt2 (content) unsat unsat 0.139s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408582/iso_icl040.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408582/iso_icl040.smt2 (content) unsat unsat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408581/iso_icl039.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408581/iso_icl039.smt2 (content) unsat unsat 0.162s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408581/iso_icl039.smt2 (content) unsat unsat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408580/iso_icl038.smt2 (content) unsat unsat 0.142s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408580/iso_icl038.smt2 (content) unsat unsat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408580/iso_icl038.smt2 (content) unsat unsat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408579/iso_icl037.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408579/iso_icl037.smt2 (content) unsat unsat 0.113s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408579/iso_icl037.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408578/iso_icl036.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408578/iso_icl036.smt2 (content) unsat unsat 0.159s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408578/iso_icl036.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408577/iso_icl035.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408577/iso_icl035.smt2 (content) unsat unsat 0.137s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408577/iso_icl035.smt2 (content) unsat unsat 0.046s