Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Ntelos_4.json -R -O -V Low
DFA generation time: 0.26 seconds 
DFA states: 513 
DFA transitions: 2536
Problem file: data/zoo_json_waypoint8/Ntelos_4.json
Switches to update: 176

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

real 2.38
user 6.26
sys 0.81
