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

Encoding time: 0.045 sec
Verification time: 0.098 sec
Encoding memory: 17.63 MB
Memory (total): 30.91 MB
TOTAL time: 0.143 sec
STAT; 0.045 ; 0.098 ; 17.63 ; 30.91 ; 0.143
