detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411466/iso_brn1035.smt2 (content) unsat unsat 0.195s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411463/iso_brn1032.smt2 (content) unsat unsat 0.190s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411460/iso_brn103.smt2 (content) unsat unsat 0.123s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411459/iso_brn1029.smt2 (content) unsat unsat 0.163s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411458/iso_brn1028.smt2 (content) unsat unsat 0.148s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411457/iso_brn1027.smt2 (content) unsat unsat 0.171s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411456/iso_brn1026.smt2 (content) unsat unsat 0.186s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411453/iso_brn1023.smt2 (content) unsat unsat 0.183s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411452/iso_brn1022.smt2 (content) unsat unsat 0.191s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411450/iso_brn1020.smt2 (content) unsat unsat 0.151s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411445/iso_brn1016.smt2 (content) unsat unsat 0.226s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411443/iso_brn1014.smt2 (content) unsat unsat 0.199s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411441/iso_brn1012.smt2 (content) unsat unsat 0.255s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411434/iso_brn1006.smt2 (content) unsat unsat 0.143s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411433/iso_brn1005.smt2 (content) unsat unsat 0.079s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411432/iso_brn1004.smt2 (content) unsat unsat 0.087s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411430/iso_brn1002.smt2 (content) unsat unsat 0.092s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411421/iso_brn094.smt2 (content) unsat unsat 0.132s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411416/iso_brn089.smt2 (content) unsat unsat 0.083s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411414/iso_brn087.smt2 (content) unsat unsat 0.102s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411413/iso_brn086.smt2 (content) unsat unsat 0.041s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411412/iso_brn085.smt2 (content) unsat unsat 0.069s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411411/iso_brn084.smt2 (content) unsat unsat 0.164s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411410/iso_brn083.smt2 (content) unsat unsat 0.066s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411409/iso_brn082.smt2 (content) unsat unsat 0.083s