0.19/0.20 c cpHydra_k_40 version 0.0
6.63/6.77 c CASE TO CLASSIFY:
6.63/6.77 c Case: 0
6.63/6.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.522400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.667800 | c 14 > 13.225800 | c 11 > 5.321930 | c 12 > 11.305000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.63/6.79 c choco : 1801.0
6.63/6.79 c mistral : 1801.0
6.63/6.79 c abscon : 1801.0
6.63/6.79 c
6.63/6.79 c
6.72/6.86 c List of same ones: 40
6.72/6.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-65_ext.xml
6.72/6.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.458600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.454600 | c 14 > 13.230300 | c 11 > 5.321930 | c 12 > 11.306900 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.72/6.86 c choco : 1801.0
6.72/6.86 c mistral : 60.88
6.72/6.86 c abscon : 49.7224
6.72/6.86 c
6.72/6.86 c
6.72/6.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-5_ext.xml
6.72/6.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.423000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.834500 | c 14 > 13.295800 | c 11 > 5.321930 | c 12 > 11.424400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.72/6.87 c choco : 1801.0
6.72/6.87 c mistral : 0.369943
6.72/6.87 c abscon : 4.5953
6.72/6.87 c
6.72/6.87 c
6.72/6.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-63_ext.xml
6.72/6.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.322700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.441400 | c 14 > 13.136200 | c 11 > 5.321930 | c 12 > 10.871000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.72/6.88 c choco : 34.53
6.72/6.88 c mistral : 7.55
6.72/6.88 c abscon : 1.22481
6.72/6.88 c
6.72/6.88 c
6.72/6.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-67_ext.xml
6.72/6.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.054900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.599600 | c 14 > 12.837400 | c 11 > 5.321930 | c 12 > 11.041800 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.72/6.89 c choco : 58.67
6.72/6.89 c mistral : 6.70398
6.72/6.89 c abscon : 0.998847
6.72/6.89 c
6.72/6.89 c
6.72/6.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-51_ext.xml
6.72/6.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.983300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.542100 | c 14 > 12.838400 | c 11 > 5.321930 | c 12 > 11.034000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.90 c choco : 12.72
6.81/6.90 c mistral : 7.22
6.81/6.90 c abscon : 3.41048
6.81/6.90 c
6.81/6.90 c
6.81/6.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-61_ext.xml
6.81/6.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.999600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.573600 | c 14 > 12.781400 | c 11 > 5.321930 | c 12 > 10.779700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.91 c choco : 8.0
6.81/6.91 c mistral : 3.90441
6.81/6.91 c abscon : 1.41278
6.81/6.91 c
6.81/6.91 c
6.81/6.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-77_ext.xml
6.81/6.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.882200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.577100 | c 14 > 12.737700 | c 11 > 5.321930 | c 12 > 10.912000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.92 c choco : 1801.0
6.81/6.92 c mistral : 11.08
6.81/6.92 c abscon : 8.17476
6.81/6.92 c
6.81/6.92 c
6.81/6.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-11_ext.xml
6.81/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.009300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614300 | c 14 > 12.805300 | c 11 > 5.321930 | c 12 > 10.695700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.92 c choco : 6.34
6.81/6.92 c mistral : 4.72
6.81/6.92 c abscon : 2.32765
6.81/6.92 c
6.81/6.92 c
6.81/6.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-19_ext.xml
6.81/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.887100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.150700 | c 14 > 12.759300 | c 11 > 5.321930 | c 12 > 10.802400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.93 c choco : 36.89
6.81/6.93 c mistral : 7.54
6.81/6.93 c abscon : 1.05484
6.81/6.93 c
6.81/6.93 c
6.81/6.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-43_ext.xml
6.81/6.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.752400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.292900 | c 14 > 12.595300 | c 11 > 5.321930 | c 12 > 10.836700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.94 c choco : 1801.0
6.81/6.94 c mistral : 12.34
6.81/6.94 c abscon : 1.04284
6.81/6.94 c
6.81/6.94 c
6.81/6.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-1_ext.xml
6.81/6.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.891300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.026600 | c 14 > 12.683900 | c 11 > 5.321930 | c 12 > 10.641300 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.13 c choco : 14.75
6.99/7.13 c mistral : 2.38
6.99/7.13 c abscon : 6.38503
6.99/7.13 c
6.99/7.13 c
6.99/7.13 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-21_ext.xml
6.99/7.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.796400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.069700 | c 14 > 12.721500 | c 11 > 5.321930 | c 12 > 10.646300 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.14 c choco : 33.0
6.99/7.14 c mistral : 6.82
6.99/7.14 c abscon : 22.3296
6.99/7.14 c
6.99/7.14 c
6.99/7.14 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-37_ext.xml
6.99/7.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.786000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.075400 | c 14 > 12.635900 | c 11 > 5.321930 | c 12 > 10.679200 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.15 c choco : 1801.0
6.99/7.15 c mistral : 15.31
6.99/7.15 c abscon : 15.3267
6.99/7.15 c
6.99/7.15 c
6.99/7.15 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-17_ext.xml
6.99/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.808100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.198500 | c 14 > 12.572900 | c 11 > 5.321930 | c 12 > 10.562600 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.16 c choco : 71.12
6.99/7.16 c mistral : 4.4
6.99/7.16 c abscon : 4.14537
6.99/7.16 c
6.99/7.16 c
6.99/7.16 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-15_ext.xml
6.99/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.710400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.276100 | c 14 > 12.415200 | c 11 > 5.321930 | c 12 > 10.739600 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.16 c choco : 42.94
6.99/7.16 c mistral : 7.97
6.99/7.16 c abscon : 7.44787
6.99/7.16 c
6.99/7.16 c
6.99/7.16 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-71_ext.xml
6.99/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.853400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.959060 | c 14 > 12.608500 | c 11 > 5.321930 | c 12 > 10.443800 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.17 c choco : 66.85
6.99/7.17 c mistral : 14.08
6.99/7.17 c abscon : 13.164
6.99/7.17 c
6.99/7.17 c
6.99/7.17 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-35_ext.xml
6.99/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.768500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.236400 | c 14 > 12.464300 | c 11 > 5.321930 | c 12 > 10.348100 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.18 c choco : 19.04
6.99/7.18 c mistral : 2.35
6.99/7.18 c abscon : 1.85972
6.99/7.18 c
6.99/7.18 c
6.99/7.18 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-45_ext.xml
6.99/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.629500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.995320 | c 14 > 12.351800 | c 11 > 5.321930 | c 12 > 10.514000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.19 c choco : 43.97
6.99/7.19 c mistral : 7.27
6.99/7.19 c abscon : 3.50747
6.99/7.19 c
6.99/7.19 c
6.99/7.19 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-13_ext.xml
6.99/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.649000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.076800 | c 14 > 12.398500 | c 11 > 5.321930 | c 12 > 10.378100 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.19 c choco : 74.09
6.99/7.19 c mistral : 8.41
6.99/7.19 c abscon : 7.31089
6.99/7.19 c
6.99/7.19 c
6.99/7.19 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-59_ext.xml
6.99/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.587800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.323600 | c 14 > 12.303800 | c 11 > 5.321930 | c 12 > 10.354700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.20 c choco : 22.96
7.07/7.20 c mistral : 3.31
7.07/7.20 c abscon : 3.69844
7.07/7.20 c
7.07/7.20 c
7.07/7.20 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-7_ext.xml
7.07/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.688800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.140700 | c 14 > 12.440600 | c 11 > 5.321930 | c 12 > 10.215800 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.21 c choco : 16.26
7.07/7.21 c mistral : 2.02369
7.07/7.21 c abscon : 3.55646
7.07/7.21 c
7.07/7.21 c
7.07/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-31_ext.xml
7.07/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.767000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.678150 | c 14 > 12.608500 | c 11 > 5.321930 | c 12 > 10.346000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.21 c choco : 1801.0
7.07/7.21 c mistral : 24.78
7.07/7.21 c abscon : 23.9914
7.07/7.21 c
7.07/7.21 c
7.07/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-29_ext.xml
7.07/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.790400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.757920 | c 14 > 12.553400 | c 11 > 5.321930 | c 12 > 10.278300 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.22 c choco : 1801.0
7.07/7.22 c mistral : 28.86
7.07/7.22 c abscon : 27.8598
7.07/7.22 c
7.07/7.22 c
7.07/7.22 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-23_ext.xml
7.07/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.819200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.650340 | c 14 > 12.556000 | c 11 > 5.321930 | c 12 > 10.260700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.23 c choco : 1801.0
7.07/7.23 c mistral : 44.01
7.07/7.23 c abscon : 33.9328
7.07/7.23 c
7.07/7.23 c
7.07/7.23 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-79_ext.xml
7.07/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.709300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.795510 | c 14 > 12.490900 | c 11 > 5.321930 | c 12 > 10.209000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.23 c choco : 1801.0
7.07/7.23 c mistral : 21.31
7.07/7.23 c abscon : 18.4882
7.07/7.23 c
7.07/7.23 c
7.07/7.23 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-69_ext.xml
7.07/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.670000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.842690 | c 14 > 12.390400 | c 11 > 5.321930 | c 12 > 10.211900 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.24 c choco : 74.54
7.07/7.24 c mistral : 2.13
7.07/7.24 c abscon : 8.5777
7.07/7.24 c
7.07/7.24 c
7.07/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-75_ext.xml
7.07/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.733500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.753910 | c 14 > 12.491400 | c 11 > 5.321930 | c 12 > 10.150200 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.24 c choco : 110.36
7.07/7.24 c mistral : 16.71
7.07/7.24 c abscon : 14.6908
7.07/7.24 c
7.07/7.24 c
7.07/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-39_ext.xml
7.07/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.723100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.950350 | c 14 > 12.332300 | c 11 > 5.321930 | c 12 > 10.054800 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.25 c choco : 20.0
7.07/7.25 c mistral : 4.93
7.07/7.25 c abscon : 4.99224
7.07/7.25 c
7.07/7.25 c
7.07/7.25 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-47_ext.xml
7.07/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.457900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.979570 | c 14 > 12.256800 | c 11 > 5.321930 | c 12 > 10.259400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.25 c choco : 13.27
7.07/7.25 c mistral : 3.56
7.07/7.25 c abscon : 4.70028
7.07/7.25 c
7.07/7.25 c
7.07/7.25 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-27_ext.xml
7.07/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.654000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.596420 | c 14 > 12.399800 | c 11 > 5.321930 | c 12 > 10.264100 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.26 c choco : 1801.0
7.07/7.26 c mistral : 11.82
7.07/7.26 c abscon : 12.5101
7.07/7.26 c
7.07/7.26 c
7.07/7.26 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-33_ext.xml
7.07/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.613300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.777540 | c 14 > 12.291200 | c 11 > 5.321930 | c 12 > 10.068700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.26 c choco : 44.26
7.07/7.26 c mistral : 8.45
7.07/7.26 c abscon : 6.88795
7.07/7.26 c
7.07/7.26 c
7.07/7.26 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
7.07/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.659600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.558900 | c 14 > 13.256400 | c 11 > 5.321930 | c 12 > 11.284800 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.27 c choco : 39.98
7.07/7.27 c mistral : 9.94
7.07/7.27 c abscon : 3.04653
7.07/7.27 c
7.07/7.27 c
7.07/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
7.07/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.698300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.644400 | c 14 > 13.249300 | c 11 > 5.321930 | c 12 > 11.186400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.27 c choco : 75.44
7.07/7.27 c mistral : 10.98
7.07/7.27 c abscon : 15.8256
7.07/7.27 c
7.07/7.27 c
7.07/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-11_ext.xml
7.07/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.621400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.498700 | c 14 > 13.231200 | c 11 > 5.321930 | c 12 > 11.217300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.28 c choco : 107.74
7.07/7.28 c mistral : 12.15
7.07/7.28 c abscon : 14.1808
7.07/7.28 c
7.07/7.28 c
7.07/7.28 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-49_ext.xml
7.07/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.609000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.468100 | c 14 > 13.254100 | c 11 > 5.321930 | c 12 > 11.296500 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.29 c choco : 9.03
7.07/7.29 c mistral : 5.29
7.07/7.29 c abscon : 17.4743
7.07/7.29 c
7.07/7.29 c
7.07/7.29 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
7.07/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.665900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.596600 | c 14 > 13.208400 | c 11 > 5.321930 | c 12 > 11.128600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.07/7.29 c choco : 113.11
7.07/7.29 c mistral : 12.51
7.07/7.29 c abscon : 16.0916
7.07/7.29 c
7.07/7.29 c
7.07/7.29 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
7.07/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.658500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.525500 | c 14 > 13.362200 | c 11 > 5.321930 | c 12 > 11.309100 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.30 c choco : 1801.0
7.13/7.30 c mistral : 47.03
7.13/7.30 c abscon : 58.995
7.13/7.30 c
7.13/7.30 c
7.13/7.30 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-9_ext.xml
7.13/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.480000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.464100 | c 14 > 13.079300 | c 11 > 5.321930 | c 12 > 11.272500 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.31 c choco : 13.6
7.13/7.31 c mistral : 2.19
7.13/7.31 c abscon : 4.18936
7.13/7.31 c
7.13/7.31 c
7.13/7.31 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
7.13/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.751000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614300 | c 14 > 13.346700 | c 11 > 5.321930 | c 12 > 11.306600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.31 c choco : 1801.0
7.13/7.31 c mistral : 8.61
7.13/7.31 c abscon : 11.4753
7.13/7.31 c
7.13/7.31 c
7.13/7.31 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
7.13/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.679600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.446400 | c 14 > 13.252800 | c 11 > 5.321930 | c 12 > 11.249400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.32 c choco : 106.5
7.13/7.32 c mistral : 21.44
7.13/7.32 c abscon : 23.7804
7.13/7.32 c
7.13/7.32 c
7.13/7.32 c Length: 40
7.13/7.32 c 0.2225950134212361 0.23838122828780145 0.5362100428003929 0.6658350321213204 0.7279760023517262 0.8692668922718727 0.9004294197770298 0.902330648930867 1.0682825047710924 1.1620177064055428 1.2424081253758767 1.2541944785399124 1.2778225111493378 1.3068676864931663 1.3377303203560877 1.4396520821365146 1.500003676662161 1.624517393074017 1.6296249445808069 1.6568358065903805 1.6660189224615667 1.6884242868722306 1.6940898041131107 1.7518303632486802 1.7785711861210398 1.8166323354217824 1.8249560384020218 1.8748219335446237 1.9076323395507853 1.915129884472591 2.0052282981246803 2.0428026024312778 2.046245733654685 2.046248098960632 2.0467700927314727 2.048925677641822 2.049002023547073 2.051054600077726 2.0520123300068156 2.053914599612165
7.13/7.32 c
7.13/7.32 c 1.0 0.9914535405294447 0.8537880702271181 0.8051314998529913 0.7837202616752771 0.739033855453659 0.7298553981265175 0.7293027928516466 0.6840921720211731 0.660949089330696 0.6423129962986477 0.6396686575379124 0.6344326050987424 0.6281123776388184 0.6215332162265522 0.6007523982456411 0.5890896338480592 0.5664035063064167 0.5655101700353976 0.5607979560769287 0.5592253527208251 0.5554252064888007 0.5544724520423484 0.5449455881714282 0.5406435447463398 0.5346361372771025 0.5333401074731894 0.5257055081284139 0.5208002577253807 0.5196921746944374 0.5067358794133134 0.5015215547697897 0.5010491009932421 0.5010487767406347 0.5009772284648805 0.5006819845568589 0.5006715340711959 0.5003907338939543 0.5002598205847444 0.5
7.13/7.33 c
7.13/7.33 c solver 0
7.13/7.33 c before 0.0 seconds: {} 0
7.13/7.33 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38} 19592
7.13/7.33 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 22927
7.13/7.33 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 23927
7.13/7.33 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24428
7.13/7.33 c
7.13/7.33 c solver 1
7.13/7.33 c before 0.0 seconds: {} 0
7.13/7.33 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38} 20232
7.13/7.33 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 22382
7.13/7.33 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23428
7.13/7.33 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24428
7.13/7.33 c
7.13/7.33 c solver 2
7.13/7.33 c before 0.0 seconds: {} 0
7.13/7.34 c before 18.0 seconds: {4, 5, 7, 10, 20, 28, 34, 37} 4975
7.13/7.34 c before 36.0 seconds: {2, 4, 5, 7, 10, 11, 16, 19, 20, 27, 28, 34, 37} 8144
7.13/7.34 c before 54.0 seconds: {2, 4, 5, 7, 8, 10, 11, 14, 16, 17, 19, 20, 27, 28, 30, 31, 34, 37} 11025
7.13/7.34 c before 72.0 seconds: {2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 15, 16, 17, 19, 20, 27, 28, 30, 31, 34, 37} 13059
7.13/7.34 c before 90.0 seconds: {2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 25, 27, 28, 30, 31, 32, 34, 37} 14660
7.13/7.34 c before 108.0 seconds: {2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 25, 27, 28, 30, 31, 32, 33, 34, 37, 39} 15661
7.13/7.34 c before 126.0 seconds: {2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 37, 39} 16695
7.13/7.34 c
7.13/7.34 cTotal time: 15
7.13/7.34 c 270.0 seconds unused
7.13/7.34 c 0 c 0 c 12
7.13/7.34 c 0 c 0 c 12
7.13/7.34 c 0 c 0 c 0
7.13/7.34 c is solver0 dominated by:
7.13/7.34 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: true) (0 < 1: false)
7.13/7.34 c is dominated? true
7.13/7.34 c
7.13/7.34 c is solver1 dominated by:
7.13/7.34 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: true) (1 < 0: true)
7.13/7.34 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.13/7.34 c is dominated? false
7.13/7.34 c
7.13/7.34 c is solver2 dominated by:
7.13/7.34 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.13/7.34 c is dominated? true
7.13/7.34 c
7.13/7.34 c Number of non-dominated solvers: 1
7.13/7.34 c remove dominated solvers
7.13/7.34 c solver 1 is not dominated by another solver
7.13/7.34 c solver 2 is dominated by another solver
7.13/7.34 c solver 0 is dominated by another solver
7.13/7.34 c
7.13/7.34 c solver 0: 0.0
7.13/7.34 c
7.13/7.34 c solver 1: 72.0
7.13/7.34 c
7.13/7.34 c+ 4/4 of 96
7.13/7.34 c
7.13/7.34 c solver 2: 0.0
7.13/7.34 c do not run abscon
7.13/7.34 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24428
7.13/7.34 c do not run choco
7.13/7.34 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.13/7.34 c On Instance: HOME/instance-1100155-1215286619.xml
7.13/7.34 c Running for: 1800 seconds
11.77/12.06 c mistral-prime version 1.313
11.77/12.06 s SATISFIABLE
11.77/12.06 v 17 26 37 37 4 38 0 36 21 12 24 38 27 2 8 31 35 29 11 6 39 32 37 4 6 13 21 29 1 5 17 9 15 32 1 34 3 16 18 4
11.77/12.06 d CHECKS 9701097
11.77/12.06 d ASSIGNMENTS 31349