Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Intellifiber_4.json -R -O -V Low
DFA generation time: 0.04 seconds 
DFA states: 19 
DFA transitions: 1013
Problem file: data/zoo_json_cond_enf2/Intellifiber_4.json
Switches to update: 224

Decomposed topology into 12 subproblems
Topological decomposition took 0.172 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 5.181 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, 550, 478, 406, 367, 392, 434, 439, 464, 506, 511, 536, 401, 404, 373, 398, 435, 432, 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, 519, 510, 570, 438, 498, 375, 366], [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, 447], [365, 402, 377, 376, 383, 384, 408, 374, 387, 388, 400, 499, 500, 502, 503, 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: 6.759 seconds

real 7.10
user 9.19
sys 0.76
