Commit 4385578e authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Fix incorrect status.

parent bcfcfe0e
...@@ -14,7 +14,7 @@ SMT-solvers ...@@ -14,7 +14,7 @@ SMT-solvers
|) |)
(set-info :license "https://creativecommons.org/licenses/by/4.0/") (set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial") (set-info :category "industrial")
(set-info :status unsat) (set-info :status sat)
; Number of instructions: 475 ; Number of instructions: 475
; Time expected : less than 1 minute ; Time expected : less than 1 minute
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment