detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn931.smt2 (content) sat unknown 0.164s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn930.smt2 (content) sat unknown 0.122s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn929.smt2 (content) sat unknown 0.329s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn928.smt2 (content) sat unknown 0.208s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn927.smt2 (content) sat unknown 0.155s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn926.smt2 (content) sat unknown 0.150s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn925.smt2 (content) sat unknown 0.432s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn924.smt2 (content) sat unknown 0.136s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn923.smt2 (content) sat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn922.smt2 (content) sat unknown 0.289s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn921.smt2 (content) sat unknown 0.259s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn920.smt2 (content) sat unknown 0.194s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unknown 1.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn918.smt2 (content) sat unknown 0.232s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn917.smt2 (content) sat unknown 0.206s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn916.smt2 (content) sat unknown 0.819s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat unknown 0.290s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat unknown 0.138s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 1.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat unknown 0.354s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat unknown 0.482s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat unknown 0.567s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat unknown 0.214s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat unknown 0.221s