Whenever jobs fail (usually because they are unsatisfiable), it leads to an infinite loop because we are not checking to see if the jobs fail and one of the exit conditions for the simulator is that all of the jobs that were submitted must be complete.
Whenever jobs fail (usually because they are unsatisfiable), it leads to an infinite loop because we are not checking to see if the jobs fail and one of the exit conditions for the simulator is that all of the jobs that were submitted must be complete.