Commit cf9ec884 authored by Clark Barrett's avatar Clark Barrett
Browse files

Updating statuses based on solutions from two or more solvers running with a long timeout

parent fc3472da
......@@ -2,7 +2,7 @@
(set-logic QF_UFLRA)
(set-info :source |CPAchecker with bounded model checking on SV-COMP14 program using MathSAT5, submitted by Philipp Wendler, http://cpachecker.sosy-lab.org|)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
 
 
(declare-fun |__startrek_read_W_state::r1@3| () Real)
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