detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408547/iso_icl005.smt2 (content) unsat unsat 0.058s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408546/iso_icl004.smt2 (content) unsat unsat 0.138s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408545/iso_icl003.smt2 (content) unsat unsat 0.070s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408544/iso_icl002.smt2 (content) unsat unsat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408543/iso_icl001.smt2 (content) unsat unsat 0.095s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408534/iso_brn098.smt2 (content) unsat unsat 0.210s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.170s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.266s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408515/iso_brn079.smt2 (content) unsat unsat 0.241s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408514/iso_brn078.smt2 (content) unsat unsat 0.636s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408513/iso_brn077.smt2 (content) unsat unsat 0.558s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408511/iso_brn075.smt2 (content) unsat unsat 0.378s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408510/iso_brn074.smt2 (content) unsat unsat 0.140s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408504/iso_brn068.smt2 (content) unsat unsat 0.206s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408503/iso_brn067.smt2 (content) unsat unsat 0.274s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408502/iso_brn066.smt2 (content) unsat unsat 0.259s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408498/iso_brn062.smt2 (content) unsat unsat 0.167s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.238s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.222s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.326s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.323s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408480/iso_brn044.smt2 (content) unsat unsat 0.306s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408474/iso_brn038.smt2 (content) unsat unsat 0.077s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408469/iso_brn033.smt2 (content) unsat unsat 0.187s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408467/iso_brn031.smt2 (content) unsat unsat 0.199s