detailed results (3715 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.187s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409966/gensys_brn921.smt2 (content) sat sat 0.331s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409965/gensys_brn920.smt2 (content) sat sat 0.350s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409963/gensys_brn918.smt2 (content) sat sat 0.435s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409962/gensys_brn917.smt2 (content) sat sat 0.250s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409961/gensys_brn916.smt2 (content) sat sat 0.729s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.402s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409959/gensys_brn914.smt2 (content) sat sat 0.267s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409957/gensys_brn912.smt2 (content) sat sat 0.575s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409956/gensys_brn911.smt2 (content) sat sat 0.719s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409955/gensys_brn910.smt2 (content) sat sat 0.990s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409954/gensys_brn909.smt2 (content) sat sat 0.382s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409953/gensys_brn908.smt2 (content) sat sat 0.470s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409952/gensys_brn907.smt2 (content) sat sat 0.337s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409951/gensys_brn906.smt2 (content) sat sat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409949/gensys_brn904.smt2 (content) sat sat 0.745s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409947/gensys_brn902.smt2 (content) sat sat 0.275s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409946/gensys_brn901.smt2 (content) sat sat 0.252s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409944/gensys_brn899.smt2 (content) sat sat 0.427s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.277s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.432s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.760s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.917s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.391s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409935/gensys_brn890.smt2 (content) sat sat 1.7s