detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408551/iso_icl009.smt2 (content) unsat unsat 0.292s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408550/iso_icl008.smt2 (content) unsat unsat 0.096s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408549/iso_icl007.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408548/iso_icl006.smt2 (content) unsat unsat 0.077s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408547/iso_icl005.smt2 (content) unsat unsat 0.058s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408546/iso_icl004.smt2 (content) unsat unsat 0.140s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408545/iso_icl003.smt2 (content) unsat unsat 0.058s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408544/iso_icl002.smt2 (content) unsat unsat 0.101s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408543/iso_icl001.smt2 (content) unsat unsat 0.098s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408534/iso_brn098.smt2 (content) unsat unsat 0.208s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.168s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.262s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408515/iso_brn079.smt2 (content) unsat unsat 0.245s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408514/iso_brn078.smt2 (content) unsat unsat 0.661s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408513/iso_brn077.smt2 (content) unsat unsat 0.557s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408511/iso_brn075.smt2 (content) unsat unsat 0.377s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408510/iso_brn074.smt2 (content) unsat unsat 0.144s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408504/iso_brn068.smt2 (content) unsat unsat 0.224s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408503/iso_brn067.smt2 (content) unsat unsat 0.248s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408502/iso_brn066.smt2 (content) unsat unsat 0.258s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408498/iso_brn062.smt2 (content) unsat unsat 0.178s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.222s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.213s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.324s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.346s