detailed results (1 total)

prover file res expected time
mc2-dev /home/simon/workspace/mc2/tests/sat/p-0-bucket_s7.smt2 (content) unsat sat 1.3s