0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.28 c CASE TO CLASSIFY:
7.09/7.28 c Case: 0
7.09/7.28 c 19 > 57.692300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 67.307700 | c 15 > 13.944400 | c 34 > 58.974400 | c 16 > 2.000000 | c 13 > 6.858710 | c 14 > 8.754890 | c 11 > 6.108520 | c 12 > 5.322970 | c 21 > 5.434930 | c 20 > 42.307700 | 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 > 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 > 9.965780 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
7.09/7.29 c choco : 1801.0
7.09/7.29 c mistral : 1801.0
7.09/7.29 c abscon : 1801.0
7.09/7.29 c
7.09/7.29 c
7.39/7.55 c List of same ones: 40
7.39/7.55 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-mul.xml
7.39/7.55 c 19 > 57.692300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 67.307700 | c 15 > 14.380500 | c 34 > 58.974400 | c 16 > 2.000000 | c 13 > 7.312470 | c 14 > 9.319670 | c 11 > 6.108520 | c 12 > 5.713650 | c 21 > 5.434930 | c 20 > 42.307700 | 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 > 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 > 9.965780 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
7.39/7.56 c choco : 4.16
7.39/7.56 c mistral : 0.385941
7.39/7.56 c abscon : 0.737887
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-mul.xml
7.39/7.56 c 19 > 52.381000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 61.428600 | c 15 > 13.896600 | c 34 > 56.666700 | c 16 > 2.000000 | c 13 > 5.845900 | c 14 > 8.049850 | c 11 > 6.714250 | c 12 > 4.167630 | c 21 > 6.324560 | c 20 > 47.619000 | 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.614710 | 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.39/7.57 c choco : 7.88
7.39/7.57 c mistral : 2.12568
7.39/7.57 c abscon : 0.836872
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-mul.xml
7.39/7.57 c 19 > 47.794100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.250000 | c 15 > 12.415500 | c 34 > 55.147100 | c 16 > 2.000000 | c 13 > 4.127790 | c 14 > 7.459430 | c 11 > 7.219170 | c 12 > 2.672620 | c 21 > 7.129060 | c 20 > 52.205900 | 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 > 8.071460 | 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.39/7.58 c choco : 11.06
7.39/7.58 c mistral : 1.70074
7.39/7.58 c abscon : 0.840871
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-2-1.xml
7.39/7.58 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.116300 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 2.634480 | c 14 > 6.954200 | c 11 > 6.643860 | c 12 > 0.475085 | c 21 > 6.782330 | c 20 > 45.000000 | c 22 > 6.782330 | 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 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.419700 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.59 c choco : 1.34
7.39/7.59 c mistral : 0.017997
7.39/7.59 c abscon : 1.3248
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-2-1.xml
7.39/7.59 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 8.717680 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 0.403677 | c 14 > 6.321930 | c 11 > 6.700440 | c 12 > -1.000000 | c 21 > 5.291500 | c 20 > 45.000000 | c 22 > 5.291500 | 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 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.299900 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.60 c choco : 1.26
7.48/7.60 c mistral : 0.017996
7.48/7.60 c abscon : 0.884864
7.48/7.60 c
7.48/7.60 c
7.48/7.60 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-1.xml
7.48/7.60 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.498800 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 2.730980 | c 14 > 5.392320 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 47.500000 | c 22 > 6.782330 | 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 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.528900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.61 c choco : 1.61
7.48/7.61 c mistral : 0.025995
7.48/7.61 c abscon : 2.43363
7.48/7.61 c
7.48/7.61 c
7.48/7.61 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-1.xml
7.48/7.61 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.237200 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 0.334045 | c 14 > 3.807350 | c 11 > 6.807350 | c 12 > 0.301170 | c 21 > 5.291500 | c 20 > 47.500000 | c 22 > 5.291500 | 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 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.273700 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.62 c choco : 1.63
7.48/7.62 c mistral : 0.026994
7.48/7.62 c abscon : 1.17582
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-1.xml
7.48/7.62 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.392300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.548740 | c 14 > 6.000000 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 50.000000 | c 22 > 6.782330 | 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.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.209900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.63 c choco : 1.56
7.48/7.63 c mistral : 0.02
7.48/7.63 c abscon : 2.07768
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-1.xml
7.48/7.63 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.348700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.036060 | c 14 > 5.727920 | c 11 > 6.794420 | c 12 > 0.490986 | c 21 > 5.291500 | c 20 > 50.000000 | c 22 > 5.291500 | 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.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.972900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.64 c choco : 1.54
7.48/7.64 c mistral : 0.024995
7.48/7.64 c abscon : 1.10383
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-1.xml
7.48/7.64 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.779700 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 2.199930 | c 14 > 6.339850 | c 11 > 6.643860 | c 12 > 0.765535 | c 21 > 6.782330 | c 20 > 52.500000 | c 22 > 6.782330 | 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.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.697100 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.65 c choco : 1.47
7.48/7.65 c mistral : 0.02
7.48/7.65 c abscon : 1.80672
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-1.xml
7.48/7.65 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.558400 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 1.534240 | c 14 > 6.285400 | c 11 > 6.741470 | c 12 > 0.201048 | c 21 > 5.291500 | c 20 > 52.500000 | c 22 > 5.291500 | 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.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.502900 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.66 c choco : 1.42
7.48/7.66 c mistral : 0.019996
7.48/7.66 c abscon : 1.01284
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
7.48/7.66 c 19 > 42.105300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.736800 | c 15 > 12.636400 | c 34 > 53.684200 | c 16 > 2.000000 | c 13 > 3.147020 | c 14 > 5.000000 | c 11 > 7.845490 | c 12 > 2.077840 | c 21 > 8.215840 | c 20 > 57.894700 | 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.647460 | 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.48/7.67 c choco : 1801.0
7.48/7.67 c mistral : 6.70198
7.48/7.67 c abscon : 1.00285
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-1.xml
7.48/7.67 c 19 > 52.397300 | c 35 > 30.513700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.486300 | c 15 > 19.461800 | c 34 > 48.732900 | c 16 > 18.000000 | c 13 > 7.380370 | c 14 > 9.985840 | c 11 > 10.491900 | c 12 > 6.035350 | c 21 > 1.414210 | c 20 > 47.602700 | c 22 > 1.414210 | 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 > 10.579300 | c 1 > 7.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.257400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.68 c choco : 4.69
7.48/7.68 c mistral : 0.385941
7.48/7.68 c abscon : 12.0472
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-4.xml
7.48/7.68 c 19 > 52.922100 | c 35 > 30.519500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.610400 | c 15 > 16.763100 | c 34 > 48.766200 | c 16 > 19.000000 | c 13 > 3.226770 | c 14 > 7.960000 | c 11 > 10.564100 | c 12 > 2.037390 | c 21 > 1.414210 | c 20 > 47.077900 | c 22 > 1.414210 | 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 > 10.654600 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.328700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.451200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.69 c choco : 3.82
7.48/7.69 c mistral : 0.133978
7.48/7.69 c abscon : 11.3753
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-5.xml
7.48/7.69 c 19 > 53.560400 | c 35 > 30.340600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.767800 | c 15 > 16.941000 | c 34 > 48.544900 | c 16 > 20.000000 | c 13 > 4.360510 | c 14 > 8.209450 | c 11 > 10.622100 | c 12 > 2.455100 | c 21 > 1.414210 | c 20 > 46.439600 | c 22 > 1.414210 | 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 > 10.716000 | c 1 > 7.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.383700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.539600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.70 c choco : 4.22
7.48/7.70 c mistral : 0.225965
7.48/7.70 c abscon : 1.49977
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-3.xml
7.48/7.70 c 19 > 53.395100 | c 35 > 30.524700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.722200 | c 15 > 17.197600 | c 34 > 48.796300 | c 16 > 20.000000 | c 13 > 3.780610 | c 14 > 8.149750 | c 11 > 10.633000 | c 12 > 2.232160 | c 21 > 1.414210 | c 20 > 46.604900 | c 22 > 1.414210 | 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 > 10.726200 | c 1 > 7.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.396600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.550700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.71 c choco : 4.29
7.55/7.71 c mistral : 0.508921
7.55/7.71 c abscon : 34.9107
7.55/7.71 c
7.55/7.71 c
7.55/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml
7.55/7.71 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.71 c choco : 3.29
7.55/7.71 c mistral : 0.25796
7.55/7.71 c abscon : 1.26581
7.55/7.71 c
7.55/7.71 c
7.55/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml
7.55/7.71 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.72 c choco : 3.26
7.55/7.72 c mistral : 0.25996
7.55/7.72 c abscon : 1.22581
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml
7.55/7.72 c 19 > 76.335900 | c 35 > 26.946600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 52.442700 | c 15 > 9.592460 | c 34 > 43.358800 | c 16 > 7.000000 | c 13 > 1.245600 | c 14 > 1.584960 | c 11 > 7.888740 | c 12 > 1.428670 | c 21 > 1.392950 | c 20 > 23.664100 | c 22 > 1.414210 | 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.076820 | c 1 > 5.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.442940 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.72 c choco : 1.54
7.55/7.72 c mistral : 0.02
7.55/7.72 c abscon : 0.748886
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-2.xml
7.55/7.72 c 19 > 52.528100 | c 35 > 30.702200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.410100 | c 15 > 19.408300 | c 34 > 49.016900 | c 16 > 22.000000 | c 13 > 7.150000 | c 14 > 9.670660 | c 11 > 10.787900 | c 12 > 5.503750 | c 21 > 1.414210 | c 20 > 47.471900 | c 22 > 1.414210 | 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 > 10.875000 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.554600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.755700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.74 c choco : 3.99
7.55/7.74 c mistral : 0.58
7.55/7.74 c abscon : 1800.1
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-8.xml
7.55/7.74 c 19 > 48.773000 | c 35 > 32.392600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.355800 | c 15 > 19.166300 | c 34 > 51.779100 | c 16 > 18.000000 | c 13 > 5.271550 | c 14 > 9.250300 | c 11 > 11.733000 | c 12 > 3.502030 | c 21 > 1.414210 | c 20 > 51.227000 | c 22 > 1.414210 | 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.817000 | c 1 > 8.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.537200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.565100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.74 c choco : 16.59
7.55/7.74 c mistral : 3.77743
7.55/7.74 c abscon : 1641.68
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/44s-smv.xml
7.55/7.74 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 19.766000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 9.295790 | c 14 > 10.263300 | c 11 > 11.288300 | c 12 > 5.478330 | c 21 > 1.327260 | c 20 > 24.707100 | c 22 > 1.414210 | 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.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.75 c choco : 526.57
7.55/7.75 c mistral : 10.6244
7.55/7.75 c abscon : 22.7125
7.55/7.75 c
7.55/7.75 c
7.55/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/b1.xml
7.55/7.75 c 19 > 51.111100 | c 35 > 32.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.333300 | c 15 > 9.262090 | c 34 > 39.333300 | c 16 > 9.000000 | c 13 > 0.966209 | c 14 > 3.584960 | c 11 > 6.781360 | c 12 > 0.750022 | c 21 > 1.414210 | c 20 > 48.888900 | c 22 > 1.414210 | 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.768180 | c 1 > 4.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.426260 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.651050 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.75 c choco : 1.25
7.55/7.75 c mistral : 0.016997
7.55/7.75 c abscon : 0.687894
7.55/7.75 c
7.55/7.75 c
7.55/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/C17.xml
7.55/7.75 c 19 > 55.000000 | c 35 > 27.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.500000 | c 15 > 7.321930 | c 34 > 34.500000 | c 16 > 5.000000 | c 13 > 0.693585 | c 14 > 2.807350 | c 11 > 5.247930 | c 12 > 0.634716 | c 21 > 1.316560 | c 20 > 45.000000 | c 22 > 1.414210 | 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.129280 | c 1 > 3.459430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.754890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.845490 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.76 c choco : 1.14
7.55/7.76 c mistral : 0.01
7.55/7.76 c abscon : 0.678896
7.55/7.76 c
7.55/7.76 c
7.55/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cm42a.xml
7.55/7.76 c 19 > 52.432400 | c 35 > 33.837800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.891900 | c 15 > 11.971500 | c 34 > 41.891900 | c 16 > 20.000000 | c 13 > 1.399500 | c 14 > 5.584960 | c 11 > 8.951280 | c 12 > 0.864099 | c 21 > 1.414210 | c 20 > 47.567600 | c 22 > 1.414210 | 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.945440 | c 1 > 6.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.76 c choco : 1.73
7.55/7.76 c mistral : 0.030994
7.55/7.76 c abscon : 0.921859
7.55/7.76 c
7.55/7.76 c
7.55/7.76 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
7.55/7.77 c 19 > 35.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.500000 | c 15 > 12.573400 | c 34 > 52.333300 | c 16 > 2.000000 | c 13 > 3.246200 | c 14 > 2.321930 | c 11 > 8.661780 | c 12 > 1.954770 | c 21 > 9.797960 | c 20 > 65.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 > 4.321930 | c 2 > -1.000000 | c 10 > 9.411510 | 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.55/7.77 c choco : 1801.0
7.55/7.77 c mistral : 83.0154
7.55/7.77 c abscon : 1.26981
7.55/7.77 c
7.55/7.77 c
7.55/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-6.xml
7.55/7.77 c 19 > 47.133800 | c 35 > 29.766500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.929900 | c 15 > 18.923000 | c 34 > 46.072200 | c 16 > 26.000000 | c 13 > 4.580620 | c 14 > 9.245550 | c 11 > 12.309500 | c 12 > 2.987220 | c 21 > 1.414210 | c 20 > 52.866200 | c 22 > 1.414210 | 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 > 12.382600 | c 1 > 9.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.120200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.320000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.78 c choco : 115.52
7.55/7.78 c mistral : 13.55
7.55/7.78 c abscon : 1800.09
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-3.xml
7.55/7.78 c 19 > 47.901700 | c 35 > 29.662200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.173000 | c 15 > 19.027700 | c 34 > 45.957000 | c 16 > 27.000000 | c 13 > 4.643430 | c 14 > 9.219170 | c 11 > 12.351500 | c 12 > 2.910160 | c 21 > 1.414210 | c 20 > 52.098300 | c 22 > 1.414210 | 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 > 12.428900 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.160500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.78 c choco : 1801.0
7.55/7.78 c mistral : 144.397
7.55/7.78 c abscon : 1800.11
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-2.xml
7.55/7.78 c 19 > 47.336100 | c 35 > 29.661900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.002000 | c 15 > 18.878800 | c 34 > 45.932400 | c 16 > 27.000000 | c 13 > 4.721630 | c 14 > 9.216750 | c 11 > 12.357000 | c 12 > 2.893890 | c 21 > 1.414210 | c 20 > 52.663900 | c 22 > 1.414210 | 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 > 12.431000 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.166800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.389900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.79 c choco : 168.81
7.55/7.79 c mistral : 1800.08
7.55/7.79 c abscon : 1800.08
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-7.xml
7.55/7.79 c 19 > 47.586200 | c 35 > 29.832500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.093600 | c 15 > 18.920100 | c 34 > 46.187200 | c 16 > 28.000000 | c 13 > 5.632540 | c 14 > 9.449150 | c 11 > 12.414700 | c 12 > 3.311130 | c 21 > 1.414210 | c 20 > 52.413800 | c 22 > 1.414210 | 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 > 12.490300 | c 1 > 9.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.225200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.470300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.79 c choco : 1801.0
7.55/7.79 c mistral : 85.33
7.55/7.79 c abscon : 1800.06
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-1.xml
7.55/7.79 c 19 > 47.633100 | c 35 > 29.773200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.106500 | c 15 > 18.915500 | c 34 > 46.104500 | c 16 > 28.000000 | c 13 > 4.165760 | c 14 > 9.124120 | c 11 > 12.411500 | c 12 > 2.654240 | c 21 > 1.414210 | c 20 > 52.366900 | c 22 > 1.414210 | 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 > 12.487300 | c 1 > 9.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.221600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.467400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.80 c choco : 67.18
7.62/7.80 c mistral : 1800.04
7.62/7.80 c abscon : 1800.08
7.62/7.80 c
7.62/7.80 c
7.62/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-4.xml
7.62/7.80 c 19 > 47.519100 | c 35 > 29.704200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.082100 | c 15 > 18.930700 | c 34 > 46.001900 | c 16 > 29.000000 | c 13 > 4.453170 | c 14 > 9.189820 | c 11 > 12.459900 | c 12 > 2.651520 | c 21 > 1.414210 | c 20 > 52.480900 | c 22 > 1.414210 | 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 > 12.534800 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.269700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.536000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.81 c choco : 1801.0
7.62/7.81 c mistral : 20.45
7.62/7.81 c abscon : 1800.05
7.62/7.81 c
7.62/7.81 c
7.62/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-5.xml
7.62/7.81 c 19 > 48.155000 | c 35 > 29.667900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.284100 | c 15 > 18.858100 | c 34 > 45.977900 | c 16 > 30.000000 | c 13 > 4.361410 | c 14 > 9.033420 | c 11 > 12.500800 | c 12 > 2.617730 | c 21 > 1.414210 | c 20 > 51.845000 | c 22 > 1.414210 | 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 > 12.579300 | c 1 > 9.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.309500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.601300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.81 c choco : 1801.0
7.62/7.81 c mistral : 1502.73
7.62/7.81 c abscon : 1800.11
7.62/7.81 c
7.62/7.81 c
7.62/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml
7.62/7.81 c 19 > 79.831900 | c 35 > 33.655500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 47.899200 | c 15 > 13.155300 | c 34 > 41.638700 | c 16 > 16.000000 | c 13 > 0.306703 | c 14 > 5.426260 | c 11 > 10.174900 | c 12 > 0.695439 | c 21 > 1.413350 | c 20 > 20.168100 | c 22 > 1.414210 | 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 > 10.137000 | c 1 > 8.679480 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.543030 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.478800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.82 c choco : 2.37
7.62/7.82 c mistral : 0.066989
7.62/7.82 c abscon : 1.19982
7.62/7.82 c
7.62/7.82 c
7.62/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml
7.62/7.82 c 19 > 84.617700 | c 35 > 27.276000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.976700 | c 15 > 17.621300 | c 34 > 43.879900 | c 16 > 11.000000 | c 13 > 4.848120 | c 14 > 8.252670 | c 11 > 12.330900 | c 12 > 2.439020 | c 21 > 1.410480 | c 20 > 15.382300 | c 22 > 1.414210 | 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 > 12.744400 | c 1 > 10.359700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.983000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.359300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.82 c choco : 7.85
7.62/7.82 c mistral : 0.439932
7.62/7.82 c abscon : 5.2372
7.62/7.82 c
7.62/7.82 c
7.62/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.5-100.xml
7.62/7.82 c 19 > 79.523800 | c 35 > 33.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 47.714300 | c 15 > 13.153200 | c 34 > 41.785700 | c 16 > 18.000000 | c 13 > 0.295546 | c 14 > 5.491850 | c 11 > 10.019600 | c 12 > 0.684313 | c 21 > 1.413260 | c 20 > 20.476200 | c 22 > 1.414210 | 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.967230 | c 1 > 8.535280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.381540 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.446300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.83 c choco : 2.29
7.62/7.83 c mistral : 0.064989
7.62/7.83 c abscon : 1.10083
7.62/7.83 c
7.62/7.83 c
7.62/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-7.xml
7.62/7.83 c 19 > 67.590200 | c 35 > 36.778400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.536700 | c 15 > 16.630700 | c 34 > 65.125600 | c 16 > 25.000000 | c 13 > 3.944160 | c 14 > 0.000000 | c 11 > 11.272600 | c 12 > 3.250140 | c 21 > 1.359890 | c 20 > 32.409800 | c 22 > 1.414210 | 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 > 15.302600 | c 1 > 11.272600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.247100 | c 6 > 4.169930 | c 32 > -1.000000 | c 5 > 26.649100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.84 c choco : 8.02
7.62/7.84 c mistral : 1.18
7.62/7.84 c abscon : 399.46
7.62/7.84 c
7.62/7.84 c
7.62/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml
7.62/7.84 c 19 > 80.400000 | c 35 > 33.780000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.240000 | c 15 > 13.281900 | c 34 > 41.820000 | c 16 > 16.000000 | c 13 > 0.325073 | c 14 > 5.781360 | c 11 > 10.253800 | c 12 > 0.694520 | c 21 > 1.413400 | c 20 > 19.600000 | c 22 > 1.414210 | 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 > 10.215500 | c 1 > 8.761550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.620220 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.594100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.84 c choco : 2.44
7.62/7.84 c mistral : 0.067988
7.62/7.84 c abscon : 1.14282
7.62/7.84 c
7.62/7.84 c
7.62/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml
7.62/7.84 c 19 > 81.899000 | c 35 > 34.137800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.248800 | c 15 > 19.683600 | c 34 > 57.433700 | c 16 > 15.000000 | c 13 > 8.543310 | c 14 > 10.347600 | c 11 > 11.964000 | c 12 > 5.683650 | c 21 > 1.337030 | c 20 > 18.101000 | c 22 > 1.414210 | 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 > 15.377800 | c 1 > 11.964000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.025600 | c 6 > 8.285400 | c 32 > -1.000000 | c 5 > 21.753700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.85 c choco : 1801.0
7.62/7.85 c mistral : 7.27
7.62/7.85 c abscon : 1800.14
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml
7.62/7.85 c 19 > 84.827600 | c 35 > 26.211000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.105500 | c 15 > 19.134800 | c 34 > 41.578100 | c 16 > 9.000000 | c 13 > 5.711110 | c 14 > 9.002820 | c 11 > 12.712500 | c 12 > 3.225330 | c 21 > 1.410880 | c 20 > 15.172400 | c 22 > 1.414210 | 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 > 13.149400 | c 1 > 10.803300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.264700 | c 6 > 2.000000 | c 32 > -1.000000 | c 5 > 16.034100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.86 c choco : 28.2
7.62/7.86 c mistral : 5.10822
7.62/7.86 c abscon : 56.1605
7.62/7.86 c
7.62/7.86 c
7.62/7.86 c Length: 40
7.62/7.86 c 0.9314980721397125 10.295170005031485 19.416736292773304 20.5605553375225 21.714977808229257 22.434164442775664 23.211915461986866 23.488737389012634 23.72740067176883 24.981302181816403 25.048195849601306 30.593118898376478 38.13789154806149 38.408471355096914 38.5708894894025 38.7037071175217 39.26701272657369 39.26701272657369 40.09806308842485 40.180436971623394 40.40925001252189 43.27759105423614 43.470439741321975 43.67430448290896 44.437310722692715 44.78950748728658 46.767197171770945 46.893370821199234 47.21460366858965 47.56842364802096 47.6385938872654 48.294627401769034 48.538335713949856 49.86022783098077 50.08515911459401 50.17201429772822 50.19671398267719 50.23296001728017 50.89906284053961 50.94692491267456
7.62/7.86 c
7.62/7.86 c 1.0 0.8423069375198701 0.7301451277279281 0.718153454399486 0.7064434926887472 0.6993394901183225 0.6918160701070573 0.6891771997469819 0.6869181928842175 0.675288879800516 0.6746795279140431 0.6277269088798481 0.5734279181410086 0.5716545296498903 0.5705952945271842 0.5697320167675056 0.5660995343596084 0.5660995343596084 0.560824285252943 0.560306752038145 0.5588741792597921 0.5415180146080664 0.5403896936024561 0.5392020210759207 0.5348028652389824 0.532796378139483 0.5218032271395161 0.5211172543341426 0.5193789102992159 0.5174775945964444 0.5171021750393499 0.5136184885832091 0.5123362698637272 0.5054914666971887 0.5043449315531537 0.5039035980668186 0.5037782336476123 0.5035943780766992 0.5002393510704408 0.5
7.62/7.87 c
7.62/7.87 c solver 0
7.62/7.87 c before 0.0 seconds: {} 0
7.62/7.87 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 22, 23, 24, 25, 33, 34, 35, 37} 16315
7.62/7.87 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 23, 24, 25, 33, 34, 35, 37} 17426
7.62/7.87 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 23, 24, 25, 33, 34, 35, 37, 39} 17926
7.62/7.87 c before 414.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 23, 24, 25, 33, 34, 35, 36, 37, 39} 18430
7.62/7.87 c before 1656.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 33, 34, 35, 36, 37, 39} 18989
7.62/7.88 c
7.62/7.88 c solver 1
7.62/7.88 c before 0.0 seconds: {} 0
7.62/7.88 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, 26, 33, 34, 35, 36, 37, 38, 39} 20038
7.62/7.88 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, 26, 31, 33, 34, 35, 36, 37, 38, 39} 20552
7.62/7.88 c before 90.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, 29, 31, 33, 34, 35, 36, 37, 38, 39} 21602
7.62/7.88 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, 29, 31, 33, 34, 35, 36, 37, 38, 39} 22123
7.62/7.88 c before 1512.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, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22636
7.62/7.88 c
7.62/7.88 c solver 2
7.62/7.88 c before 0.0 seconds: {} 0
7.62/7.88 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 33, 34, 35, 36, 37} 17347
7.62/7.88 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 33, 34, 35, 36, 37, 39} 17847
7.62/7.88 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 30, 33, 34, 35, 36, 37, 39} 18364
7.62/7.88 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 26, 30, 33, 34, 35, 36, 37, 39} 18886
7.62/7.88 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 26, 28, 30, 33, 34, 35, 36, 37, 39} 19405
7.62/7.88 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 28, 30, 33, 34, 35, 36, 37, 39} 19947
7.62/7.88 c
7.62/7.88 cTotal time: 206
7.62/7.88 c run abscon for 72.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 23, 24, 25, 33, 34, 35, 37, 39} 17926
7.62/7.88 c run mistral for 1512.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, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22636
7.62/7.88 c run choco for 180.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 26, 28, 30, 33, 34, 35, 36, 37, 39} 19405
7.62/7.88 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.62/7.88 c On Instance: HOME/instance-1081331-1215216438.xml
7.62/7.88 c Running for: 72 seconds
7.68/8.67 s UNSATISFIABLE
7.68/8.67 d ASSIGNMENTS 62
7.68/8.67 d CHECKS 37832