prover | file | res | expected | time |
---|---|---|---|---|
mc2 | /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_18.smt2 (content) | timeout | unsat | 10s |
mc2 | /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.test_locks_9_true-unreach-call.c.smt2 (content) | timeout | unsat | 10.4s |