0.00/0.00 c cpHydra_k_40 version 0.0
8.06/8.18 c CASE TO CLASSIFY:
8.06/8.18 c Case: 0
8.06/8.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.126100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > 0.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
8.06/8.19 c choco : 1801.0
8.06/8.19 c mistral : 1801.0
8.06/8.19 c abscon : 1801.0
8.06/8.19 c
8.06/8.19 c
8.16/8.26 c List of same ones: 40
8.16/8.26 c /home/eomahony/cpZilla/CSP/queens/queens-120.xml
8.16/8.26 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
8.16/8.27 c choco : 68.96
8.16/8.27 c mistral : 0.603907
8.16/8.27 c abscon : 2.94855
8.16/8.27 c
8.16/8.27 c
8.16/8.27 c /home/eomahony/cpZilla/CSP/queens/queens-150.xml
8.16/8.27 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
8.16/8.28 c choco : 415.93
8.16/8.28 c mistral : 1.06284
8.16/8.28 c abscon : 4.79627
8.16/8.28 c
8.16/8.28 c
8.16/8.28 c /home/eomahony/cpZilla/CSP/queens/queens-180.xml
8.16/8.28 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.769200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.491850 | c 12 > 8.487840 | c 21 > 13.416400 | c 20 > 100.000000 | c 22 > 13.416400 | 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.491850 | c 2 > -1.000000 | c 10 > 15.560700 | 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 > 23.052500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.975700 | c
8.16/8.29 c choco : 1801.0
8.16/8.29 c mistral : 4.35734
8.16/8.29 c abscon : 6.98994
8.16/8.29 c
8.16/8.29 c
8.16/8.29 c /home/eomahony/cpZilla/CSP/queens/queens-200.xml
8.16/8.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.588500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.640240 | c 21 > 14.142100 | c 20 > 100.000000 | c 22 > 14.142100 | 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.643860 | c 2 > -1.000000 | c 10 > 15.865500 | 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 > 23.509300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.280500 | c
8.16/8.29 c choco : 73.34
8.16/8.29 c mistral : 2.26565
8.16/8.29 c abscon : 16.9784
8.16/8.29 c
8.16/8.29 c
8.16/8.29 c /home/eomahony/cpZilla/CSP/queens/queens-100.xml
8.16/8.29 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
8.26/8.31 c choco : 12.53
8.26/8.31 c mistral : 0.575912
8.26/8.31 c abscon : 2.12968
8.26/8.31 c
8.26/8.31 c
8.26/8.31 c /home/eomahony/cpZilla/CSP/queens/queens-80.xml
8.26/8.31 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
8.26/8.31 c choco : 8.63
8.26/8.31 c mistral : 0.248962
8.26/8.31 c abscon : 1.83272
8.26/8.31 c
8.26/8.31 c
8.26/8.31 c /home/eomahony/cpZilla/CSP/queens/queens-50.xml
8.26/8.31 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
8.26/8.32 c choco : 5.01
8.26/8.32 c mistral : 0.107983
8.26/8.32 c abscon : 1.16682
8.26/8.32 c
8.26/8.32 c
8.26/8.32 c /home/eomahony/cpZilla/CSP/queens/queens-30.xml
8.26/8.32 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
8.26/8.33 c choco : 2.85
8.26/8.33 c mistral : 0.044992
8.26/8.33 c abscon : 0.928858
8.26/8.33 c
8.26/8.33 c
8.26/8.33 c /home/eomahony/cpZilla/CSP/queens/queens-20.xml
8.26/8.33 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
8.26/8.33 c choco : 2.05
8.26/8.33 c mistral : 0.024995
8.26/8.33 c abscon : 0.810875
8.26/8.34 c
8.26/8.34 c
8.26/8.34 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-add.xml
8.26/8.34 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
8.26/8.34 c choco : 1801.0
8.26/8.34 c mistral : 64.2982
8.26/8.34 c abscon : 1.19982
8.26/8.34 c
8.26/8.34 c
8.26/8.34 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-14.xml
8.26/8.34 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.665300 | c 16 > 2.000000 | c 13 > 6.888740 | c 14 > -1.000000 | c 11 > 7.321930 | c 12 > 8.121530 | 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 > 7.321930 | c 2 > -1.000000 | c 10 > 14.803700 | 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.113700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.210700 | c
8.26/8.35 c choco : 41.55
8.26/8.35 c mistral : 1.11
8.26/8.35 c abscon : 10.02
8.26/8.35 c
8.26/8.35 c
8.26/8.35 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-2.xml
8.26/8.35 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.732400 | c 16 > 2.000000 | c 13 > 7.214320 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.445010 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.449600 | 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.083800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.858200 | c
8.26/8.37 c choco : 54.22
8.26/8.37 c mistral : 1.98
8.26/8.37 c abscon : 10.99
8.26/8.37 c
8.26/8.37 c
8.26/8.37 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-4.xml
8.26/8.37 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.777200 | c 16 > 2.000000 | c 13 > 7.479780 | c 14 > -1.000000 | c 11 > 7.906890 | c 12 > 8.709080 | 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 > 7.906890 | c 2 > -1.000000 | c 10 > 15.977000 | 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.875900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.386700 | c
8.26/8.38 c choco : 64.11
8.26/8.38 c mistral : 2.74
8.26/8.38 c abscon : 13.53
8.26/8.38 c
8.26/8.38 c
8.26/8.38 c /home/eomahony/cpZilla/CSP/queens/queens-15.xml
8.26/8.38 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
8.26/8.38 c choco : 1.66
8.26/8.38 c mistral : 0.016996
8.26/8.38 c abscon : 0.728888
8.26/8.38 c
8.26/8.38 c
8.26/8.38 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-add.xml
8.26/8.38 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
8.26/8.39 c choco : 1801.0
8.26/8.39 c mistral : 8.38672
8.26/8.39 c abscon : 0.891864
8.26/8.39 c
8.26/8.39 c
8.26/8.39 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-12.xml
8.26/8.39 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
8.26/8.39 c choco : 26.91
8.26/8.40 c mistral : 0.45
8.26/8.40 c abscon : 7.74
8.26/8.40 c
8.26/8.40 c
8.26/8.40 c /home/eomahony/cpZilla/CSP/queens/queens-12.xml
8.26/8.40 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
8.33/8.40 c choco : 1.53
8.33/8.40 c mistral : 0.014997
8.33/8.40 c abscon : 0.767882
8.33/8.40 c
8.33/8.40 c
8.33/8.40 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-add.xml
8.33/8.40 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
8.33/8.41 c choco : 1801.0
8.33/8.41 c mistral : 247.833
8.33/8.41 c abscon : 1.76173
8.33/8.41 c
8.33/8.41 c
8.33/8.41 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-10.xml
8.33/8.41 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
8.33/8.42 c choco : 15.67
8.33/8.42 c mistral : 0.17
8.33/8.42 c abscon : 4.68
8.33/8.42 c
8.33/8.42 c
8.33/8.42 c /home/eomahony/cpZilla/CSP/queens/queens-10.xml
8.33/8.42 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
8.33/8.43 c choco : 1.43
8.33/8.43 c mistral : 0.014997
8.33/8.43 c abscon : 0.659899
8.33/8.43 c
8.33/8.43 c
8.33/8.43 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-8.xml
8.33/8.43 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
8.33/8.43 c choco : 8.8
8.33/8.43 c mistral : 0.08
8.33/8.43 c abscon : 2.86
8.33/8.43 c
8.33/8.43 c
8.33/8.43 c /home/eomahony/cpZilla/CSP/queens/queens-8.xml
8.33/8.44 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
8.33/8.44 c choco : 1.32
8.33/8.44 c mistral : 0.013997
8.33/8.44 c abscon : 0.654899
8.33/8.44 c
8.33/8.44 c
8.33/8.44 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-5.xml
8.33/8.44 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
8.33/8.45 c choco : 5.43
8.33/8.45 c mistral : 0.05
8.33/8.45 c abscon : 2.13
8.33/8.45 c
8.33/8.45 c
8.33/8.45 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-add.xml
8.33/8.45 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
8.33/8.45 c choco : 10.21
8.33/8.45 c mistral : 3.03454
8.33/8.45 c abscon : 0.826873
8.33/8.45 c
8.33/8.45 c
8.33/8.45 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-3.xml
8.33/8.45 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
8.33/8.46 c choco : 4.13
8.33/8.46 c mistral : 0.03
8.33/8.46 c abscon : 1.97
8.33/8.46 c
8.33/8.46 c
8.33/8.46 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-1.xml
8.33/8.46 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
8.33/8.46 c choco : 3.61
8.33/8.46 c mistral : 0.02
8.33/8.46 c abscon : 1.82
8.33/8.46 c
8.33/8.46 c
8.33/8.46 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-13.xml
8.33/8.46 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
8.33/8.47 c choco : 3.02
8.33/8.47 c mistral : 0.02
8.33/8.47 c abscon : 1.72
8.33/8.47 c
8.33/8.47 c
8.33/8.47 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-add.xml
8.33/8.47 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
8.33/8.47 c choco : 4.99
8.33/8.47 c mistral : 1.3028
8.33/8.47 c abscon : 0.764883
8.33/8.47 c
8.33/8.47 c
8.33/8.47 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-10-a4.xml
8.33/8.47 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.527500 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.031180 | c 14 > 6.266790 | c 11 > 10.773100 | c 12 > 2.311670 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.321930 | c 10 > 11.374500 | 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.563500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c
8.33/8.48 c choco : 1108.26
8.33/8.48 c mistral : 1800.02
8.33/8.48 c abscon : 11.1163
8.33/8.48 c
8.33/8.48 c
8.33/8.48 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-11-a4.xml
8.33/8.48 c 19 > 0.000000 | c 35 > 36.800000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.807400 | c 34 > 29.200000 | c 16 > 4.000000 | c 13 > 5.183860 | c 14 > 6.044390 | c 11 > 11.372300 | c 12 > 2.212880 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.459430 | c 10 > 11.971200 | 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 > 18.163800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.366300 | c
8.33/8.48 c choco : 1801.0
8.33/8.48 c mistral : 1480.11
8.33/8.48 c abscon : 659.985
8.33/8.48 c
8.33/8.48 c
8.33/8.48 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-10-a4.xml
8.33/8.48 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.935800 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.189370 | c 14 > 6.672430 | c 11 > 10.773100 | c 12 > 2.415450 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.321930 | c 10 > 11.374500 | 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.244800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c
8.33/8.49 c choco : 131.18
8.33/8.49 c mistral : 110.014
8.33/8.49 c abscon : 92.8659
8.33/8.49 c
8.33/8.49 c
8.33/8.49 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-9-a4.xml
8.33/8.49 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.185700 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.914790 | c 14 > 8.118940 | c 11 > 10.104600 | c 12 > 3.174290 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.169930 | c 10 > 10.709100 | 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.574500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c
8.33/8.49 c choco : 102.53
8.33/8.50 c mistral : 181.37
8.33/8.50 c abscon : 3.36049
8.33/8.50 c
8.33/8.50 c
8.33/8.50 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-30-9-mod.xml
8.33/8.50 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
8.39/8.50 c choco : 2.11
8.39/8.50 c mistral : 0.02
8.39/8.50 c abscon : 159.269
8.39/8.50 c
8.39/8.50 c
8.39/8.50 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-9-a4.xml
8.39/8.50 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.208400 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.550970 | c 14 > 7.679480 | c 11 > 10.104600 | c 12 > 3.006210 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.169930 | c 10 > 10.709100 | 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.207300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c
8.39/8.51 c choco : 85.51
8.39/8.51 c mistral : 12.2391
8.39/8.51 c abscon : 9.69353
8.39/8.51 c
8.39/8.51 c
8.39/8.51 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-50-9-mod.xml
8.39/8.51 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
8.39/8.51 c choco : 3.66
8.39/8.51 c mistral : 0.07
8.39/8.51 c abscon : 466.921
8.39/8.51 c
8.39/8.51 c
8.39/8.52 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-20-9-mod.xml
8.39/8.52 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
8.39/8.52 c choco : 1.63
8.39/8.52 c mistral : 0.02
8.39/8.52 c abscon : 53.3149
8.39/8.52 c
8.39/8.52 c
8.39/8.52 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml
8.39/8.52 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.304700 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.487570 | c 14 > 8.778080 | c 11 > 9.348730 | c 12 > 4.055880 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.000000 | c 10 > 9.957100 | 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.448500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c
8.39/8.53 c choco : 4.6
8.39/8.53 c mistral : 1.09783
8.39/8.53 c abscon : 1.09283
8.39/8.53 c
8.39/8.53 c
8.39/8.53 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-15-9-mod.xml
8.39/8.53 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
8.39/8.53 c choco : 1.42
8.39/8.53 c mistral : 0.01
8.39/8.53 c abscon : 30.7603
8.39/8.53 c
8.39/8.53 c
8.39/8.53 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml
8.39/8.53 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.726300 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 5.987050 | c 14 > 8.027910 | c 11 > 8.479780 | c 12 > 3.319910 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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.807350 | c 10 > 9.092760 | 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.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c
8.39/8.54 c choco : 2.14
8.39/8.54 c mistral : 1.10983
8.39/8.54 c abscon : 0.921859
8.39/8.54 c
8.39/8.54 c
8.39/8.54 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml
8.39/8.54 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.605800 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.576820 | c 14 > 8.879580 | c 11 > 9.348730 | c 12 > 4.144250 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 3.000000 | c 10 > 9.957100 | 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.012400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c
8.39/8.54 c choco : 9.13
8.39/8.54 c mistral : 1.35979
8.39/8.54 c abscon : 2.70059
8.39/8.54 c
8.39/8.54 c
8.39/8.55 c Length: 40
8.39/8.55 c 1.4159116356609276 3.197369782602571 5.0552994198266825 6.219079048275556 9.865155055943116 10.192361513717026 13.358437418936992 15.963630022319487 17.138672123968913 18.19942500065593 18.22756524174855 18.294059339955144 18.52580809796161 18.811083365597103 19.700737198432453 19.974010052378066 20.215340260910995 20.225328203438384 20.877569464367735 21.29696116898371 21.996505628401525 22.700974811870967 22.967684632811814 23.498854852585907 23.815028549086396 24.568942851235988 25.57261459789163 28.11803982123576 31.27557733279755 31.324151516826436 31.634868141803594 32.06633475009578 32.15653357081886 32.1943203793899 32.35928771069907 32.502895721287665 32.68995422572965 32.813307784005865 33.03203364453057 33.10880752503932
8.39/8.55 c
8.39/8.55 c 1.0 0.9467814033092694 0.8969953989447098 0.8683921777296914 0.7895168626887606 0.7831333887013694 0.7263112094374412 0.6853908925211326 0.668405718923949 0.6537797740561643 0.6534004793167061 0.6525059694930468 0.6494074285953843 0.6456333978180119 0.6341404723647129 0.630691916190283 0.6276774974025296 0.6275533603786041 0.6195518010779493 0.6145136973644876 0.6062900326886242 0.598227950800097 0.5952313452623721 0.5893519546339071 0.5859071283761803 0.5778532256138309 0.5674686397226518 0.5427328165615416 0.5148915832663201 0.5144855771398477 0.5119035316034443 0.5083607417089855 0.5076263038460906 0.5073192576257226 0.5059831132252415 0.5048256846301147 0.5033259779610088 0.502341879641774 0.500606342374732 0.5
8.39/8.56 c
8.39/8.56 c solver 0
8.39/8.56 c before 0.0 seconds: {} 0
8.39/8.56 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, 25, 26, 27, 28, 31, 33, 36, 38, 39} 22071
8.39/8.56 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, 25, 26, 27, 28, 31, 33, 36, 37, 38, 39} 22573
8.39/8.56 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, 31, 33, 35, 36, 37, 38, 39} 23078
8.39/8.56 c before 108.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, 30, 31, 33, 35, 36, 37, 38, 39} 23590
8.39/8.56 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, 30, 31, 32, 33, 35, 36, 37, 38, 39} 24098
8.39/8.56 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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24604
8.39/8.56 c before 666.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} 25118
8.39/8.56 c
8.39/8.56 c solver 1
8.39/8.56 c before 0.0 seconds: {} 0
8.39/8.56 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 21787
8.39/8.56 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 22441
8.39/8.56 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 22953
8.39/8.56 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23461
8.39/8.56 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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24089
8.39/8.56 c before 1494.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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24603
8.39/8.56 c
8.39/8.56 c solver 2
8.39/8.56 c before 0.0 seconds: {} 0
8.39/8.56 c before 18.0 seconds: {4, 5, 6, 7, 8, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 34, 35, 36, 37, 38, 39} 14347
8.39/8.56 c before 36.0 seconds: {4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 34, 35, 36, 37, 38, 39} 14978
8.39/8.56 c before 54.0 seconds: {4, 5, 6, 7, 8, 10, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 34, 35, 36, 37, 38, 39} 15631
8.39/8.56 c before 72.0 seconds: {0, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 34, 35, 36, 37, 38, 39} 17933
8.39/8.56 c before 90.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 19309
8.39/8.56 c before 108.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19817
8.39/8.56 c before 144.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20329
8.39/8.56 c before 432.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21276
8.39/8.56 c before 1116.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21791
8.39/8.56 c
8.39/8.56 cTotal time: 182
8.39/8.57 c run abscon for 666.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} 25118
8.39/8.57 c run mistral for 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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24089
8.39/8.57 c run choco for 432.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21276
8.39/8.57 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.39/8.57 c On Instance: HOME/instance-1093843-1215278274.xml
8.39/8.57 c Running for: 666 seconds
12.43/12.70 s SAT
12.43/12.70 v 80 6 84 7 117 4 116 60 56 5 48 72 115 113 8 114 52 9 112 47 111 10 110 81 11 109 12 108 13 107 65 14 106 82 54 15 51 105 78 104 17 67 18 103 45 102 16 86 77 23 100 73 97 43 19 98 20 99 42 40 101 24 96 94 46 95 120 26 3 29 31 83 34 91 28 30 87 90 88 32 27 38 89 85 93 33 118 25 63 92 2 57 21 62 119 22 69 55 76 41 39 44 35 75 71 36 74 37 79 50 66 61 58 49 59 64 53 68 70 1
12.43/12.70 d ASSIGNMENTS 231
12.43/12.70 d CHECKS 1468094