
[0.00,20.00) X [1.00,2.00) X [0.00,0.20): Err 146.25%
[0.00,20.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[0.00,20.00) X [1.00,2.00) X [1.20,5.00): Err 314.43%
[0.00,20.00) X [1.00,2.00) X [-5.00,-1.20): Err 135.96%
[0.00,20.00) X [-2.00,-1.00) X [0.00,0.20): Err 25.68%
[0.00,20.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[0.00,20.00) X [-2.00,-1.00) X [1.00,1.10): Err 120.56%
[0.00,20.00) X [-2.00,-1.00) X [1.20,5.00): Err 436.15%
[0.00,20.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[-100.00,-80.00) X [1.00,2.00) X [0.00,0.20): Err 0.00%
[-100.00,-80.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[-100.00,-80.00) X [1.00,2.00) X [1.20,5.00): Err 0.00%
[-100.00,-80.00) X [1.00,2.00) X [-5.00,-1.20): Err 0.00%
[-100.00,-80.00) X [-2.00,-1.00) X [0.00,0.20): Err 0.00%
[-100.00,-80.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[-100.00,-80.00) X [-2.00,-1.00) X [1.00,1.10): Err 0.00%
[-100.00,-80.00) X [-2.00,-1.00) X [1.20,5.00): Err 0.00%
[-100.00,-80.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[20.00,40.00) X [1.00,2.00) X [0.00,0.20): Err 85.37%
[20.00,40.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[20.00,40.00) X [1.00,2.00) X [1.20,5.00): Err 183.93%
[20.00,40.00) X [1.00,2.00) X [-5.00,-1.20): Err 62.26%
[20.00,40.00) X [-2.00,-1.00) X [0.00,0.20): Err 32.09%
[20.00,40.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[20.00,40.00) X [-2.00,-1.00) X [1.00,1.10): Err 53.28%
[20.00,40.00) X [-2.00,-1.00) X [1.20,5.00): Err 237.50%
[20.00,40.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[-20.00,-5.00) X [1.00,2.00) X [0.00,0.20): Err 0.00%
[-20.00,-5.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[-20.00,-5.00) X [1.00,2.00) X [1.20,5.00): Err 0.00%
[-20.00,-5.00) X [-2.00,-1.00) X [0.00,0.20): Err 0.00%
[-20.00,-5.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[-20.00,-5.00) X [-2.00,-1.00) X [1.00,1.10): Err 0.00%
[-20.00,-5.00) X [-2.00,-1.00) X [1.20,5.00): Err 0.00%
[-20.00,-5.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[-40.00,-20.00) X [1.00,2.00) X [0.00,0.20): Err 0.00%
[-40.00,-20.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[-40.00,-20.00) X [1.00,2.00) X [1.20,5.00): Err 0.00%
[-40.00,-20.00) X [1.00,2.00) X [-5.00,-1.20): Err 0.00%
[-40.00,-20.00) X [-2.00,-1.00) X [0.00,0.20): Err 0.00%
[-40.00,-20.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[-40.00,-20.00) X [-2.00,-1.00) X [1.00,1.10): Err 0.00%
[-40.00,-20.00) X [-2.00,-1.00) X [1.20,5.00): Err 0.00%
[-40.00,-20.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[40.00,60.00) X [1.00,2.00) X [0.00,0.20): Err 58.76%
[40.00,60.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[40.00,60.00) X [1.00,2.00) X [1.20,5.00): Err 126.25%
[40.00,60.00) X [-2.00,-1.00) X [0.00,0.20): Err 34.89%
[40.00,60.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[40.00,60.00) X [-2.00,-1.00) X [1.00,1.10): Err 23.86%
[40.00,60.00) X [-2.00,-1.00) X [1.20,5.00): Err 150.65%
[40.00,60.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[-5.00,0.00) X [1.00,2.00) X [0.00,0.20): Err 0.00%
[-5.00,0.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[-5.00,0.00) X [1.00,2.00) X [1.20,5.00): Err 0.00%
[-5.00,0.00) X [-2.00,-1.00) X [1.00,1.10): Err 0.00%
[-5.00,0.00) X [-2.00,-1.00) X [1.20,5.00): Err 0.00%
[-5.00,0.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[-60.00,-40.00) X [1.00,2.00) X [0.00,0.20): Err 0.00%
[-60.00,-40.00) X [1.00,2.00) X [-1.00,-0.80): Err 0.00%
[-60.00,-40.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[-60.00,-40.00) X [1.00,2.00) X [1.20,5.00): Err 0.00%
[-60.00,-40.00) X [-2.00,-1.00) X [0.00,0.20): Err 0.00%
[-60.00,-40.00) X [-2.00,-1.00) X [1.00,1.10): Err 0.00%
[-60.00,-40.00) X [-2.00,-1.00) X [1.20,5.00): Err 0.00%
[-60.00,-40.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[60.00,80.00) X [1.00,2.00) X [0.00,0.20): Err 98.05%
[60.00,80.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[60.00,80.00) X [1.00,2.00) X [1.20,5.00): Err 210.38%
[60.00,80.00) X [1.00,2.00) X [-5.00,-1.20): Err 77.61%
[60.00,80.00) X [-2.00,-1.00) X [0.00,0.20): Err 30.76%
[60.00,80.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[60.00,80.00) X [-2.00,-1.00) X [1.00,1.10): Err 67.29%
[60.00,80.00) X [-2.00,-1.00) X [1.20,5.00): Err 278.87%
[60.00,80.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[80.00,100.00) X [1.00,2.00) X [0.00,0.20): Err 54.15%
[80.00,100.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[80.00,100.00) X [1.00,2.00) X [1.20,5.00): Err 116.56%
[80.00,100.00) X [-2.00,-1.00) X [0.00,0.20): Err 35.38%
[80.00,100.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[80.00,100.00) X [-2.00,-1.00) X [1.00,1.10): Err 18.77%
[80.00,100.00) X [-2.00,-1.00) X [1.20,5.00): Err 135.61%
[80.00,100.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 0.00%
[-80.00,-60.00) X [1.00,2.00) X [0.00,0.20): Err 0.00%
[-80.00,-60.00) X [1.00,2.00) X [1.00,1.10): Err 0.00%
[-80.00,-60.00) X [1.00,2.00) X [1.20,5.00): Err 75.77%
[-80.00,-60.00) X [1.00,2.00) X [-5.00,-1.20): Err 64.74%
[-80.00,-60.00) X [-2.00,-1.00) X [0.00,0.20): Err 0.00%
[-80.00,-60.00) X [-2.00,-1.00) X [-1.00,-0.80): Err 0.00%
[-80.00,-60.00) X [-2.00,-1.00) X [1.00,1.10): Err 0.00%
[-80.00,-60.00) X [-2.00,-1.00) X [1.20,5.00): Err 51.35%
[-80.00,-60.00) X [-2.00,-1.00) X [-5.00,-1.20): Err 30.81%
Execution fell in 92 subdomains out of 2574
hamlet@ophelia:~/components/papers/issta/state$ XcompN theory2.ccfc output.datt
There were 23 subdomains with actual but no calculated values
Average error 38.85%
