Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Geant2010_4.json -E -C -R -O -V Low
DFA generation time: 0.042 seconds 
DFA states: 33 
DFA transitions: 208
Problem file: data/zoo_json_waypoint4/Geant2010_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.08 seconds
Subproblem verification time: 6.324 seconds
Subproblem verification time: 0.132 seconds
Subproblem verification time: 0.133 seconds
Subproblem verification time: 0.132 seconds
Subproblem verification time: 0.147 seconds
Subproblem verification time: 0.128 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.133 seconds
Minimum batches required: 3
[[19, 20, 5, 3, 27, 36, 35, 56, 57, 42, 40, 64, 73, 72, 93, 94, 79, 77, 101, 110, 109, 130, 131, 116, 114, 138, 147, 146, 167, 168, 153, 151, 175, 184, 183, 204, 205, 190, 188, 212, 221, 220, 241, 242, 227, 225, 249, 258, 257, 278, 279, 264, 262, 286, 295, 294], [2, 39, 76, 113, 150, 187, 224, 261], [13, 9, 26, 4, 50, 46, 63, 41, 87, 83, 100, 78, 124, 120, 137, 115, 161, 157, 174, 152, 198, 194, 211, 189, 235, 231, 248, 226, 272, 268, 285, 263]]
Total program runtime: 7.891 seconds

real 8.19
user 9.95
sys 0.50
