Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Intellifiber_4.json -R -O -V Low
DFA generation time: 0.029 seconds 
DFA states: 7 
DFA transitions: 501
Problem file: data/zoo_json_cond_enf1/Intellifiber_4.json
Switches to update: 224

Decomposed topology into 14 subproblems
Topological decomposition took 0.127 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.238 seconds
Minimum batches required: 4
[[2, 3, 0, 46, 7, 32, 41, 44, 13, 38, 74, 75, 72, 118, 79, 104, 113, 116, 85, 110, 146, 147, 144, 190, 151, 176, 185, 188, 157, 182, 218, 219, 216, 262, 223, 248, 257, 260, 229, 254, 290, 291, 288, 334, 295, 320, 329, 332, 301, 326, 362, 363, 360, 406, 367, 392, 401, 404, 373, 398, 434, 435, 432, 550, 478, 439, 464, 506, 511, 536, 473, 476, 445, 470, 507, 504, 545, 548, 517, 542], [66, 15, 6, 138, 87, 78, 210, 159, 150, 282, 231, 222, 354, 303, 294, 426, 375, 366, 498, 519, 510, 570, 438], [67, 68, 70, 71, 5, 42, 17, 16, 23, 24, 48, 14, 27, 28, 40, 139, 140, 142, 143, 77, 114, 89, 88, 95, 96, 120, 86, 99, 100, 112, 211, 212, 214, 215, 149, 186, 161, 160, 167, 168, 192, 158, 171, 172, 184, 283, 284, 286, 287, 221, 258, 233, 232, 239, 240, 264, 230, 243, 244, 256, 355, 356, 358, 359, 293, 330, 305, 304, 311, 312, 336, 302, 315, 316, 328, 427, 428, 430, 431, 365, 402, 377, 376, 383, 384, 408, 374, 387, 388, 400, 499, 500, 502, 503, 447], [437, 474, 449, 448, 455, 456, 480, 446, 459, 460, 472, 571, 572, 574, 575, 509, 546, 521, 520, 527, 528, 552, 518, 531, 532, 544]]
Total program runtime: 1.817 seconds

real 2.15
user 4.32
sys 0.65
