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

Encoding time: 0.007 sec
Verification time: 9.53 sec
Encoding memory: 11.63 MB
Memory (total): 71.54 MB
TOTAL time: 9.537 sec
STAT; 0.007 ; 9.53 ; 11.63 ; 71.54 ; 9.537
