22:11:57: 
 The unfolding time is 84.517 sec.

22:11:57: The size of the flat net: 
 Place number: 853
 Transition number: 177,670
 Standard arc number: 1,064,308
 Read arc number: 0
 Inhibitor arc number: 0
 Equal arc number: 0
 Reset arc number: 0
 Modifier arc number: 0

22:11:57: changed 'JPF-race' to 'JPF_race'
22:12:07: Finished export in 00:01:38.555 



marcie --net-file=JPF-race.candl --dead-check --Live-trans=JPC-race-live-transitions.txt 
marcie --net-file=JPF-race.candl --Live-trans=JPC-race-live-transitions.txt

() Unfolding complete |P|=853 |T|=177,670  |A|=1,064,308
Time for unfolding: 0m 3.650sec

Net: JPF_race
(NrP: 853  NrTr: 177670 NrArc: 1064308)

RS generation: 0m17.369sec

-> reachability set: #nodes 902 (9.0e+02) #states 28

-> no reachable dead states

check if the net has reachable dead states: 0m11.045sec

 895
iterations count:177731 (1), effective:9 (0)
 895
iterations count:177726 (1), effective:9 (0)
 892
iterations count:177731 (1), effective:9 (0)
 892
iterations count:177719 (1), effective:9 (0)
-> the net is not live

analysis based on terminal SCCs: 1m21.246sec

Total processing time: 2m28.432sec

live transitions:
t_start_constant (t_start_constant)
do_something_main_constant (do_something_main_constant)
exception_0 (exception_0)
print_c_constant (print_c_constant)
end_main_constant (end_main_constant)
assign_42_0 (assign_42_0)
do_something_race_constant (do_something_race_constant)
assign_0_42 (assign_0_42)
compute_10_42 (compute_10_42)
main_start_constant (main_start_constant)
repeat_constant (repeat_constant)