
Verbose level: 1
Formula E[{}]F(r) does not hold

Encoding time: 0.014 sec
Verification time: 0.045 sec
Encoding memory: 13.46 MB
Memory (total): 27.76 MB
TOTAL time: 0.059 sec
STAT; 0.014 ; 0.045 ; 13.46 ; 27.76 ; 0.059
