0.00/0.00 c cpHydra_k_40 version 0.0
6.98/7.14 c CASE TO CLASSIFY:
6.98/7.14 c Case: 0
6.98/7.15 c 19 > 13.157900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 11.842100 | c 15 > 13.607200 | c 34 > 68.421100 | c 16 > 2.000000 | c 13 > 6.954860 | c 14 > 8.748190 | c 11 > 6.108520 | c 12 > 5.293420 | c 21 > 5.434930 | c 20 > 86.842100 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.000000 | c 2 > -1.000000 | c 10 > 6.569860 | 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 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
6.98/7.16 c choco : 1801.0
6.98/7.16 c mistral : 1801.0
6.98/7.16 c abscon : 1801.0
6.98/7.16 c
6.98/7.16 c
7.08/7.23 c List of same ones: 40
7.08/7.23 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-add.xml
7.08/7.23 c 19 > 13.157900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 11.842100 | c 15 > 13.951200 | c 34 > 68.421100 | c 16 > 2.000000 | c 13 > 7.344490 | c 14 > 9.271460 | c 11 > 6.108520 | c 12 > 5.612570 | c 21 > 5.434930 | c 20 > 86.842100 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.000000 | c 2 > -1.000000 | c 10 > 6.569860 | 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 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
7.08/7.24 c choco : 3.95
7.08/7.24 c mistral : 0.317951
7.08/7.24 c abscon : 0.705891
7.08/7.24 c
7.08/7.24 c
7.08/7.24 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-add.xml
7.08/7.24 c 19 > 9.090910 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.181820 | c 15 > 13.555100 | c 34 > 62.727300 | c 16 > 2.000000 | c 13 > 5.784370 | c 14 > 8.339850 | c 11 > 6.714250 | c 12 > 4.175260 | c 21 > 6.324560 | c 20 > 90.909100 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.321930 | c 2 > -1.000000 | c 10 > 7.189820 | 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.861100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 6.491850 | c
7.08/7.25 c choco : 4.99
7.08/7.25 c mistral : 1.3028
7.08/7.25 c abscon : 0.764883
7.08/7.25 c
7.08/7.25 c
7.08/7.25 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-add.xml
7.08/7.25 c 19 > 6.578950 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.921050 | c 15 > 12.132500 | c 34 > 59.210500 | c 16 > 2.000000 | c 13 > 3.839120 | c 14 > 7.383700 | c 11 > 7.219170 | c 12 > 2.446170 | c 21 > 7.129060 | c 20 > 93.421100 | c 22 > 12.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.584960 | c 2 > -1.000000 | c 10 > 7.707360 | 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 > 11.601800 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.044390 | c
7.08/7.26 c choco : 10.21
7.08/7.26 c mistral : 3.03454
7.08/7.26 c abscon : 0.826873
7.08/7.26 c
7.08/7.26 c
7.08/7.26 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-add.xml
7.08/7.26 c 19 > 4.347830 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.913040 | c 15 > 12.433600 | c 34 > 56.087000 | c 16 > 2.000000 | c 13 > 2.996320 | c 14 > 6.149750 | c 11 > 7.845490 | c 12 > 1.966690 | c 21 > 8.215840 | c 20 > 95.652200 | c 22 > 15.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.906890 | c 2 > -1.000000 | c 10 > 8.348730 | 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 > 12.517900 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.714250 | c
7.08/7.27 c choco : 1801.0
7.08/7.27 c mistral : 8.38672
7.08/7.27 c abscon : 0.891864
7.08/7.27 c
7.08/7.27 c
7.08/7.27 c /home/eomahony/cpZilla/CSP/knights/knights-12-9.xml
7.08/7.27 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 10.396600 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 4.934330 | c 14 > 5.357550 | c 11 > 3.169930 | c 12 > 5.142960 | c 21 > 12.000000 | c 20 > 75.000000 | c 22 > 12.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | 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.339900 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.28 c choco : 4.64
7.08/7.28 c mistral : 2.98454
7.08/7.28 c abscon : 0.835872
7.08/7.28 c
7.08/7.28 c
7.08/7.28 c /home/eomahony/cpZilla/CSP/knights/knights-15-9.xml
7.08/7.28 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 8.915880 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 3.383360 | c 14 > 3.807350 | c 11 > 3.169930 | c 12 > 4.115480 | c 21 > 15.000000 | c 20 > 75.000000 | c 22 > 15.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | 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.983700 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.29 c choco : 10.09
7.08/7.29 c mistral : 10.5634
7.08/7.29 c abscon : 0.893863
7.08/7.29 c
7.08/7.29 c
7.08/7.29 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-add.xml
7.08/7.29 c 19 > 2.500000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.250000 | c 15 > 13.591300 | c 34 > 53.500000 | c 16 > 2.000000 | c 13 > 3.101920 | c 14 > 5.044390 | c 11 > 8.661780 | c 12 > 1.833080 | c 21 > 9.797960 | c 20 > 97.500000 | c 22 > 20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.321930 | c 2 > -1.000000 | c 10 > 9.182390 | 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 > 13.712100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 8.569860 | c
7.08/7.30 c choco : 1801.0
7.08/7.30 c mistral : 64.2982
7.08/7.30 c abscon : 1.19982
7.08/7.30 c
7.08/7.30 c
7.08/7.30 c /home/eomahony/cpZilla/CSP/queens/queens-10.xml
7.08/7.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.892900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.688250 | c 14 > 4.459430 | c 11 > 6.643860 | c 12 > 1.372950 | c 21 > 3.162280 | c 20 > 100.000000 | c 22 > 3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.321930 | c 2 > -1.000000 | c 10 > 7.087460 | 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.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.491850 | c
7.16/7.30 c choco : 1.43
7.16/7.30 c mistral : 0.014997
7.16/7.30 c abscon : 0.659899
7.16/7.30 c
7.16/7.30 c
7.16/7.30 c /home/eomahony/cpZilla/CSP/queens/queens-15.xml
7.16/7.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.255600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.467650 | c 14 > 3.459430 | c 11 > 7.813780 | c 12 > 0.957708 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.906890 | c 2 > -1.000000 | c 10 > 8.303780 | 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 > 12.210700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.714250 | c
7.16/7.31 c choco : 1.66
7.16/7.31 c mistral : 0.016996
7.16/7.31 c abscon : 0.728888
7.16/7.31 c
7.16/7.31 c
7.16/7.31 c /home/eomahony/cpZilla/CSP/queens/queens-20.xml
7.16/7.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.307100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.689940 | c 14 > 3.807350 | c 11 > 8.643860 | c 12 > 0.961623 | c 21 > 4.472140 | c 20 > 100.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.321930 | c 2 > -1.000000 | c 10 > 9.157350 | 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 > 13.479300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.569860 | c
7.16/7.32 c choco : 2.05
7.16/7.32 c mistral : 0.024995
7.16/7.32 c abscon : 0.810875
7.16/7.32 c
7.16/7.32 c
7.16/7.32 c /home/eomahony/cpZilla/CSP/queens/queens-12.xml
7.16/7.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.057300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.270910 | c 14 > 2.807350 | c 11 > 7.169930 | c 12 > 0.943817 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.584960 | c 2 > -1.000000 | c 10 > 7.636620 | 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 > 11.221600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.044390 | c
7.35/7.52 c choco : 1.53
7.35/7.52 c mistral : 0.014997
7.35/7.52 c abscon : 0.767882
7.35/7.52 c
7.35/7.52 c
7.35/7.52 c /home/eomahony/cpZilla/CSP/queens/queens-8.xml
7.35/7.52 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.308300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.433540 | c 14 > 3.000000 | c 11 > 6.000000 | c 12 > 1.285400 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.000000 | c 2 > -1.000000 | c 10 > 6.409390 | 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.409390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.807350 | c
7.35/7.54 c choco : 1.32
7.35/7.54 c mistral : 0.013997
7.35/7.54 c abscon : 0.654899
7.35/7.54 c
7.35/7.54 c
7.35/7.54 c /home/eomahony/cpZilla/CSP/knights/knights-20-9.xml
7.35/7.54 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 7.348730 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 1.576000 | c 14 > 2.000000 | c 11 > 3.169930 | c 12 > 3.415040 | c 21 > 20.000000 | c 20 > 75.000000 | c 22 > 20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | 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 > 11.813800 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.54 c choco : 1801.0
7.35/7.54 c mistral : 59.293
7.35/7.54 c abscon : 1.42378
7.35/7.54 c
7.35/7.54 c
7.35/7.54 c /home/eomahony/cpZilla/CSP/queens/queens-30.xml
7.35/7.54 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.989300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.702650 | c 14 > 7.044390 | c 11 > 9.813780 | c 12 > 1.506460 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.906890 | c 2 > -1.000000 | c 10 > 10.350900 | 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 > 15.257800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.764870 | c
7.35/7.55 c choco : 2.85
7.35/7.55 c mistral : 0.044992
7.35/7.55 c abscon : 0.928858
7.35/7.55 c
7.35/7.55 c
7.35/7.55 c /home/eomahony/cpZilla/CSP/queens/queens-50.xml
7.35/7.55 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.313500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.411010 | c 14 > 5.614710 | c 11 > 11.287700 | c 12 > 0.995086 | c 21 > 7.071070 | c 20 > 100.000000 | c 22 > 7.071070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 11.843900 | 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 > 17.487800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.258600 | c
7.35/7.56 c choco : 5.01
7.35/7.56 c mistral : 0.107983
7.35/7.56 c abscon : 1.16682
7.35/7.56 c
7.35/7.56 c
7.35/7.56 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-add.xml
7.35/7.56 c 19 > 1.612900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.451610 | c 15 > 15.710600 | c 34 > 52.258100 | c 16 > 2.000000 | c 13 > 3.661280 | c 14 > 5.954200 | c 11 > 9.299210 | c 12 > 2.048410 | c 21 > 11.180300 | c 20 > 98.387100 | c 22 > 25.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 9.831310 | 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 > 14.646700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 9.228820 | c
7.35/7.57 c choco : 1801.0
7.35/7.57 c mistral : 247.833
7.35/7.57 c abscon : 1.76173
7.35/7.57 c
7.35/7.57 c
7.35/7.57 c /home/eomahony/cpZilla/CSP/queens/queens-80.xml
7.35/7.57 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.098800 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.615820 | c 14 > 2.000000 | c 11 > 11.661800 | c 12 > 2.293150 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.321930 | c 2 > -1.000000 | c 10 > 13.210800 | 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 > 19.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.625700 | c
7.35/7.58 c choco : 8.63
7.35/7.58 c mistral : 0.248962
7.35/7.58 c abscon : 1.83272
7.35/7.58 c
7.35/7.58 c
7.35/7.58 c /home/eomahony/cpZilla/CSP/queens/queens-100.xml
7.35/7.58 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.598100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.785820 | c 14 > 0.000000 | c 11 > 12.302100 | c 12 > 2.298890 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 13.858300 | 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 > 20.502100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.273200 | c
7.35/7.58 c choco : 12.53
7.35/7.58 c mistral : 0.575912
7.35/7.58 c abscon : 2.12968
7.35/7.58 c
7.35/7.58 c
7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-5.xml
7.35/7.58 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 48.181800 | c 16 > 2.000000 | c 13 > 3.492050 | c 14 > -1.000000 | c 11 > 9.366320 | c 12 > 1.906890 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.906890 | c 2 > -1.000000 | c 10 > 9.929260 | 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 > 13.772600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.299210 | c
7.35/7.59 c choco : 5.43
7.35/7.59 c mistral : 0.05
7.35/7.59 c abscon : 2.13
7.35/7.59 c
7.35/7.59 c
7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-3.xml
7.35/7.59 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 47.714300 | c 16 > 2.000000 | c 13 > 3.305440 | c 14 > -1.000000 | c 11 > 8.714250 | c 12 > 1.898620 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.584960 | c 2 > -1.000000 | c 10 > 9.271460 | 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 > 12.777300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.629360 | c
7.42/7.60 c choco : 4.13
7.42/7.60 c mistral : 0.03
7.42/7.60 c abscon : 1.97
7.42/7.60 c
7.42/7.60 c
7.42/7.60 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-8.xml
7.42/7.60 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 48.644100 | c 16 > 2.000000 | c 13 > 3.724730 | c 14 > -1.000000 | c 11 > 10.204600 | c 12 > 1.915020 | c 21 > 4.472140 | c 20 > 100.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.321930 | c 2 > -1.000000 | c 10 > 10.773100 | 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 > 15.047300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.154800 | c
7.42/7.60 c choco : 8.8
7.42/7.60 c mistral : 0.08
7.42/7.60 c abscon : 2.86
7.42/7.60 c
7.42/7.60 c
7.42/7.60 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-1.xml
7.42/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 47.241400 | c 16 > 2.000000 | c 13 > 3.147790 | c 14 > -1.000000 | c 11 > 8.179910 | c 12 > 1.890210 | c 21 > 3.162280 | c 20 > 100.000000 | c 22 > 3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.321930 | c 2 > -1.000000 | c 10 > 8.731320 | 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 > 11.958600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.076820 | c
7.42/7.61 c choco : 3.61
7.42/7.61 c mistral : 0.02
7.42/7.61 c abscon : 1.82
7.42/7.61 c
7.42/7.61 c
7.42/7.61 c /home/eomahony/cpZilla/CSP/queens/queens-120.xml
7.42/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.123700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 6.906890 | c 12 > 7.900870 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.906890 | c 2 > -1.000000 | c 10 > 14.386700 | 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 > 21.293600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.801700 | c
7.42/7.62 c choco : 68.96
7.42/7.62 c mistral : 0.603907
7.42/7.62 c abscon : 2.94855
7.42/7.62 c
7.42/7.62 c
7.42/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-10.xml
7.42/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.101100 | c 16 > 2.000000 | c 13 > 4.041900 | c 14 > -1.000000 | c 11 > 11.382600 | c 12 > 1.923010 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.906890 | c 2 > -1.000000 | c 10 > 11.956700 | 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 > 16.831700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.349800 | c
7.42/7.62 c choco : 15.67
7.42/7.62 c mistral : 0.17
7.42/7.62 c abscon : 4.68
7.42/7.62 c
7.42/7.62 c
7.42/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-13.xml
7.42/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 46.521700 | c 16 > 2.000000 | c 13 > 2.946650 | c 14 > -1.000000 | c 11 > 7.523560 | c 12 > 1.877320 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 8.066090 | 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.948400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.392320 | c
7.42/7.63 c choco : 3.02
7.42/7.63 c mistral : 0.02
7.42/7.63 c abscon : 1.72
7.42/7.63 c
7.42/7.63 c
7.42/7.63 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-30-9-mod.xml
7.42/7.63 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.675640 | c 14 > -1.000000 | c 11 > 4.906890 | c 12 > 6.101540 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.370690 | 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 > 8.076820 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.63 c choco : 2.11
7.42/7.63 c mistral : 0.02
7.42/7.63 c abscon : 159.269
7.42/7.63 c
7.42/7.63 c
7.42/7.63 c /home/eomahony/cpZilla/CSP/zhou/radi.xml
7.42/7.63 c 19 > 0.000000 | c 35 > 26.099300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.531900 | c 15 > 13.549100 | c 34 > 51.347500 | c 16 > 10.000000 | c 13 > 1.798220 | c 14 > 5.672430 | c 11 > 9.674190 | c 12 > 0.838548 | c 21 > 1.886300 | c 20 > 100.000000 | c 22 > 8.426150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 2.584960 | c 10 > 9.768180 | c 1 > 6.321930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.033420 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 12.258300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.64 c choco : 2.54
7.42/7.64 c mistral : 0.037993
7.42/7.64 c abscon : 42.6835
7.42/7.64 c
7.42/7.64 c
7.42/7.64 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-20-9-mod.xml
7.42/7.64 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.908300 | c 14 > -1.000000 | c 11 > 4.321930 | c 12 > 5.314700 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.159870 | 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 > 7.491850 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.65 c choco : 1.63
7.42/7.65 c mistral : 0.02
7.42/7.65 c abscon : 53.3149
7.42/7.65 c
7.42/7.65 c
7.42/7.65 c /home/eomahony/cpZilla/CSP/knights/knights-25-9.xml
7.42/7.65 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 6.087460 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 0.318715 | c 14 > 0.000000 | c 11 > 3.169930 | c 12 > 3.115480 | c 21 > 25.000000 | c 20 > 75.000000 | c 22 > 25.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | 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 > 12.457600 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.65 c choco : 1801.0
7.42/7.65 c mistral : 206.566
7.42/7.65 c abscon : 2.28265
7.42/7.65 c
7.42/7.65 c
7.42/7.65 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-15-9-mod.xml
7.42/7.65 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.972220 | c 14 > -1.000000 | c 11 > 3.906890 | c 12 > 4.527740 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.238400 | 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 > 7.076820 | c 31 > -1.000000 | c 4 > 3.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.66 c choco : 1.42
7.42/7.66 c mistral : 0.01
7.42/7.66 c abscon : 30.7603
7.42/7.66 c
7.42/7.66 c
7.42/7.66 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-12-9-mod.xml
7.42/7.66 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.744140 | c 14 > -1.000000 | c 11 > 3.584960 | c 12 > 4.196400 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.554590 | 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 > 6.754890 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.66 c choco : 1.28
7.42/7.66 c mistral : 0.01
7.42/7.66 c abscon : 16.5085
7.42/7.66 c
7.42/7.66 c
7.42/7.66 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-50-9-mod.xml
7.42/7.66 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.002080 | c 14 > -1.000000 | c 11 > 5.643860 | c 12 > 8.942050 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.174900 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.67 c choco : 3.66
7.42/7.67 c mistral : 0.07
7.42/7.67 c abscon : 466.921
7.42/7.67 c
7.42/7.67 c
7.42/7.67 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-0.xml
7.42/7.67 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 12.895600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.898890 | c 14 > 4.392320 | c 11 > 6.807350 | c 12 > 2.389860 | c 21 > 11.919000 | c 20 > 100.000000 | c 22 > 13.490700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 13.975000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.67 c choco : 1.28
7.42/7.67 c mistral : 0.01
7.42/7.68 c abscon : 0.990849
7.42/7.68 c
7.42/7.68 c
7.42/7.68 c /home/ehebrard/new_instances/competition_4c/data/radar-9-28-4-2/radar-9-28-4-2-24.xml
7.42/7.68 c 19 > 0.000000 | c 35 > 20.370400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.071900 | c 34 > 61.111100 | c 16 > 20.000000 | c 13 > 3.286670 | c 14 > 7.888740 | c 11 > 10.988700 | c 12 > 1.494380 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.392320 | c 10 > 10.925600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.733020 | c 6 > 9.984420 | c 32 > -1.000000 | c 5 > 13.297500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.68 c choco : 1801.0
7.42/7.68 c mistral : 0.15
7.42/7.68 c abscon : 409.13
7.42/7.68 c
7.42/7.68 c
7.42/7.68 c /home/ehebrard/new_instances/competition_4c/data/radar-9-28-4-2/radar-9-28-4-2-32.xml
7.42/7.68 c 19 > 0.000000 | c 35 > 21.358000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.804200 | c 34 > 64.074100 | c 16 > 20.000000 | c 13 > 0.508116 | c 14 > 6.954200 | c 11 > 11.053900 | c 12 > 0.480377 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.392320 | c 10 > 10.993600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.810570 | c 6 > 10.049800 | c 32 > -1.000000 | c 5 > 13.402500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.69 c choco : 1801.0
7.42/7.69 c mistral : 0.22
7.42/7.69 c abscon : 1801.0
7.42/7.69 c
7.42/7.69 c
7.42/7.69 c /home/ehebrard/new_instances/competition_4c/data/radar-9-28-4-2/radar-9-28-4-2-31.xml
7.42/7.69 c 19 > 0.000000 | c 35 > 22.839500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.843900 | c 34 > 68.518500 | c 16 > 18.000000 | c 13 > 0.565771 | c 14 > -1.000000 | c 11 > 10.975800 | c 12 > 1.178340 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.392320 | c 10 > 10.912100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.717680 | c 6 > 9.971540 | c 32 > -1.000000 | c 5 > 13.261500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.70 c choco : 1801.0
7.42/7.70 c mistral : 0.11
7.42/7.70 c abscon : 1801.0
7.42/7.70 c
7.42/7.70 c
7.42/7.70 c /home/eomahony/cpZilla/CSP/queens/queens-150.xml
7.42/7.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.177900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 8.224000 | c 21 > 12.247400 | c 20 > 100.000000 | c 22 > 12.247400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 15.033000 | 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 > 22.261800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.448000 | c
7.48/7.71 c choco : 415.93
7.48/7.71 c mistral : 1.06284
7.48/7.71 c abscon : 4.79627
7.48/7.71 c
7.48/7.71 c
7.48/7.71 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-9.xml
7.48/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 12.260600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.513120 | c 14 > 4.000000 | c 11 > 6.807350 | c 12 > 2.155540 | c 21 > 12.718100 | c 20 > 100.000000 | c 22 > 14.352700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.160200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.71 c choco : 1.26
7.48/7.71 c mistral : 0.016997
7.48/7.71 c abscon : 1.16882
7.48/7.71 c
7.48/7.71 c
7.48/7.71 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-12.xml
7.48/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.463100 | c 16 > 2.000000 | c 13 > 4.429810 | c 14 > -1.000000 | c 11 > 12.863000 | c 12 > 1.929310 | c 21 > 7.071070 | c 20 > 100.000000 | c 22 > 7.071070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 13.441500 | 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 > 19.066200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.843500 | c
7.48/7.72 c choco : 26.91
7.48/7.72 c mistral : 0.45
7.48/7.72 c abscon : 7.74
7.48/7.72 c
7.48/7.72 c
7.48/7.72 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-3.xml
7.48/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 15.803600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.769380 | c 14 > 6.942510 | c 11 > 6.807350 | c 12 > 3.228820 | c 21 > 14.020100 | c 20 > 100.000000 | c 22 > 15.231500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.438700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.73 c choco : 1.62
7.48/7.73 c mistral : 0.017996
7.48/7.73 c abscon : 1.3308
7.48/7.73 c
7.48/7.73 c
7.48/7.73 c Length: 40
7.48/7.73 c 0.8036266249322503 9.41297865813473 15.945456552203193 21.885806971391293 23.760667860918808 26.10574494298908 27.96714346560978 30.358959525670503 30.667314088438584 30.765950440883653 30.817118667403168 30.841290590247677 30.921563010653262 30.9487100661013 32.294337298423635 32.38107336329511 33.76815232780437 35.03408230442036 35.811942486061824 35.89228789491274 35.8973920530921 36.066189040329725 36.23122614316964 36.336365496793974 36.43200812664325 36.48602491167406 36.500092708202594 36.503429792672904 36.59617394921394 36.63127347482203 36.70032185283666 36.70673339499035 36.92760120797314 37.038461980078225 37.16564730770991 37.180256467984734 37.21767011451415 37.362413078036056 37.37376435373616 37.4101946412806
7.48/7.73 c
7.48/7.73 c 1.0 0.8095946732087341 0.7073951942673045 0.6345529943920404 0.6145794130988355 0.5912993827492118 0.5740398197433983 0.5532877306869298 0.5507210368319225 0.5499050233338352 0.549482663090189 0.5492833652343706 0.5486225539535524 0.5483994360745634 0.5375628618447293 0.5368790345954071 0.5261749680706115 0.5167716838800491 0.5111586591270129 0.5105858281051435 0.5105494808427866 0.5093503677648311 0.5081833978128845 0.5074427464776635 0.5067708672959811 0.5063921907925182 0.5062936634984367 0.5062702970274854 0.5056217585548993 0.5053767488741127 0.5048954540573745 0.5048508095530869 0.5033176806886046 0.5025516577385702 0.501675702777938 0.5015752815719231 0.5013182889241541 0.5003265313452728 0.5002489199751031 0.5
7.48/7.74 c
7.48/7.74 c solver 0
7.48/7.74 c before 0.0 seconds: {} 0
7.48/7.74 c before 18.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, 28, 30, 32, 36, 37, 38, 39} 17978
7.48/7.74 c before 36.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, 28, 29, 30, 32, 36, 37, 38, 39} 18483
7.48/7.74 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, 26, 27, 28, 29, 30, 32, 36, 37, 38, 39} 19496
7.48/7.74 c before 162.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, 32, 36, 37, 38, 39} 20002
7.48/7.74 c before 414.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, 32, 33, 36, 37, 38, 39} 20505
7.48/7.74 c before 468.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, 36, 37, 38, 39} 21010
7.48/7.74 c
7.48/7.74 c solver 1
7.48/7.74 c before 0.0 seconds: {} 0
7.48/7.74 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19848
7.48/7.74 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20970
7.48/7.75 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21476
7.48/7.75 c before 252.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} 22013
7.48/7.75 c
7.48/7.75 c solver 2
7.48/7.75 c before 0.0 seconds: {} 0
7.48/7.75 c before 18.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 29, 30, 31, 32, 37, 39} 16198
7.48/7.75 c before 36.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 29, 30, 31, 32, 37, 38, 39} 16698
7.48/7.75 c before 72.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 37, 38, 39} 17206
7.48/7.75 c before 432.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 36, 37, 38, 39} 17707
7.48/7.75 c
7.48/7.75 cTotal time: 64
7.48/7.75 c 1152.0 seconds unused
7.48/7.75 c 0 c 0 c 6
7.48/7.75 c 2 c 0 c 8
7.48/7.75 c 0 c 0 c 0
7.48/7.75 c is solver0 dominated by:
7.48/7.75 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.48/7.75 c is dominated? true
7.48/7.75 c
7.48/7.75 c is solver1 dominated by:
7.48/7.75 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.48/7.75 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.48/7.75 c is dominated? false
7.48/7.75 c
7.48/7.75 c is solver2 dominated by:
7.48/7.75 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.48/7.75 c is dominated? true
7.48/7.75 c
7.48/7.75 c Number of non-dominated solvers: 1
7.48/7.75 c remove dominated solvers
7.48/7.75 c solver 1 is not dominated by another solver
7.48/7.75 c solver 2 is dominated by another solver
7.48/7.75 c solver 0 is dominated by another solver
7.48/7.75 c
7.48/7.75 c solver 0: 0.0
7.48/7.75 c
7.48/7.75 c solver 1: 252.0
7.48/7.75 c
7.48/7.75 c+ 14/14 of 86
7.48/7.75 c
7.48/7.75 c solver 2: 0.0
7.48/7.75 c do not run abscon
7.48/7.75 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} 22013
7.48/7.75 c do not run choco
7.48/7.75 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.48/7.75 c On Instance: HOME/instance-1081289-1215216276.xml
7.48/7.75 c Running for: 1800 seconds
7.52/8.79 c mistral-prime version 1.313
7.52/8.79 s UNSATISFIABLE
7.52/8.79 d CHECKS 6823
7.52/8.79 d ASSIGNMENTS 302