0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-14796-serial-file.bin HOME/instance-4388346-1568298492.xml
0.67/0.53
0.67/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Thu Sep 12 16:27:31 CEST 2019
0.67/0.55 c PID: 14799
0.67/0.55 c IP: 172.20.3.137
0.67/0.55 c HOST: node137.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.61/1.30 c (0,0) Parsing End
2.94/1.30 c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 144 ctr, max domain size 26
2.94/1.30 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.94/1.31 c (0,0) Constraint Name Generate Begin
2.94/1.31 c (0,0) Ctr:HOME/instance-4388346-1568298492.xml,ExtensionSupport:Var
2.94/1.31 c (0,0) Constraint Name Generate End
2.94/1.31 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.94/1.31 c (0,0) CSP to CSPinCNF Begin
53.93/40.05 c (39,38) translated 15 (10%) constraints
97.74/75.99 c (75,71) translated 29 (20%) constraints
140.30/113.33 c (112,106) translated 44 (30%) constraints
214.19/179.07 c (178,170) translated 58 (40%) constraints
279.78/237.99 c (237,227) translated 72 (50%) constraints
281.08/239.25 c (238,228) translated 87 (60%) constraints
289.62/246.81 c (246,235) translated 101 (70%) constraints
309.85/265.29 c (264,253) translated 116 (80%) constraints
322.35/276.85 c (276,264) translated 130 (90%) constraints
327.37/281.82 c (281,269) translated 144 (100%) constraints
327.68/282.14 c (281,269) ===========================================
327.68/282.17 c (281,270) Order
327.68/282.17 c (281,270) ===========================================
339.67/292.60 c (292,280) translated 501550 (10%) constraints
351.24/303.06 c (302,290) translated 1003100 (20%) constraints
363.14/313.51 c (312,300) translated 1504649 (30%) constraints
374.85/323.91 c (323,310) translated 2006199 (40%) constraints
386.65/334.31 c (333,320) translated 2507748 (50%) constraints
398.25/344.69 c (344,330) translated 3009298 (60%) constraints
410.02/355.08 c (354,339) translated 3510848 (70%) constraints
421.88/365.48 c (364,349) translated 4012397 (80%) constraints
433.77/375.80 c (375,359) translated 4513947 (90%) constraints
445.50/386.12 c (385,369) translated 5015496 (100%) constraints
445.50/386.12 c (385,369) CSP to CSPinCNF End
445.62/386.27 c (385,369) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
445.62/386.27 c (385,369) Heap : 6958 MiB used (max 10937 MiB), NonHeap : 27 MiB used (max 0 MiB)
445.62/386.27 c (385,369) CSPinCNF Propagation Begin
575.28/434.55 c (434,390) 0 values, 144 unsatisfiable literals, and 0 valid clauses are removed
575.28/434.55 c (434,390) CSPinCNF Propagation End
575.43/434.69 c (434,390) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
575.43/434.69 c (434,390) Heap : 6994 MiB used (max 10150 MiB), NonHeap : 27 MiB used (max 0 MiB)
575.53/434.72 c (434,390) Simplify CSPinCNF Begin
622.25/452.87 c (452,399) Simplify CSPinCNF End
622.46/453.01 c (452,399) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
622.46/453.01 c (452,399) Heap : 6406 MiB used (max 10585 MiB), NonHeap : 27 MiB used (max 0 MiB)
622.46/453.01 c (452,399) Calculate Precise Domain Begin
622.46/453.02 c (452,399) 0 values are removed by re-calculation
622.46/453.02 c (452,399) Calculate Precise Domain End
622.56/453.16 c (452,399) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
622.56/453.16 c (452,399) Heap : 6406 MiB used (max 10585 MiB), NonHeap : 27 MiB used (max 0 MiB)
622.56/453.17 c (452,399) CSPinCNF to SatSolver Begin
631.19/459.59 c (459,405) 501550 (10 %) CSP clauses are encoded (0 SAT variables, 510242 SAT clauses)
638.41/465.16 c (464,410) 1003100 (20 %) CSP clauses are encoded (0 SAT variables, 1011792 SAT clauses)
645.00/470.79 c (470,415) 1504649 (30 %) CSP clauses are encoded (0 SAT variables, 1513341 SAT clauses)
654.04/476.83 c (476,420) 2006199 (40 %) CSP clauses are encoded (0 SAT variables, 2014891 SAT clauses)
663.72/483.04 c (482,425) 2507748 (50 %) CSP clauses are encoded (0 SAT variables, 2516440 SAT clauses)
674.13/489.43 c (488,430) 3009298 (60 %) CSP clauses are encoded (0 SAT variables, 3017990 SAT clauses)
684.44/495.77 c (495,435) 3510848 (70 %) CSP clauses are encoded (0 SAT variables, 3519540 SAT clauses)
696.04/502.46 c (501,440) 4012397 (80 %) CSP clauses are encoded (0 SAT variables, 4021089 SAT clauses)
704.18/508.24 c (507,445) 4513947 (90 %) CSP clauses are encoded (0 SAT variables, 4522639 SAT clauses)
712.02/513.96 c (513,450) 5015496 (100 %) CSP clauses are encoded (0 SAT variables, 5024188 SAT clauses)
712.02/513.96 c (513,450) CSPinCNF to SatSolver End
712.02/513.96 c (513,450) Heap : 8000 MiB used (max 10445 MiB), NonHeap : 28 MiB used (max 0 MiB)
712.02/513.96 c (513,450) 474527 bool, 5024189 clause
712.02/513.96 c (513,450) Export Begin
712.15/514.10 c (513,451) Export to HOME/scop-14796-serial-file.bin
712.15/514.10 c (513,451) Export End
712.15/514.10 c (513,451) Export File Size: 0.14 MB
712.15/514.10 c (513,451) 0,0,385,434,452,452,513,STOP-AFTER(DIMACS)
712.15/514.10 c END-Prog: Thu Sep 12 16:36:04 CEST 2019
712.39/514.16 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14796-serial-file.bin
712.44/514.62 c (0,0) Read Serial File Begin
712.44/514.62 c (0,0) HOME/scop-14796-serial-file.bin
713.53/515.01 c (0,0) Read Serial File End
713.53/515.02
713.53/515.02 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
713.53/515.02 (Solving Process)
713.53/515.02
713.53/515.05 c BEGIN-Prog: Thu Sep 12 16:36:05 CEST 2019
713.53/515.05 c PID: 14863
713.53/515.05 c IP: 172.20.3.137
713.53/515.05 c HOST: node137.alineos.net
713.53/515.05 c (0,0) SatSolver.solve Begin
713.53/515.05 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388346-1568298492.xml-scop-14799.cnf
713.53/515.08 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
713.53/515.08 c (0,0) c glueminisat-simp-2.2.10-193oa-n
713.53/515.08 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388346-1568298492.xml-scop-14799.cnf
713.53/515.08 c (0,0) c Options:
713.53/515.08 c (0,0) c CORE
713.53/515.08 c (0,0) c var_decay = 0.950
713.53/515.08 c (0,0) c clause_decay = 0.999
713.53/515.08 c (0,0) c random_var_freq = 0.000
713.53/515.08 c (0,0) c random_seed = 91648253.000
713.53/515.08 c (0,0) c luby_restart = 1
713.53/515.08 c (0,0) c ccmin_mode = 2
713.53/515.08 c (0,0) c phase_saving = 2
713.53/515.08 c (0,0) c rnd_pol = 0
713.53/515.08 c (0,0) c rnd_init_act = 0
713.53/515.08 c (0,0) c garbage_frac = 0.200
713.53/515.08 c (0,0) c restart_first = 1000
713.53/515.08 c (0,0) c restart_inc = 2.000
713.53/515.08 c (0,0) c MODEL
713.53/515.08 c (0,0) c partial_model = 0
713.53/515.08 c (0,0) c PROPAGATION
713.53/515.08 c (0,0) c bin_propagation = 1
713.53/515.08 c (0,0) c SIMPLIFICATION
713.53/515.08 c (0,0) c lrn_min_size = 100
713.53/515.08 c (0,0) c lazy_simp = 1
713.53/515.08 c (0,0) c lazy_interval = 10
713.53/515.08 c (0,0) c lazy_fld_probing = 1
713.53/515.08 c (0,0) c lazy_pol_probing = 1
713.53/515.08 c (0,0) c lazy_nec_probing = 1
713.53/515.08 c (0,0) c lazy_eqv_probing = 1
713.53/515.08 c (0,0) c lazy_cla_probing = 1
713.53/515.08 c (0,0) c lazy_lrn_min = 2
713.53/515.08 c (0,0) c lazy_uw_lit_elim = 1
713.53/515.08 c (0,0) c lazy_pr_lit_elim = 0
713.53/515.08 c (0,0) c lazy_bin_add = 3
713.53/515.08 c (0,0) c probed_lit_chain = 1
713.53/515.08 c (0,0) c pr_min_lits = 0.00020
713.53/515.08 c (0,0) c pr_min_starts = 500
713.53/515.08 c (0,0) c rw_min_lits = 0.010
713.53/515.08 c (0,0) c rw_min_starts = 500
713.53/515.08 c (0,0) c rand_attach = 0
713.53/515.08 c (0,0) c dec_elim = 1
713.53/515.08 c (0,0) c dec_elim_lim = 25
713.53/515.08 c (0,0) c dec_elim_len = -1
713.53/515.08 c (0,0) c amo = 0
713.53/515.08 c (0,0) c amo_grp = 1
713.53/515.08 c (0,0) c amo_max_bins = 1000000
713.53/515.08 c (0,0) c amo_starts = 50
713.53/515.08 c (0,0) c mace_cmd = mace
713.53/515.09 c (0,0) c DECISION
713.53/515.09 c (0,0) c rand_rebuild = 0
713.53/515.09 c (0,0) c rand_rebuild_confs = 10000
713.53/515.09 c (0,0) c inc_var_decay = 1
713.53/515.09 c (0,0) c inc_var_decay_period = 100000
713.53/515.09 c (0,0) c inc_var_decay_init = 0.600
713.53/515.09 c (0,0) c var_decay_mode = 0
713.53/515.09 c (0,0) c var_decay_gain = 0
713.53/515.09 c (0,0) c sloped_var_decay = 1
713.53/515.09 c (0,0) c max_var_decay = 0.990
713.53/515.09 c (0,0) c min_var_decay = 0.950
713.53/515.09 c (0,0) c min_var_decay_vars = 10000
713.53/515.09 c (0,0) c max_var_decay_vars = 500
713.53/515.09 c (0,0) c uip_bumping = 1
713.53/515.09 c (0,0) c lbd_act_bumping = 1
713.53/515.09 c (0,0) c rand_tiebreak = 0
713.53/515.09 c (0,0) c simp_rebuild = 1
713.53/515.09 c (0,0) c RESTART
713.53/515.09 c (0,0) c restart_strategy = 2
713.53/515.09 c (0,0) c restart_blocking = 0
713.53/515.09 c (0,0) c agility_decay = 0.99990
713.53/515.09 c (0,0) c lbd_restart_rate = 0.800
713.53/515.09 c (0,0) c dec_restart_rate = 0.950
713.53/515.09 c (0,0) c blk_restart_rate = 0.700
713.53/515.09 c (0,0) c lbd_queue_size = 50
713.53/515.09 c (0,0) c dec_queue_size = 50
713.53/515.09 c (0,0) c trl_queue_size = 5000
713.53/515.09 c (0,0) c blk_restart_weight = 1.000
713.53/515.09 c (0,0) c inc_rst_rate = 0
713.53/515.09 c (0,0) c inc_rst_rate_period = 500000
713.53/515.09 c (0,0) c inc_lbd_rst_rate_init = 0.600
713.53/515.09 c (0,0) c inc_dec_rst_rate_init = 0.750
713.53/515.09 c (0,0) c REDUCTION
713.53/515.09 c (0,0) c closed_lbd = 0
713.53/515.09 c (0,0) c closed_lbd_rate = 0.500
713.53/515.09 c (0,0) c rm_simulate = 0
713.53/515.09 c (0,0) c rdb_eval = 2
713.53/515.09 c (0,0) c rdb_call = 3
713.53/515.09 c (0,0) c rdb_ub = 0.500
713.53/515.09 c (0,0) c core_lbd_cvr = 0.800
713.53/515.09 c (0,0) c supp_lbd_cvr = 0.990
713.53/515.09 c (0,0) c core_lbd_lb = 2
713.53/515.09 c (0,0) c supp_lbd_lb = 2
713.53/515.09 c (0,0) c core_lbd_prd = 7
713.53/515.09 c (0,0) c supp_lbd_prd = 1
713.53/515.09 c (0,0) c othr_lbd_prd = 0
713.53/515.09 c (0,0) c inc_lrn_limit = 1000
713.53/515.09 c (0,0) c frozen_lbd = 30
713.53/515.09 c (0,0) c simp_min_starts = 100
713.53/515.09 c (0,0) c rm_low_act_learnts = 1
713.53/515.09 c (0,0) c lv0_reduce_db = 0
713.53/515.09 c (0,0) c reduce_db_base = 20000
713.53/515.09 c (0,0) c reduce_db_inc = 1000
713.53/515.09 c (0,0) c HARD
713.53/515.09 c (0,0) c inst_check = 200000
713.53/515.09 c (0,0) c small_block = 1.750
713.53/515.09 c (0,0) c slow_restart_speed = 400.000
713.53/515.09 c (0,0) c slow_restart_strategy = 3
713.53/515.09 c (0,0) c slow_lbd_restart_rate = 0.700
713.53/515.09 c (0,0) c slow_dec_restart_rate = 1.000
713.53/515.09 c (0,0) c slow_lbd_queue_size = 50
713.53/515.09 c (0,0) c slow_var_decay = 0.950
713.53/515.09 c (0,0) c slow_glue_threshold = 2
713.53/515.09 c (0,0) c slow_phase_saving = 2
713.53/515.09 c (0,0) c fast_restart_speed = 125.000
713.53/515.09 c (0,0) c fast_restart_strategy = 1
713.53/515.09 c (0,0) c fast_lbd_restart_rate = 0.800
713.53/515.09 c (0,0) c fast_dec_restart_rate = 0.950
713.53/515.09 c (0,0) c fast_lbd_queue_size = 50
713.53/515.09 c (0,0) c fast_var_decay = 1.000
713.53/515.09 c (0,0) c fast_glue_threshold = 2
713.53/515.09 c (0,0) c fast_phase_saving = 2
713.53/515.09 c (0,0) c STATS
713.53/515.09 c (0,0) c stats_conf_size = 10000
713.53/515.09 c (0,0) c max_stats_size = 30
713.53/515.09 c (0,0) c SOLVER
713.53/515.09 c (0,0) c minisat = 0
715.66/516.97 c (2,0) c Problem: 474527 variables, 5017012 clauses, parsing 1.72 s
715.96/517.25 c (2,0) c exclude 58537 (12.3%) variables from decision variables (last cost 25)
716.37/517.66 c (3,0) c Simplification: 58537 vars, 0 clauses are eliminated using 0.64 s
716.37/517.66 c (3,0) c
716.37/517.66 c (3,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
716.37/517.66 c (3,0) c
716.37/517.66 c (3,0) c 2 0 0 415990 5017012 0 -nan -nan -nan -nan%
716.58/517.80 c (3,0) c 2 1 100 416228 5017012 102 86.7 11.4 3763.7 21.3%
716.68/517.91 c (3,0) c 2 1 220 416351 5017012 229 90.1 8.9 3742.7 23.8%
716.79/518.03 c (3,0) c 2 1 364 416990 5017012 380 102.5 8.6 2750.1 19.7%
716.79/518.10 c (3,0) c 3 1 536 417154 5017012 557 122.8 7.6 2226.9 19.2%
716.98/518.28 c (3,0) c 3 1 743 417325 5017012 776 134.3 6.9 1923.0 18.2%
717.17/518.49 c (3,0) c 3 2 991 417406 5017012 1041 108.3 6.7 1560.1 17.6%
717.48/518.76 c (4,0) c 3 5 1289 417743 5017012 1355 94.8 6.9 1372.9 17.4%
717.78/519.09 c (4,0) c 4 8 1647 418444 5017012 1741 92.9 7.0 1160.2 18.9%
718.28/519.52 c (4,0) c 4 10 2076 418751 5017012 2230 83.5 6.8 956.0 17.9%
718.67/519.90 c (5,0) c 4 16 2591 419232 5017012 2855 77.8 7.3 838.9 16.8%
719.27/520.59 c (6,0) c 5 17 3210 419968 5017012 3588 77.2 7.0 744.3 18.4%
719.97/521.22 c (6,0) c 6 21 3953 420489 5017012 4467 77.5 6.8 652.3 18.2%
720.67/521.97 c (7,0) c 6 21 4844 421711 5017012 5488 88.9 6.7 587.2 20.4%
721.27/522.50 c (7,0) c 7 26 5913 422674 5017012 6722 92.6 6.7 529.8 18.9%
721.97/523.20 c (8,0) c 8 38 7196 423428 5017012 8149 111.0 7.0 449.7 16.5%
722.78/524.03 c (9,0) c
722.78/524.03 c (9,0) c variables : 424458 (init 474527, after simp 415990, 50068 non-decs, 368 csp)
722.78/524.03 c (9,0) c clauses : 5017012 (init 5017012, after simp 5017012)
722.78/524.03 c (9,0) c restarts : 45 (189.91 confs/res, 50~1070 confs, 0 blks, 0 last)
722.78/524.03 c (9,0) c conflicts : 8736 (1012 /sec, 65.35% dconfs, 0.00% supp, trail 394.48w x 401.42h, jmp 8.21h)
722.78/524.03 c (9,0) c decisions : 90142 (0.6300 vdcy, 10442 /sec, 0.00% bin, rs 0.027 s)
722.78/524.03 c (9,0) c propagations : 24990512 (2894753 /sec, 277.23 lits/dec, 1.10% o.a.)
722.78/524.03 c (9,0) c conflict literals : 1375447 (22.86% deleted; 0.17% by bin min, 0.002 s)
722.78/524.03 c (9,0) c len : 106.525 (121.19 for all, max 3404, used 2293)
722.78/524.03 c (9,0) c lbd : 7.065 (8.84 (7.78) for all, max 624, used 581, 8.391 stdev, 13.710 blk)
722.78/524.03 c (9,0) c amo : 0 (0 max, -nan avg, 0.000 s)
722.78/524.03 c (9,0) c simp dbs : 0 (0.000 s)
722.78/524.03 c (9,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
722.78/524.03 c (9,0) c learnts : 9962 (0 learnts removed, 0.00%)
722.78/524.03 c (9,0) c rewrite dbs : 0 (0/5 vars, 0+0 taut, 0+0 unit, 0.000 s)
722.78/524.03 c (9,0) c assigned lits : 0 (0/5 probed, 5 remains)
722.78/524.03 c (9,0) c premise updates : 942317 (1.13 /lit)
722.78/524.03 c (9,0) c probed variables : 5 (0 pr, 0 eq, 5 fld, 0 pol, 0 nec, 0 cla, 0 amo)
722.78/524.03 c (9,0) c equiv variables : 5 (5 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
722.78/524.03 c (9,0) c lazy added bins : 1227 (1227 prop + 0 conf, 0.019s)
722.78/524.03 c (9,0) c unwatched lit elim: 10014 (0.03+0.41%, 4408+5606 of 17404013+1375447)
722.78/524.03 c (9,0) c classified type : undef
722.78/524.03 c (9,0) c progress : 0.000 %
722.78/524.03 c (9,0) c
722.78/524.03 c (9,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
722.78/524.03 c (9,0) c
722.78/524.03 c (9,0) c 8 46 8736 424458 5017012 9962 106.5 7.1 401.4 15.5%
723.99/525.25 c (10,0) c 10 51 10584 425454 5017012 12209 106.6 6.9 264.6 14.5%
725.98/527.26 c (12,0) c 12 62 12802 426978 5017012 14921 104.6 6.9 228.5 15.3%
728.09/529.34 c (14,0) c 14 78 15464 428224 5017012 18029 106.0 7.1 198.4 12.4%
730.39/531.65 c (17,0) c 16 99 18658 429414 5017012 22000 108.7 7.1 190.8 13.1%
731.89/533.13 c (18,0) c 18 r 108 20001 429836 5016575 23762 108.0 7.2 248.4 14.1%
731.89/533.13 c (18,0) c
731.89/533.13 c (18,0) c R [LBD Statistics #1]
731.89/533.13 c (18,0) c R LBD used lbd used clause lbd
731.89/533.13 c (18,0) c R tot 63013 23762
731.89/533.13 c (18,0) c R avg 4.452 7.180
731.89/533.13 c (18,0) c R 1 1530 ( 2.4/ 2.4%) 111 ( 0.5/ 0.5%)
731.89/533.13 c (18,0) c R 2 20175 (32.0/34.4%) 7016 (29.5/30.0%)
731.89/533.13 c (18,0) c R 3 15603 (24.8/59.2%) 2850 (12.0/42.0%)
731.89/533.13 c (18,0) c R 4 8701 (13.8/73.0%) 2389 (10.1/52.0%)
731.89/533.13 c (18,0) c R
731.89/533.13 c (18,0) c R core_lbd_threshold = 4
731.89/533.13 c (18,0) c R supp_lbd_threshold = 21
731.89/533.13 c (18,0) c R
731.89/533.13 c (18,0) c R [RDB Statistics #1]
731.89/533.13 c (18,0) c R kept: lbd = 12359 (52.0/52.0%)
731.89/533.13 c (18,0) c R kept: ttl = 11394 (48.0/100.0%)
731.89/533.13 c (18,0) c R kept: locked = 9 ( 0.0/100.0%)
731.89/533.13 c (18,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
731.89/533.13 c (18,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
731.89/533.13 c (18,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
731.89/533.13 c (18,0) c
731.89/533.13 c (18,0) c 18 R 108 20001 429836 5016575 23762 108.0 7.2 248.4 14.1%
734.09/535.35 c (20,0) c 20 119 22491 431621 5016575 26729 109.5 7.1 249.0 14.7%
737.92/539.14 c (24,0) c 24 133 27091 433318 5016575 32455 113.6 7.0 401.9 20.5%
743.11/544.33 c (29,0) c 29 157 32611 436018 5016575 39785 108.9 6.9 413.4 24.6%
748.40/549.63 c (35,0) c 34 190 39235 436770 5016575 47999 112.2 7.2 357.0 21.5%
749.81/551.02 c (36,0) c 35 r 198 41002 436882 5016575 50322 113.9 7.2 303.6 18.8%
749.81/551.03 c (36,0) c
749.81/551.03 c (36,0) c R [LBD Statistics #2]
749.81/551.03 c (36,0) c R LBD used lbd used clause lbd
749.81/551.03 c (36,0) c R tot 213376 50322
749.81/551.03 c (36,0) c R avg 3.866 7.244
749.81/551.03 c (36,0) c R 1 7495 ( 3.5/ 3.5%) 298 ( 0.6/ 0.6%)
749.81/551.03 c (36,0) c R 2 85855 (40.2/43.7%) 16465 (32.7/33.3%)
749.81/551.03 c (36,0) c R 3 50104 (23.5/67.2%) 5944 (11.8/45.1%)
749.81/551.03 c (36,0) c R 4 26846 (12.6/79.8%) 4784 ( 9.5/54.6%)
749.81/551.03 c (36,0) c R
749.81/551.03 c (36,0) c R core_lbd_threshold = 4
749.81/551.03 c (36,0) c R supp_lbd_threshold = 18
749.81/551.03 c (36,0) c R
749.81/551.03 c (36,0) c R [RDB Statistics #2]
749.81/551.03 c (36,0) c R kept: lbd = 27294 (54.2/54.2%)
749.81/551.03 c (36,0) c R kept: ttl = 12398 (24.6/78.9%)
749.81/551.03 c (36,0) c R kept: locked = 207 ( 0.4/79.3%)
749.81/551.03 c (36,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
749.81/551.03 c (36,0) c R lost: ttl = 10423 (20.7/20.7%)
749.81/551.03 c (36,0) c R lost: subsumed = 0 ( 0.0/20.7%)
749.81/551.03 c (36,0) c
749.81/551.03 c (36,0) c 35 R 198 41002 436882 5016575 39899 77.3 4.5 303.6 18.8%
755.21/556.47 c (41,0) c 41 219 47184 437646 5016563 47574 85.9 4.8 326.0 19.5%
762.51/563.74 c (49,0) c 48 268 56723 438686 5016563 59066 95.7 5.3 228.0 15.6%
768.62/569.86 c (55,0) c 54 r 301 63000 439617 5016492 67518 97.4 5.5 237.2 13.5%
768.62/569.87 c (55,0) c
768.62/569.87 c (55,0) c R [LBD Statistics #3]
768.62/569.87 c (55,0) c R LBD used lbd used clause lbd
768.62/569.87 c (55,0) c R tot 483307 67518
768.62/569.87 c (55,0) c R avg 3.439 5.474
768.62/569.87 c (55,0) c R 1 22912 ( 4.7/ 4.7%) 547 ( 0.8/ 0.8%)
768.62/569.87 c (55,0) c R 2 224679 (46.5/51.2%) 26491 (39.2/40.0%)
768.62/569.87 c (55,0) c R 3 104829 (21.7/72.9%) 8967 (13.3/53.3%)
768.62/569.87 c (55,0) c R
768.62/569.87 c (55,0) c R core_lbd_threshold = 3
768.62/569.87 c (55,0) c R supp_lbd_threshold = 16
768.62/569.87 c (55,0) c R
768.62/569.87 c (55,0) c R [RDB Statistics #3]
768.62/569.87 c (55,0) c R kept: lbd = 35729 (52.9/52.9%)
768.62/569.87 c (55,0) c R kept: ttl = 19904 (29.5/82.4%)
768.62/569.87 c (55,0) c R kept: locked = 323 ( 0.5/82.9%)
768.62/569.87 c (55,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
768.62/569.87 c (55,0) c R lost: ttl = 11562 (17.1/17.1%)
768.62/569.87 c (55,0) c R lost: subsumed = 0 ( 0.0/17.1%)
768.62/569.87 c (55,0) c
768.62/569.87 c (55,0) c
768.62/569.87 c (55,0) c variables : 439617 (init 474527, after simp 415990, 34861 non-decs, 368 csp)
768.62/569.87 c (55,0) c clauses : 5016492 (init 5017012, after simp 5017012)
768.62/569.87 c (55,0) c restarts : 300 (209.30 confs/res, 50~1697 confs, 0 blks, 0 last)
768.62/569.87 c (55,0) c conflicts : 63000 (1170 /sec, 64.30% dconfs, 0.00% supp, trail 465.93w x 317.09h, jmp 8.51h)
768.62/569.87 c (55,0) c decisions : 652081 (0.8200 vdcy, 12107 /sec, 0.00% bin, rs 0.174 s)
768.62/569.87 c (55,0) c propagations : 200393384 (3720547 /sec, 307.31 lits/dec, 1.05% o.a.)
768.62/569.87 c (55,0) c conflict literals : 12316848 (25.20% deleted; 0.14% by bin min, 0.012 s)
768.62/569.87 c (55,0) c len : 63.943 (145.96 for all, max 5671, used 5671)
768.62/569.87 c (55,0) c lbd : 3.854 (9.61 (8.35) for all, max 743, used 733, 5.267 stdev, 15.181 blk)
768.62/569.87 c (55,0) c amo : 0 (0 max, -nan avg, 0.000 s)
768.62/569.87 c (55,0) c simp dbs : 3 (1.122 s)
768.62/569.87 c (55,0) c reduce dbs : 3 (core-lbd 3, supp-lbd 16, 0.007 s)
768.62/569.87 c (55,0) c learnts : 55956 (21985 learnts removed, 34.90%)
768.62/569.87 c (55,0) c rewrite dbs : 0 (0/57 vars, 0+0 taut, 0+0 unit, 0.000 s)
768.62/569.87 c (55,0) c assigned lits : 0 (0/84 probed, 84 remains)
768.62/569.87 c (55,0) c premise updates : 6124627 (7.36 /lit)
768.62/569.87 c (55,0) c probed variables : 84 (0 pr, 0 eq, 31 fld, 0 pol, 0 nec, 53 cla, 0 amo)
768.62/569.87 c (55,0) c equiv variables : 57 (57 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
768.62/569.87 c (55,0) c lazy added bins : 14951 (14951 prop + 0 conf, 0.148s)
768.62/569.87 c (55,0) c unwatched lit elim: 249787 (0.82+0.87%, 142023+107764 of 17404013+12316848)
768.62/569.87 c (55,0) c classified type : undef
768.62/569.87 c (55,0) c progress : 0.011 %
768.62/569.87 c (55,0) c
768.62/569.87 c (55,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
768.62/569.87 c (55,0) c
768.62/569.87 c (55,0) c 54 R 301 63000 439617 5016492 55956 63.9 3.9 237.2 13.5%
773.94/575.16 c (60,0) c 60 324 68170 440781 5016492 62613 67.8 4.1 283.6 19.0%
784.74/585.91 c (71,0) c 70 374 81907 444851 5016492 79272 71.4 4.6 281.6 19.6%
785.74/586.95 c (72,0) c 71 p 381 83138 444847 5016492 80774 71.3 4.7 291.3 19.9%
788.24/589.48 c (74,0) c 74 r 387 86000 445325 5016492 84274 72.2 4.7 290.2 19.4%
788.74/589.90 c (75,0) c
788.74/589.90 c (75,0) c R [LBD Statistics #4]
788.74/589.90 c (75,0) c R LBD used lbd used clause lbd
788.74/589.90 c (75,0) c R tot 683312 84274
788.74/589.90 c (75,0) c R avg 3.385 4.715
788.74/589.90 c (75,0) c R 1 30569 ( 4.5/ 4.5%) 729 ( 0.9/ 0.9%)
788.74/589.90 c (75,0) c R 2 315085 (46.1/50.6%) 35994 (42.7/43.6%)
788.74/589.90 c (75,0) c R 3 155783 (22.8/73.4%) 12510 (14.8/58.4%)
788.74/589.90 c (75,0) c R
788.74/589.90 c (75,0) c R core_lbd_threshold = 3
788.74/589.90 c (75,0) c R supp_lbd_threshold = 15
788.74/589.90 c (75,0) c R
788.74/589.90 c (75,0) c R [RDB Statistics #4]
788.74/589.90 c (75,0) c R kept: lbd = 49177 (58.4/58.4%)
788.74/589.90 c (75,0) c R kept: ttl = 22240 (26.4/84.7%)
788.74/589.90 c (75,0) c R kept: locked = 70 ( 0.1/84.8%)
788.74/589.90 c (75,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
788.74/589.90 c (75,0) c R lost: ttl = 12787 (15.2/15.2%)
788.74/589.90 c (75,0) c R lost: subsumed = 0 ( 0.0/15.2%)
788.74/589.90 c (75,0) c
788.74/589.90 c (75,0) c 74 R 387 86000 445325 5016492 71487 42.4 3.5 290.2 19.4%
799.05/600.21 c (85,0) c 85 429 98391 448352 5015662 86685 48.8 3.9 259.0 24.1%
800.44/601.69 c (87,0) c 86 f 434 100000 448428 5015662 88650 49.2 4.0 298.2 22.5%
809.14/610.35 c (95,0) c 95 r 477 110000 449498 5015662 101442 51.9 4.3 279.6 21.7%
809.14/610.36 c (95,0) c
809.14/610.36 c (95,0) c R [LBD Statistics #5]
809.14/610.36 c (95,0) c R LBD used lbd used clause lbd
809.14/610.36 c (95,0) c R tot 961700 101442
809.14/610.36 c (95,0) c R avg 3.296 4.273
809.14/610.36 c (95,0) c R 1 42878 ( 4.5/ 4.5%) 965 ( 1.0/ 1.0%)
809.14/610.36 c (95,0) c R 2 448742 (46.7/51.1%) 47040 (46.4/47.3%)
809.14/610.36 c (95,0) c R 3 225366 (23.4/74.6%) 16016 (15.8/63.1%)
809.14/610.36 c (95,0) c R
809.14/610.36 c (95,0) c R core_lbd_threshold = 3
809.14/610.36 c (95,0) c R supp_lbd_threshold = 15
809.14/610.36 c (95,0) c R
809.14/610.36 c (95,0) c R [RDB Statistics #5]
809.14/610.36 c (95,0) c R kept: lbd = 63581 (62.7/62.7%)
809.14/610.36 c (95,0) c R kept: ttl = 21639 (21.3/84.0%)
809.14/610.36 c (95,0) c R kept: locked = 495 ( 0.5/84.5%)
809.14/610.36 c (95,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
809.14/610.36 c (95,0) c R lost: ttl = 15727 (15.5/15.5%)
809.14/610.36 c (95,0) c R lost: subsumed = 0 ( 0.0/15.5%)
809.14/610.36 c (95,0) c
809.14/610.36 c (95,0) c 95 R 477 110000 449498 5015662 85715 32.9 3.2 279.6 21.7%
816.88/618.11 c (103,0) c 103 526 118172 449962 5015637 95976 37.1 3.6 257.2 17.6%
831.68/632.87 c (118,0) c 117 r 595 135000 451179 5015637 116773 44.7 4.1 234.6 22.2%
831.68/632.87 c (118,0) c
831.68/632.87 c (118,0) c R [LBD Statistics #6]
831.68/632.88 c (118,0) c R LBD used lbd used clause lbd
831.68/632.88 c (118,0) c R tot 1427455 116773
831.68/632.88 c (118,0) c R avg 3.128 4.123
831.68/632.88 c (118,0) c R 1 70227 ( 4.9/ 4.9%) 1233 ( 1.1/ 1.1%)
831.68/632.88 c (118,0) c R 2 706611 (49.5/54.4%) 58486 (50.1/51.1%)
831.68/632.88 c (118,0) c R
831.68/632.88 c (118,0) c R core_lbd_threshold = 2
831.68/632.88 c (118,0) c R supp_lbd_threshold = 14
831.68/632.88 c (118,0) c R
831.68/632.88 c (118,0) c R [RDB Statistics #6]
831.68/632.88 c (118,0) c R kept: lbd = 59157 (50.7/50.7%)
831.68/632.88 c (118,0) c R kept: ttl = 42588 (36.5/87.1%)
831.68/632.88 c (118,0) c R kept: locked = 682 ( 0.6/87.7%)
831.68/632.88 c (118,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
831.68/632.88 c (118,0) c R lost: ttl = 14346 (12.3/12.3%)
831.68/632.88 c (118,0) c R lost: subsumed = 0 ( 0.0/12.3%)
831.68/632.88 c (118,0) c
831.68/632.88 c (118,0) c 117 R 595 135000 451179 5015637 102427 30.4 3.1 234.6 22.2%
836.79/637.94 c (123,0) c 122 618 141909 451432 5015637 110981 33.0 3.3 360.1 27.3%
854.91/656.11 c (141,0) c 141 r 697 161000 452288 5015637 135069 39.9 3.9 361.8 28.5%
855.01/656.12 c (141,0) c
855.01/656.12 c (141,0) c R [LBD Statistics #7]
855.01/656.12 c (141,0) c R LBD used lbd used clause lbd
855.01/656.12 c (141,0) c R tot 1943383 135069
855.01/656.12 c (141,0) c R avg 3.028 3.874
855.01/656.12 c (141,0) c R 1 96397 ( 5.0/ 5.0%) 1520 ( 1.1/ 1.1%)
855.01/656.12 c (141,0) c R 2 991844 (51.0/56.0%) 70704 (52.3/53.5%)
855.01/656.12 c (141,0) c R
855.01/656.12 c (141,0) c R core_lbd_threshold = 2
855.01/656.12 c (141,0) c R supp_lbd_threshold = 13
855.01/656.12 c (141,0) c R
855.01/656.12 c (141,0) c R [RDB Statistics #7]
855.01/656.12 c (141,0) c R kept: lbd = 71173 (52.7/52.7%)
855.01/656.12 c (141,0) c R kept: ttl = 46713 (34.6/87.3%)
855.01/656.12 c (141,0) c R kept: locked = 1341 ( 1.0/88.3%)
855.01/656.12 c (141,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
855.01/656.12 c (141,0) c R lost: ttl = 15842 (11.7/11.7%)
855.01/656.12 c (141,0) c R lost: subsumed = 0 ( 0.0/11.7%)
855.01/656.12 c (141,0) c
855.01/656.12 c (141,0) c 141 R 697 161000 452288 5015637 119227 25.9 3.0 361.8 28.5%
864.60/665.79 c (151,0) c
864.60/665.79 c (151,0) c variables : 452652 (init 474527, after simp 415990, 21721 non-decs, 368 csp)
864.60/665.79 c (151,0) c clauses : 5015629 (init 5017012, after simp 5017012)
864.60/665.79 c (151,0) c restarts : 750 (226.89 confs/res, 50~2339 confs, 0 blks, 0 last)
864.60/665.79 c (151,0) c conflicts : 170394 (1145 /sec, 64.22% dconfs, 0.00% supp, trail 454.90w x 307.88h, jmp 7.93h)
864.60/665.79 c (151,0) c decisions : 1608012 (0.9500 vdcy, 10805 /sec, 0.00% bin, rs 0.276 s)
864.60/665.79 c (151,0) c propagations : 606185891 (4073417 /sec, 376.98 lits/dec, 1.08% o.a.)
864.60/665.79 c (151,0) c conflict literals : 27045086 (27.29% deleted; 0.19% by bin min, 0.037 s)
864.60/665.79 c (151,0) c len : 31.565 (115.10 for all, max 5671, used 5671)
864.60/665.79 c (151,0) c lbd : 3.352 (8.96 (7.80) for all, max 743, used 733, 3.269 stdev, 12.844 blk)
864.60/665.79 c (151,0) c amo : 0 (0 max, -nan avg, 0.000 s)
864.60/665.79 c (151,0) c simp dbs : 6 (2.438 s)
864.60/665.79 c (151,0) c reduce dbs : 7 (core-lbd 2, supp-lbd 13, 0.431 s)
864.60/665.79 c (151,0) c learnts : 130881 (80687 learnts removed, 47.35%)
864.60/665.79 c (151,0) c rewrite dbs : 0 (0/161 vars, 0+0 taut, 0+0 unit, 0.000 s)
864.60/665.79 c (151,0) c assigned lits : 1 (35/113 probed, 24 remains)
864.60/665.79 c (151,0) c premise updates : 18889478 (22.70 /lit)
864.60/665.79 c (151,0) c probed variables : 113 (0 pr, 0 eq, 44 fld, 0 pol, 0 nec, 69 cla, 0 amo)
864.60/665.79 c (151,0) c equiv variables : 161 (161 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
864.60/665.79 c (151,0) c lazy added bins : 41194 (41194 prop + 0 conf, 0.367s)
864.60/665.79 c (151,0) c unwatched lit elim: 482426 (1.64+0.73%, 285474+196952 of 17404013+27045086)
864.60/665.79 c (151,0) c classified type : undef
864.60/665.79 c (151,0) c progress : 0.034 %
864.60/665.79 c (151,0) c
864.60/665.79 c (151,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
864.60/665.79 c (151,0) c
864.60/665.79 c (151,0) c 150 751 170394 452652 5015629 130881 31.6 3.4 293.7 20.9%
879.71/680.87 c (166,0) c 165 r 819 188000 453115 5015629 152989 35.8 3.7 465.6 26.5%
880.21/681.33 c (166,0) c
880.21/681.33 c (166,0) c R [LBD Statistics #8]
880.21/681.33 c (166,0) c R LBD used lbd used clause lbd
880.21/681.33 c (166,0) c R tot 2629842 152989
880.21/681.33 c (166,0) c R avg 2.931 3.745
880.21/681.33 c (166,0) c R 1 132937 ( 5.1/ 5.1%) 1924 ( 1.3/ 1.3%)
880.21/681.33 c (166,0) c R 2 1392722 (53.0/58.0%) 83597 (54.6/55.9%)
880.21/681.33 c (166,0) c R
880.21/681.33 c (166,0) c R core_lbd_threshold = 2
880.21/681.33 c (166,0) c R supp_lbd_threshold = 12
880.21/681.33 c (166,0) c R
880.21/681.33 c (166,0) c R [RDB Statistics #8]
880.21/681.33 c (166,0) c R kept: lbd = 84412 (55.2/55.2%)
880.21/681.33 c (166,0) c R kept: ttl = 43283 (28.3/83.5%)
880.21/681.33 c (166,0) c R kept: locked = 952 ( 0.6/84.1%)
880.21/681.33 c (166,0) c R lost: lbd = 334 ( 0.2/ 0.2%)
880.21/681.33 c (166,0) c R lost: ttl = 24008 (15.7/15.9%)
880.21/681.33 c (166,0) c R lost: subsumed = 0 ( 0.0/15.9%)
880.21/681.33 c (166,0) c
880.21/681.33 c (166,0) c 166 R 819 188000 453115 5015629 128647 23.1 2.9 465.6 26.5%
892.12/693.21 c (178,0) c 178 N 866 201340 453597 5015617 145226 30.1 3.2 341.8 28.6%
894.73/695.86 c (181,0) c
894.73/695.86 c (181,0) c I variables : 453597 (init 474527, after simp 415990, 20773 non-decs, 368 csp)
894.73/695.86 c (181,0) c I clauses : 5015617 (init 5017012, after simp 5017012)
894.73/695.86 c (181,0) c I restarts : 865 (232.49 confs/res, 50~2339 confs, 0 blks, 0 last)
894.73/695.86 c (181,0) c I conflicts : 201340 (1144 /sec, 64.17% dconfs, 0.00% supp, trail 456.63w x 313.95h, jmp 7.79h)
894.73/695.86 c (181,0) c I decisions : 1860417 (0.9500 vdcy, 10572 /sec, 0.00% bin, rs 0.297 s)
894.73/695.86 c (181,0) c I propagations : 724503654 (4117245 /sec, 389.43 lits/dec, 1.10% o.a.)
894.73/695.86 c (181,0) c I conflict literals : 30839569 (27.41% deleted; 0.20% by bin min, 0.045 s)
894.73/695.86 c (181,0) c I len : 30.062 (110.88 for all, max 5671, used 5671)
894.73/695.86 c (181,0) c I lbd : 3.224 (8.84 (7.69) for all, max 757, used 733, 2.983 stdev, 12.537 blk)
894.73/695.86 c (181,0) c I amo : 0 (0 max, -nan avg, 0.000 s)
894.73/695.86 c (181,0) c I simp dbs : 7 (2.890 s)
894.73/695.86 c (181,0) c I reduce dbs : 8 (core-lbd 2, supp-lbd 12, 0.864 s)
894.73/695.86 c (181,0) c I learnts : 145226 (105029 learnts removed, 52.16%)
894.73/695.86 c (181,0) c I rewrite dbs : 0 (0/178 vars, 0+0 taut, 0+0 unit, 0.000 s)
894.73/695.86 c (181,0) c I assigned lits : 1 (35/113 probed, 24 remains)
894.73/695.86 c (181,0) c I premise updates : 21415980 (25.74 /lit)
894.73/695.86 c (181,0) c I probed variables : 113 (0 pr, 0 eq, 44 fld, 0 pol, 0 nec, 69 cla, 0 amo)
894.73/695.86 c (181,0) c I equiv variables : 178 (178 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
894.73/695.86 c (181,0) c I lazy added bins : 48938 (48938 prop + 0 conf, 0.426s)
894.73/695.86 c (181,0) c I unwatched lit elim: 539317 (1.84+0.71%, 320919+218398 of 17404013+30839569)
894.73/695.86 c (181,0) c I classified type : normal
894.73/695.86 c (181,0) c I progress : 0.035 %
894.73/695.86 c (181,0) c
894.73/695.86 c (181,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
894.73/695.86 c (181,0) c
894.73/695.86 c (181,0) c 180 873 204576 453892 5015617 149163 31.0 3.3 269.8 26.1%
906.23/707.30 c (192,0) c 192 r 942 216000 454147 5015617 163597 36.2 3.6 333.6 21.7%
906.23/707.32 c (192,0) c
906.23/707.33 c (192,0) c R [LBD Statistics #9]
906.23/707.33 c (192,0) c R LBD used lbd used clause lbd
906.23/707.33 c (192,0) c R tot 3397578 163597
906.23/707.33 c (192,0) c R avg 2.851 3.598
906.23/707.33 c (192,0) c R 1 180286 ( 5.3/ 5.3%) 2328 ( 1.4/ 1.4%)
906.23/707.33 c (192,0) c R 2 1866674 (54.9/60.2%) 96554 (59.0/60.4%)
906.23/707.33 c (192,0) c R
906.23/707.33 c (192,0) c R core_lbd_threshold = 2
906.23/707.33 c (192,0) c R supp_lbd_threshold = 11
906.23/707.33 c (192,0) c R
906.23/707.33 c (192,0) c R [RDB Statistics #9]
906.23/707.33 c (192,0) c R kept: lbd = 96262 (58.8/58.8%)
906.23/707.33 c (192,0) c R kept: ttl = 40228 (24.6/83.4%)
906.23/707.33 c (192,0) c R kept: locked = 2365 ( 1.4/84.9%)
906.23/707.33 c (192,0) c R lost: lbd = 601 ( 0.4/ 0.4%)
906.23/707.33 c (192,0) c R lost: ttl = 24141 (14.8/15.1%)
906.23/707.33 c (192,0) c R lost: subsumed = 0 ( 0.0/15.1%)
906.23/707.33 c (192,0) c
906.23/707.33 c (192,0) c 192 R 942 216000 454147 5015617 138855 22.5 2.7 333.6 21.7%
916.06/717.12 c (202,0) c 202 985 224511 454332 5015617 150041 26.4 3.0 436.3 28.5%
916.06/717.14 c (202,0) c
916.06/717.14 c (202,0) c
916.06/717.14 c (202,0) c variables : 454332 (init 474527, after simp 415990, 20038 non-decs, 368 csp)
916.06/717.14 c (202,0) c clauses : 5015617 (init 5017012, after simp 5017012)
916.06/717.14 c (202,0) c restarts : 984 (227.93 confs/res, 50~2339 confs, 0 blks, 0 last)
916.06/717.14 c (202,0) c conflicts : 224511 (1124 /sec, 64.15% dconfs, 0.00% supp, trail 455.40w x 320.63h, jmp 7.82h)
916.06/717.14 c (202,0) c decisions : 2091559 (0.9500 vdcy, 10475 /sec, 0.00% bin, rs 0.315 s)
916.06/717.14 c (202,0) c propagations : 824135019 (4127363 /sec, 394.03 lits/dec, 1.09% o.a.)
916.06/717.14 c (202,0) c conflict literals : 34370106 (27.92% deleted; 0.20% by bin min, 0.051 s)
916.06/717.14 c (202,0) c len : 26.366 (110.04 for all, max 5671, used 5671)
916.06/717.14 c (202,0) c lbd : 2.997 (8.83 (7.69) for all, max 788, used 733, 2.787 stdev, 12.457 blk)
916.06/717.14 c (202,0) c amo : 0 (0 max, -nan avg, 0.000 s)
916.06/717.14 c (202,0) c simp dbs : 7 (2.890 s)
916.06/717.14 c (202,0) c reduce dbs : 9 (core-lbd 2, supp-lbd 11, 0.880 s)
916.06/717.14 c (202,0) c learnts : 150041 (129771 learnts removed, 57.80%)
916.06/717.14 c (202,0) c rewrite dbs : 0 (0/182 vars, 0+0 taut, 0+0 unit, 0.000 s)
916.06/717.14 c (202,0) c assigned lits : 1 (35/113 probed, 24 remains)
916.06/717.14 c (202,0) c premise updates : 23878770 (28.70 /lit)
916.06/717.14 c (202,0) c probed variables : 113 (0 pr, 0 eq, 44 fld, 0 pol, 0 nec, 69 cla, 0 amo)
916.06/717.14 c (202,0) c equiv variables : 182 (182 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
916.06/717.14 c (202,0) c lazy added bins : 55324 (55324 prop + 0 conf, 0.481s)
916.06/717.14 c (202,0) c unwatched lit elim: 555804 (1.86+0.67%, 324548+231256 of 17404013+34370106)
916.06/717.14 c (202,0) c classified type : normal
916.06/717.14 c (202,0) c progress : 0.035 %
916.06/717.14 c (202,0) c
916.06/717.14 c (202,0) c [Statistics]
916.06/717.14 c (202,0) c learnts len learnts lbd lit blk size eq vars size
916.06/717.14 c (202,0) c tot 224511 224511 1983251 182
916.06/717.14 c (202,0) c avg 110.040 7.686 12.457 2.000
916.06/717.14 c (202,0) c 1 23 ( 0.0%) 2449 ( 1.1%) 1272248 (64.1%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 2 7623 ( 3.4%) 46127 (20.5%) 177779 ( 9.0%) 182 (100.0%)
916.06/717.14 c (202,0) c 3 19150 ( 8.5%) 31072 (13.8%) 87920 ( 4.4%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 4 20264 ( 9.0%) 24860 (11.1%) 54937 ( 2.8%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 5 13863 ( 6.2%) 20116 ( 9.0%) 39864 ( 2.0%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 6 10719 ( 4.8%) 16357 ( 7.3%) 29960 ( 1.5%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 7 8156 ( 3.6%) 13347 ( 5.9%) 24305 ( 1.2%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 8 6507 ( 2.9%) 10828 ( 4.8%) 19766 ( 1.0%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 9 5357 ( 2.4%) 8863 ( 3.9%) 17181 ( 0.9%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 10 4559 ( 2.0%) 7299 ( 3.3%) 14760 ( 0.7%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 11 3878 ( 1.7%) 6199 ( 2.8%) 13176 ( 0.7%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 12 3431 ( 1.5%) 5146 ( 2.3%) 11467 ( 0.6%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 13 3090 ( 1.4%) 4245 ( 1.9%) 10315 ( 0.5%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 14 2726 ( 1.2%) 3584 ( 1.6%) 9050 ( 0.5%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 15 2484 ( 1.1%) 3068 ( 1.4%) 8211 ( 0.4%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 16 2320 ( 1.0%) 2492 ( 1.1%) 7442 ( 0.4%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 17 2212 ( 1.0%) 2118 ( 0.9%) 6961 ( 0.4%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 18 2164 ( 1.0%) 1850 ( 0.8%) 6524 ( 0.3%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 19 2109 ( 0.9%) 1578 ( 0.7%) 5947 ( 0.3%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 20 1929 ( 0.9%) 1389 ( 0.6%) 5576 ( 0.3%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 21 1903 ( 0.8%) 1157 ( 0.5%) 5173 ( 0.3%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 22 1882 ( 0.8%) 1031 ( 0.5%) 4778 ( 0.2%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 23 1824 ( 0.8%) 867 ( 0.4%) 4486 ( 0.2%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 24 1919 ( 0.9%) 788 ( 0.4%) 4004 ( 0.2%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 25 1912 ( 0.9%) 653 ( 0.3%) 3882 ( 0.2%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 26 2126 ( 0.9%) 590 ( 0.3%) 3613 ( 0.2%) 0 ( 0.0%)
916.06/717.14 c (202,0) c 27 2117 ( 0.9%) 503 ( 0.2%) 3256 ( 0.2%) 0 ( 0.0%)
916.06/717.15 c (202,0) c 28 2055 ( 0.9%) 444 ( 0.2%) 3184 ( 0.2%) 0 ( 0.0%)
916.06/717.15 c (202,0) c 29 1402 ( 0.6%) 382 ( 0.2%) 3166 ( 0.2%) 0 ( 0.0%)
916.06/717.15 c (202,0) c 30 84807 (37.8%) 5109 ( 2.3%) 124320 ( 6.3%) 0 ( 0.0%)
916.06/717.15 c (202,0) c
916.06/717.15 c (202,0) c [LBD Statistics]
916.06/717.15 c (202,0) c LBD used lbd used clause lbd unused clause lbd
916.06/717.15 c (202,0) c tot 3688351 192567 87245
916.06/717.15 c (202,0) c avg 2.824 4.460 11.202
916.06/717.15 c (202,0) c 1 200167 ( 5.4/ 5.4%) 2426 ( 1.3/ 1.3%) 0 ( 0.0/ 0.0%)
916.06/717.15 c (202,0) c 2 2052628 (55.7/61.1%) 96827 (50.3/51.5%) 4624 ( 5.3/ 5.3%)
916.06/717.15 c (202,0) c 3 817474 (22.2/83.2%) 25064 (13.0/64.6%) 6008 ( 6.9/12.2%)
916.06/717.15 c (202,0) c 4 305519 ( 8.3/91.5%) 16963 ( 8.8/73.4%) 7897 ( 9.1/21.2%)
916.06/717.15 c (202,0) c 5 120809 ( 3.3/94.8%) 11447 ( 5.9/79.3%) 8669 ( 9.9/31.2%)
916.06/717.15 c (202,0) c 6 61284 ( 1.7/96.5%) 8372 ( 4.3/83.7%) 7985 ( 9.2/40.3%)
916.06/717.15 c (202,0) c 7 36761 ( 1.0/97.5%) 6186 ( 3.2/86.9%) 7161 ( 8.2/48.5%)
916.06/717.15 c (202,0) c 8 23281 ( 0.6/98.1%) 4718 ( 2.5/89.3%) 6110 ( 7.0/55.5%)
916.06/717.15 c (202,0) c 9 16179 ( 0.4/98.5%) 3608 ( 1.9/91.2%) 5255 ( 6.0/61.6%)
916.06/717.15 c (202,0) c 10 11293 ( 0.3/98.8%) 2859 ( 1.5/92.7%) 4440 ( 5.1/66.7%)
916.06/717.15 c (202,0) c 11 8710 ( 0.2/99.1%) 2315 ( 1.2/93.9%) 3884 ( 4.5/71.1%)
916.06/717.15 c (202,0) c 12 6464 ( 0.2/99.2%) 1916 ( 1.0/94.9%) 3230 ( 3.7/74.8%)
916.06/717.15 c (202,0) c 13 4914 ( 0.1/99.4%) 1540 ( 0.8/95.7%) 2705 ( 3.1/77.9%)
916.06/717.15 c (202,0) c 14 3814 ( 0.1/99.5%) 1223 ( 0.6/96.3%) 2361 ( 2.7/80.6%)
916.06/717.15 c (202,0) c 15 2957 ( 0.1/99.6%) 1018 ( 0.5/96.8%) 2050 ( 2.3/83.0%)
916.06/717.15 c (202,0) c 16 2372 ( 0.1/99.6%) 841 ( 0.4/97.3%) 1651 ( 1.9/84.9%)
916.06/717.15 c (202,0) c 17 1875 ( 0.1/99.7%) 665 ( 0.3/97.6%) 1453 ( 1.7/86.5%)
916.06/717.15 c (202,0) c 18 1708 ( 0.0/99.7%) 584 ( 0.3/97.9%) 1266 ( 1.5/88.0%)
916.06/717.15 c (202,0) c 19 1319 ( 0.0/99.8%) 480 ( 0.2/98.2%) 1098 ( 1.3/89.2%)
916.06/717.15 c (202,0) c 20 1124 ( 0.0/99.8%) 448 ( 0.2/98.4%) 941 ( 1.1/90.3%)
916.06/717.15 c (202,0) c 21 949 ( 0.0/99.8%) 367 ( 0.2/98.6%) 790 ( 0.9/91.2%)
916.06/717.15 c (202,0) c 22 816 ( 0.0/99.8%) 292 ( 0.2/98.7%) 739 ( 0.8/92.1%)
916.06/717.15 c (202,0) c 23 649 ( 0.0/99.9%) 238 ( 0.1/98.9%) 629 ( 0.7/92.8%)
916.06/717.15 c (202,0) c 24 525 ( 0.0/99.9%) 205 ( 0.1/99.0%) 583 ( 0.7/93.4%)
916.06/717.15 c (202,0) c 25 467 ( 0.0/99.9%) 189 ( 0.1/99.1%) 464 ( 0.5/94.0%)
916.06/717.15 c (202,0) c 26 373 ( 0.0/99.9%) 149 ( 0.1/99.2%) 441 ( 0.5/94.5%)
916.06/717.15 c (202,0) c 27 352 ( 0.0/99.9%) 133 ( 0.1/99.2%) 370 ( 0.4/94.9%)
916.06/717.15 c (202,0) c 28 307 ( 0.0/99.9%) 116 ( 0.1/99.3%) 328 ( 0.4/95.3%)
916.06/717.15 c (202,0) c 29 256 ( 0.0/99.9%) 96 ( 0.0/99.3%) 286 ( 0.3/95.6%)
916.06/717.15 c (202,0) c 30 262 ( 0.0/99.9%) 76 ( 0.0/99.4%) 264 ( 0.3/95.9%)
916.06/717.15 c (202,0) c 31 169 ( 0.0/99.9%) 98 ( 0.1/99.4%) 259 ( 0.3/96.2%)
916.06/717.15 c (202,0) c 32 169 ( 0.0/99.9%) 74 ( 0.0/99.5%) 218 ( 0.2/96.5%)
916.06/717.15 c (202,0) c 33 166 ( 0.0/99.9%) 80 ( 0.0/99.5%) 205 ( 0.2/96.7%)
916.06/717.15 c (202,0) c 34 165 ( 0.0/99.9%) 67 ( 0.0/99.5%) 166 ( 0.2/96.9%)
916.06/717.15 c (202,0) c 35 112 ( 0.0/99.9%) 54 ( 0.0/99.6%) 187 ( 0.2/97.1%)
916.06/717.15 c (202,0) c 36 125 ( 0.0/100.0%) 53 ( 0.0/99.6%) 123 ( 0.1/97.2%)
916.06/717.15 c (202,0) c 37 104 ( 0.0/100.0%) 49 ( 0.0/99.6%) 123 ( 0.1/97.4%)
916.06/717.15 c (202,0) c 38 100 ( 0.0/100.0%) 31 ( 0.0/99.6%) 122 ( 0.1/97.5%)
916.06/717.15 c (202,0) c 39 123 ( 0.0/100.0%) 42 ( 0.0/99.7%) 94 ( 0.1/97.6%)
916.06/717.15 c (202,0) c 40 54 ( 0.0/100.0%) 31 ( 0.0/99.7%) 103 ( 0.1/97.8%)
916.06/717.15 c (202,0) c 41 51 ( 0.0/100.0%) 30 ( 0.0/99.7%) 86 ( 0.1/97.8%)
916.06/717.15 c (202,0) c 42 69 ( 0.0/100.0%) 26 ( 0.0/99.7%) 78 ( 0.1/97.9%)
916.06/717.15 c (202,0) c 43 68 ( 0.0/100.0%) 36 ( 0.0/99.7%) 85 ( 0.1/98.0%)
916.06/717.15 c (202,0) c 44 48 ( 0.0/100.0%) 21 ( 0.0/99.7%) 71 ( 0.1/98.1%)
916.06/717.15 c (202,0) c 45 55 ( 0.0/100.0%) 30 ( 0.0/99.7%) 52 ( 0.1/98.2%)
916.06/717.15 c (202,0) c 46 29 ( 0.0/100.0%) 18 ( 0.0/99.8%) 59 ( 0.1/98.2%)
916.06/717.15 c (202,0) c 47 56 ( 0.0/100.0%) 14 ( 0.0/99.8%) 59 ( 0.1/98.3%)
916.06/717.15 c (202,0) c 48 49 ( 0.0/100.0%) 21 ( 0.0/99.8%) 44 ( 0.1/98.4%)
916.06/717.15 c (202,0) c 49 54 ( 0.0/100.0%) 24 ( 0.0/99.8%) 58 ( 0.1/98.4%)
916.06/717.15 c (202,0) c 50 36 ( 0.0/100.0%) 21 ( 0.0/99.8%) 59 ( 0.1/98.5%)
916.06/717.15 c (202,0) c 51 39 ( 0.0/100.0%) 15 ( 0.0/99.8%) 55 ( 0.1/98.6%)
916.06/717.15 c (202,0) c 52 26 ( 0.0/100.0%) 9 ( 0.0/99.8%) 52 ( 0.1/98.6%)
916.06/717.15 c (202,0) c 53 42 ( 0.0/100.0%) 14 ( 0.0/99.8%) 31 ( 0.0/98.7%)
916.06/717.15 c (202,0) c 54 43 ( 0.0/100.0%) 18 ( 0.0/99.8%) 62 ( 0.1/98.7%)
916.06/717.15 c (202,0) c 55 28 ( 0.0/100.0%) 12 ( 0.0/99.8%) 34 ( 0.0/98.8%)
916.06/717.15 c (202,0) c 56 22 ( 0.0/100.0%) 13 ( 0.0/99.8%) 49 ( 0.1/98.8%)
916.06/717.15 c (202,0) c 57 26 ( 0.0/100.0%) 6 ( 0.0/99.8%) 41 ( 0.0/98.9%)
916.06/717.15 c (202,0) c 58 23 ( 0.0/100.0%) 13 ( 0.0/99.9%) 27 ( 0.0/98.9%)
916.06/717.15 c (202,0) c 59 21 ( 0.0/100.0%) 12 ( 0.0/99.9%) 29 ( 0.0/98.9%)
916.06/717.15 c (202,0) c 60 18 ( 0.0/100.0%) 11 ( 0.0/99.9%) 36 ( 0.0/99.0%)
916.06/717.15 c (202,0) c 61 26 ( 0.0/100.0%) 5 ( 0.0/99.9%) 26 ( 0.0/99.0%)
916.06/717.15 c (202,0) c 62 5 ( 0.0/100.0%) 1 ( 0.0/99.9%) 21 ( 0.0/99.0%)
916.06/717.15 c (202,0) c 63 19 ( 0.0/100.0%) 9 ( 0.0/99.9%) 15 ( 0.0/99.0%)
916.06/717.15 c (202,0) c 64 21 ( 0.0/100.0%) 7 ( 0.0/99.9%) 33 ( 0.0/99.1%)
916.06/717.15 c (202,0) c 65 42 ( 0.0/100.0%) 10 ( 0.0/99.9%) 11 ( 0.0/99.1%)
916.06/717.15 c (202,0) c 66 25 ( 0.0/100.0%) 7 ( 0.0/99.9%) 33 ( 0.0/99.1%)
916.06/717.15 c (202,0) c 67 18 ( 0.0/100.0%) 4 ( 0.0/99.9%) 17 ( 0.0/99.2%)
916.06/717.15 c (202,0) c 68 8 ( 0.0/100.0%) 4 ( 0.0/99.9%) 25 ( 0.0/99.2%)
916.06/717.15 c (202,0) c 69 10 ( 0.0/100.0%) 4 ( 0.0/99.9%) 10 ( 0.0/99.2%)
916.06/717.15 c (202,0) c 70 15 ( 0.0/100.0%) 5 ( 0.0/99.9%) 10 ( 0.0/99.2%)
916.06/717.15 c (202,0) c 71 3 ( 0.0/100.0%) 4 ( 0.0/99.9%) 17 ( 0.0/99.2%)
916.06/717.15 c (202,0) c 72 9 ( 0.0/100.0%) 4 ( 0.0/99.9%) 10 ( 0.0/99.2%)
916.06/717.15 c (202,0) c 73 24 ( 0.0/100.0%) 6 ( 0.0/99.9%) 14 ( 0.0/99.3%)
916.06/717.15 c (202,0) c 74 18 ( 0.0/100.0%) 7 ( 0.0/99.9%) 23 ( 0.0/99.3%)
916.06/717.15 c (202,0) c 75 10 ( 0.0/100.0%) 4 ( 0.0/99.9%) 13 ( 0.0/99.3%)
916.06/717.15 c (202,0) c 76 5 ( 0.0/100.0%) 2 ( 0.0/99.9%) 13 ( 0.0/99.3%)
916.06/717.15 c (202,0) c 77 21 ( 0.0/100.0%) 6 ( 0.0/99.9%) 11 ( 0.0/99.3%)
916.06/717.15 c (202,0) c 78 12 ( 0.0/100.0%) 3 ( 0.0/99.9%) 15 ( 0.0/99.3%)
916.06/717.15 c (202,0) c 79 7 ( 0.0/100.0%) 4 ( 0.0/99.9%) 13 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 80 9 ( 0.0/100.0%) 2 ( 0.0/99.9%) 8 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 81 1 ( 0.0/100.0%) 0 ( 0.0/99.9%) 4 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 82 3 ( 0.0/100.0%) 1 ( 0.0/99.9%) 10 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 83 2 ( 0.0/100.0%) 3 ( 0.0/99.9%) 12 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 84 5 ( 0.0/100.0%) 3 ( 0.0/99.9%) 12 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 85 6 ( 0.0/100.0%) 2 ( 0.0/99.9%) 6 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 86 26 ( 0.0/100.0%) 2 ( 0.0/99.9%) 14 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 87 9 ( 0.0/100.0%) 4 ( 0.0/99.9%) 13 ( 0.0/99.4%)
916.06/717.15 c (202,0) c 88 3 ( 0.0/100.0%) 4 ( 0.0/99.9%) 9 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 89 4 ( 0.0/100.0%) 3 ( 0.0/99.9%) 13 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 90 5 ( 0.0/100.0%) 4 ( 0.0/99.9%) 5 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 91 6 ( 0.0/100.0%) 3 ( 0.0/99.9%) 6 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 92 7 ( 0.0/100.0%) 1 ( 0.0/99.9%) 10 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 93 3 ( 0.0/100.0%) 2 ( 0.0/99.9%) 7 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 94 1 ( 0.0/100.0%) 2 ( 0.0/99.9%) 3 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 95 2 ( 0.0/100.0%) 1 ( 0.0/99.9%) 5 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 96 2 ( 0.0/100.0%) 2 ( 0.0/99.9%) 3 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 97 7 ( 0.0/100.0%) 1 ( 0.0/99.9%) 6 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 98 3 ( 0.0/100.0%) 0 ( 0.0/99.9%) 6 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 99 1 ( 0.0/100.0%) 1 ( 0.0/99.9%) 5 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 100 5 ( 0.0/100.0%) 2 ( 0.0/99.9%) 3 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 101 2 ( 0.0/100.0%) 2 ( 0.0/99.9%) 7 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 102 3 ( 0.0/100.0%) 2 ( 0.0/99.9%) 4 ( 0.0/99.5%)
916.06/717.15 c (202,0) c 103 4 ( 0.0/100.0%) 1 ( 0.0/99.9%) 8 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 104 3 ( 0.0/100.0%) 1 ( 0.0/99.9%) 9 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 105 4 ( 0.0/100.0%) 1 ( 0.0/99.9%) 9 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 106 5 ( 0.0/100.0%) 3 ( 0.0/99.9%) 3 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 107 3 ( 0.0/100.0%) 0 ( 0.0/99.9%) 7 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 108 1 ( 0.0/100.0%) 1 ( 0.0/99.9%) 4 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 109 3 ( 0.0/100.0%) 2 ( 0.0/99.9%) 4 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 110 5 ( 0.0/100.0%) 2 ( 0.0/99.9%) 4 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 111 3 ( 0.0/100.0%) 3 ( 0.0/99.9%) 2 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 112 11 ( 0.0/100.0%) 2 ( 0.0/99.9%) 7 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 113 1 ( 0.0/100.0%) 0 ( 0.0/99.9%) 5 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 114 1 ( 0.0/100.0%) 4 ( 0.0/99.9%) 5 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 115 4 ( 0.0/100.0%) 2 ( 0.0/99.9%) 3 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 116 2 ( 0.0/100.0%) 0 ( 0.0/99.9%) 7 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 117 5 ( 0.0/100.0%) 3 ( 0.0/100.0%) 6 ( 0.0/99.6%)
916.06/717.15 c (202,0) c 118 5 ( 0.0/100.0%) 4 ( 0.0/100.0%) 7 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 119 5 ( 0.0/100.0%) 3 ( 0.0/100.0%) 6 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 120 7 ( 0.0/100.0%) 2 ( 0.0/100.0%) 6 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 121 3 ( 0.0/100.0%) 3 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 122 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 123 4 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 124 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 6 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 125 3 ( 0.0/100.0%) 2 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 126 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 127 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 128 3 ( 0.0/100.0%) 2 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 129 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 130 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 5 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 131 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 132 2 ( 0.0/100.0%) 2 ( 0.0/100.0%) 8 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 133 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 134 4 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 135 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 136 6 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 137 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 138 4 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 139 1 ( 0.0/100.0%) 2 ( 0.0/100.0%) 4 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 140 0 ( 0.0/100.0%) 2 ( 0.0/100.0%) 5 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 141 4 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 142 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 143 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 4 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 144 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 145 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 146 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.7%)
916.06/717.15 c (202,0) c 147 2 ( 0.0/100.0%) 3 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 148 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 5 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 149 4 ( 0.0/100.0%) 2 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 150 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 151 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 152 3 ( 0.0/100.0%) 3 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 153 3 ( 0.0/100.0%) 3 ( 0.0/100.0%) 5 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 154 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 5 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 155 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 156 5 ( 0.0/100.0%) 3 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 157 7 ( 0.0/100.0%) 2 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 158 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 159 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 160 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 161 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 162 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 163 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 164 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 165 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 166 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 167 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 168 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 169 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 170 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 171 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 172 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 173 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 174 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 175 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 176 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 177 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 178 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 179 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 180 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 181 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 182 3 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 183 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 184 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 185 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 186 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 187 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 188 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 189 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 190 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 191 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 192 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 193 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 194 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.8%)
916.06/717.15 c (202,0) c 195 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 196 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 197 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 198 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 199 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 200 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 201 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 202 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 203 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 204 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 205 6 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 206 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 207 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 208 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 209 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 210 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 211 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 212 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 213 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 214 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 5 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 215 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 216 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 217 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 218 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 219 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 220 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 221 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 222 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 223 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 224 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 225 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 226 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 227 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 228 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 229 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 230 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 231 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 232 0 ( 0.0/100.0%) 2 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 233 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 234 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 235 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 236 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 237 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 238 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 3 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 239 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 240 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 241 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 242 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 243 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 244 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 245 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 246 1 ( 0.0/100.0%) 2 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 247 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 248 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 249 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 250 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 251 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 252 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 253 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 254 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 255 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 256 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 257 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 258 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 259 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 260 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 261 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 262 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 263 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 264 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 265 3 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 266 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 267 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 268 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 269 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 270 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 271 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 272 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 273 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 274 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 275 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 276 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 277 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 278 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 279 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 280 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 281 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 282 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 283 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 284 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 285 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 286 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 287 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 288 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 289 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 290 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 291 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 292 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 293 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 294 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 295 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 296 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 297 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 298 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 299 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 300 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 301 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 302 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 303 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 304 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 305 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 306 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 307 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 308 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 309 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 310 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 311 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 312 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 313 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 314 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
916.06/717.15 c (202,0) c 315 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 316 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 317 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 318 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 319 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 320 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 321 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 322 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 323 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 324 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 325 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 326 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 327 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 328 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 329 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 330 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 331 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 332 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 333 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 334 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 335 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 336 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 337 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 338 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 339 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 340 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 341 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 342 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 343 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 344 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 345 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 346 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 347 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 348 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 349 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 350 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 351 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 352 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 353 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 354 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 355 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 356 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 357 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 358 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 359 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 360 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 361 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 362 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 363 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 364 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 365 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 366 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 367 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 368 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 369 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 370 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 371 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 372 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 373 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 374 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 375 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 376 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 377 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 378 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 379 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 380 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 381 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 382 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 383 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 384 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 385 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 386 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 387 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 388 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 389 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 390 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 391 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 392 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 393 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 394 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 395 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 396 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 397 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 398 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 399 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 400 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 401 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 402 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 403 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 404 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 405 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 406 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 407 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 408 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 409 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 410 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 411 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 412 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 413 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 414 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 415 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 416 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 417 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 418 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 419 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 420 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 421 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 422 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 423 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 424 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 425 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 426 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 427 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 428 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 429 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 430 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 431 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 432 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 433 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 434 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 435 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 436 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 437 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 438 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 439 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 440 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 441 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 442 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 443 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 444 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 445 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 446 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 447 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 448 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 449 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 450 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 451 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 452 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 453 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 454 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 455 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 456 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 457 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 458 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 459 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 460 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 461 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 462 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 463 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 464 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 465 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 466 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.15 c (202,0) c 467 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 468 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 469 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 470 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 471 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 472 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 473 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 474 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 475 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 476 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 477 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 478 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 479 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 480 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 481 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 482 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 483 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 484 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 485 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 486 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 487 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 488 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 489 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 490 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 491 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 492 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 493 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 494 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 495 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 496 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 497 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 498 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 499 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 500 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 501 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 502 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 503 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 504 2 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 505 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 506 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 507 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 508 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 509 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 510 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 511 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 512 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 513 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 514 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 515 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 516 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 517 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 518 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 519 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 520 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 521 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 522 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 523 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 524 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 525 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 526 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 527 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 528 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 529 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 530 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 531 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 532 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 533 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 534 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 535 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 536 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 537 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 538 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 539 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 540 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 541 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 542 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 543 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 544 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 545 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 546 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 547 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 548 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 549 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 550 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 551 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 552 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 553 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 554 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 555 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 556 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 557 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 558 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 559 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 560 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 561 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 562 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 563 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 564 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 565 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 566 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 567 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 568 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 569 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 570 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 571 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 572 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 573 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 574 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 575 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 576 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 577 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 578 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 579 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 580 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 581 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 582 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 583 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 584 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 585 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 586 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 587 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 588 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 589 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 590 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 591 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 592 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 593 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 594 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 595 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 596 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 597 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 598 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 599 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 600 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 601 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 602 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 603 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 604 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 605 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 606 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 607 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 608 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 609 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 610 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 611 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 612 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 613 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 614 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 615 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 616 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 617 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 618 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 619 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 620 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 621 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 622 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 623 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 624 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 625 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 626 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 627 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 628 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 629 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 630 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 631 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 632 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 633 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 634 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 635 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 636 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 637 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 638 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 639 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 640 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 641 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 642 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 643 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 644 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 645 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 646 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 647 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 648 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 649 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 650 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 651 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 652 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 653 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 654 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 655 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 656 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 657 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 658 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 659 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 660 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 661 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 662 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 663 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 664 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 665 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 666 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 667 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 668 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 669 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 670 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 671 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 672 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 673 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 674 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 675 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 676 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 677 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 678 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 679 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 680 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 681 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 682 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 683 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 684 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 685 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 686 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 687 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 688 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 689 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 690 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 691 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 692 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 693 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 694 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 695 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 696 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 697 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 698 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 699 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 700 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 701 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 702 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 703 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 704 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 705 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 706 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 707 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 708 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 709 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 710 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 711 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 712 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 713 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 714 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 715 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 716 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 717 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 718 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 719 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 720 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 721 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 722 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 723 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 724 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 725 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 726 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 727 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 728 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 729 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 730 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 731 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 732 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 733 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 734 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 735 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 736 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 737 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 738 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 739 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 740 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 741 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 742 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 743 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 744 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 745 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 746 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 747 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 748 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 749 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 750 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 751 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 752 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 753 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 754 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 755 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 756 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 757 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 758 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 759 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 760 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 761 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 762 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 763 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 764 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 765 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 766 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 767 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 768 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 769 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 770 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 771 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 772 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 773 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 774 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 775 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 776 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 777 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 778 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 779 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 780 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 781 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 782 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 783 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 784 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 785 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 786 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 787 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
916.06/717.16 c (202,0) c 788 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
916.06/717.16 c (202,0) c
916.06/717.16 c (202,0) c Memory used : 698.00 MB
916.06/717.16 c (202,0) c CPU time : 199.687 s
916.06/717.16 c (202,0) c Real time : 202.078 s
916.06/717.16 c (202,0) c
916.06/717.16 c (202,0) s SATISFIABLE
916.63/717.42 c (202,0) SatSolver.solve End
916.63/717.42 c (202,0) Heap : 231 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
916.63/717.42 c (202,0) Show results Begin
916.82/717.56 c (203,0) x[0][0] = 15
916.82/717.56 c (203,0) x[0][1] = 4
916.82/717.56 c (203,0) x[0][2] = 18
916.82/717.56 c (203,0) x[0][3] = 19
916.82/717.56 c (203,0) x[0][4] = 0
916.82/717.56 c (203,0) x[0][5] = 8
916.82/717.56 c (203,0) x[0][7] = 17
916.82/717.56 c (203,0) x[0][8] = 0
916.82/717.56 c (203,0) x[0][9] = 2
916.82/717.56 c (203,0) x[0][10] = 11
916.82/717.56 c (203,0) x[0][11] = 0
916.82/717.56 c (203,0) x[0][12] = 6
916.82/717.56 c (203,0) x[0][13] = 4
916.82/717.56 c (203,0) x[0][15] = 9
916.82/717.56 c (203,0) x[0][16] = 14
916.82/717.56 c (203,0) x[0][17] = 6
916.82/717.56 c (203,0) x[0][18] = 6
916.82/717.56 c (203,0) x[0][19] = 4
916.82/717.56 c (203,0) x[0][20] = 17
916.82/717.56 c (203,0) x[1][0] = 0
916.82/717.56 c (203,0) x[1][1] = 11
916.82/717.56 c (203,0) x[1][2] = 4
916.82/717.56 c (203,0) x[1][3] = 21
916.82/717.56 c (203,0) x[1][4] = 8
916.82/717.56 c (203,0) x[1][5] = 13
916.82/717.56 c (203,0) x[1][7] = 4
916.82/717.56 c (203,0) x[1][8] = 6
916.82/717.56 c (203,0) x[1][9] = 11
916.82/717.56 c (203,0) x[1][10] = 8
916.82/717.56 c (203,0) x[1][11] = 18
916.82/717.56 c (203,0) x[1][12] = 4
916.82/717.56 c (203,0) x[1][13] = 18
916.82/717.56 c (203,0) x[1][15] = 4
916.82/717.56 c (203,0) x[1][16] = 19
916.82/717.56 c (203,0) x[1][17] = 8
916.82/717.56 c (203,0) x[1][18] = 14
916.82/717.56 c (203,0) x[1][19] = 11
916.82/717.56 c (203,0) x[1][20] = 4
916.82/717.56 c (203,0) x[2][0] = 19
916.82/717.56 c (203,0) x[2][1] = 2
916.82/717.56 c (203,0) x[2][2] = 7
916.82/717.56 c (203,0) x[2][3] = 0
916.82/717.56 c (203,0) x[2][4] = 13
916.82/717.56 c (203,0) x[2][5] = 18
916.82/717.56 c (203,0) x[2][7] = 15
916.82/717.56 c (203,0) x[2][8] = 17
916.82/717.56 c (203,0) x[2][9] = 4
916.82/717.56 c (203,0) x[2][10] = 19
916.82/717.56 c (203,0) x[2][11] = 4
916.82/717.56 c (203,0) x[2][12] = 13
916.82/717.56 c (203,0) x[2][13] = 3
916.82/717.56 c (203,0) x[2][15] = 19
916.82/717.56 c (203,0) x[2][16] = 4
916.82/717.56 c (203,0) x[2][17] = 13
916.82/717.56 c (203,0) x[2][18] = 3
916.82/717.56 c (203,0) x[2][19] = 14
916.82/717.56 c (203,0) x[2][20] = 13
916.82/717.56 c (203,0) x[3][0] = 19
916.82/717.56 c (203,0) x[3][1] = 0
916.82/717.56 c (203,0) x[3][2] = 19
916.82/717.56 c (203,0) x[3][4] = 4
916.82/717.56 c (203,0) x[3][5] = 19
916.82/717.56 c (203,0) x[3][6] = 17
916.82/717.56 c (203,0) x[3][7] = 8
916.82/717.56 c (203,0) x[3][8] = 4
916.82/717.56 c (203,0) x[3][9] = 17
916.82/717.56 c (203,0) x[3][10] = 18
916.82/717.56 c (203,0) x[3][12] = 14
916.82/717.56 c (203,0) x[3][13] = 17
916.82/717.56 c (203,0) x[3][14] = 13
916.82/717.56 c (203,0) x[3][15] = 4
916.82/717.56 c (203,0) x[3][16] = 4
916.82/717.56 c (203,0) x[3][18] = 4
916.82/717.56 c (203,0) x[3][19] = 6
916.82/717.56 c (203,0) x[3][20] = 14
916.82/717.56 c (203,0) x[4][0] = 20
916.82/717.56 c (203,0) x[4][1] = 13
916.82/717.56 c (203,0) x[4][2] = 0
916.82/717.56 c (203,0) x[4][3] = 20
916.82/717.56 c (203,0) x[4][5] = 8
916.82/717.56 c (203,0) x[4][6] = 12
916.82/717.56 c (203,0) x[4][7] = 15
916.82/717.56 c (203,0) x[4][8] = 4
916.82/717.56 c (203,0) x[4][9] = 2
916.82/717.56 c (203,0) x[4][11] = 5
916.82/717.56 c (203,0) x[4][12] = 8
916.82/717.56 c (203,0) x[4][13] = 0
916.82/717.56 c (203,0) x[4][14] = 8
916.82/717.56 c (203,0) x[4][15] = 18
916.82/717.56 c (203,0) x[4][17] = 0
916.82/717.56 c (203,0) x[4][18] = 17
916.82/717.56 c (203,0) x[4][19] = 4
916.82/717.56 c (203,0) x[4][20] = 20
916.82/717.56 c (203,0) x[5][0] = 18
916.82/717.56 c (203,0) x[5][1] = 14
916.82/717.56 c (203,0) x[5][2] = 17
916.82/717.56 c (203,0) x[5][3] = 1
916.82/717.56 c (203,0) x[5][4] = 4
916.82/717.56 c (203,0) x[5][6] = 13
916.82/717.56 c (203,0) x[5][7] = 4
916.82/717.56 c (203,0) x[5][8] = 25
916.82/717.56 c (203,0) x[5][10] = 12
916.82/717.56 c (203,0) x[5][11] = 8
916.82/717.56 c (203,0) x[5][12] = 18
916.82/717.56 c (203,0) x[5][13] = 18
916.82/717.56 c (203,0) x[5][14] = 4
916.82/717.56 c (203,0) x[5][16] = 1
916.82/717.56 c (203,0) x[5][17] = 17
916.82/717.56 c (203,0) x[5][18] = 0
916.82/717.56 c (203,0) x[5][19] = 18
916.82/717.56 c (203,0) x[5][20] = 0
916.82/717.56 c (203,0) x[6][3] = 0
916.82/717.56 c (203,0) x[6][4] = 15
916.82/717.56 c (203,0) x[6][5] = 18
916.82/717.56 c (203,0) x[6][9] = 5
916.82/717.56 c (203,0) x[6][10] = 8
916.82/717.56 c (203,0) x[6][11] = 11
916.82/717.56 c (203,0) x[6][15] = 12
916.82/717.56 c (203,0) x[6][16] = 0
916.82/717.56 c (203,0) x[6][17] = 2
916.82/717.56 c (203,0) x[7][0] = 0
916.82/717.56 c (203,0) x[7][1] = 6
916.82/717.56 c (203,0) x[7][2] = 0
916.82/717.56 c (203,0) x[7][3] = 2
916.82/717.56 c (203,0) x[7][4] = 0
916.82/717.56 c (203,0) x[7][5] = 19
916.82/717.56 c (203,0) x[7][7] = 6
916.82/717.56 c (203,0) x[7][8] = 20
916.82/717.56 c (203,0) x[7][9] = 0
916.82/717.56 c (203,0) x[7][10] = 17
916.82/717.56 c (203,0) x[7][11] = 0
916.82/717.56 c (203,0) x[7][12] = 13
916.82/717.56 c (203,0) x[7][13] = 8
916.82/717.56 c (203,0) x[7][15] = 4
916.82/717.56 c (203,0) x[7][16] = 1
916.82/717.56 c (203,0) x[7][17] = 0
916.82/717.56 c (203,0) x[7][18] = 17
916.82/717.56 c (203,0) x[7][19] = 1
916.82/717.56 c (203,0) x[7][20] = 0
916.82/717.56 c (203,0) x[8][0] = 17
916.82/717.56 c (203,0) x[8][1] = 14
916.82/717.56 c (203,0) x[8][2] = 20
916.82/717.56 c (203,0) x[8][3] = 18
916.82/717.56 c (203,0) x[8][4] = 19
916.82/717.56 c (203,0) x[8][5] = 8
916.82/717.56 c (203,0) x[8][7] = 17
916.82/717.56 c (203,0) x[8][8] = 11
916.82/717.56 c (203,0) x[8][9] = 0
916.82/717.56 c (203,0) x[8][10] = 21
916.82/717.56 c (203,0) x[8][11] = 14
916.82/717.56 c (203,0) x[8][12] = 20
916.82/717.56 c (203,0) x[8][13] = 23
916.82/717.56 c (203,0) x[8][15] = 11
916.82/717.56 c (203,0) x[8][16] = 20
916.82/717.56 c (203,0) x[8][17] = 13
916.82/717.56 c (203,0) x[8][18] = 4
916.82/717.56 c (203,0) x[8][19] = 4
916.82/717.56 c (203,0) x[8][20] = 13
916.82/717.56 c (203,0) x[9][0] = 12
916.82/717.56 c (203,0) x[9][1] = 18
916.82/717.56 c (203,0) x[9][2] = 19
916.82/717.56 c (203,0) x[9][4] = 4
916.82/717.56 c (203,0) x[9][5] = 2
916.82/717.56 c (203,0) x[9][6] = 25
916.82/717.56 c (203,0) x[9][7] = 4
916.82/717.56 c (203,0) x[9][8] = 12
916.82/717.56 c (203,0) x[9][9] = 0
916.82/717.56 c (203,0) x[9][11] = 18
916.82/717.56 c (203,0) x[9][12] = 0
916.82/717.56 c (203,0) x[9][13] = 8
916.82/717.56 c (203,0) x[9][14] = 4
916.82/717.56 c (203,0) x[9][16] = 17
916.82/717.56 c (203,0) x[9][17] = 4
916.82/717.56 c (203,0) x[9][18] = 15
916.82/717.56 c (203,0) x[9][19] = 11
916.82/717.56 c (203,0) x[9][20] = 8
916.82/717.56 c (203,0) x[10][0] = 4
916.82/717.56 c (203,0) x[10][1] = 15
916.82/717.56 c (203,0) x[10][2] = 8
916.82/717.56 c (203,0) x[10][3] = 0
916.82/717.56 c (203,0) x[10][5] = 10
916.82/717.56 c (203,0) x[10][6] = 20
916.82/717.56 c (203,0) x[10][7] = 13
916.82/717.56 c (203,0) x[10][8] = 0
916.82/717.56 c (203,0) x[10][12] = 18
916.82/717.56 c (203,0) x[10][13] = 4
916.82/717.56 c (203,0) x[10][14] = 17
916.82/717.56 c (203,0) x[10][15] = 0
916.82/717.56 c (203,0) x[10][17] = 18
916.82/717.56 c (203,0) x[10][18] = 14
916.82/717.56 c (203,0) x[10][19] = 11
916.82/717.56 c (203,0) x[10][20] = 18
916.82/717.56 c (203,0) x[11][0] = 17
916.82/717.56 c (203,0) x[11][1] = 4
916.82/717.56 c (203,0) x[11][2] = 18
916.82/717.56 c (203,0) x[11][3] = 19
916.82/717.56 c (203,0) x[11][4] = 14
916.82/717.56 c (203,0) x[11][6] = 15
916.82/717.56 c (203,0) x[11][7] = 0
916.82/717.56 c (203,0) x[11][8] = 8
916.82/717.56 c (203,0) x[11][9] = 18
916.82/717.56 c (203,0) x[11][11] = 4
916.82/717.56 c (203,0) x[11][12] = 18
916.82/717.56 c (203,0) x[11][13] = 12
916.82/717.56 c (203,0) x[11][14] = 4
916.82/717.56 c (203,0) x[11][15] = 8
916.82/717.56 c (203,0) x[11][16] = 13
916.82/717.56 c (203,0) x[11][18] = 17
916.82/717.56 c (203,0) x[11][19] = 14
916.82/717.56 c (203,0) x[11][20] = 8
916.82/717.56 c (203,0) x[12][0] = 0
916.82/717.56 c (203,0) x[12][1] = 11
916.82/717.56 c (203,0) x[12][2] = 19
916.82/717.56 c (203,0) x[12][3] = 4
916.82/717.56 c (203,0) x[12][4] = 17
916.82/717.56 c (203,0) x[12][5] = 0
916.82/717.56 c (203,0) x[12][7] = 19
916.82/717.56 c (203,0) x[12][8] = 17
916.82/717.56 c (203,0) x[12][9] = 8
916.82/717.56 c (203,0) x[12][10] = 15
916.82/717.56 c (203,0) x[12][11] = 11
916.82/717.56 c (203,0) x[12][12] = 4
916.82/717.56 c (203,0) x[12][13] = 4
916.82/717.56 c (203,0) x[12][15] = 12
916.82/717.56 c (203,0) x[12][16] = 14
916.82/717.56 c (203,0) x[12][17] = 17
916.82/717.56 c (203,0) x[12][18] = 19
916.82/717.56 c (203,0) x[12][19] = 13
916.82/717.56 c (203,0) x[12][20] = 4
916.82/717.56 c (203,0) x[13][0] = 8
916.82/717.56 c (203,0) x[13][1] = 18
916.82/717.56 c (203,0) x[13][2] = 4
916.82/717.56 c (203,0) x[13][3] = 17
916.82/717.56 c (203,0) x[13][4] = 0
916.82/717.56 c (203,0) x[13][5] = 13
916.82/717.56 c (203,0) x[13][7] = 18
916.82/717.56 c (203,0) x[13][8] = 4
916.82/717.56 c (203,0) x[13][9] = 13
916.82/717.56 c (203,0) x[13][10] = 18
916.82/717.56 c (203,0) x[13][11] = 0
916.82/717.56 c (203,0) x[13][12] = 18
916.82/717.56 c (203,0) x[13][13] = 18
916.82/717.56 c (203,0) x[13][15] = 0
916.82/717.56 c (203,0) x[13][16] = 21
916.82/717.56 c (203,0) x[13][17] = 8
916.82/717.56 c (203,0) x[13][18] = 18
916.82/717.56 c (203,0) x[13][19] = 4
916.82/717.56 c (203,0) x[13][20] = 25
916.82/717.56 c (203,0) x[14][3] = 8
916.82/717.56 c (203,0) x[14][4] = 11
916.82/717.56 c (203,0) x[14][5] = 4
916.82/717.56 c (203,0) x[14][9] = 6
916.82/717.56 c (203,0) x[14][10] = 24
916.82/717.56 c (203,0) x[14][11] = 12
916.82/717.56 c (203,0) x[14][15] = 19
916.82/717.56 c (203,0) x[14][16] = 4
916.82/717.56 c (203,0) x[14][17] = 19
916.82/717.56 c (203,0) x[15][0] = 15
916.82/717.56 c (203,0) x[15][1] = 8
916.82/717.56 c (203,0) x[15][2] = 6
916.82/717.56 c (203,0) x[15][3] = 4
916.82/717.56 c (203,0) x[15][4] = 4
916.82/717.56 c (203,0) x[15][6] = 2
916.82/717.56 c (203,0) x[15][7] = 0
916.82/717.56 c (203,0) x[15][8] = 15
916.82/717.56 c (203,0) x[15][9] = 4
916.82/717.56 c (203,0) x[15][10] = 18
916.82/717.56 c (203,0) x[15][12] = 1
916.82/717.56 c (203,0) x[15][13] = 0
916.82/717.56 c (203,0) x[15][14] = 19
916.82/717.56 c (203,0) x[15][16] = 17
916.82/717.56 c (203,0) x[15][17] = 4
916.82/717.56 c (203,0) x[15][18] = 0
916.82/717.56 c (203,0) x[15][19] = 11
916.82/717.56 c (203,0) x[15][20] = 18
916.82/717.56 c (203,0) x[16][0] = 14
916.82/717.56 c (203,0) x[16][1] = 15
916.82/717.56 c (203,0) x[16][2] = 4
916.82/717.56 c (203,0) x[16][3] = 13
916.82/717.56 c (203,0) x[16][5] = 19
916.82/717.56 c (203,0) x[16][6] = 14
916.82/717.56 c (203,0) x[16][7] = 6
916.82/717.56 c (203,0) x[16][8] = 4
916.82/717.56 c (203,0) x[16][9] = 18
916.82/717.56 c (203,0) x[16][11] = 2
916.82/717.56 c (203,0) x[16][12] = 4
916.82/717.56 c (203,0) x[16][13] = 13
916.82/717.56 c (203,0) x[16][14] = 8
916.82/717.56 c (203,0) x[16][15] = 18
916.82/717.56 c (203,0) x[16][17] = 18
916.82/717.56 c (203,0) x[16][18] = 20
916.82/717.56 c (203,0) x[16][19] = 0
916.82/717.56 c (203,0) x[16][20] = 8
916.82/717.56 c (203,0) x[17][0] = 17
916.82/717.56 c (203,0) x[17][1] = 4
916.82/717.56 c (203,0) x[17][2] = 17
916.82/717.56 c (203,0) x[17][4] = 0
916.82/717.56 c (203,0) x[17][5] = 4
916.82/717.56 c (203,0) x[17][6] = 17
916.82/717.56 c (203,0) x[17][7] = 4
916.82/717.56 c (203,0) x[17][8] = 17
916.82/717.56 c (203,0) x[17][10] = 0
916.82/717.56 c (203,0) x[17][11] = 4
916.82/717.56 c (203,0) x[17][12] = 17
916.82/717.56 c (203,0) x[17][13] = 14
916.82/717.56 c (203,0) x[17][14] = 13
916.82/717.56 c (203,0) x[17][15] = 4
916.82/717.56 c (203,0) x[17][16] = 5
916.82/717.56 c (203,0) x[17][18] = 13
916.82/717.56 c (203,0) x[17][19] = 8
916.82/717.56 c (203,0) x[17][20] = 3
916.82/717.56 c (203,0) x[18][0] = 0
916.82/717.56 c (203,0) x[18][1] = 2
916.82/717.56 c (203,0) x[18][2] = 4
916.82/717.56 c (203,0) x[18][3] = 4
916.82/717.56 c (203,0) x[18][4] = 13
916.82/717.56 c (203,0) x[18][5] = 18
916.82/717.56 c (203,0) x[18][7] = 13
916.82/717.56 c (203,0) x[18][8] = 14
916.82/717.56 c (203,0) x[18][9] = 17
916.82/717.56 c (203,0) x[18][10] = 12
916.82/717.56 c (203,0) x[18][11] = 0
916.82/717.56 c (203,0) x[18][12] = 13
916.82/717.56 c (203,0) x[18][13] = 3
916.82/717.56 c (203,0) x[18][15] = 3
916.82/717.56 c (203,0) x[18][16] = 4
916.82/717.56 c (203,0) x[18][17] = 17
916.82/717.56 c (203,0) x[18][18] = 0
916.82/717.56 c (203,0) x[18][19] = 18
916.82/717.56 c (203,0) x[18][20] = 4
916.82/717.56 c (203,0) x[19][0] = 2
916.82/717.56 c (203,0) x[19][1] = 0
916.82/717.56 c (203,0) x[19][2] = 4
916.82/717.56 c (203,0) x[19][3] = 2
916.82/717.56 c (203,0) x[19][4] = 0
916.82/717.56 c (203,0) x[19][5] = 11
916.82/717.56 c (203,0) x[19][7] = 19
916.82/717.56 c (203,0) x[19][8] = 17
916.82/717.56 c (203,0) x[19][9] = 8
916.82/717.56 c (203,0) x[19][10] = 4
916.82/717.56 c (203,0) x[19][11] = 17
916.82/717.56 c (203,0) x[19][12] = 0
916.82/717.56 c (203,0) x[19][13] = 8
916.82/717.56 c (203,0) x[19][15] = 0
916.82/717.56 c (203,0) x[19][16] = 11
916.82/717.56 c (203,0) x[19][17] = 0
916.82/717.56 c (203,0) x[19][18] = 8
916.82/717.56 c (203,0) x[19][19] = 18
916.82/717.56 c (203,0) x[19][20] = 4
916.82/717.56 c (203,0) x[20][0] = 4
916.82/717.56 c (203,0) x[20][1] = 18
916.82/717.56 c (203,0) x[20][2] = 18
916.82/717.56 c (203,0) x[20][3] = 14
916.82/717.56 c (203,0) x[20][4] = 17
916.82/717.56 c (203,0) x[20][5] = 0
916.82/717.56 c (203,0) x[20][7] = 18
916.82/717.56 c (203,0) x[20][8] = 4
916.82/717.56 c (203,0) x[20][9] = 4
916.82/717.56 c (203,0) x[20][10] = 17
916.82/717.56 c (203,0) x[20][11] = 0
916.82/717.56 c (203,0) x[20][12] = 8
916.82/717.57 c (203,0) x[20][13] = 13
916.82/717.57 c (203,0) x[20][15] = 13
916.82/717.57 c (203,0) x[20][16] = 4
916.82/717.57 c (203,0) x[20][17] = 12
916.82/717.57 c (203,0) x[20][18] = 4
916.82/717.57 c (203,0) x[20][19] = 4
916.82/717.57 c (203,0) x[20][20] = 13
916.82/717.57 s SATISFIABLE
916.82/717.57 v <instantiation>
916.82/717.57 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][18] x[3][19] x[3][20] x[4][0] x[4][1] x[4][2] x[4][3] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][17] x[4][18] x[4][19] x[4][20] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][3] x[6][4] x[6][5] x[6][9] x[6][10] x[6][11] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][11] x[9][12] x[9][13] x[9][14] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][0] x[10][1] x[10][2] x[10][3] x[10][5] x[10][6] x[10][7] x[10][8] x[10][12] x[10][13] x[10][14] x[10][15] x[10][17] x[10][18] x[10][19] x[10][20] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][3] x[14][4] x[14][5] x[14][9] x[14][10] x[14][11] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20]</list>
916.82/717.57 v <values>15 4 18 19 0 8 17 0 2 11 0 6 4 9 14 6 6 4 17 0 11 4 21 8 13 4 6 11 8 18 4 18 4 19 8 14 11 4 19 2 7 0 13 18 15 17 4 19 4 13 3 19 4 13 3 14 13 19 0 19 4 19 17 8 4 17 18 14 17 13 4 4 4 6 14 20 13 0 20 8 12 15 4 2 5 8 0 8 18 0 17 4 20 18 14 17 1 4 13 4 25 12 8 18 18 4 1 17 0 18 0 0 15 18 5 8 11 12 0 2 0 6 0 2 0 19 6 20 0 17 0 13 8 4 1 0 17 1 0 17 14 20 18 19 8 17 11 0 21 14 20 23 11 20 13 4 4 13 12 18 19 4 2 25 4 12 0 18 0 8 4 17 4 15 11 8 4 15 8 0 10 20 13 0 18 4 17 0 18 14 11 18 17 4 18 19 14 15 0 8 18 4 18 12 4 8 13 17 14 8 0 11 19 4 17 0 19 17 8 15 11 4 4 12 14 17 19 13 4 8 18 4 17 0 13 18 4 13 18 0 18 18 0 21 8 18 4 25 8 11 4 6 24 12 19 4 19 15 8 6 4 4 2 0 15 4 18 1 0 19 17 4 0 11 18 14 15 4 13 19 14 6 4 18 2 4 13 8 18 18 20 0 8 17 4 17 0 4 17 4 17 0 4 17 14 13 4 5 13 8 3 0 2 4 4 13 18 13 14 17 12 0 13 3 3 4 17 0 18 4 2 0 4 2 0 11 19 17 8 4 17 0 8 0 11 0 8 18 4 4 18 18 14 17 0 18 4 4 17 0 8 13 13 4 12 4 4 13</values>
916.82/717.57 v </instantiation>
916.82/717.57 c (203,0) Show results End
916.82/717.57 c (203,0) Heap : 231 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
916.82/717.57 c (203,0) 202,203,STOP-AFTER(ALL)
916.82/717.57 c END-Prog: Thu Sep 12 16:39:28 CEST 2019