detailed results (2850 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_brn_sk001.smt2 (content) sat unknown 0.195s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_brn002.smt2 (content) sat unknown 7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_brn001.smt2 (content) sat unknown 0.758s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn998.smt2 (content) sat unknown 0.097s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn997.smt2 (content) sat unknown 0.118s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn995.smt2 (content) sat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn994.smt2 (content) sat unknown 0.147s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn993.smt2 (content) sat unknown 0.134s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn991.smt2 (content) sat unknown 0.451s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn990.smt2 (content) sat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn989.smt2 (content) sat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn986.smt2 (content) sat unknown 0.086s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn982.smt2 (content) sat unknown 0.405s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn981.smt2 (content) sat unknown 0.093s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn980.smt2 (content) sat unknown 0.190s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn979.smt2 (content) sat unknown 0.089s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn978.smt2 (content) sat unknown 0.138s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn977.smt2 (content) sat unknown 0.132s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn974.smt2 (content) sat unknown 0.087s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn973.smt2 (content) sat unknown 0.223s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn970.smt2 (content) sat unknown 0.064s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn969.smt2 (content) sat unknown 0.067s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn968.smt2 (content) sat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn966.smt2 (content) sat unknown 0.292s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn964.smt2 (content) sat unknown 0.143s