
Testing alice_full1.dfg
Exit [0]
45.79 user, 0.45 system, 63.48 elapsed -- Max VSize = 11912KB, Max RSS = 10456KB
Testing alice_full2.dfg
Exit [0]
62.84 user, 0.41 system, 73.62 elapsed -- Max VSize = 12448KB, Max RSS = 11016KB
Testing alice_full3.dfg
Exit [0]
0.29 user, 0.02 system, 0.61 elapsed -- Max VSize = 3348KB, Max RSS = 1876KB
Testing needham_preuve.dfg
Exit [0]
0.20 user, 0.01 system, 0.51 elapsed -- Max VSize = 3356KB, Max RSS = 1880KB
Testing needham_saturation.dfg
Exit [0]
0.27 user, 0.03 system, 0.61 elapsed -- Max VSize = 3348KB, Max RSS = 1944KB
