benchexec/../run-test.sh Library-TraceCheckerUtilsTest de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite ConcurrencySafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats false -------------------------------------------------------------------------------- Thanks for using JUnit! Support its development at https://junit.org/sponsoring Test plan execution started. Number of static tests: 1 ╷ ├─ JUnit Jupiter └─ JUnit Jupiter finished after 9 ms. ├─ JUnit Vintage │ ├─ NaiveOwickiGriesTestSuite │ │ ├─ ConcurrencySafety_race-4_1-thread_local_vars_i_BEv2_AllErrorsAtOnce_ats │ │ │ tags: [] │ │ │ uniqueId: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite]/[test:ConcurrencySafety_race-4_1-thread_local_vars_i_BEv2_AllErrorsAtOnce_ats(de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite)] │ │ │ parent: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite] │ │ │ source: ClassSource [className = 'de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite', filePosition = null] [INFO]: No working directory specified, using /storage/repos/ultimate/releaseScripts/default/adds/z3 [INFO]: Starting monitored process 1 with /storage/repos/ultimate/releaseScripts/default/adds/z3 SMTLIB2_COMPLIANT=true -t:1000 -memory:2024 -smt2 -in (exit command is (exit), workingDir is null) [INFO]: [MP /storage/repos/ultimate/releaseScripts/default/adds/z3 SMTLIB2_COMPLIANT=true -t:1000 -memory:2024 -smt2 -in (1)] Waiting until timeout for monitored process [DEBUG]: 'ConcurrencySafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats' successfully parsed [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: simplifying formula of DAG size 11 [DEBUG]: DAG size before simplification 11, DAG size after simplification 11 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2611b9a3 [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: simplifying formula of DAG size 11 [DEBUG]: DAG size before simplification 11, DAG size after simplification 11 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@350ec41e [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: simplifying formula of DAG size 11 [DEBUG]: DAG size before simplification 11, DAG size after simplification 11 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@69637b10 [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: simplifying formula of DAG size 11 [DEBUG]: DAG size before simplification 11, DAG size after simplification 11 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@71984c3 [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: simplifying formula of DAG size 11 [DEBUG]: DAG size before simplification 11, DAG size after simplification 11 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@165b2f7f [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: simplifying formula of DAG size 6 [DEBUG]: DAG size before simplification 6, DAG size after simplification 6 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@5536379e [DEBUG]: simplifying formula of DAG size 6 [DEBUG]: DAG size before simplification 6, DAG size after simplification 6 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: simplifying formula of DAG size 6 [DEBUG]: DAG size before simplification 6, DAG size after simplification 6 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@277f7dd3 [DEBUG]: simplifying formula of DAG size 6 [DEBUG]: DAG size before simplification 6, DAG size after simplification 6 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@6c8bca63 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@6c8bca63 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@6c8bca63 [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@6c8bca63 [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [INFO]: Initialized classic predicate unifier [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: simplifying formula of DAG size 3 [DEBUG]: DAG size before simplification 3, DAG size after simplification 3 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: simplifying formula of DAG size 11 [DEBUG]: DAG size before simplification 11, DAG size after simplification 11 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: simplifying formula of DAG size 8 [DEBUG]: DAG size before simplification 8, DAG size after simplification 8 [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript locked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: ManagedScript unlocked by de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.MonolithicImplicationChecker@2364305a [DEBUG]: simplifying formula of DAG size 4 [DEBUG]: DAG size before simplification 4, DAG size after simplification 4 [INFO]: 254 / 321 transitions are loopers in proof 0 [INFO]: 254 / 321 transitions are loopers in proof 1 [INFO]: 263 / 321 transitions are loopers in proof 2 [INFO]: 269 / 321 transitions are loopers in proof 3 [INFO]: 257 / 321 transitions are loopers in proof 4 [INFO]: 279 / 321 transitions are loopers in proof 5 [INFO]: 281 / 321 transitions are loopers in proof 6 [INFO]: 277 / 321 transitions are loopers in proof 7 [INFO]: 260 / 321 transitions are loopers in proof 8 [INFO]: Start finitePrefix. Operand will be constructed on-demand [DEBUG]: Start unfolding. Net will be constructed on-demandWe compute complete finite Prefix [DEBUG]: Constructed Non-cut-off-Event: 1:1A:[291][0] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 2, total #Conditions: 13 [DEBUG]: Constructed Non-cut-off-Event: 2:2A:[304][1] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 3, total #Conditions: 14 [DEBUG]: Constructed Non-cut-off-Event: 3:3A:[280][2] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 4, total #Conditions: 15 [DEBUG]: Constructed Non-cut-off-Event: 4:4A:[20][3] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 5, total #Conditions: 16 [DEBUG]: Constructed Non-cut-off-Event: 5:5A:[180][4] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 6, total #Conditions: 17 [DEBUG]: Constructed Non-cut-off-Event: 6:6A:[223][5] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 7, total #Conditions: 18 [DEBUG]: Constructed Non-cut-off-Event: 7:7A:[235][6] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 8, total #Conditions: 19 [DEBUG]: Constructed Non-cut-off-Event: 8:8A:[27][7] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 9, total #Conditions: 20 [DEBUG]: Constructed Non-cut-off-Event: 9:9A:[242][8] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 10, total #Conditions: 21 [DEBUG]: Constructed Non-cut-off-Event: 10:10A:[246][9] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 11, total #Conditions: 22 [DEBUG]: Constructed Non-cut-off-Event: 11:11A:[28][10] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 12, total #Conditions: 23 [DEBUG]: Constructed Non-cut-off-Event: 12:12A:[312][11] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 13, total #Conditions: 24 [DEBUG]: Constructed Non-cut-off-Event: 13:13A:[302][12] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 14, total #Conditions: 25 [DEBUG]: Constructed Non-cut-off-Event: 14:14A:[251][13] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 15, total #Conditions: 26 [DEBUG]: Constructed Non-cut-off-Event: 15:15A:[178][14] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 16, total #Conditions: 27 [DEBUG]: Constructed Non-cut-off-Event: 16:16A:[270][15] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 17, total #Conditions: 28 [DEBUG]: Constructed Non-cut-off-Event: 17:17A:[3][16] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 18, total #Conditions: 29 [DEBUG]: Constructed Non-cut-off-Event: 18:18A:[301][17] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 19, total #Conditions: 30 [DEBUG]: Constructed Non-cut-off-Event: 19:19A:[295][18] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 20, total #Conditions: 31 [DEBUG]: Constructed Non-cut-off-Event: 20:20A:[30][19] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 21, total #Conditions: 38 [DEBUG]: Constructed Non-cut-off-Event: 21:21A:[8][20] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 22, total #Conditions: 40 [DEBUG]: Constructed Non-cut-off-Event: 22:22A:[34][21] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 23, total #Conditions: 41 [DEBUG]: Constructed Non-cut-off-Event: 23:23A:[36][22] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 24, total #Conditions: 42 [DEBUG]: Constructed Non-cut-off-Event: 24:24A:[188][23] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 25, total #Conditions: 43 [DEBUG]: Constructed Non-cut-off-Event: 25:25A:[29][24] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 26, total #Conditions: 44 [DEBUG]: Constructed Non-cut-off-Event: 26:26A:[2][25] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 27, total #Conditions: 45 [DEBUG]: Constructed Non-cut-off-Event: 27:27A:[182][26] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 28, total #Conditions: 52 [DEBUG]: Constructed Non-cut-off-Event: 28:28A:[288][27] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 29, total #Conditions: 59 [DEBUG]: Constructed Non-cut-off-Event: 29:29A:[201][28] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 30, total #Conditions: 63 [DEBUG]: Constructed Non-cut-off-Event: 30:30A:[252][29] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 31, total #Conditions: 67 [DEBUG]: Constructed Non-cut-off-Event: 31:31A:[260][30] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 32, total #Conditions: 71 [DEBUG]: Constructed Non-cut-off-Event: 32:32A:[184][31] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 33, total #Conditions: 75 [DEBUG]: Constructed Non-cut-off-Event: 33:33A:[266][32] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 34, total #Conditions: 79 [DEBUG]: Constructed Non-cut-off-Event: 34:34A:[218][33] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 35, total #Conditions: 80 [DEBUG]: Constructed Non-cut-off-Event: 35:35A:[273][34] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 36, total #Conditions: 81 [DEBUG]: Constructed Non-cut-off-Event: 36:36A:[190][35] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 37, total #Conditions: 82 [DEBUG]: Constructed Non-cut-off-Event: 37:36A:[191][36] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 38, total #Conditions: 83 [DEBUG]: Constructed Non-cut-off-Event: 38:37A:[211][37] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 39, total #Conditions: 84 [DEBUG]: Constructed Non-cut-off-Event: 39:37A:[216][38] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 40, total #Conditions: 85 [DEBUG]: Constructed Non-cut-off-Event: 40:38A:[11][39] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 41, total #Conditions: 86 [DEBUG]: Constructed Non-cut-off-Event: 41:38A:[308][40] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 42, total #Conditions: 93 [DEBUG]: Constructed Non-cut-off-Event: 42:39A:[35][41] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 43, total #Conditions: 94 [DEBUG]: Constructed Non-cut-off-Event: 43:39A:[269][42] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 44, total #Conditions: 101 [DEBUG]: Constructed Non-cut-off-Event: 44:40A:[306][43] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 45, total #Conditions: 102 [DEBUG]: Constructed Non-cut-off-Event: 45:40A:[231][44] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 46, total #Conditions: 106 [DEBUG]: Constructed Non-cut-off-Event: 46:41A:[168][45] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 47, total #Conditions: 118 [DEBUG]: Constructed Non-cut-off-Event: 47:41A:[271][46] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 48, total #Conditions: 122 [DEBUG]: Constructed Non-cut-off-Event: 48:42A:[73][47] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 49, total #Conditions: 123 [DEBUG]: Constructed Non-cut-off-Event: 49:42A:[247][48] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 50, total #Conditions: 124 [DEBUG]: Constructed Non-cut-off-Event: 50:43A:[74][49] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 51, total #Conditions: 126 [DEBUG]: Constructed Non-cut-off-Event: 51:43A:[316][50] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 52, total #Conditions: 127 [DEBUG]: Constructed Non-cut-off-Event: 52:44A:[75][51] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 53, total #Conditions: 129 [DEBUG]: Constructed Non-cut-off-Event: 53:44A:[265][52] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 54, total #Conditions: 130 [DEBUG]: Constructed Non-cut-off-Event: 54:45A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 55, total #Conditions: 131 [DEBUG]: Constructed Non-cut-off-Event: 55:45A:[208][54] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 56, total #Conditions: 132 [DEBUG]: Constructed Non-cut-off-Event: 56:46A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 57, total #Conditions: 133 [DEBUG]: Constructed Non-cut-off-Event: 57:46A:[282][56] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 58, total #Conditions: 134 [DEBUG]: Constructed Non-cut-off-Event: 58:47A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 59, total #Conditions: 135 [DEBUG]: Constructed Non-cut-off-Event: 59:47A:[287][58] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 60, total #Conditions: 136 [DEBUG]: Constructed Non-cut-off-Event: 60:48A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 61, total #Conditions: 137 [DEBUG]: Constructed Non-cut-off-Event: 61:48A:[224][60] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 62, total #Conditions: 138 [DEBUG]: Constructed Non-cut-off-Event: 62:48A:[225][61] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 63, total #Conditions: 139 [DEBUG]: Constructed Non-cut-off-Event: 63:49A:[85][62] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 64, total #Conditions: 140 [DEBUG]: Constructed Non-cut-off-Event: 64:49A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 65, total #Conditions: 141 [DEBUG]: Constructed Non-cut-off-Event: 65:49A:[303][64] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 66, total #Conditions: 142 [DEBUG]: Constructed Non-cut-off-Event: 66:49A:[264][65] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 67, total #Conditions: 143 [DEBUG]: Constructed Non-cut-off-Event: 67:50A:[89][66] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 68, total #Conditions: 144 [DEBUG]: Constructed Non-cut-off-Event: 68:50A:[88][67] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 69, total #Conditions: 146 [DEBUG]: Constructed Non-cut-off-Event: 69:50A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 70, total #Conditions: 147 [DEBUG]: Constructed Non-cut-off-Event: 70:50A:[183][69] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 71, total #Conditions: 148 [DEBUG]: Constructed Non-cut-off-Event: 71:50A:[240][70] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 72, total #Conditions: 149 [DEBUG]: Constructed Non-cut-off-Event: 72:51A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 73, total #Conditions: 150 [DEBUG]: Constructed Cut-off-Event: 73:52A:[101][77] [DEBUG]: Possible Extension size: 5, total #Events: 74, total #Conditions: 151 [DEBUG]: Constructed Non-cut-off-Event: 74:51A:[93][72] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 75, total #Conditions: 153 [DEBUG]: Constructed Non-cut-off-Event: 75:51A:[95][73] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 76, total #Conditions: 154 [DEBUG]: Constructed Cut-off-Event: 76:52A:[103][80] [DEBUG]: Possible Extension size: 5, total #Events: 77, total #Conditions: 156 [DEBUG]: Constructed Non-cut-off-Event: 77:51A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 78, total #Conditions: 157 [DEBUG]: Constructed Non-cut-off-Event: 78:51A:[313][75] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 79, total #Conditions: 158 [DEBUG]: Constructed Non-cut-off-Event: 79:51A:[272][76] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 80, total #Conditions: 159 [DEBUG]: Constructed Non-cut-off-Event: 80:52A:[100][78] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 81, total #Conditions: 161 [DEBUG]: Constructed Non-cut-off-Event: 81:52A:[102][79] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 82, total #Conditions: 163 [DEBUG]: Constructed Non-cut-off-Event: 82:52A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 83, total #Conditions: 164 [DEBUG]: Constructed Cut-off-Event: 83:53A:[110][87] [DEBUG]: Possible Extension size: 5, total #Events: 84, total #Conditions: 165 [DEBUG]: Constructed Non-cut-off-Event: 84:52A:[37][82] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 85, total #Conditions: 166 [DEBUG]: Constructed Non-cut-off-Event: 85:52A:[213][83] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 86, total #Conditions: 167 [DEBUG]: Constructed Non-cut-off-Event: 86:53A:[107][84] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 87, total #Conditions: 169 [DEBUG]: Constructed Non-cut-off-Event: 87:53A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 88, total #Conditions: 170 [DEBUG]: Constructed Non-cut-off-Event: 88:53A:[109][86] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 89, total #Conditions: 171 [DEBUG]: Constructed Cut-off-Event: 89:54A:[115][91] [DEBUG]: Possible Extension size: 4, total #Events: 90, total #Conditions: 172 [DEBUG]: Constructed Non-cut-off-Event: 90:53A:[319][88] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 91, total #Conditions: 173 [DEBUG]: Constructed Non-cut-off-Event: 91:54A:[112][89] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 92, total #Conditions: 175 [DEBUG]: Constructed Non-cut-off-Event: 92:54A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 93, total #Conditions: 176 [DEBUG]: Constructed Non-cut-off-Event: 93:54A:[114][92] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 94, total #Conditions: 178 [DEBUG]: Constructed Non-cut-off-Event: 94:55A:[117][93] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 95, total #Conditions: 179 [DEBUG]: Constructed Non-cut-off-Event: 95:55A:[118][94] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 96, total #Conditions: 180 [DEBUG]: Constructed Non-cut-off-Event: 96:55A:[80][95] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 97, total #Conditions: 187 [DEBUG]: Constructed Non-cut-off-Event: 97:56A:[119][96] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 98, total #Conditions: 188 [DEBUG]: Constructed Non-cut-off-Event: 98:56A:[82][97] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 99, total #Conditions: 194 [DEBUG]: Constructed Non-cut-off-Event: 99:57A:[120][98] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 100, total #Conditions: 195 [DEBUG]: Constructed Non-cut-off-Event: 100:57A:[84][99] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 101, total #Conditions: 198 [DEBUG]: Constructed Non-cut-off-Event: 101:58A:[122][100] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 102, total #Conditions: 199 [DEBUG]: Constructed Non-cut-off-Event: 102:58A:[123][101] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 103, total #Conditions: 200 [DEBUG]: Constructed Non-cut-off-Event: 103:58A:[87][102] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 104, total #Conditions: 203 [DEBUG]: Constructed Non-cut-off-Event: 104:59A:[125][103] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 105, total #Conditions: 204 [DEBUG]: Constructed Non-cut-off-Event: 105:59A:[126][104] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 106, total #Conditions: 205 [DEBUG]: Constructed Non-cut-off-Event: 106:59A:[92][105] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 107, total #Conditions: 208 [DEBUG]: Constructed Non-cut-off-Event: 107:60A:[128][106] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 108, total #Conditions: 209 [DEBUG]: Constructed Non-cut-off-Event: 108:60A:[129][107] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 109, total #Conditions: 211 [DEBUG]: Constructed Non-cut-off-Event: 109:60A:[99][108] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 110, total #Conditions: 214 [DEBUG]: Constructed Non-cut-off-Event: 110:61A:[131][109] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 111, total #Conditions: 215 [DEBUG]: Constructed Non-cut-off-Event: 111:61A:[132][110] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 112, total #Conditions: 217 [DEBUG]: Constructed Non-cut-off-Event: 112:61A:[106][111] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 113, total #Conditions: 220 [DEBUG]: Constructed Non-cut-off-Event: 113:62A:[134][112] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 114, total #Conditions: 221 [DEBUG]: Constructed Non-cut-off-Event: 114:62A:[135][113] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 115, total #Conditions: 222 [DEBUG]: Constructed Non-cut-off-Event: 115:62A:[111][114] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 116, total #Conditions: 223 [DEBUG]: Constructed Non-cut-off-Event: 116:63A:[172][115] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 117, total #Conditions: 235 [DEBUG]: Constructed Non-cut-off-Event: 117:63A:[137][116] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 118, total #Conditions: 237 [DEBUG]: Constructed Non-cut-off-Event: 118:63A:[116][117] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 119, total #Conditions: 238 [DEBUG]: Constructed Non-cut-off-Event: 119:64A:[40][118] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 120, total #Conditions: 239 [DEBUG]: Constructed Non-cut-off-Event: 120:64A:[139][119] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 121, total #Conditions: 240 [DEBUG]: Constructed Non-cut-off-Event: 121:64A:[140][120] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 122, total #Conditions: 242 [DEBUG]: Constructed Non-cut-off-Event: 122:65A:[41][122] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 123, total #Conditions: 243 [DEBUG]: Constructed Non-cut-off-Event: 123:65A:[142][123] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 124, total #Conditions: 244 [DEBUG]: Constructed Non-cut-off-Event: 124:65A:[143][124] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 125, total #Conditions: 246 [DEBUG]: Constructed Non-cut-off-Event: 125:66A:[44][125] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 126, total #Conditions: 247 [DEBUG]: Constructed Non-cut-off-Event: 126:66A:[145][126] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 127, total #Conditions: 249 [DEBUG]: Constructed Non-cut-off-Event: 127:66A:[146][127] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 128, total #Conditions: 251 [DEBUG]: Constructed Non-cut-off-Event: 128:66A:[147][128] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 129, total #Conditions: 253 [DEBUG]: Constructed Non-cut-off-Event: 129:67A:[46][129] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 130, total #Conditions: 254 [DEBUG]: Constructed Non-cut-off-Event: 130:67A:[132][130] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 131, total #Conditions: 256 [DEBUG]: Constructed Non-cut-off-Event: 131:67A:[149][131] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 132, total #Conditions: 258 [DEBUG]: Constructed Non-cut-off-Event: 132:67A:[150][132] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 133, total #Conditions: 260 [DEBUG]: Constructed Non-cut-off-Event: 133:68A:[135][113] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 134, total #Conditions: 261 [DEBUG]: Constructed Non-cut-off-Event: 134:68A:[48][133] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 135, total #Conditions: 262 [DEBUG]: Constructed Non-cut-off-Event: 135:68A:[152][134] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 136, total #Conditions: 264 [DEBUG]: Constructed Non-cut-off-Event: 136:68A:[152][135] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 137, total #Conditions: 266 [DEBUG]: Constructed Non-cut-off-Event: 137:69A:[137][136] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 138, total #Conditions: 268 [DEBUG]: Constructed Non-cut-off-Event: 138:69A:[49][137] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 139, total #Conditions: 269 [DEBUG]: Constructed Non-cut-off-Event: 139:69A:[50][138] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 140, total #Conditions: 270 [DEBUG]: Constructed Non-cut-off-Event: 140:69A:[155][139] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 141, total #Conditions: 272 [DEBUG]: Constructed Non-cut-off-Event: 141:69A:[155][140] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 142, total #Conditions: 274 [DEBUG]: Constructed Non-cut-off-Event: 142:70A:[140][141] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 143, total #Conditions: 276 [DEBUG]: Constructed Non-cut-off-Event: 143:70A:[51][142] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 144, total #Conditions: 277 [DEBUG]: Constructed Non-cut-off-Event: 144:70A:[52][143] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 145, total #Conditions: 278 [DEBUG]: Constructed Non-cut-off-Event: 145:70A:[159][144] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 146, total #Conditions: 280 [DEBUG]: Constructed Non-cut-off-Event: 146:70A:[159][145] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 147, total #Conditions: 282 [DEBUG]: Constructed Non-cut-off-Event: 147:71A:[143][146] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 148, total #Conditions: 284 [DEBUG]: Constructed Non-cut-off-Event: 148:71A:[53][147] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 149, total #Conditions: 289 [DEBUG]: Constructed Non-cut-off-Event: 149:71A:[54][148] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 150, total #Conditions: 290 [DEBUG]: Constructed Non-cut-off-Event: 150:71A:[55][149] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 151, total #Conditions: 291 [DEBUG]: Constructed Non-cut-off-Event: 151:71A:[162][150] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 152, total #Conditions: 293 [DEBUG]: Constructed Non-cut-off-Event: 152:71A:[162][151] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 153, total #Conditions: 295 [DEBUG]: Constructed Non-cut-off-Event: 153:72A:[147][152] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 154, total #Conditions: 297 [DEBUG]: Constructed Non-cut-off-Event: 154:72A:[56][153] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 155, total #Conditions: 298 [DEBUG]: Constructed Non-cut-off-Event: 155:72A:[45][154] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 156, total #Conditions: 299 [DEBUG]: Constructed Non-cut-off-Event: 156:72A:[57][155] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 157, total #Conditions: 300 [DEBUG]: Constructed Cut-off-Event: 157:73A:[59][160] [DEBUG]: Possible Extension size: 6, total #Events: 158, total #Conditions: 301 [DEBUG]: Constructed Non-cut-off-Event: 158:72A:[163][156] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 159, total #Conditions: 303 [DEBUG]: Constructed Cut-off-Event: 159:73A:[164][161] [DEBUG]: Possible Extension size: 6, total #Events: 160, total #Conditions: 305 [DEBUG]: Constructed Non-cut-off-Event: 160:72A:[163][157] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 161, total #Conditions: 307 [DEBUG]: Constructed Non-cut-off-Event: 161:73A:[150][132] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 162, total #Conditions: 309 [DEBUG]: Constructed Non-cut-off-Event: 162:73A:[58][158] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 163, total #Conditions: 316 [DEBUG]: Constructed Non-cut-off-Event: 163:73A:[47][159] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 164, total #Conditions: 317 [DEBUG]: Constructed Non-cut-off-Event: 164:73A:[165][162] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 165, total #Conditions: 319 [DEBUG]: Constructed Non-cut-off-Event: 165:73A:[165][163] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 166, total #Conditions: 321 [DEBUG]: Constructed Non-cut-off-Event: 166:74A:[152][135] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 167, total #Conditions: 323 [DEBUG]: Constructed Non-cut-off-Event: 167:74A:[60][164] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 168, total #Conditions: 328 [DEBUG]: Constructed Non-cut-off-Event: 168:74A:[166][165] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 169, total #Conditions: 330 [DEBUG]: Constructed Non-cut-off-Event: 169:74A:[166][165] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 170, total #Conditions: 332 [DEBUG]: Constructed Non-cut-off-Event: 170:75A:[173][121] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 171, total #Conditions: 342 [DEBUG]: Constructed Non-cut-off-Event: 171:75A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 172, total #Conditions: 343 [DEBUG]: Constructed Non-cut-off-Event: 172:75A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 173, total #Conditions: 344 [DEBUG]: Constructed Non-cut-off-Event: 173:75A:[155][166] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 174, total #Conditions: 346 [DEBUG]: Constructed Non-cut-off-Event: 174:75A:[61][167] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 175, total #Conditions: 348 [DEBUG]: Constructed Non-cut-off-Event: 175:76A:[285][168] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 176, total #Conditions: 349 [DEBUG]: Constructed Non-cut-off-Event: 176:76A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 177, total #Conditions: 350 [DEBUG]: Constructed Non-cut-off-Event: 177:76A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 178, total #Conditions: 351 [DEBUG]: Constructed Non-cut-off-Event: 178:76A:[159][145] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 179, total #Conditions: 353 [DEBUG]: Constructed Non-cut-off-Event: 179:76A:[62][169] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 180, total #Conditions: 355 [DEBUG]: Constructed Non-cut-off-Event: 180:77A:[204][170] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 181, total #Conditions: 356 [DEBUG]: Constructed Non-cut-off-Event: 181:77A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 182, total #Conditions: 357 [DEBUG]: Constructed Non-cut-off-Event: 182:77A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 183, total #Conditions: 358 [DEBUG]: Constructed Non-cut-off-Event: 183:77A:[162][151] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 184, total #Conditions: 360 [DEBUG]: Constructed Non-cut-off-Event: 184:77A:[64][171] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 185, total #Conditions: 362 [DEBUG]: Constructed Non-cut-off-Event: 185:78A:[277][172] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 186, total #Conditions: 363 [DEBUG]: Constructed Non-cut-off-Event: 186:78A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 187, total #Conditions: 364 [DEBUG]: Constructed Non-cut-off-Event: 187:78A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 188, total #Conditions: 365 [DEBUG]: Constructed Non-cut-off-Event: 188:78A:[163][157] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 189, total #Conditions: 367 [DEBUG]: Constructed Non-cut-off-Event: 189:78A:[67][173] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 190, total #Conditions: 369 [DEBUG]: Constructed Non-cut-off-Event: 190:79A:[222][174] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 191, total #Conditions: 376 [DEBUG]: Constructed Non-cut-off-Event: 191:79A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 192, total #Conditions: 377 [DEBUG]: Constructed Non-cut-off-Event: 192:79A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 193, total #Conditions: 378 [DEBUG]: Constructed Non-cut-off-Event: 193:79A:[165][163] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 194, total #Conditions: 380 [DEBUG]: Constructed Non-cut-off-Event: 194:79A:[69][175] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 195, total #Conditions: 382 [DEBUG]: Constructed Non-cut-off-Event: 195:80A:[199][176] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 196, total #Conditions: 388 [DEBUG]: Constructed Non-cut-off-Event: 196:80A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 197, total #Conditions: 389 [DEBUG]: Constructed Non-cut-off-Event: 197:80A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 198, total #Conditions: 390 [DEBUG]: Constructed Non-cut-off-Event: 198:80A:[166][165] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 199, total #Conditions: 392 [DEBUG]: Constructed Non-cut-off-Event: 199:80A:[70][177] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 200, total #Conditions: 397 [DEBUG]: Constructed Non-cut-off-Event: 200:81A:[286][178] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 201, total #Conditions: 401 [DEBUG]: Constructed Non-cut-off-Event: 201:81A:[85][62] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 202, total #Conditions: 402 [DEBUG]: Constructed Cut-off-Event: 202:82A:[89][66] [DEBUG]: Possible Extension size: 6, total #Events: 203, total #Conditions: 403 [DEBUG]: Constructed Non-cut-off-Event: 203:81A:[85][62] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 204, total #Conditions: 404 [DEBUG]: Constructed Cut-off-Event: 204:82A:[89][66] [DEBUG]: Possible Extension size: 5, total #Events: 205, total #Conditions: 405 [DEBUG]: Constructed Non-cut-off-Event: 205:81A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 206, total #Conditions: 406 [DEBUG]: Constructed Non-cut-off-Event: 206:81A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 207, total #Conditions: 407 [DEBUG]: Constructed Non-cut-off-Event: 207:81A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 208, total #Conditions: 408 [DEBUG]: Constructed Non-cut-off-Event: 208:81A:[71][179] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 209, total #Conditions: 409 [DEBUG]: Constructed Non-cut-off-Event: 209:82A:[194][180] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 210, total #Conditions: 413 [DEBUG]: Constructed Non-cut-off-Event: 210:82A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 211, total #Conditions: 414 [DEBUG]: Constructed Non-cut-off-Event: 211:82A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 212, total #Conditions: 415 [DEBUG]: Constructed Non-cut-off-Event: 212:82A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 213, total #Conditions: 416 [DEBUG]: Constructed Non-cut-off-Event: 213:82A:[72][181] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 214, total #Conditions: 417 [DEBUG]: Constructed Non-cut-off-Event: 214:83A:[15][182] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 215, total #Conditions: 421 [DEBUG]: Constructed Non-cut-off-Event: 215:83A:[95][73] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 216, total #Conditions: 422 [DEBUG]: Constructed Non-cut-off-Event: 216:83A:[95][73] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 217, total #Conditions: 423 [DEBUG]: Constructed Non-cut-off-Event: 217:83A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 218, total #Conditions: 424 [DEBUG]: Constructed Non-cut-off-Event: 218:83A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 219, total #Conditions: 425 [DEBUG]: Constructed Non-cut-off-Event: 219:83A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 220, total #Conditions: 426 [DEBUG]: Constructed Non-cut-off-Event: 220:83A:[57][155] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 221, total #Conditions: 427 [DEBUG]: Constructed Non-cut-off-Event: 221:84A:[219][183] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 222, total #Conditions: 431 [DEBUG]: Constructed Non-cut-off-Event: 222:84A:[102][184] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 223, total #Conditions: 433 [DEBUG]: Constructed Non-cut-off-Event: 223:84A:[102][184] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 224, total #Conditions: 435 [DEBUG]: Constructed Non-cut-off-Event: 224:84A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 8, total #Events: 225, total #Conditions: 436 [DEBUG]: Constructed Cut-off-Event: 225:85A:[110][87] [DEBUG]: Possible Extension size: 7, total #Events: 226, total #Conditions: 437 [DEBUG]: Constructed Non-cut-off-Event: 226:84A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 8, total #Events: 227, total #Conditions: 438 [DEBUG]: Constructed Cut-off-Event: 227:85A:[110][87] [DEBUG]: Possible Extension size: 7, total #Events: 228, total #Conditions: 439 [DEBUG]: Constructed Non-cut-off-Event: 228:84A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 229, total #Conditions: 440 [DEBUG]: Constructed Non-cut-off-Event: 229:84A:[59][160] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 230, total #Conditions: 441 [DEBUG]: Constructed Non-cut-off-Event: 230:85A:[245][185] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 231, total #Conditions: 445 [DEBUG]: Constructed Non-cut-off-Event: 231:85A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 232, total #Conditions: 446 [DEBUG]: Constructed Non-cut-off-Event: 232:85A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 233, total #Conditions: 447 [DEBUG]: Constructed Non-cut-off-Event: 233:85A:[109][86] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 234, total #Conditions: 448 [DEBUG]: Constructed Cut-off-Event: 234:86A:[115][91] [DEBUG]: Possible Extension size: 6, total #Events: 235, total #Conditions: 449 [DEBUG]: Constructed Non-cut-off-Event: 235:85A:[109][86] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 236, total #Conditions: 450 [DEBUG]: Constructed Cut-off-Event: 236:86A:[115][91] [DEBUG]: Possible Extension size: 5, total #Events: 237, total #Conditions: 451 [DEBUG]: Constructed Non-cut-off-Event: 237:85A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 238, total #Conditions: 452 [DEBUG]: Constructed Non-cut-off-Event: 238:85A:[41][122] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 239, total #Conditions: 453 [DEBUG]: Constructed Non-cut-off-Event: 239:86A:[186][186] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 240, total #Conditions: 454 [DEBUG]: Constructed Non-cut-off-Event: 240:86A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 241, total #Conditions: 455 [DEBUG]: Constructed Non-cut-off-Event: 241:86A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 242, total #Conditions: 456 [DEBUG]: Constructed Non-cut-off-Event: 242:86A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 243, total #Conditions: 457 [DEBUG]: Constructed Non-cut-off-Event: 243:86A:[44][125] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 244, total #Conditions: 458 [DEBUG]: Constructed Non-cut-off-Event: 244:87A:[25][187] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 245, total #Conditions: 459 [DEBUG]: Constructed Non-cut-off-Event: 245:87A:[85][62] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 246, total #Conditions: 460 [DEBUG]: Constructed Cut-off-Event: 246:88A:[89][66] [DEBUG]: Possible Extension size: 5, total #Events: 247, total #Conditions: 461 [DEBUG]: Constructed Non-cut-off-Event: 247:87A:[118][94] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 248, total #Conditions: 462 [DEBUG]: Constructed Non-cut-off-Event: 248:87A:[118][94] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 249, total #Conditions: 463 [DEBUG]: Constructed Non-cut-off-Event: 249:87A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 250, total #Conditions: 464 [DEBUG]: Constructed Non-cut-off-Event: 250:87A:[46][129] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 251, total #Conditions: 465 [DEBUG]: Constructed Non-cut-off-Event: 251:88A:[320][188] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 252, total #Conditions: 466 [DEBUG]: Constructed Non-cut-off-Event: 252:88A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 253, total #Conditions: 467 [DEBUG]: Constructed Non-cut-off-Event: 253:88A:[48][133] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 254, total #Conditions: 468 [DEBUG]: Constructed Non-cut-off-Event: 254:89A:[183][69] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 255, total #Conditions: 469 [DEBUG]: Constructed Non-cut-off-Event: 255:89A:[95][73] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 256, total #Conditions: 470 [DEBUG]: Constructed Non-cut-off-Event: 256:89A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 257, total #Conditions: 471 [DEBUG]: Constructed Non-cut-off-Event: 257:89A:[49][137] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 258, total #Conditions: 472 [DEBUG]: Constructed Non-cut-off-Event: 258:89A:[50][138] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 259, total #Conditions: 473 [DEBUG]: Constructed Non-cut-off-Event: 259:90A:[313][75] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 260, total #Conditions: 474 [DEBUG]: Constructed Non-cut-off-Event: 260:90A:[102][184] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 261, total #Conditions: 476 [DEBUG]: Constructed Non-cut-off-Event: 261:90A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 262, total #Conditions: 477 [DEBUG]: Constructed Cut-off-Event: 262:91A:[110][87] [DEBUG]: Possible Extension size: 5, total #Events: 263, total #Conditions: 478 [DEBUG]: Constructed Non-cut-off-Event: 263:90A:[51][142] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 264, total #Conditions: 479 [DEBUG]: Constructed Non-cut-off-Event: 264:90A:[52][143] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 265, total #Conditions: 480 [DEBUG]: Constructed Cut-off-Event: 265:91A:[55][149] [DEBUG]: Possible Extension size: 5, total #Events: 266, total #Conditions: 481 [DEBUG]: Constructed Non-cut-off-Event: 266:91A:[37][82] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 267, total #Conditions: 482 [DEBUG]: Constructed Non-cut-off-Event: 267:91A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 268, total #Conditions: 483 [DEBUG]: Constructed Non-cut-off-Event: 268:91A:[109][86] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 269, total #Conditions: 484 [DEBUG]: Constructed Cut-off-Event: 269:92A:[115][91] [DEBUG]: Possible Extension size: 4, total #Events: 270, total #Conditions: 485 [DEBUG]: Constructed Non-cut-off-Event: 270:91A:[53][189] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 271, total #Conditions: 490 [DEBUG]: Constructed Non-cut-off-Event: 271:91A:[54][148] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 272, total #Conditions: 491 [DEBUG]: Constructed Non-cut-off-Event: 272:92A:[319][88] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 273, total #Conditions: 492 [DEBUG]: Constructed Non-cut-off-Event: 273:92A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 274, total #Conditions: 493 [DEBUG]: Constructed Non-cut-off-Event: 274:92A:[56][153] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 275, total #Conditions: 494 [DEBUG]: Constructed Cut-off-Event: 275:93A:[58][190] [DEBUG]: Possible Extension size: 2, total #Events: 276, total #Conditions: 501 [DEBUG]: Constructed Non-cut-off-Event: 276:92A:[45][154] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 277, total #Conditions: 502 [DEBUG]: Constructed Non-cut-off-Event: 277:93A:[118][94] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 278, total #Conditions: 503 [DEBUG]: Constructed Cut-off-Event: 278:104A:[176][192] [DEBUG]: Possible Extension size: 2, total #Events: 279, total #Conditions: 513 [DEBUG]: Constructed Non-cut-off-Event: 279:93A:[47][159] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 280, total #Conditions: 514 [DEBUG]: Constructed Cut-off-Event: 280:124A:[176][194] [DEBUG]: Possible Extension size: 2, total #Events: 281, total #Conditions: 524 [DEBUG]: Constructed Non-cut-off-Event: 281:104A:[177][191] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 282, total #Conditions: 534 [DEBUG]: Constructed Non-cut-off-Event: 282:105A:[121][195] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 283, total #Conditions: 535 [DEBUG]: Constructed Non-cut-off-Event: 283:106A:[124][196] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 284, total #Conditions: 536 [DEBUG]: Constructed Non-cut-off-Event: 284:107A:[127][197] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 285, total #Conditions: 537 [DEBUG]: Constructed Non-cut-off-Event: 285:108A:[130][198] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 286, total #Conditions: 538 [DEBUG]: Constructed Non-cut-off-Event: 286:109A:[133][199] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 287, total #Conditions: 539 [DEBUG]: Constructed Non-cut-off-Event: 287:110A:[136][200] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 288, total #Conditions: 540 [DEBUG]: Constructed Non-cut-off-Event: 288:111A:[138][201] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 289, total #Conditions: 542 [DEBUG]: Constructed Non-cut-off-Event: 289:112A:[141][202] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 290, total #Conditions: 549 [DEBUG]: Constructed Non-cut-off-Event: 290:113A:[144][203] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 291, total #Conditions: 556 [DEBUG]: Constructed Non-cut-off-Event: 291:114A:[148][204] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 292, total #Conditions: 559 [DEBUG]: Constructed Non-cut-off-Event: 292:115A:[151][205] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 293, total #Conditions: 562 [DEBUG]: Constructed Non-cut-off-Event: 293:116A:[154][206] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 294, total #Conditions: 565 [DEBUG]: Constructed Non-cut-off-Event: 294:117A:[158][207] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 295, total #Conditions: 568 [DEBUG]: Constructed Non-cut-off-Event: 295:118A:[161][208] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 296, total #Conditions: 571 [DEBUG]: Constructed Non-cut-off-Event: 296:119A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 297, total #Conditions: 572 [DEBUG]: Constructed Non-cut-off-Event: 297:120A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 298, total #Conditions: 573 [DEBUG]: Constructed Non-cut-off-Event: 298:121A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 299, total #Conditions: 574 [DEBUG]: Constructed Non-cut-off-Event: 299:122A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 300, total #Conditions: 575 [DEBUG]: Constructed Non-cut-off-Event: 300:123A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 301, total #Conditions: 576 [DEBUG]: Constructed Non-cut-off-Event: 301:124A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 302, total #Conditions: 577 [DEBUG]: Constructed Non-cut-off-Event: 302:124A:[177][193] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 303, total #Conditions: 587 [DEBUG]: Constructed Non-cut-off-Event: 303:125A:[85][62] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 304, total #Conditions: 588 [DEBUG]: Constructed Cut-off-Event: 304:126A:[89][66] [DEBUG]: Possible Extension size: 3, total #Events: 305, total #Conditions: 589 [DEBUG]: Constructed Non-cut-off-Event: 305:125A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 306, total #Conditions: 590 [DEBUG]: Constructed Non-cut-off-Event: 306:125A:[121][195] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 307, total #Conditions: 591 [DEBUG]: Constructed Non-cut-off-Event: 307:126A:[88][67] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 308, total #Conditions: 593 [DEBUG]: Constructed Non-cut-off-Event: 308:126A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 309, total #Conditions: 594 [DEBUG]: Constructed Non-cut-off-Event: 309:126A:[124][196] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 310, total #Conditions: 595 [DEBUG]: Constructed Non-cut-off-Event: 310:127A:[93][209] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 311, total #Conditions: 597 [DEBUG]: Constructed Non-cut-off-Event: 311:127A:[95][73] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 312, total #Conditions: 598 [DEBUG]: Constructed Cut-off-Event: 312:128A:[103][80] [DEBUG]: Possible Extension size: 4, total #Events: 313, total #Conditions: 600 [DEBUG]: Constructed Non-cut-off-Event: 313:127A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 314, total #Conditions: 601 [DEBUG]: Constructed Non-cut-off-Event: 314:127A:[127][197] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 315, total #Conditions: 602 [DEBUG]: Constructed Non-cut-off-Event: 315:128A:[100][210] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 316, total #Conditions: 604 [DEBUG]: Constructed Non-cut-off-Event: 316:128A:[102][79] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 317, total #Conditions: 606 [DEBUG]: Constructed Non-cut-off-Event: 317:128A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 318, total #Conditions: 607 [DEBUG]: Constructed Cut-off-Event: 318:129A:[110][87] [DEBUG]: Possible Extension size: 4, total #Events: 319, total #Conditions: 608 [DEBUG]: Constructed Non-cut-off-Event: 319:128A:[130][198] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 320, total #Conditions: 609 [DEBUG]: Constructed Non-cut-off-Event: 320:129A:[107][211] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 321, total #Conditions: 611 [DEBUG]: Constructed Non-cut-off-Event: 321:129A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 322, total #Conditions: 612 [DEBUG]: Constructed Non-cut-off-Event: 322:129A:[109][86] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 323, total #Conditions: 613 [DEBUG]: Constructed Cut-off-Event: 323:130A:[115][91] [DEBUG]: Possible Extension size: 4, total #Events: 324, total #Conditions: 614 [DEBUG]: Constructed Non-cut-off-Event: 324:129A:[133][199] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 325, total #Conditions: 615 [DEBUG]: Constructed Non-cut-off-Event: 325:130A:[112][212] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 326, total #Conditions: 617 [DEBUG]: Constructed Non-cut-off-Event: 326:130A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 327, total #Conditions: 618 [DEBUG]: Constructed Non-cut-off-Event: 327:130A:[114][92] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 328, total #Conditions: 620 [DEBUG]: Constructed Non-cut-off-Event: 328:130A:[136][200] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 329, total #Conditions: 621 [DEBUG]: Constructed Non-cut-off-Event: 329:131A:[117][93] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 330, total #Conditions: 622 [DEBUG]: Constructed Non-cut-off-Event: 330:131A:[118][94] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 331, total #Conditions: 623 [DEBUG]: Constructed Non-cut-off-Event: 331:131A:[80][213] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 332, total #Conditions: 630 [DEBUG]: Constructed Non-cut-off-Event: 332:131A:[138][201] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 333, total #Conditions: 632 [DEBUG]: Constructed Cut-off-Event: 333:132A:[141][214] [DEBUG]: Possible Extension size: 2, total #Events: 334, total #Conditions: 639 [DEBUG]: Constructed Non-cut-off-Event: 334:132A:[119][96] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 335, total #Conditions: 640 [DEBUG]: Constructed Non-cut-off-Event: 335:132A:[82][97] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 336, total #Conditions: 646 [DEBUG]: Constructed Non-cut-off-Event: 336:133A:[120][98] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 337, total #Conditions: 647 [DEBUG]: Constructed Non-cut-off-Event: 337:133A:[84][99] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 338, total #Conditions: 650 [DEBUG]: Constructed Non-cut-off-Event: 338:134A:[122][100] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 339, total #Conditions: 651 [DEBUG]: Constructed Non-cut-off-Event: 339:134A:[123][101] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 340, total #Conditions: 652 [DEBUG]: Constructed Non-cut-off-Event: 340:134A:[87][102] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 341, total #Conditions: 655 [DEBUG]: Constructed Non-cut-off-Event: 341:135A:[125][103] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 342, total #Conditions: 656 [DEBUG]: Constructed Non-cut-off-Event: 342:135A:[126][104] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 343, total #Conditions: 657 [DEBUG]: Constructed Non-cut-off-Event: 343:135A:[92][105] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 344, total #Conditions: 660 [DEBUG]: Constructed Non-cut-off-Event: 344:136A:[128][106] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 345, total #Conditions: 661 [DEBUG]: Constructed Non-cut-off-Event: 345:136A:[129][107] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 346, total #Conditions: 663 [DEBUG]: Constructed Non-cut-off-Event: 346:136A:[99][108] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 347, total #Conditions: 666 [DEBUG]: Constructed Non-cut-off-Event: 347:137A:[131][109] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 348, total #Conditions: 667 [DEBUG]: Constructed Non-cut-off-Event: 348:137A:[132][110] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 349, total #Conditions: 669 [DEBUG]: Constructed Non-cut-off-Event: 349:137A:[106][111] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 350, total #Conditions: 672 [DEBUG]: Constructed Non-cut-off-Event: 350:138A:[134][112] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 351, total #Conditions: 673 [DEBUG]: Constructed Non-cut-off-Event: 351:138A:[135][113] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 352, total #Conditions: 674 [DEBUG]: Constructed Non-cut-off-Event: 352:138A:[111][114] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 353, total #Conditions: 675 [DEBUG]: Constructed Non-cut-off-Event: 353:139A:[172][215] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 354, total #Conditions: 687 [DEBUG]: Constructed Non-cut-off-Event: 354:139A:[137][116] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 355, total #Conditions: 689 [DEBUG]: Constructed Non-cut-off-Event: 355:139A:[116][117] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 356, total #Conditions: 690 [DEBUG]: Constructed Non-cut-off-Event: 356:140A:[40][118] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 357, total #Conditions: 691 [DEBUG]: Constructed Non-cut-off-Event: 357:140A:[139][119] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 358, total #Conditions: 692 [DEBUG]: Constructed Non-cut-off-Event: 358:140A:[140][120] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 359, total #Conditions: 694 [DEBUG]: Constructed Non-cut-off-Event: 359:141A:[41][122] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 360, total #Conditions: 695 [DEBUG]: Constructed Non-cut-off-Event: 360:141A:[142][123] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 361, total #Conditions: 696 [DEBUG]: Constructed Non-cut-off-Event: 361:141A:[143][124] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 362, total #Conditions: 698 [DEBUG]: Constructed Non-cut-off-Event: 362:142A:[44][125] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 363, total #Conditions: 699 [DEBUG]: Constructed Non-cut-off-Event: 363:142A:[145][126] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 364, total #Conditions: 701 [DEBUG]: Constructed Non-cut-off-Event: 364:142A:[146][127] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 365, total #Conditions: 703 [DEBUG]: Constructed Non-cut-off-Event: 365:142A:[147][128] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 366, total #Conditions: 705 [DEBUG]: Constructed Non-cut-off-Event: 366:143A:[46][129] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 367, total #Conditions: 706 [DEBUG]: Constructed Non-cut-off-Event: 367:143A:[132][130] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 368, total #Conditions: 708 [DEBUG]: Constructed Non-cut-off-Event: 368:143A:[149][217] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 369, total #Conditions: 710 [DEBUG]: Constructed Non-cut-off-Event: 369:143A:[150][218] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 370, total #Conditions: 712 [DEBUG]: Constructed Non-cut-off-Event: 370:144A:[135][113] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 371, total #Conditions: 713 [DEBUG]: Constructed Non-cut-off-Event: 371:144A:[48][133] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 372, total #Conditions: 714 [DEBUG]: Constructed Non-cut-off-Event: 372:144A:[152][219] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 373, total #Conditions: 716 [DEBUG]: Constructed Non-cut-off-Event: 373:144A:[152][220] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 374, total #Conditions: 718 [DEBUG]: Constructed Non-cut-off-Event: 374:145A:[137][136] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 375, total #Conditions: 720 [DEBUG]: Constructed Non-cut-off-Event: 375:145A:[49][137] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 376, total #Conditions: 721 [DEBUG]: Constructed Non-cut-off-Event: 376:145A:[50][138] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 377, total #Conditions: 722 [DEBUG]: Constructed Non-cut-off-Event: 377:145A:[155][139] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 378, total #Conditions: 724 [DEBUG]: Constructed Non-cut-off-Event: 378:145A:[155][140] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 379, total #Conditions: 726 [DEBUG]: Constructed Non-cut-off-Event: 379:146A:[140][141] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 380, total #Conditions: 728 [DEBUG]: Constructed Non-cut-off-Event: 380:146A:[51][142] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 381, total #Conditions: 729 [DEBUG]: Constructed Non-cut-off-Event: 381:146A:[52][143] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 382, total #Conditions: 730 [DEBUG]: Constructed Non-cut-off-Event: 382:146A:[159][221] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 383, total #Conditions: 732 [DEBUG]: Constructed Non-cut-off-Event: 383:146A:[159][222] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 384, total #Conditions: 734 [DEBUG]: Constructed Non-cut-off-Event: 384:147A:[143][146] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 385, total #Conditions: 736 [DEBUG]: Constructed Non-cut-off-Event: 385:147A:[53][223] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 386, total #Conditions: 741 [DEBUG]: Constructed Non-cut-off-Event: 386:147A:[54][148] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 387, total #Conditions: 742 [DEBUG]: Constructed Non-cut-off-Event: 387:147A:[55][149] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 388, total #Conditions: 743 [DEBUG]: Constructed Non-cut-off-Event: 388:147A:[162][224] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 389, total #Conditions: 745 [DEBUG]: Constructed Non-cut-off-Event: 389:147A:[162][225] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 390, total #Conditions: 747 [DEBUG]: Constructed Non-cut-off-Event: 390:148A:[147][152] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 391, total #Conditions: 749 [DEBUG]: Constructed Non-cut-off-Event: 391:148A:[56][153] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 392, total #Conditions: 750 [DEBUG]: Constructed Non-cut-off-Event: 392:148A:[45][154] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 393, total #Conditions: 751 [DEBUG]: Constructed Non-cut-off-Event: 393:148A:[57][155] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 394, total #Conditions: 752 [DEBUG]: Constructed Cut-off-Event: 394:149A:[59][160] [DEBUG]: Possible Extension size: 6, total #Events: 395, total #Conditions: 753 [DEBUG]: Constructed Non-cut-off-Event: 395:148A:[163][156] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 396, total #Conditions: 755 [DEBUG]: Constructed Non-cut-off-Event: 396:148A:[163][157] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 397, total #Conditions: 757 [DEBUG]: Constructed Non-cut-off-Event: 397:149A:[150][218] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 398, total #Conditions: 759 [DEBUG]: Constructed Non-cut-off-Event: 398:149A:[58][226] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 399, total #Conditions: 766 [DEBUG]: Constructed Non-cut-off-Event: 399:149A:[47][159] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 400, total #Conditions: 767 [DEBUG]: Constructed Non-cut-off-Event: 400:149A:[164][161] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 401, total #Conditions: 769 [DEBUG]: Constructed Cut-off-Event: 401:150A:[80][213] [DEBUG]: Possible Extension size: 5, total #Events: 402, total #Conditions: 776 [DEBUG]: Constructed Non-cut-off-Event: 402:149A:[165][162] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 403, total #Conditions: 778 [DEBUG]: Constructed Non-cut-off-Event: 403:149A:[165][163] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 404, total #Conditions: 780 [DEBUG]: Constructed Non-cut-off-Event: 404:150A:[152][220] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 405, total #Conditions: 782 [DEBUG]: Constructed Non-cut-off-Event: 405:150A:[60][164] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 406, total #Conditions: 787 [DEBUG]: Constructed Non-cut-off-Event: 406:150A:[166][165] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 407, total #Conditions: 789 [DEBUG]: Constructed Non-cut-off-Event: 407:150A:[166][165] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 408, total #Conditions: 791 [DEBUG]: Constructed Non-cut-off-Event: 408:151A:[173][216] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 409, total #Conditions: 801 [DEBUG]: Constructed Non-cut-off-Event: 409:151A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 410, total #Conditions: 802 [DEBUG]: Constructed Non-cut-off-Event: 410:151A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 411, total #Conditions: 803 [DEBUG]: Constructed Non-cut-off-Event: 411:151A:[155][166] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 412, total #Conditions: 805 [DEBUG]: Constructed Non-cut-off-Event: 412:151A:[61][167] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 413, total #Conditions: 807 [DEBUG]: Constructed Non-cut-off-Event: 413:152A:[285][168] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 414, total #Conditions: 808 [DEBUG]: Constructed Non-cut-off-Event: 414:152A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 415, total #Conditions: 809 [DEBUG]: Constructed Non-cut-off-Event: 415:152A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 416, total #Conditions: 810 [DEBUG]: Constructed Non-cut-off-Event: 416:152A:[159][222] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 417, total #Conditions: 812 [DEBUG]: Constructed Non-cut-off-Event: 417:152A:[62][169] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 418, total #Conditions: 814 [DEBUG]: Constructed Non-cut-off-Event: 418:153A:[204][170] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 419, total #Conditions: 815 [DEBUG]: Constructed Non-cut-off-Event: 419:153A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 420, total #Conditions: 816 [DEBUG]: Constructed Non-cut-off-Event: 420:153A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 421, total #Conditions: 817 [DEBUG]: Constructed Non-cut-off-Event: 421:153A:[162][225] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 422, total #Conditions: 819 [DEBUG]: Constructed Non-cut-off-Event: 422:153A:[64][171] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 423, total #Conditions: 821 [DEBUG]: Constructed Non-cut-off-Event: 423:154A:[277][172] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 424, total #Conditions: 822 [DEBUG]: Constructed Non-cut-off-Event: 424:154A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 425, total #Conditions: 823 [DEBUG]: Constructed Non-cut-off-Event: 425:154A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 426, total #Conditions: 824 [DEBUG]: Constructed Non-cut-off-Event: 426:154A:[163][157] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 427, total #Conditions: 826 [DEBUG]: Constructed Non-cut-off-Event: 427:154A:[67][173] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 428, total #Conditions: 828 [DEBUG]: Constructed Non-cut-off-Event: 428:155A:[222][174] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 429, total #Conditions: 835 [DEBUG]: Constructed Non-cut-off-Event: 429:155A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 430, total #Conditions: 836 [DEBUG]: Constructed Non-cut-off-Event: 430:155A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 431, total #Conditions: 837 [DEBUG]: Constructed Non-cut-off-Event: 431:155A:[165][163] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 432, total #Conditions: 839 [DEBUG]: Constructed Non-cut-off-Event: 432:155A:[69][175] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 433, total #Conditions: 841 [DEBUG]: Constructed Non-cut-off-Event: 433:156A:[199][176] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 434, total #Conditions: 847 [DEBUG]: Constructed Non-cut-off-Event: 434:156A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 435, total #Conditions: 848 [DEBUG]: Constructed Non-cut-off-Event: 435:156A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 436, total #Conditions: 849 [DEBUG]: Constructed Non-cut-off-Event: 436:156A:[166][165] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 437, total #Conditions: 851 [DEBUG]: Constructed Non-cut-off-Event: 437:156A:[70][177] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 438, total #Conditions: 856 [DEBUG]: Constructed Non-cut-off-Event: 438:157A:[286][178] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 439, total #Conditions: 860 [DEBUG]: Constructed Non-cut-off-Event: 439:157A:[85][62] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 440, total #Conditions: 861 [DEBUG]: Constructed Cut-off-Event: 440:158A:[89][66] [DEBUG]: Possible Extension size: 6, total #Events: 441, total #Conditions: 862 [DEBUG]: Constructed Non-cut-off-Event: 441:157A:[85][62] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 442, total #Conditions: 863 [DEBUG]: Constructed Cut-off-Event: 442:158A:[89][66] [DEBUG]: Possible Extension size: 5, total #Events: 443, total #Conditions: 864 [DEBUG]: Constructed Non-cut-off-Event: 443:157A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 444, total #Conditions: 865 [DEBUG]: Constructed Non-cut-off-Event: 444:157A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 445, total #Conditions: 866 [DEBUG]: Constructed Non-cut-off-Event: 445:157A:[94][71] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 446, total #Conditions: 867 [DEBUG]: Constructed Non-cut-off-Event: 446:157A:[71][179] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 447, total #Conditions: 868 [DEBUG]: Constructed Non-cut-off-Event: 447:158A:[194][180] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 448, total #Conditions: 872 [DEBUG]: Constructed Non-cut-off-Event: 448:158A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 449, total #Conditions: 873 [DEBUG]: Constructed Non-cut-off-Event: 449:158A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 450, total #Conditions: 874 [DEBUG]: Constructed Non-cut-off-Event: 450:158A:[101][77] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 451, total #Conditions: 875 [DEBUG]: Constructed Non-cut-off-Event: 451:158A:[72][181] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 452, total #Conditions: 876 [DEBUG]: Constructed Non-cut-off-Event: 452:159A:[15][182] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 453, total #Conditions: 880 [DEBUG]: Constructed Non-cut-off-Event: 453:159A:[95][73] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 454, total #Conditions: 881 [DEBUG]: Constructed Non-cut-off-Event: 454:159A:[95][73] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 455, total #Conditions: 882 [DEBUG]: Constructed Non-cut-off-Event: 455:159A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 456, total #Conditions: 883 [DEBUG]: Constructed Non-cut-off-Event: 456:159A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 457, total #Conditions: 884 [DEBUG]: Constructed Non-cut-off-Event: 457:159A:[76][53] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 458, total #Conditions: 885 [DEBUG]: Constructed Non-cut-off-Event: 458:159A:[57][155] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 459, total #Conditions: 886 [DEBUG]: Constructed Non-cut-off-Event: 459:160A:[219][183] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 460, total #Conditions: 890 [DEBUG]: Constructed Non-cut-off-Event: 460:160A:[102][184] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 461, total #Conditions: 892 [DEBUG]: Constructed Non-cut-off-Event: 461:160A:[102][184] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 462, total #Conditions: 894 [DEBUG]: Constructed Non-cut-off-Event: 462:160A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 8, total #Events: 463, total #Conditions: 895 [DEBUG]: Constructed Cut-off-Event: 463:161A:[110][87] [DEBUG]: Possible Extension size: 7, total #Events: 464, total #Conditions: 896 [DEBUG]: Constructed Non-cut-off-Event: 464:160A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 8, total #Events: 465, total #Conditions: 897 [DEBUG]: Constructed Cut-off-Event: 465:161A:[110][87] [DEBUG]: Possible Extension size: 7, total #Events: 466, total #Conditions: 898 [DEBUG]: Constructed Non-cut-off-Event: 466:160A:[79][55] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 467, total #Conditions: 899 [DEBUG]: Constructed Non-cut-off-Event: 467:160A:[59][160] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 468, total #Conditions: 900 [DEBUG]: Constructed Non-cut-off-Event: 468:161A:[245][185] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 469, total #Conditions: 904 [DEBUG]: Constructed Non-cut-off-Event: 469:161A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 470, total #Conditions: 905 [DEBUG]: Constructed Non-cut-off-Event: 470:161A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 471, total #Conditions: 906 [DEBUG]: Constructed Non-cut-off-Event: 471:161A:[109][86] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 7, total #Events: 472, total #Conditions: 907 [DEBUG]: Constructed Cut-off-Event: 472:162A:[115][91] [DEBUG]: Possible Extension size: 6, total #Events: 473, total #Conditions: 908 [DEBUG]: Constructed Non-cut-off-Event: 473:161A:[109][86] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 474, total #Conditions: 909 [DEBUG]: Constructed Cut-off-Event: 474:162A:[115][91] [DEBUG]: Possible Extension size: 5, total #Events: 475, total #Conditions: 910 [DEBUG]: Constructed Non-cut-off-Event: 475:161A:[81][57] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 476, total #Conditions: 911 [DEBUG]: Constructed Non-cut-off-Event: 476:161A:[41][122] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 477, total #Conditions: 912 [DEBUG]: Constructed Non-cut-off-Event: 477:162A:[186][186] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 478, total #Conditions: 913 [DEBUG]: Constructed Non-cut-off-Event: 478:162A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 479, total #Conditions: 914 [DEBUG]: Constructed Non-cut-off-Event: 479:162A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 480, total #Conditions: 915 [DEBUG]: Constructed Non-cut-off-Event: 480:162A:[83][59] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 481, total #Conditions: 916 [DEBUG]: Constructed Non-cut-off-Event: 481:162A:[44][125] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 482, total #Conditions: 917 [DEBUG]: Constructed Non-cut-off-Event: 482:163A:[25][187] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 483, total #Conditions: 918 [DEBUG]: Constructed Non-cut-off-Event: 483:163A:[85][62] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 484, total #Conditions: 919 [DEBUG]: Constructed Cut-off-Event: 484:164A:[89][66] [DEBUG]: Possible Extension size: 5, total #Events: 485, total #Conditions: 920 [DEBUG]: Constructed Non-cut-off-Event: 485:163A:[118][94] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 486, total #Conditions: 921 [DEBUG]: Constructed Non-cut-off-Event: 486:163A:[118][94] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 487, total #Conditions: 922 [DEBUG]: Constructed Non-cut-off-Event: 487:163A:[86][63] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 488, total #Conditions: 923 [DEBUG]: Constructed Non-cut-off-Event: 488:163A:[46][129] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 489, total #Conditions: 924 [DEBUG]: Constructed Non-cut-off-Event: 489:164A:[320][188] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 490, total #Conditions: 925 [DEBUG]: Constructed Non-cut-off-Event: 490:164A:[90][68] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 491, total #Conditions: 926 [DEBUG]: Constructed Non-cut-off-Event: 491:164A:[48][133] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 492, total #Conditions: 927 [DEBUG]: Constructed Non-cut-off-Event: 492:165A:[183][69] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 493, total #Conditions: 928 [DEBUG]: Constructed Non-cut-off-Event: 493:165A:[95][73] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 494, total #Conditions: 929 [DEBUG]: Constructed Non-cut-off-Event: 494:165A:[96][74] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 495, total #Conditions: 930 [DEBUG]: Constructed Non-cut-off-Event: 495:165A:[49][137] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 496, total #Conditions: 931 [DEBUG]: Constructed Non-cut-off-Event: 496:165A:[50][138] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 497, total #Conditions: 932 [DEBUG]: Constructed Non-cut-off-Event: 497:166A:[313][75] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 498, total #Conditions: 933 [DEBUG]: Constructed Non-cut-off-Event: 498:166A:[102][184] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 499, total #Conditions: 935 [DEBUG]: Constructed Non-cut-off-Event: 499:166A:[104][81] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 500, total #Conditions: 936 [DEBUG]: Constructed Cut-off-Event: 500:167A:[110][87] [DEBUG]: Possible Extension size: 5, total #Events: 501, total #Conditions: 937 [DEBUG]: Constructed Non-cut-off-Event: 501:166A:[51][142] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 502, total #Conditions: 938 [DEBUG]: Constructed Non-cut-off-Event: 502:166A:[52][143] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 6, total #Events: 503, total #Conditions: 939 [DEBUG]: Constructed Cut-off-Event: 503:167A:[55][149] [DEBUG]: Possible Extension size: 5, total #Events: 504, total #Conditions: 940 [DEBUG]: Constructed Non-cut-off-Event: 504:167A:[37][82] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 505, total #Conditions: 941 [DEBUG]: Constructed Non-cut-off-Event: 505:167A:[108][85] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 506, total #Conditions: 942 [DEBUG]: Constructed Non-cut-off-Event: 506:167A:[109][86] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 5, total #Events: 507, total #Conditions: 943 [DEBUG]: Constructed Cut-off-Event: 507:168A:[115][91] [DEBUG]: Possible Extension size: 4, total #Events: 508, total #Conditions: 944 [DEBUG]: Constructed Non-cut-off-Event: 508:167A:[53][189] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 509, total #Conditions: 949 [DEBUG]: Constructed Non-cut-off-Event: 509:167A:[54][148] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 4, total #Events: 510, total #Conditions: 950 [DEBUG]: Constructed Non-cut-off-Event: 510:168A:[319][88] [DEBUG]: The Event lead to 0 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 511, total #Conditions: 951 [DEBUG]: Constructed Non-cut-off-Event: 511:168A:[113][90] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 512, total #Conditions: 952 [DEBUG]: Constructed Non-cut-off-Event: 512:168A:[56][153] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 513, total #Conditions: 953 [DEBUG]: Constructed Cut-off-Event: 513:169A:[58][190] [DEBUG]: Possible Extension size: 2, total #Events: 514, total #Conditions: 960 [DEBUG]: Constructed Non-cut-off-Event: 514:168A:[45][154] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 2, total #Events: 515, total #Conditions: 961 [DEBUG]: Constructed Non-cut-off-Event: 515:169A:[118][94] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 516, total #Conditions: 962 [DEBUG]: Constructed Cut-off-Event: 516:180A:[176][228] [DEBUG]: Possible Extension size: 2, total #Events: 517, total #Conditions: 972 [DEBUG]: Constructed Non-cut-off-Event: 517:169A:[47][159] [DEBUG]: The Event lead to 2 new possible extensions. [DEBUG]: Possible Extension size: 3, total #Events: 518, total #Conditions: 973 [DEBUG]: Constructed Cut-off-Event: 518:200A:[177][193] [DEBUG]: Possible Extension size: 2, total #Events: 519, total #Conditions: 983 [DEBUG]: Constructed Cut-off-Event: 519:200A:[176][194] [DEBUG]: Possible Extension size: 1, total #Events: 520, total #Conditions: 993 [DEBUG]: Constructed Non-cut-off-Event: 520:180A:[177][227] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 521, total #Conditions: 1003 [DEBUG]: Constructed Non-cut-off-Event: 521:181A:[121][195] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 522, total #Conditions: 1004 [DEBUG]: Constructed Non-cut-off-Event: 522:182A:[124][196] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 523, total #Conditions: 1005 [DEBUG]: Constructed Non-cut-off-Event: 523:183A:[127][197] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 524, total #Conditions: 1006 [DEBUG]: Constructed Non-cut-off-Event: 524:184A:[130][198] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 525, total #Conditions: 1007 [DEBUG]: Constructed Non-cut-off-Event: 525:185A:[133][199] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 526, total #Conditions: 1008 [DEBUG]: Constructed Non-cut-off-Event: 526:186A:[136][200] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 527, total #Conditions: 1009 [DEBUG]: Constructed Non-cut-off-Event: 527:187A:[138][201] [DEBUG]: The Event lead to 1 new possible extensions. [DEBUG]: Possible Extension size: 1, total #Events: 528, total #Conditions: 1011 [DEBUG]: Constructed Cut-off-Event: 528:188A:[141][229] [DEBUG]: Possible Extension size: 0, total #Events: 529, total #Conditions: 1018 [INFO]: 41/528 cut-off events. [INFO]: For 2725/3400 co-relation queries the response was YES. [INFO]: Finished finitePrefix Result has 1018 conditions, 528 events. 41/528 cut-off events. For 2725/3400 co-relation queries the response was YES. Maximal size of possible extension queue 7. Compared 1495 event pairs, 0 based on Foata normal form. 52/534 useless extension candidates. Maximal degree in co-relation 790. Up to 54 conditions per place. [INFO]: OwickiGriesTestSuite setup time: 3390ms [INFO]: Constructing Owicki-Gries proof for Petri program that has 204 places, 219 transitions, 454 flow and unfolding that has 1018 conditions, 528 events. 119 conditions belong to cutoff events