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

Encoding time: 0.097 sec
Verification time: 13.15 sec
Encoding memory: 25.73 MB
Memory (total): 306.1 MB
TOTAL time: 13.25 sec
STAT; 0.097 ; 13.15 ; 25.73 ; 306.1 ; 13.25
