detailed results (1 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s7.smt2 (content) unsat sat 0.576s