
Testing alice_full1.h1.dfg
Killed [9]
3596.83 user, 2.62 system, 3700.85 elapsed -- Max VSize = 67092KB, Max RSS = 65688KB
Testing alice_full2.h1.dfg
Testing alice_full2.h1.dfg
Killed [9]
3596.21 user, 3.25 system, 3700.72 elapsed -- Max VSize = 69676KB, Max RSS = 68248KB
Testing alice_full3.h1.dfg
Killed [9]
3598.24 user, 1.21 system, 3696.79 elapsed -- Max VSize = 34068KB, Max RSS = 32680KB
Testing needham_preuve.h1.dfg
Killed [9]
3598.20 user, 1.26 system, 3708.09 elapsed -- Max VSize = 35292KB, Max RSS = 33768KB
Testing needham_saturation.h1.dfg
Killed [9]
3598.49 user, 0.96 system, 3737.95 elapsed -- Max VSize = 33660KB, Max RSS = 32208KB
