env GraphEmpireOG.Timeout=-1 benchexec/../run-test.sh Library-ProofsTest 'de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG' NoDataRace.parallel-ticket-4.wvr.ats true -------------------------------------------------------------------------------- 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 7 ms. ├─ JUnit Vintage │ ├─ GraphEmpireOG │ │ ├─ NoDataRace_parallel-ticket-4_wvr_ats │ │ │ tags: [] │ │ │ uniqueId: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG]/[test:NoDataRace_parallel-ticket-4_wvr_ats(de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG)] │ │ │ parent: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG] │ │ │ source: ClassSource [className = 'de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG', filePosition = null] [WARN]: Using environment timeout: -1ms [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 [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Start isDeterministic. Operand 3 states and 632 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 210.66666666666666) internal successors, (632), 3 states have internal predecessors, (632), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 632 edges. 632 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 625 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 208.33333333333334) internal successors, (625), 3 states have internal predecessors, (625), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 625 edges. 625 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 625 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 208.33333333333334) internal successors, (625), 3 states have internal predecessors, (625), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 625 edges. 625 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 625 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 208.33333333333334) internal successors, (625), 3 states have internal predecessors, (625), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 625 edges. 625 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 638 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 212.66666666666666) internal successors, (638), 3 states have internal predecessors, (638), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 638 edges. 638 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 641 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 213.66666666666666) internal successors, (641), 3 states have internal predecessors, (641), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 641 edges. 641 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 638 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 212.66666666666666) internal successors, (638), 3 states have internal predecessors, (638), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 638 edges. 638 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 641 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 213.66666666666666) internal successors, (641), 3 states have internal predecessors, (641), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 641 edges. 641 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 638 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 212.66666666666666) internal successors, (638), 3 states have internal predecessors, (638), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 638 edges. 638 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 641 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 213.66666666666666) internal successors, (641), 3 states have internal predecessors, (641), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 641 edges. 641 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 638 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 212.66666666666666) internal successors, (638), 3 states have internal predecessors, (638), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 638 edges. 638 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 641 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 213.66666666666666) internal successors, (641), 3 states have internal predecessors, (641), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 641 edges. 641 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Number of proof automata: 12 [INFO]: 200 / 235 letters are loopers in proof 0 [INFO]: 200 / 235 letters are loopers in proof 1 [INFO]: 200 / 235 letters are loopers in proof 2 [INFO]: 200 / 235 letters are loopers in proof 3 [INFO]: 211 / 235 letters are loopers in proof 4 [INFO]: 218 / 235 letters are loopers in proof 5 [INFO]: 211 / 235 letters are loopers in proof 6 [INFO]: 217 / 235 letters are loopers in proof 7 [INFO]: 211 / 235 letters are loopers in proof 8 [INFO]: 216 / 235 letters are loopers in proof 9 [INFO]: 211 / 235 letters are loopers in proof 10 [INFO]: 215 / 235 letters are loopers in proof 11 [INFO]: Loopers in proof automata: min=200, max=218, median=211 [INFO]: Start finitePrefix. Operand will be constructed on-demand [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, l101, 263#(= |#race~m2~0| 0), 273#true, l171, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 118 ancestors and is cut-off event [INFO]: existing Event has 118 ancestors and is cut-off event [INFO]: existing Event has 118 ancestors and is cut-off event [INFO]: existing Event has 118 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, l112, l11, 255#true, l116, 249#true, l109, l70, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l50, l182, 240#true, 243#true, 246#true, 275#(= |#race~m4~0| 0), 252#true, 267#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l16, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), l111, 252#true, 246#true, l101, 273#true, 263#(= |#race~m2~0| 0), l6, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, l111, 252#true, l101, 273#true, 263#(= |#race~m2~0| 0), l6, 255#true, 249#true, l116, l109, l119, 264#true, l199, 270#true, 258#true]) [INFO]: this new event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: existing Event has 120 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 273#true, 263#(= |#race~m2~0| 0), l171, l209, l112, l11, 255#true, 249#true, l116, l109, l119, 264#true, 270#true, 258#true, l60]) [INFO]: this new event has 121 ancestors and is cut-off event [INFO]: existing Event has 121 ancestors and is cut-off event [INFO]: existing Event has 121 ancestors and is cut-off event [INFO]: existing Event has 121 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l101, l112, l11, 255#true, l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 261#true, 258#true]) [INFO]: this new event has 120 ancestors and is not cut-off event [INFO]: existing Event has 120 ancestors and is not cut-off event [INFO]: existing Event has 120 ancestors and is not cut-off event [INFO]: existing Event has 120 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 263#(= |#race~m2~0| 0), 273#true, l171, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, 258#true, l60]) [INFO]: this new event has 122 ancestors and is cut-off event [INFO]: existing Event has 122 ancestors and is cut-off event [INFO]: existing Event has 122 ancestors and is cut-off event [INFO]: existing Event has 122 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l50, 240#true, l182, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l112, 255#true, l16, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l111, 246#true, 273#true, 263#(= |#race~m2~0| 0), l209, l6, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l111, 273#true, 263#(= |#race~m2~0| 0), l209, l6, 255#true, 249#true, l116, l109, l119, l199, 264#true, 270#true, 258#true]) [INFO]: this new event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: existing Event has 123 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l50, l182, 240#true, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 255#true, l16, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l111, 246#true, l2, 263#(= |#race~m2~0| 0), 273#true, l6, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l111, 246#true, l2, 263#(= |#race~m2~0| 0), 273#true, l6, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, 258#true]) [INFO]: this new event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, l112, l11, 255#true, 249#true, l116, l109, l119, l70, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 123 ancestors and is not cut-off event [INFO]: existing Event has 123 ancestors and is not cut-off event [INFO]: existing Event has 123 ancestors and is not cut-off event [INFO]: existing Event has 123 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: existing Event has 124 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), 273#true, l171, l112, l11, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l144, l119, 264#true, 270#true, 258#true, l60]) [INFO]: this new event has 125 ancestors and is cut-off event [INFO]: existing Event has 125 ancestors and is cut-off event [INFO]: existing Event has 125 ancestors and is cut-off event [INFO]: existing Event has 125 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), l112, l11, 255#true, l116, 249#true, l109, l70, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 124 ancestors and is not cut-off event [INFO]: existing Event has 124 ancestors and is not cut-off event [INFO]: existing Event has 124 ancestors and is not cut-off event [INFO]: existing Event has 124 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [l147, l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 273#true, 263#(= |#race~m2~0| 0), l171, l112, l11, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l73, 240#true, l182, l185, 243#true, 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 267#true, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, l50, 240#true, 243#true, 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 267#true, 263#(= |#race~m2~0| 0), l103, l112, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), l101, l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), l101, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l151, l112, 255#true, l116, 249#true, l109, l119, l70, 264#true, l199, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l151, l103, l112, l11, 255#true, l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: existing Event has 126 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l50, 240#true, l182, 243#true, 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), 267#true, l112, 257#(= |#race~m1~0| 0), l16, 249#true, l116, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), l111, 252#true, 246#true, 273#true, 263#(= |#race~m2~0| 0), l6, l11, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, l144, 264#true, 270#true, 258#true]) [INFO]: this new event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), l111, 252#true, 246#true, 273#true, 263#(= |#race~m2~0| 0), l6, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l144, 264#true, l199, 270#true, 258#true]) [INFO]: this new event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [l182, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l101, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 255#true, 249#true, l116, l109, l122, l119, 270#true, l60, 261#true]) [INFO]: this new event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: existing Event has 127 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l50, l147, 240#true, l182, 243#true, 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l16, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l147, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, l111, 273#true, 263#(= |#race~m2~0| 0), l6, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l147, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, l111, 273#true, 263#(= |#race~m2~0| 0), l6, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, 258#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, l70, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 127 ancestors and is not cut-off event [INFO]: existing Event has 127 ancestors and is not cut-off event [INFO]: existing Event has 127 ancestors and is not cut-off event [INFO]: existing Event has 127 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), l101, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 255#true, l116, 249#true, l109, l122, l119, l118, 270#true, l60, 261#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, l112, 255#true, l116, 249#true, l109, l119, l70, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, l103, l112, l11, 255#true, l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: existing Event has 128 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), l111, 252#true, 246#true, 273#true, 263#(= |#race~m2~0| 0), l6, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 273#true, 263#(= |#race~m2~0| 0), l171, l112, l11, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [l147, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 261#true, 258#true]) [INFO]: this new event has 128 ancestors and is not cut-off event [INFO]: existing Event has 128 ancestors and is not cut-off event [INFO]: existing Event has 128 ancestors and is not cut-off event [INFO]: existing Event has 128 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l73, 240#true, l182, l185, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, l50, 240#true, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l103, l112, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l48, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, l151, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, l151, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: existing Event has 129 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([113][131], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 273#true, 263#(= |#race~m2~0| 0), l171, l112, l11, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, 270#true, 258#true, l60]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l73, l182, 240#true, l185, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, l50, 240#true, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l103, l112, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 255#true, l116, 249#true, l109, l122, l119, 270#true, l60, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l151, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l118, l199, 270#true, l60, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l151, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: existing Event has 130 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 275#(= |#race~m4~0| 0), l2, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 255#true, l116, 249#true, l109, l122, l119, 270#true, l60, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 255#true, l116, 249#true, l122, l109, l119, l118, 270#true, l60, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l209, l112, 255#true, l116, 249#true, l109, l119, l70, 264#true, l199, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l209, l103, l112, l11, 255#true, l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l148, 240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 252#true, 246#true, 267#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 263#(= |#race~m2~0| 0), 267#true, l103, l112, 255#true, l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l118, l199, 270#true, l60, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: existing Event has 131 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 255#true, l116, 249#true, l109, l122, l119, l118, 270#true, l60, 261#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l2, l112, 255#true, l116, 249#true, l109, l119, l70, 264#true, l199, 270#true, l60, 261#true, 258#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), l2, 246#true, l103, l112, l11, 255#true, l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 261#true, 258#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l101, l112, 255#true, l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l148, l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 275#(= |#race~m4~0| 0), 252#true, 267#true, l101, 263#(= |#race~m2~0| 0), l103, l112, 255#true, l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 131 ancestors and is not cut-off event [INFO]: existing Event has 131 ancestors and is not cut-off event [INFO]: existing Event has 131 ancestors and is not cut-off event [INFO]: existing Event has 131 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 263#(= |#race~m2~0| 0), 267#true, l103, l112, 255#true, l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, l118, 270#true, l60, 261#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: existing Event has 132 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l73, 240#true, l182, l185, 243#true, 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), 267#true, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, l50, 240#true, 243#true, 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), 267#true, l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l48, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l112, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l144, l119, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l151, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: existing Event has 133 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l73, l147, 240#true, l182, l185, 243#true, 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, l50, l147, 240#true, 243#true, 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 275#(= |#race~m4~0| 0), 252#true, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l122, l109, l144, l119, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l2, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), l2, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 255#true, 249#true, l116, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, l182, 240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l148, 240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, 267#true, 263#(= |#race~m2~0| 0), l209, l103, l112, 255#true, l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l199, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 255#true, l116, 249#true, l109, l119, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 263#(= |#race~m2~0| 0), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l101, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: existing Event has 134 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l73, l50, 240#true, l182, 243#true, 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), 267#true, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l182, 240#true, l55, 243#true, 275#(= |#race~m4~0| 0), 252#true, 246#true, 267#true, 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l16, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l201, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 257#(= |#race~m1~0| 0), 249#true, l116, l122, l109, l119, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 246#true, 252#true, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l122, l109, l144, l119, l118, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l144, l119, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l144, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l148, 240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 255#true, l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l103, l112, 255#true, l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l118, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 255#true, l116, 249#true, l109, l119, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), l2, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), l2, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l70, 264#true, 270#true, l60, 261#true, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l182, 240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l148, l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l103, l112, 255#true, l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 134 ancestors and is not cut-off event [INFO]: existing Event has 134 ancestors and is not cut-off event [INFO]: existing Event has 134 ancestors and is not cut-off event [INFO]: existing Event has 134 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l209, l103, l112, 255#true, l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l118, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), l209, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, l116, 249#true, l109, l119, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, l11, 255#true, 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: existing Event has 135 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([4][82], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l101, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([57][115], [l50, 240#true, l182, 243#true, 275#(= |#race~m4~0| 0), 252#true, 246#true, 263#(= |#race~m2~0| 0), 267#true, l112, l169, l16, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, l111, 252#true, 263#(= |#race~m2~0| 0), 273#true, l6, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l182, 240#true, l201, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 252#true, 246#true, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l122, l109, l119, 270#true, l60, 261#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 275#(= |#race~m4~0| 0), 252#true, 246#true, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, 257#(= |#race~m1~0| 0), 249#true, l116, l122, l109, l119, l118, 270#true, l60, 261#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, l46, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l119, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 255#true, l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l148, l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), 267#true, l103, l112, 255#true, l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is not cut-off event [INFO]: existing Event has 135 ancestors and is not cut-off event [INFO]: existing Event has 135 ancestors and is not cut-off event [INFO]: existing Event has 135 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l103, l112, 255#true, l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 255#true, l116, 249#true, l109, l119, l118, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 255#true, 249#true, l116, l109, l119, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([30][94], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l112, l11, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, l70, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 135 ancestors and is not cut-off event [INFO]: existing Event has 135 ancestors and is not cut-off event [INFO]: existing Event has 135 ancestors and is not cut-off event [INFO]: existing Event has 135 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, l101, 263#(= |#race~m2~0| 0), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: existing Event has 136 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, l111, 273#true, 263#(= |#race~m2~0| 0), l6, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), l111, 246#true, 252#true, 263#(= |#race~m2~0| 0), 273#true, l6, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, 258#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 275#(= |#race~m4~0| 0), 252#true, 267#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, l118, 270#true, l60, 261#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l148, l50, l147, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, l118, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: existing Event has 137 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l148, l182, 240#true, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l144, l119, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, l199, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l209, l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: existing Event has 138 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l46, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l148, l147, 240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l55, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l144, l119, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l148, l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is not cut-off event [INFO]: existing Event has 138 ancestors and is not cut-off event [INFO]: existing Event has 138 ancestors and is not cut-off event [INFO]: existing Event has 138 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l144, l119, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, l199, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l103, l112, l11, 255#true, 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 138 ancestors and is not cut-off event [INFO]: existing Event has 138 ancestors and is not cut-off event [INFO]: existing Event has 138 ancestors and is not cut-off event [INFO]: existing Event has 138 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l209, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: existing Event has 139 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l148, l50, 240#true, l182, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), 267#true, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l182, 240#true, l55, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), 267#true, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l73, l182, 240#true, l55, 243#true, 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), 267#true, l112, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 139 ancestors and is not cut-off event [INFO]: existing Event has 139 ancestors and is not cut-off event [INFO]: existing Event has 139 ancestors and is not cut-off event [INFO]: existing Event has 139 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, l46, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 139 ancestors and is not cut-off event [INFO]: existing Event has 139 ancestors and is not cut-off event [INFO]: existing Event has 139 ancestors and is not cut-off event [INFO]: existing Event has 139 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 255#true, 249#true, l116, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l48, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, l112, l227, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true, 261#true]) [INFO]: this new event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: existing Event has 140 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l73, l50, l182, 240#true, 243#true, 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), 267#true, l112, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l147, l182, 240#true, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, l147, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: existing Event has 140 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, l147, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l46, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l48, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l112, l226, l11, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 258#true, 261#true]) [INFO]: this new event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l103, l112, l227, 255#true, 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: existing Event has 141 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l50, 240#true, l182, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 141 ancestors and is not cut-off event [INFO]: existing Event has 141 ancestors and is not cut-off event [INFO]: existing Event has 141 ancestors and is not cut-off event [INFO]: existing Event has 141 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, 240#true, l55, 243#true, 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l147, 240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 263#(= |#race~m2~0| 0), l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l70, l119, 264#true, 270#true, 258#true, 261#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l151, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: existing Event has 142 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l46, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l73, 240#true, l182, l185, 243#true, 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), 267#true, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l73, l50, 240#true, 243#true, 246#true, 252#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l147, l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l147, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, 240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 142 ancestors and is not cut-off event [INFO]: existing Event has 142 ancestors and is not cut-off event [INFO]: existing Event has 142 ancestors and is not cut-off event [INFO]: existing Event has 142 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l112, l226, l11, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l70, l119, 264#true, 270#true, 258#true, 261#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l48, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l48, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 263#(= |#race~m2~0| 0), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: existing Event has 143 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 143 ancestors and is not cut-off event [INFO]: existing Event has 143 ancestors and is not cut-off event [INFO]: existing Event has 143 ancestors and is not cut-off event [INFO]: existing Event has 143 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l147, l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, l147, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, l101, 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, l101, 263#(= |#race~m2~0| 0), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: existing Event has 144 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 261#true]) [INFO]: this new event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l147, l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 144 ancestors and is not cut-off event [INFO]: existing Event has 144 ancestors and is not cut-off event [INFO]: existing Event has 144 ancestors and is not cut-off event [INFO]: existing Event has 144 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l119, l199, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l70, l119, 264#true, 270#true, l60, 258#true, 261#true]) [INFO]: this new event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: existing Event has 145 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 145 ancestors and is not cut-off event [INFO]: existing Event has 145 ancestors and is not cut-off event [INFO]: existing Event has 145 ancestors and is not cut-off event [INFO]: existing Event has 145 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, l118, 264#true, 270#true, 261#true]) [INFO]: this new event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 261#true]) [INFO]: this new event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: existing Event has 146 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l11, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, l118, 270#true, 261#true]) [INFO]: this new event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l103, l112, l227, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l209, l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l209, l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: existing Event has 147 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [l182, 240#true, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 275#(= |#race~m4~0| 0), 252#true, 267#true, 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), l112, l11, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l50, l182, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 275#(= |#race~m4~0| 0), 246#true, 267#true, 263#(= |#race~m2~0| 0), l112, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l122, l119, 270#true, 258#true]) [INFO]: this new event has 147 ancestors and is not cut-off event [INFO]: existing Event has 147 ancestors and is not cut-off event [INFO]: existing Event has 147 ancestors and is not cut-off event [INFO]: existing Event has 147 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l118, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l201, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 261#true]) [INFO]: this new event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), 267#true, l103, l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l122, l119, 270#true, l60, 258#true]) [INFO]: this new event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), 246#true, l2, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 255#true, l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 254#(= |thread1Thread1of1ForFork0_#t~nondet2#1| |#race~m1~0|), l2, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 255#true, l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: existing Event has 148 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l182, 240#true, l185, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 246#true, 252#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l226, l11, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 266#(= |#race~m3~0| |thread3Thread1of1ForFork3_#t~nondet8#1|), 252#true, 246#true, 275#(= |#race~m4~0| 0), 267#true, 263#(= |#race~m2~0| 0), l103, l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l122, l109, l119, 270#true, l60, 258#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [l182, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l118, 264#true, l199, 270#true, l60, 261#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 260#(= |#race~m2~0| |thread2Thread1of1ForFork2_#t~nondet5#1|), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l118, 270#true, l60, 261#true]) [INFO]: this new event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: existing Event has 149 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l55, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), l112, l11, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, 240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: existing Event has 150 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([118][194], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), l112, l11, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, 240#true, l182, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l147, l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l147, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l103, l112, l227, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([79][178], [l147, 240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 252#true, 246#true, 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l144, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: existing Event has 151 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l46, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([25][138], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([25][138], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l50, l46, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([79][178], [l50, l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), 249#true, l116, l109, l119, 264#true, l199, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l55, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([106][189], [l147, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: existing Event has 152 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([52][158], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 152 ancestors and is not cut-off event [INFO]: existing Event has 152 ancestors and is not cut-off event [INFO]: existing Event has 152 ancestors and is not cut-off event [INFO]: existing Event has 152 ancestors and is not cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 275#(= |#race~m4~0| 0), 246#true, 252#true, 263#(= |#race~m2~0| 0), l112, l227, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 158 ancestors and is cut-off event [INFO]: existing Event has 158 ancestors and is cut-off event [INFO]: existing Event has 158 ancestors and is cut-off event [INFO]: existing Event has 158 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([52][158], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 275#(= |#race~m4~0| 0), 246#true, 263#(= |#race~m2~0| 0), l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 5 for the transition-marking pair ([106][189], [l50, 240#true, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: existing Event has 153 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([118][194], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), l112, l11, l226, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 159 ancestors and is cut-off event [INFO]: existing Event has 159 ancestors and is cut-off event [INFO]: existing Event has 159 ancestors and is cut-off event [INFO]: existing Event has 159 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 160 ancestors and is cut-off event [INFO]: existing Event has 160 ancestors and is cut-off event [INFO]: existing Event has 160 ancestors and is cut-off event [INFO]: existing Event has 160 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [240#true, l182, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, l199, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 161 ancestors and is cut-off event [INFO]: existing Event has 161 ancestors and is cut-off event [INFO]: existing Event has 161 ancestors and is cut-off event [INFO]: existing Event has 161 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l11, l169, 257#(= |#race~m1~0| 0), l116, 249#true, l109, l119, 264#true, 270#true, l60, 258#true]) [INFO]: this new event has 161 ancestors and is cut-off event [INFO]: existing Event has 161 ancestors and is cut-off event [INFO]: existing Event has 161 ancestors and is cut-off event [INFO]: existing Event has 161 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([119][195], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), l31, 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l227, l108, l117, 257#(= |#race~m1~0| 0), 249#true, l116, 264#true, 270#true, 258#true]) [INFO]: this new event has 162 ancestors and is cut-off event [INFO]: existing Event has 162 ancestors and is cut-off event [INFO]: existing Event has 162 ancestors and is cut-off event [INFO]: existing Event has 162 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([119][195], [l182, 240#true, 243#true, 269#(= |#race~m3~0| 0), l31, 246#true, 275#(= |#race~m4~0| 0), 252#true, 263#(= |#race~m2~0| 0), l112, l11, l108, l117, 257#(= |#race~m1~0| 0), 249#true, l116, 264#true, 270#true, 258#true]) [INFO]: this new event has 163 ancestors and is cut-off event [INFO]: existing Event has 163 ancestors and is cut-off event [INFO]: existing Event has 163 ancestors and is cut-off event [INFO]: existing Event has 163 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l227, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 166 ancestors and is cut-off event [INFO]: existing Event has 166 ancestors and is cut-off event [INFO]: existing Event has 166 ancestors and is cut-off event [INFO]: existing Event has 166 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([79][178], [l182, 240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 246#true, 252#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l112, l226, l108, 257#(= |#race~m1~0| 0), l116, 249#true, l119, l199, 264#true, 270#true, 258#true]) [INFO]: this new event has 167 ancestors and is cut-off event [INFO]: existing Event has 167 ancestors and is cut-off event [INFO]: existing Event has 167 ancestors and is cut-off event [INFO]: existing Event has 167 ancestors and is cut-off event [INFO]: inserting event number 4 for the transition-marking pair ([106][189], [240#true, l185, 243#true, 269#(= |#race~m3~0| 0), 252#true, 246#true, 275#(= |#race~m4~0| 0), 263#(= |#race~m2~0| 0), l103, l112, l226, l11, l108, 257#(= |#race~m1~0| 0), 249#true, l116, l119, 264#true, 270#true, 258#true]) [INFO]: this new event has 167 ancestors and is cut-off event [INFO]: existing Event has 167 ancestors and is cut-off event [INFO]: existing Event has 167 ancestors and is cut-off event [INFO]: existing Event has 167 ancestors and is cut-off event [INFO]: 7602/20273 cut-off events. [INFO]: For 85972/88832 co-relation queries the response was YES. [INFO]: Finished finitePrefix Result has 67651 conditions, 20273 events. 7602/20273 cut-off events. For 85972/88832 co-relation queries the response was YES. Maximal size of possible extension queue 813. Compared 226462 event pairs, 6931 based on Foata normal form. 486/15882 useless extension candidates. Maximal degree in co-relation 66226. Up to 8061 conditions per place. [INFO]: OwickiGriesTestSuite setup time: 9781ms [INFO]: Constructing Owicki-Gries proof for Petri program that has 239 places, 235 transitions, 498 flow.