
Verbose level: 1
Formula A[{act1}]F(in1) holds

Encoding time: 0.045 sec
Verification time: 385.8 sec
Encoding memory: 17.69 MB
Memory (total): 476.2 MB
TOTAL time: 385.8 sec
STAT; 0.045 ; 385.8 ; 17.69 ; 476.2 ; 385.8
