Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SMT-LIB-benchmarks-inc
QF_UFLRA
Commits
5f4ee54b
Commit
5f4ee54b
authored
May 15, 2018
by
Mathias Preiner
Browse files
Update status of unknown check-sat calls.
parent
94d18287
Changes
2
Hide whitespace changes
Inline
Side-by-side
cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2
View file @
5f4ee54b
...
...
@@ -82909,152 +82909,152 @@
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _6509)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _16249)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _25930)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _41886)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _63249)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _94745)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _147180)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _243303)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _429904)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _788369)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _1442889)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2556433)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _4391808)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _7317916)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _11844956)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(exit)
cpachecker-bmc-svcomp14/cpachecker-bmc.Problem17_30_false-unreach-call.c.smt2
View file @
5f4ee54b
...
...
@@ -28917,37 +28917,37 @@
(push 1)
(assert _2)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _2106)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _50368)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _66248)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _150367)
(set-info :status un
known
)
(set-info :status un
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _166275)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(push 1)
(assert _274329)
(set-info :status
unknown
)
(set-info :status
sat
)
(check-sat)
(pop 1)
(exit)
Mathias Preiner
@mpreiner
mentioned in commit
35073ddb
·
May 17, 2018
mentioned in commit
35073ddb
mentioned in commit 35073ddbe58138c38d9cd5e0c5d5fd7ab589741e
Toggle commit list
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment
