detailed results (3721 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409996/gensys_brn951.smt2 (content) sat sat 0.489s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409995/gensys_brn950.smt2 (content) sat sat 0.483s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409993/gensys_brn948.smt2 (content) sat sat 0.639s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409992/gensys_brn947.smt2 (content) sat sat 0.312s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409991/gensys_brn946.smt2 (content) sat sat 0.312s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409989/gensys_brn944.smt2 (content) sat sat 0.489s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409988/gensys_brn943.smt2 (content) sat sat 0.427s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409987/gensys_brn942.smt2 (content) sat sat 0.341s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409986/gensys_brn941.smt2 (content) sat sat 0.821s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409985/gensys_brn940.smt2 (content) sat sat 0.484s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409984/gensys_brn939.smt2 (content) sat sat 0.195s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409983/gensys_brn938.smt2 (content) sat sat 0.411s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409982/gensys_brn937.smt2 (content) sat sat 0.266s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409981/gensys_brn936.smt2 (content) sat sat 0.140s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409979/gensys_brn934.smt2 (content) sat sat 0.256s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409976/gensys_brn931.smt2 (content) sat sat 0.312s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409975/gensys_brn930.smt2 (content) sat sat 0.225s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409974/gensys_brn929.smt2 (content) sat sat 0.566s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409973/gensys_brn928.smt2 (content) sat sat 0.338s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409972/gensys_brn927.smt2 (content) sat sat 0.251s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409971/gensys_brn926.smt2 (content) sat sat 0.257s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409970/gensys_brn925.smt2 (content) sat sat 0.425s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409969/gensys_brn924.smt2 (content) sat sat 0.265s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409968/gensys_brn923.smt2 (content) sat sat 0.181s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.199s