Proj2D - Myproblem.pb
INFORMATIONS ABOUT SIMULATION

- Hull of boxes 
 *Red boxes : Empty
 *Yellow boxes : [-15,15]x[-15,15]

- Volume of boxes 
 *Red boxes : 0
 *Yellow boxes : 20.1682696417105

- Number of bisections 
 *For projected variables (P) : 4299
 *For quantified variables (Q) : 0

- Number of contractions : 16918

END OF INFOS.