Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Ntelos_4.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 241
Problem file: dataND/zoo_json_MF/Ntelos_4.json
Switches to update: 184

Decomposed topology into 16 subproblems
Topological decomposition took 0.103 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Minimum batches required: 3
[[44, 18, 37, 34, 27, 31, 32, 33, 9, 8, 15, 14, 91, 65, 84, 81, 74, 78, 79, 80, 56, 55, 62, 61, 138, 112, 131, 128, 121, 125, 126, 127, 103, 102, 109, 108, 185, 159, 178, 175, 168, 172, 173, 174, 150, 149, 156, 155, 232, 206, 225, 222, 215, 219, 220, 221, 197, 196, 203, 202, 279, 253, 272, 269, 262, 266, 267, 268, 244, 243, 250, 249, 326, 300, 319, 316, 309, 313, 314, 315, 291, 290, 297, 296, 373, 347, 366, 363, 356, 360, 361, 362, 338, 337, 344, 343], [10, 42, 16, 57, 89, 63, 104, 136, 110, 151, 183, 157, 198, 230, 204, 245, 277, 251, 292, 324, 298, 339, 371, 345], [41, 45, 46, 7, 4, 5, 11, 19, 88, 92, 93, 54, 51, 52, 58, 66, 135, 139, 140, 101, 98, 99, 105, 113, 182, 186, 187, 148, 145, 146, 152, 160, 229, 233, 234, 195, 192, 193, 199, 207, 276, 280, 281, 242, 239, 240, 246, 254, 323, 327, 328, 289, 286, 287, 293, 301, 370, 374, 375, 336, 333, 334, 340, 348]]
Total program runtime: 1.376 seconds

real 1.67
user 3.90
sys 0.58
