detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414649/SEQ038_size9.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414648/SEQ038_size8.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414647/SEQ038_size7.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414646/SEQ038_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414645/SEQ035_size6.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414644/SEQ035_size5.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414639/SEQ026_size7.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414638/SEQ026_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414637/SEQ026_size5.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414636/SEQ026_size4.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414632/SEQ019_size6.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414629/SEQ018_size8.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414628/SEQ018_size7.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414627/SEQ018_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414626/SEQ017_size6.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414623/SEQ015_size4.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414620/SEQ013_size6.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414619/SEQ013_size5.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414614/SEQ010_size9.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414613/SEQ010_size8.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414612/SEQ010_size7.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414611/SEQ010_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414607/SEQ009_size10.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414606/SEQ005_size9.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/SEQ/414605/SEQ005_size8.smt2 (content) timeout unsat 10s