Commit 0276d43d 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 226bee72
......@@ -5,7 +5,7 @@
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(set-info :difficulty | unknown |)
(declare-fun rrm () Real)
(declare-fun intr_target_alt () Real)
......
......@@ -5,7 +5,7 @@
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(set-info :difficulty | unknown |)
(declare-fun rrm () Real)
(declare-fun intr_target_alt () Real)
......
......@@ -5,7 +5,7 @@
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(set-info :difficulty | unknown |)
(declare-fun rrm () Real)
(declare-fun intr_target_alt () Real)
......
......@@ -5,7 +5,7 @@
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(set-info :difficulty | unknown |)
(declare-fun rrm () Real)
(declare-fun intr_target_alt () Real)
......
......@@ -5,7 +5,7 @@
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(set-info :difficulty | unknown |)
(declare-fun rrm () Real)
(declare-fun intr_target_alt () 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