detailed results (395 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408845/gensys_brn1025.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408686/dead_dnd035.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408202/PEQ020_size6.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408188/PEQ014_size9.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408185/PEQ014_size10.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408182/PEQ013_size6.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408172/PEQ010_size8.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408168/PEQ004_size9.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408167/PEQ004_size8.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408164/PEQ003_size9.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/2037875/PEQ016_size7.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408152/NEQ046_size6.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408144/NEQ033_size6.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408136/NEQ031_size9.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408133/NEQ031_size10.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-39.induction.cvc.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-39.base.cvc.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-38.induction.cvc.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-38.base.cvc.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-37.induction.cvc.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-31.induction.cvc.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-22.base.cvc.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-21.base.cvc.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-20.base.cvc.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/uart/uart-13.base.cvc.smt2 (content) timeout unsat 31s