detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn882.smt2 (content) sat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn881.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn879.smt2 (content) sat unknown 0.228s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 2.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn877.smt2 (content) sat unknown 0.230s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 3.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn874.smt2 (content) sat unknown 0.134s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn873.smt2 (content) sat unknown 0.155s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn872.smt2 (content) sat unknown 1.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn871.smt2 (content) sat unknown 0.570s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn870.smt2 (content) sat unknown 0.414s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn869.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 6.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn867.smt2 (content) sat unknown 0.512s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn866.smt2 (content) sat unknown 0.183s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn865.smt2 (content) sat unknown 0.704s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.324s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) timeout unknown 10.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.253s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.299s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.203s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.433s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 2s