detailed results (17584 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.408s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409959/gensys_brn914.smt2 (content) sat sat 0.256s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2 (content) unsat unsat 2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409957/gensys_brn912.smt2 (content) sat sat 0.585s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409956/gensys_brn911.smt2 (content) sat sat 0.637s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409955/gensys_brn910.smt2 (content) sat sat 0.866s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409954/gensys_brn909.smt2 (content) sat sat 0.392s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409953/gensys_brn908.smt2 (content) sat sat 0.397s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409952/gensys_brn907.smt2 (content) sat sat 0.303s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409951/gensys_brn906.smt2 (content) sat sat 1.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) unsat unsat 19.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409949/gensys_brn904.smt2 (content) sat sat 0.746s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) unsat unsat 8.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409947/gensys_brn902.smt2 (content) sat sat 0.268s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409946/gensys_brn901.smt2 (content) sat sat 0.229s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2 (content) unsat unsat 5.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409944/gensys_brn899.smt2 (content) sat sat 0.443s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.267s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.435s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) unsat unsat 22s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.735s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.900s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.332s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) unknown unsat 30.5s