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

Encoding time: 0.045 sec
Verification time: 673.8 sec
Encoding memory: 12.94 MB
Memory (total): 486.8 MB
TOTAL time: 673.9 sec
STAT; 0.045 ; 673.8 ; 12.94 ; 486.8 ; 673.9
