Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Intellifiber_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 7 
DFA transitions: 245
Problem file: data/zoo_json_cond_enf1/Intellifiber_3.json
Switches to update: 108

Decomposed topology into 4 subproblems
Topological decomposition took 0.064 seconds
Subproblem verification time: 0.2 seconds
Subproblem verification time: 0.047 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.047 seconds
Minimum batches required: 4
[[9, 48, 17, 46, 42, 5, 6, 1, 71, 70, 68, 67, 81, 120, 89, 118, 114, 77, 78, 73, 143, 142, 140, 139, 153, 192, 161, 190, 186, 149, 150, 145, 215, 214, 212, 211, 225, 264, 233, 262, 258, 221, 222, 217, 287, 286, 284, 283], [16, 24, 29, 88, 96, 101, 160, 168, 173, 232, 240, 245], [44, 116, 188, 260], [26, 61, 23, 41, 7, 36, 35, 62, 31, 3, 2, 98, 133, 95, 113, 79, 108, 107, 134, 103, 75, 74, 170, 205, 167, 185, 151, 180, 179, 206, 175, 147, 146, 242, 277, 239, 257, 223, 252, 251, 278, 247, 219, 218]]
Total program runtime: 1.031 seconds

real 1.37
user 2.81
sys 0.28
