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

Encoding time: 0.036 sec
Verification time: 130 sec
Encoding memory: 12.91 MB
Memory (total): 136.8 MB
TOTAL time: 130 sec
STAT; 0.036 ; 130 ; 12.91 ; 136.8 ; 130