detailed results (3725 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409209/gensys_brn164.smt2 (content) sat sat 0.475s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409207/gensys_brn162.smt2 (content) sat sat 0.603s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409206/gensys_brn161.smt2 (content) sat sat 0.259s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409205/gensys_brn160.smt2 (content) sat sat 0.185s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409203/gensys_brn158.smt2 (content) sat sat 0.261s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409202/gensys_brn157.smt2 (content) sat sat 0.193s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409201/gensys_brn156.smt2 (content) sat sat 0.148s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409200/gensys_brn155.smt2 (content) sat sat 0.621s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409199/gensys_brn154.smt2 (content) sat sat 0.233s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409198/gensys_brn153.smt2 (content) sat sat 0.386s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409197/gensys_brn152.smt2 (content) sat sat 0.440s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409196/gensys_brn151.smt2 (content) sat sat 0.370s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409195/gensys_brn150.smt2 (content) sat sat 0.120s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409194/gensys_brn149.smt2 (content) sat sat 0.238s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409193/gensys_brn148.smt2 (content) sat sat 1.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409192/gensys_brn147.smt2 (content) sat sat 0.641s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409191/gensys_brn146.smt2 (content) sat sat 0.361s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409190/gensys_brn145.smt2 (content) sat sat 0.622s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409189/gensys_brn144.smt2 (content) sat sat 0.173s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409188/gensys_brn143.smt2 (content) sat sat 0.200s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409187/gensys_brn142.smt2 (content) sat sat 0.353s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409186/gensys_brn141.smt2 (content) sat sat 0.251s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409185/gensys_brn140.smt2 (content) sat sat 0.194s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409184/gensys_brn139.smt2 (content) sat sat 0.375s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409183/gensys_brn138.smt2 (content) sat sat 0.317s