equal
deleted
inserted
replaced
138 (TimedOut, "time limit exceeded"), |
138 (TimedOut, "time limit exceeded"), |
139 (OutOfResources, |
139 (OutOfResources, |
140 "# Cannot determine problem status within resource limit"), |
140 "# Cannot determine problem status within resource limit"), |
141 (OutOfResources, "SZS status: ResourceOut"), |
141 (OutOfResources, "SZS status: ResourceOut"), |
142 (OutOfResources, "SZS status ResourceOut")], |
142 (OutOfResources, "SZS status ResourceOut")], |
143 max_new_relevant_facts_per_iter = 90 (* FIXME *), |
143 max_new_relevant_facts_per_iter = 60 (* FIXME *), |
144 prefers_theory_relevant = false, |
144 prefers_theory_relevant = false, |
145 explicit_forall = false} |
145 explicit_forall = false} |
146 val e = ("e", e_config) |
146 val e = ("e", e_config) |
147 |
147 |
148 |
148 |