argc=5
-M 1024
file2=30_select_Case6.157_starter_15_
checking files mod 1024 from 0 to 1023
case_no=169 label=Case6.157 nb_sol=0 ticks=332408 tps=100 nb_sec=3324
case_no=169 label=Case6.157 nb_sol=0 ticks=224409 tps=100 nb_sec=2244
case_no=169 label=Case6.157 nb_sol=0 ticks=244292 tps=100 nb_sec=2442
case_no=169 label=Case6.157 nb_sol=0 ticks=198578 tps=100 nb_sec=1985
case_no=169 label=Case6.157 nb_sol=0 ticks=202015 tps=100 nb_sec=2020
case_no=169 label=Case6.157 nb_sol=0 ticks=235375 tps=100 nb_sec=2353
case_no=169 label=Case6.157 nb_sol=0 ticks=294449 tps=100 nb_sec=2944
case_no=169 label=Case6.157 nb_sol=0 ticks=330873 tps=100 nb_sec=3308
case_no=169 label=Case6.157 nb_sol=0 ticks=255952 tps=100 nb_sec=2559
case_no=169 label=Case6.157 nb_sol=0 ticks=345568 tps=100 nb_sec=3455
case_no=169 label=Case6.157 nb_sol=0 ticks=644840 tps=100 nb_sec=6448
case_no=169 label=Case6.157 nb_sol=0 ticks=491431 tps=100 nb_sec=4914
case_no=169 label=Case6.157 nb_sol=0 ticks=359600 tps=100 nb_sec=3596
case_no=169 label=Case6.157 nb_sol=0 ticks=339795 tps=100 nb_sec=3397
case_no=169 label=Case6.157 nb_sol=0 ticks=332447 tps=100 nb_sec=3324
case_no=169 label=Case6.157 nb_sol=0 ticks=276621 tps=100 nb_sec=2766
case_no=169 label=Case6.157 nb_sol=0 ticks=218943 tps=100 nb_sec=2189
case_no=169 label=Case6.157 nb_sol=0 ticks=259175 tps=100 nb_sec=2591
case_no=169 label=Case6.157 nb_sol=0 ticks=659050 tps=100 nb_sec=6590
case_no=169 label=Case6.157 nb_sol=0 ticks=410341 tps=100 nb_sec=4103
case_no=169 label=Case6.157 nb_sol=0 ticks=358896 tps=100 nb_sec=3588
case_no=169 label=Case6.157 nb_sol=0 ticks=414704 tps=100 nb_sec=4147
case_no=169 label=Case6.157 nb_sol=0 ticks=664088 tps=100 nb_sec=6640
case_no=169 label=Case6.157 nb_sol=0 ticks=287654 tps=100 nb_sec=2876
case_no=169 label=Case6.157 nb_sol=0 ticks=500634 tps=100 nb_sec=5006
case_no=169 label=Case6.157 nb_sol=0 ticks=507585 tps=100 nb_sec=5075
case_no=169 label=Case6.157 nb_sol=0 ticks=281481 tps=100 nb_sec=2814
case_no=169 label=Case6.157 nb_sol=0 ticks=401836 tps=100 nb_sec=4018
case_no=169 label=Case6.157 nb_sol=0 ticks=408078 tps=100 nb_sec=4080
case_no=169 label=Case6.157 nb_sol=0 ticks=320938 tps=100 nb_sec=3209
case_no=169 label=Case6.157 nb_sol=0 ticks=378914 tps=100 nb_sec=3789
case_no=169 label=Case6.157 nb_sol=0 ticks=212111 tps=100 nb_sec=2121
case_no=169 label=Case6.157 nb_sol=0 ticks=230594 tps=100 nb_sec=2305
case_no=169 label=Case6.157 nb_sol=0 ticks=423302 tps=100 nb_sec=4233
case_no=169 label=Case6.157 nb_sol=0 ticks=606516 tps=100 nb_sec=6065
case_no=169 label=Case6.157 nb_sol=0 ticks=447768 tps=100 nb_sec=4477
case_no=169 label=Case6.157 nb_sol=0 ticks=348224 tps=100 nb_sec=3482
case_no=169 label=Case6.157 nb_sol=0 ticks=351254 tps=100 nb_sec=3512
case_no=169 label=Case6.157 nb_sol=0 ticks=291477 tps=100 nb_sec=2914
case_no=169 label=Case6.157 nb_sol=0 ticks=238182 tps=100 nb_sec=2381
case_no=169 label=Case6.157 nb_sol=0 ticks=208350 tps=100 nb_sec=2083
case_no=169 label=Case6.157 nb_sol=0 ticks=378091 tps=100 nb_sec=3780
case_no=169 label=Case6.157 nb_sol=0 ticks=655061 tps=100 nb_sec=6550
case_no=169 label=Case6.157 nb_sol=0 ticks=521352 tps=100 nb_sec=5213
case_no=169 label=Case6.157 nb_sol=0 ticks=361997 tps=100 nb_sec=3619
case_no=169 label=Case6.157 nb_sol=0 ticks=291809 tps=100 nb_sec=2918
case_no=169 label=Case6.157 nb_sol=0 ticks=270942 tps=100 nb_sec=2709
case_no=169 label=Case6.157 nb_sol=0 ticks=283533 tps=100 nb_sec=2835
case_no=169 label=Case6.157 nb_sol=0 ticks=397531 tps=100 nb_sec=3975
case_no=169 label=Case6.157 nb_sol=0 ticks=446611 tps=100 nb_sec=4466
case_no=169 label=Case6.157 nb_sol=0 ticks=367926 tps=100 nb_sec=3679
case_no=169 label=Case6.157 nb_sol=0 ticks=442088 tps=100 nb_sec=4420
case_no=169 label=Case6.157 nb_sol=0 ticks=394933 tps=100 nb_sec=3949
case_no=169 label=Case6.157 nb_sol=0 ticks=351087 tps=100 nb_sec=3510
case_no=169 label=Case6.157 nb_sol=0 ticks=190005 tps=100 nb_sec=1900
case_no=169 label=Case6.157 nb_sol=0 ticks=195560 tps=100 nb_sec=1955
case_no=169 label=Case6.157 nb_sol=0 ticks=176562 tps=100 nb_sec=1765
case_no=169 label=Case6.157 nb_sol=0 ticks=372393 tps=100 nb_sec=3723
case_no=169 label=Case6.157 nb_sol=0 ticks=618356 tps=100 nb_sec=6183
case_no=169 label=Case6.157 nb_sol=0 ticks=434369 tps=100 nb_sec=4343
case_no=169 label=Case6.157 nb_sol=0 ticks=321950 tps=100 nb_sec=3219
case_no=169 label=Case6.157 nb_sol=0 ticks=239658 tps=100 nb_sec=2396
case_no=169 label=Case6.157 nb_sol=0 ticks=227745 tps=100 nb_sec=2277
case_no=169 label=Case6.157 nb_sol=0 ticks=353541 tps=100 nb_sec=3535
case_no=169 label=Case6.157 nb_sol=0 ticks=167818 tps=100 nb_sec=1678
case_no=169 label=Case6.157 nb_sol=0 ticks=465630 tps=100 nb_sec=4656
case_no=169 label=Case6.157 nb_sol=0 ticks=631396 tps=100 nb_sec=6313
case_no=169 label=Case6.157 nb_sol=0 ticks=351241 tps=100 nb_sec=3512
case_no=169 label=Case6.157 nb_sol=0 ticks=490715 tps=100 nb_sec=4907
case_no=169 label=Case6.157 nb_sol=0 ticks=252490 tps=100 nb_sec=2524
case_no=169 label=Case6.157 nb_sol=0 ticks=422923 tps=100 nb_sec=4229
case_no=169 label=Case6.157 nb_sol=0 ticks=629032 tps=100 nb_sec=6290
case_no=169 label=Case6.157 nb_sol=0 ticks=455799 tps=100 nb_sec=4557
case_no=169 label=Case6.157 nb_sol=0 ticks=377308 tps=100 nb_sec=3773
case_no=169 label=Case6.157 nb_sol=0 ticks=344626 tps=100 nb_sec=3446
case_no=169 label=Case6.157 nb_sol=0 ticks=239101 tps=100 nb_sec=2391
case_no=169 label=Case6.157 nb_sol=0 ticks=506757 tps=100 nb_sec=5067
case_no=169 label=Case6.157 nb_sol=0 ticks=603407 tps=100 nb_sec=6034
case_no=169 label=Case6.157 nb_sol=0 ticks=574796 tps=100 nb_sec=5747
case_no=169 label=Case6.157 nb_sol=0 ticks=450804 tps=100 nb_sec=4508
case_no=169 label=Case6.157 nb_sol=0 ticks=221949 tps=100 nb_sec=2219
case_no=169 label=Case6.157 nb_sol=0 ticks=483862 tps=100 nb_sec=4838
case_no=169 label=Case6.157 nb_sol=0 ticks=415505 tps=100 nb_sec=4155
case_no=169 label=Case6.157 nb_sol=0 ticks=245863 tps=100 nb_sec=2458
case_no=169 label=Case6.157 nb_sol=0 ticks=802877 tps=100 nb_sec=8028
case_no=169 label=Case6.157 nb_sol=0 ticks=747194 tps=100 nb_sec=7471
case_no=169 label=Case6.157 nb_sol=0 ticks=426648 tps=100 nb_sec=4266
case_no=169 label=Case6.157 nb_sol=0 ticks=514368 tps=100 nb_sec=5143
case_no=169 label=Case6.157 nb_sol=0 ticks=536406 tps=100 nb_sec=5364
case_no=169 label=Case6.157 nb_sol=0 ticks=466718 tps=100 nb_sec=4667
case_no=169 label=Case6.157 nb_sol=0 ticks=309355 tps=100 nb_sec=3093
case_no=169 label=Case6.157 nb_sol=0 ticks=502984 tps=100 nb_sec=5029
case_no=169 label=Case6.157 nb_sol=0 ticks=714042 tps=100 nb_sec=7140
case_no=169 label=Case6.157 nb_sol=0 ticks=510191 tps=100 nb_sec=5101
case_no=169 label=Case6.157 nb_sol=0 ticks=483635 tps=100 nb_sec=4836
case_no=169 label=Case6.157 nb_sol=0 ticks=572407 tps=100 nb_sec=5724
case_no=169 label=Case6.157 nb_sol=0 ticks=421398 tps=100 nb_sec=4213
case_no=169 label=Case6.157 nb_sol=0 ticks=479477 tps=100 nb_sec=4794
case_no=169 label=Case6.157 nb_sol=0 ticks=273250 tps=100 nb_sec=2732
case_no=169 label=Case6.157 nb_sol=0 ticks=623955 tps=100 nb_sec=6239
case_no=169 label=Case6.157 nb_sol=0 ticks=561456 tps=100 nb_sec=5614
case_no=169 label=Case6.157 nb_sol=0 ticks=483901 tps=100 nb_sec=4839
case_no=169 label=Case6.157 nb_sol=0 ticks=432184 tps=100 nb_sec=4321
case_no=169 label=Case6.157 nb_sol=0 ticks=237137 tps=100 nb_sec=2371
case_no=169 label=Case6.157 nb_sol=0 ticks=253200 tps=100 nb_sec=2532
case_no=169 label=Case6.157 nb_sol=0 ticks=489248 tps=100 nb_sec=4892
case_no=169 label=Case6.157 nb_sol=0 ticks=503749 tps=100 nb_sec=5037
case_no=169 label=Case6.157 nb_sol=0 ticks=759998 tps=100 nb_sec=7599
case_no=169 label=Case6.157 nb_sol=0 ticks=528233 tps=100 nb_sec=5282
case_no=169 label=Case6.157 nb_sol=0 ticks=366935 tps=100 nb_sec=3669
case_no=169 label=Case6.157 nb_sol=0 ticks=523429 tps=100 nb_sec=5234
case_no=169 label=Case6.157 nb_sol=0 ticks=477956 tps=100 nb_sec=4779
case_no=169 label=Case6.157 nb_sol=0 ticks=228844 tps=100 nb_sec=2288
case_no=169 label=Case6.157 nb_sol=0 ticks=394364 tps=100 nb_sec=3943
case_no=169 label=Case6.157 nb_sol=0 ticks=270180 tps=100 nb_sec=2701
case_no=169 label=Case6.157 nb_sol=0 ticks=450904 tps=100 nb_sec=4509
case_no=169 label=Case6.157 nb_sol=0 ticks=639834 tps=100 nb_sec=6398
case_no=169 label=Case6.157 nb_sol=0 ticks=423407 tps=100 nb_sec=4234
case_no=169 label=Case6.157 nb_sol=0 ticks=466344 tps=100 nb_sec=4663
case_no=169 label=Case6.157 nb_sol=0 ticks=214526 tps=100 nb_sec=2145
case_no=169 label=Case6.157 nb_sol=0 ticks=385284 tps=100 nb_sec=3852
case_no=169 label=Case6.157 nb_sol=0 ticks=404419 tps=100 nb_sec=4044
case_no=169 label=Case6.157 nb_sol=0 ticks=400078 tps=100 nb_sec=4000
case_no=169 label=Case6.157 nb_sol=0 ticks=199184 tps=100 nb_sec=1991
case_no=169 label=Case6.157 nb_sol=0 ticks=465743 tps=100 nb_sec=4657
case_no=169 label=Case6.157 nb_sol=0 ticks=187761 tps=100 nb_sec=1877
case_no=169 label=Case6.157 nb_sol=0 ticks=417953 tps=100 nb_sec=4179
case_no=169 label=Case6.157 nb_sol=0 ticks=389398 tps=100 nb_sec=3893
case_no=169 label=Case6.157 nb_sol=0 ticks=460343 tps=100 nb_sec=4603
case_no=169 label=Case6.157 nb_sol=0 ticks=409804 tps=100 nb_sec=4098
case_no=169 label=Case6.157 nb_sol=0 ticks=271673 tps=100 nb_sec=2716
case_no=169 label=Case6.157 nb_sol=0 ticks=383438 tps=100 nb_sec=3834
case_no=169 label=Case6.157 nb_sol=0 ticks=523266 tps=100 nb_sec=5232
case_no=169 label=Case6.157 nb_sol=0 ticks=270909 tps=100 nb_sec=2709
case_no=169 label=Case6.157 nb_sol=0 ticks=437094 tps=100 nb_sec=4370
case_no=169 label=Case6.157 nb_sol=0 ticks=564004 tps=100 nb_sec=5640
case_no=169 label=Case6.157 nb_sol=0 ticks=433734 tps=100 nb_sec=4337
case_no=169 label=Case6.157 nb_sol=0 ticks=242015 tps=100 nb_sec=2420
case_no=169 label=Case6.157 nb_sol=0 ticks=514118 tps=100 nb_sec=5141
case_no=169 label=Case6.157 nb_sol=0 ticks=240463 tps=100 nb_sec=2404
case_no=169 label=Case6.157 nb_sol=0 ticks=549800 tps=100 nb_sec=5498
case_no=169 label=Case6.157 nb_sol=0 ticks=453985 tps=100 nb_sec=4539
case_no=169 label=Case6.157 nb_sol=0 ticks=490511 tps=100 nb_sec=4905
case_no=169 label=Case6.157 nb_sol=0 ticks=203978 tps=100 nb_sec=2039
case_no=169 label=Case6.157 nb_sol=0 ticks=510115 tps=100 nb_sec=5101
case_no=169 label=Case6.157 nb_sol=0 ticks=385925 tps=100 nb_sec=3859
case_no=169 label=Case6.157 nb_sol=0 ticks=396245 tps=100 nb_sec=3962
case_no=169 label=Case6.157 nb_sol=0 ticks=171612 tps=100 nb_sec=1716
case_no=169 label=Case6.157 nb_sol=0 ticks=571439 tps=100 nb_sec=5714
case_no=169 label=Case6.157 nb_sol=0 ticks=407959 tps=100 nb_sec=4079
case_no=169 label=Case6.157 nb_sol=0 ticks=523798 tps=100 nb_sec=5237
case_no=169 label=Case6.157 nb_sol=0 ticks=497059 tps=100 nb_sec=4970
case_no=169 label=Case6.157 nb_sol=0 ticks=441376 tps=100 nb_sec=4413
case_no=169 label=Case6.157 nb_sol=0 ticks=380569 tps=100 nb_sec=3805
case_no=169 label=Case6.157 nb_sol=0 ticks=256935 tps=100 nb_sec=2569
case_no=169 label=Case6.157 nb_sol=0 ticks=510839 tps=100 nb_sec=5108
case_no=169 label=Case6.157 nb_sol=0 ticks=243557 tps=100 nb_sec=2435
case_no=169 label=Case6.157 nb_sol=0 ticks=437112 tps=100 nb_sec=4371
case_no=169 label=Case6.157 nb_sol=0 ticks=360811 tps=100 nb_sec=3608
case_no=169 label=Case6.157 nb_sol=0 ticks=221215 tps=100 nb_sec=2212
case_no=169 label=Case6.157 nb_sol=0 ticks=483982 tps=100 nb_sec=4839
case_no=169 label=Case6.157 nb_sol=0 ticks=335047 tps=100 nb_sec=3350
case_no=169 label=Case6.157 nb_sol=0 ticks=401326 tps=100 nb_sec=4013
case_no=169 label=Case6.157 nb_sol=0 ticks=258584 tps=100 nb_sec=2585
case_no=169 label=Case6.157 nb_sol=0 ticks=503380 tps=100 nb_sec=5033
case_no=169 label=Case6.157 nb_sol=0 ticks=195709 tps=100 nb_sec=1957
case_no=169 label=Case6.157 nb_sol=0 ticks=365056 tps=100 nb_sec=3650
case_no=169 label=Case6.157 nb_sol=0 ticks=389610 tps=100 nb_sec=3896
case_no=169 label=Case6.157 nb_sol=0 ticks=371571 tps=100 nb_sec=3715
case_no=169 label=Case6.157 nb_sol=0 ticks=221445 tps=100 nb_sec=2214
case_no=169 label=Case6.157 nb_sol=0 ticks=361901 tps=100 nb_sec=3619
case_no=169 label=Case6.157 nb_sol=0 ticks=476822 tps=100 nb_sec=4768
case_no=169 label=Case6.157 nb_sol=0 ticks=387251 tps=100 nb_sec=3872
case_no=169 label=Case6.157 nb_sol=0 ticks=440490 tps=100 nb_sec=4404
case_no=169 label=Case6.157 nb_sol=0 ticks=422873 tps=100 nb_sec=4228
case_no=169 label=Case6.157 nb_sol=0 ticks=389668 tps=100 nb_sec=3896
case_no=169 label=Case6.157 nb_sol=0 ticks=470038 tps=100 nb_sec=4700
case_no=169 label=Case6.157 nb_sol=0 ticks=277034 tps=100 nb_sec=2770
case_no=169 label=Case6.157 nb_sol=0 ticks=562312 tps=100 nb_sec=5623
case_no=169 label=Case6.157 nb_sol=0 ticks=470679 tps=100 nb_sec=4706
case_no=169 label=Case6.157 nb_sol=0 ticks=532825 tps=100 nb_sec=5328
case_no=169 label=Case6.157 nb_sol=0 ticks=437241 tps=100 nb_sec=4372
case_no=169 label=Case6.157 nb_sol=0 ticks=408146 tps=100 nb_sec=4081
case_no=169 label=Case6.157 nb_sol=0 ticks=519890 tps=100 nb_sec=5198
case_no=169 label=Case6.157 nb_sol=0 ticks=408629 tps=100 nb_sec=4086
case_no=169 label=Case6.157 nb_sol=0 ticks=449027 tps=100 nb_sec=4490
case_no=169 label=Case6.157 nb_sol=0 ticks=440530 tps=100 nb_sec=4405
case_no=169 label=Case6.157 nb_sol=0 ticks=381606 tps=100 nb_sec=3816
case_no=169 label=Case6.157 nb_sol=0 ticks=205222 tps=100 nb_sec=2052
case_no=169 label=Case6.157 nb_sol=0 ticks=534144 tps=100 nb_sec=5341
case_no=169 label=Case6.157 nb_sol=0 ticks=384119 tps=100 nb_sec=3841
case_no=169 label=Case6.157 nb_sol=0 ticks=486723 tps=100 nb_sec=4867
case_no=169 label=Case6.157 nb_sol=0 ticks=443722 tps=100 nb_sec=4437
case_no=169 label=Case6.157 nb_sol=0 ticks=452038 tps=100 nb_sec=4520
case_no=169 label=Case6.157 nb_sol=0 ticks=366519 tps=100 nb_sec=3665
case_no=169 label=Case6.157 nb_sol=0 ticks=396439 tps=100 nb_sec=3964
case_no=169 label=Case6.157 nb_sol=0 ticks=427803 tps=100 nb_sec=4278
case_no=169 label=Case6.157 nb_sol=0 ticks=369971 tps=100 nb_sec=3699
case_no=169 label=Case6.157 nb_sol=0 ticks=356368 tps=100 nb_sec=3563
case_no=169 label=Case6.157 nb_sol=0 ticks=415192 tps=100 nb_sec=4151
case_no=169 label=Case6.157 nb_sol=0 ticks=443891 tps=100 nb_sec=4438
case_no=169 label=Case6.157 nb_sol=0 ticks=408272 tps=100 nb_sec=4082
case_no=169 label=Case6.157 nb_sol=0 ticks=486359 tps=100 nb_sec=4863
case_no=169 label=Case6.157 nb_sol=0 ticks=435349 tps=100 nb_sec=4353
case_no=169 label=Case6.157 nb_sol=0 ticks=412659 tps=100 nb_sec=4126
case_no=169 label=Case6.157 nb_sol=0 ticks=386517 tps=100 nb_sec=3865
case_no=169 label=Case6.157 nb_sol=0 ticks=376980 tps=100 nb_sec=3769
case_no=169 label=Case6.157 nb_sol=0 ticks=343462 tps=100 nb_sec=3434
case_no=169 label=Case6.157 nb_sol=0 ticks=352334 tps=100 nb_sec=3523
case_no=169 label=Case6.157 nb_sol=0 ticks=377462 tps=100 nb_sec=3774
case_no=169 label=Case6.157 nb_sol=0 ticks=417012 tps=100 nb_sec=4170
case_no=169 label=Case6.157 nb_sol=0 ticks=214506 tps=100 nb_sec=2145
case_no=169 label=Case6.157 nb_sol=0 ticks=402853 tps=100 nb_sec=4028
case_no=169 label=Case6.157 nb_sol=0 ticks=210251 tps=100 nb_sec=2102
case_no=169 label=Case6.157 nb_sol=0 ticks=411584 tps=100 nb_sec=4115
case_no=169 label=Case6.157 nb_sol=0 ticks=300711 tps=100 nb_sec=3007
case_no=169 label=Case6.157 nb_sol=0 ticks=272787 tps=100 nb_sec=2727
case_no=169 label=Case6.157 nb_sol=0 ticks=232514 tps=100 nb_sec=2325
case_no=169 label=Case6.157 nb_sol=0 ticks=269956 tps=100 nb_sec=2699
case_no=169 label=Case6.157 nb_sol=0 ticks=237184 tps=100 nb_sec=2371
case_no=169 label=Case6.157 nb_sol=0 ticks=213376 tps=100 nb_sec=2133
case_no=169 label=Case6.157 nb_sol=0 ticks=226886 tps=100 nb_sec=2268
case_no=169 label=Case6.157 nb_sol=0 ticks=220054 tps=100 nb_sec=2200
case_no=169 label=Case6.157 nb_sol=0 ticks=240250 tps=100 nb_sec=2402
case_no=169 label=Case6.157 nb_sol=0 ticks=289012 tps=100 nb_sec=2890
case_no=169 label=Case6.157 nb_sol=0 ticks=244477 tps=100 nb_sec=2444
case_no=169 label=Case6.157 nb_sol=0 ticks=267144 tps=100 nb_sec=2671
case_no=169 label=Case6.157 nb_sol=0 ticks=301487 tps=100 nb_sec=3014
case_no=169 label=Case6.157 nb_sol=0 ticks=258907 tps=100 nb_sec=2589
case_no=169 label=Case6.157 nb_sol=0 ticks=258641 tps=100 nb_sec=2586
case_no=169 label=Case6.157 nb_sol=0 ticks=256462 tps=100 nb_sec=2564
case_no=169 label=Case6.157 nb_sol=0 ticks=259773 tps=100 nb_sec=2597
case_no=169 label=Case6.157 nb_sol=0 ticks=327321 tps=100 nb_sec=3273
case_no=169 label=Case6.157 nb_sol=0 ticks=228669 tps=100 nb_sec=2286
case_no=169 label=Case6.157 nb_sol=0 ticks=329696 tps=100 nb_sec=3296
case_no=169 label=Case6.157 nb_sol=0 ticks=236079 tps=100 nb_sec=2360
case_no=169 label=Case6.157 nb_sol=0 ticks=306367 tps=100 nb_sec=3063
case_no=169 label=Case6.157 nb_sol=0 ticks=265389 tps=100 nb_sec=2653
case_no=169 label=Case6.157 nb_sol=0 ticks=302345 tps=100 nb_sec=3023
case_no=169 label=Case6.157 nb_sol=0 ticks=237874 tps=100 nb_sec=2378
case_no=169 label=Case6.157 nb_sol=0 ticks=230421 tps=100 nb_sec=2304
case_no=169 label=Case6.157 nb_sol=0 ticks=278858 tps=100 nb_sec=2788
case_no=169 label=Case6.157 nb_sol=0 ticks=265529 tps=100 nb_sec=2655
case_no=169 label=Case6.157 nb_sol=0 ticks=213491 tps=100 nb_sec=2134
case_no=169 label=Case6.157 nb_sol=0 ticks=229024 tps=100 nb_sec=2290
case_no=169 label=Case6.157 nb_sol=0 ticks=637239 tps=100 nb_sec=6372
case_no=169 label=Case6.157 nb_sol=0 ticks=317461 tps=100 nb_sec=3174
case_no=169 label=Case6.157 nb_sol=0 ticks=229477 tps=100 nb_sec=2294
case_no=169 label=Case6.157 nb_sol=0 ticks=202223 tps=100 nb_sec=2022
case_no=169 label=Case6.157 nb_sol=0 ticks=262914 tps=100 nb_sec=2629
case_no=169 label=Case6.157 nb_sol=0 ticks=219629 tps=100 nb_sec=2196
case_no=169 label=Case6.157 nb_sol=0 ticks=232639 tps=100 nb_sec=2326
case_no=169 label=Case6.157 nb_sol=0 ticks=181154 tps=100 nb_sec=1811
case_no=169 label=Case6.157 nb_sol=0 ticks=252107 tps=100 nb_sec=2521
case_no=169 label=Case6.157 nb_sol=0 ticks=232725 tps=100 nb_sec=2327
case_no=169 label=Case6.157 nb_sol=0 ticks=415876 tps=100 nb_sec=4158
case_no=169 label=Case6.157 nb_sol=0 ticks=394560 tps=100 nb_sec=3945
case_no=169 label=Case6.157 nb_sol=0 ticks=379113 tps=100 nb_sec=3791
case_no=169 label=Case6.157 nb_sol=0 ticks=231036 tps=100 nb_sec=2310
case_no=169 label=Case6.157 nb_sol=0 ticks=515509 tps=100 nb_sec=5155
case_no=169 label=Case6.157 nb_sol=0 ticks=209321 tps=100 nb_sec=2093
case_no=169 label=Case6.157 nb_sol=0 ticks=357817 tps=100 nb_sec=3578
case_no=169 label=Case6.157 nb_sol=0 ticks=240399 tps=100 nb_sec=2403
case_no=169 label=Case6.157 nb_sol=0 ticks=376622 tps=100 nb_sec=3766
case_no=169 label=Case6.157 nb_sol=0 ticks=232683 tps=100 nb_sec=2326
case_no=169 label=Case6.157 nb_sol=0 ticks=198751 tps=100 nb_sec=1987
case_no=169 label=Case6.157 nb_sol=0 ticks=241094 tps=100 nb_sec=2410
case_no=169 label=Case6.157 nb_sol=0 ticks=247145 tps=100 nb_sec=2471
case_no=169 label=Case6.157 nb_sol=0 ticks=207678 tps=100 nb_sec=2076
case_no=169 label=Case6.157 nb_sol=0 ticks=260640 tps=100 nb_sec=2606
case_no=169 label=Case6.157 nb_sol=0 ticks=246541 tps=100 nb_sec=2465
case_no=169 label=Case6.157 nb_sol=0 ticks=260339 tps=100 nb_sec=2603
case_no=169 label=Case6.157 nb_sol=0 ticks=491720 tps=100 nb_sec=4917
case_no=169 label=Case6.157 nb_sol=0 ticks=207325 tps=100 nb_sec=2073
case_no=169 label=Case6.157 nb_sol=0 ticks=425067 tps=100 nb_sec=4250
case_no=169 label=Case6.157 nb_sol=0 ticks=461468 tps=100 nb_sec=4614
case_no=169 label=Case6.157 nb_sol=0 ticks=236716 tps=100 nb_sec=2367
case_no=169 label=Case6.157 nb_sol=0 ticks=471828 tps=100 nb_sec=4718
case_no=169 label=Case6.157 nb_sol=0 ticks=252893 tps=100 nb_sec=2528
case_no=169 label=Case6.157 nb_sol=0 ticks=245780 tps=100 nb_sec=2457
case_no=169 label=Case6.157 nb_sol=0 ticks=508440 tps=100 nb_sec=5084
case_no=169 label=Case6.157 nb_sol=0 ticks=272799 tps=100 nb_sec=2727
case_no=169 label=Case6.157 nb_sol=0 ticks=575267 tps=100 nb_sec=5752
case_no=169 label=Case6.157 nb_sol=0 ticks=331803 tps=100 nb_sec=3318
case_no=169 label=Case6.157 nb_sol=0 ticks=409232 tps=100 nb_sec=4092
case_no=169 label=Case6.157 nb_sol=0 ticks=299359 tps=100 nb_sec=2993
case_no=169 label=Case6.157 nb_sol=0 ticks=483408 tps=100 nb_sec=4834
case_no=169 label=Case6.157 nb_sol=0 ticks=206575 tps=100 nb_sec=2065
case_no=169 label=Case6.157 nb_sol=0 ticks=495915 tps=100 nb_sec=4959
case_no=169 label=Case6.157 nb_sol=0 ticks=432104 tps=100 nb_sec=4321
case_no=169 label=Case6.157 nb_sol=0 ticks=479056 tps=100 nb_sec=4790
case_no=169 label=Case6.157 nb_sol=0 ticks=479570 tps=100 nb_sec=4795
case_no=169 label=Case6.157 nb_sol=0 ticks=504890 tps=100 nb_sec=5048
case_no=169 label=Case6.157 nb_sol=0 ticks=605063 tps=100 nb_sec=6050
case_no=169 label=Case6.157 nb_sol=0 ticks=553036 tps=100 nb_sec=5530
case_no=169 label=Case6.157 nb_sol=0 ticks=450244 tps=100 nb_sec=4502
case_no=169 label=Case6.157 nb_sol=0 ticks=686774 tps=100 nb_sec=6867
case_no=169 label=Case6.157 nb_sol=0 ticks=421975 tps=100 nb_sec=4219
case_no=169 label=Case6.157 nb_sol=0 ticks=480581 tps=100 nb_sec=4805
case_no=169 label=Case6.157 nb_sol=0 ticks=478471 tps=100 nb_sec=4784
case_no=169 label=Case6.157 nb_sol=0 ticks=445980 tps=100 nb_sec=4459
case_no=169 label=Case6.157 nb_sol=0 ticks=461788 tps=100 nb_sec=4617
case_no=169 label=Case6.157 nb_sol=0 ticks=493682 tps=100 nb_sec=4936
case_no=169 label=Case6.157 nb_sol=0 ticks=284362 tps=100 nb_sec=2843
case_no=169 label=Case6.157 nb_sol=0 ticks=469080 tps=100 nb_sec=4690
case_no=169 label=Case6.157 nb_sol=0 ticks=380673 tps=100 nb_sec=3806
case_no=169 label=Case6.157 nb_sol=0 ticks=292774 tps=100 nb_sec=2927
case_no=169 label=Case6.157 nb_sol=0 ticks=249998 tps=100 nb_sec=2499
case_no=169 label=Case6.157 nb_sol=0 ticks=407117 tps=100 nb_sec=4071
case_no=169 label=Case6.157 nb_sol=0 ticks=580870 tps=100 nb_sec=5808
case_no=169 label=Case6.157 nb_sol=0 ticks=304370 tps=100 nb_sec=3043
case_no=169 label=Case6.157 nb_sol=0 ticks=414342 tps=100 nb_sec=4143
case_no=169 label=Case6.157 nb_sol=0 ticks=422434 tps=100 nb_sec=4224
case_no=169 label=Case6.157 nb_sol=0 ticks=442044 tps=100 nb_sec=4420
case_no=169 label=Case6.157 nb_sol=0 ticks=389481 tps=100 nb_sec=3894
case_no=169 label=Case6.157 nb_sol=0 ticks=404082 tps=100 nb_sec=4040
case_no=169 label=Case6.157 nb_sol=0 ticks=417785 tps=100 nb_sec=4177
case_no=169 label=Case6.157 nb_sol=0 ticks=351718 tps=100 nb_sec=3517
case_no=169 label=Case6.157 nb_sol=0 ticks=475163 tps=100 nb_sec=4751
case_no=169 label=Case6.157 nb_sol=0 ticks=426841 tps=100 nb_sec=4268
case_no=169 label=Case6.157 nb_sol=0 ticks=238011 tps=100 nb_sec=2380
case_no=169 label=Case6.157 nb_sol=0 ticks=450712 tps=100 nb_sec=4507
case_no=169 label=Case6.157 nb_sol=0 ticks=446846 tps=100 nb_sec=4468
case_no=169 label=Case6.157 nb_sol=0 ticks=383216 tps=100 nb_sec=3832
case_no=169 label=Case6.157 nb_sol=0 ticks=423407 tps=100 nb_sec=4234
case_no=169 label=Case6.157 nb_sol=0 ticks=408596 tps=100 nb_sec=4085
case_no=169 label=Case6.157 nb_sol=0 ticks=207192 tps=100 nb_sec=2071
case_no=169 label=Case6.157 nb_sol=0 ticks=183389 tps=100 nb_sec=1833
case_no=169 label=Case6.157 nb_sol=0 ticks=462704 tps=100 nb_sec=4627
case_no=169 label=Case6.157 nb_sol=0 ticks=542538 tps=100 nb_sec=5425
case_no=169 label=Case6.157 nb_sol=0 ticks=463881 tps=100 nb_sec=4638
case_no=169 label=Case6.157 nb_sol=0 ticks=256759 tps=100 nb_sec=2567
case_no=169 label=Case6.157 nb_sol=0 ticks=439649 tps=100 nb_sec=4396
case_no=169 label=Case6.157 nb_sol=0 ticks=331801 tps=100 nb_sec=3318
case_no=169 label=Case6.157 nb_sol=0 ticks=249213 tps=100 nb_sec=2492
case_no=169 label=Case6.157 nb_sol=0 ticks=409358 tps=100 nb_sec=4093
case_no=169 label=Case6.157 nb_sol=0 ticks=556901 tps=100 nb_sec=5569
case_no=169 label=Case6.157 nb_sol=0 ticks=260883 tps=100 nb_sec=2608
case_no=169 label=Case6.157 nb_sol=0 ticks=297640 tps=100 nb_sec=2976
case_no=169 label=Case6.157 nb_sol=0 ticks=407610 tps=100 nb_sec=4076
case_no=169 label=Case6.157 nb_sol=0 ticks=243526 tps=100 nb_sec=2435
case_no=169 label=Case6.157 nb_sol=0 ticks=368858 tps=100 nb_sec=3688
case_no=169 label=Case6.157 nb_sol=0 ticks=417168 tps=100 nb_sec=4171
case_no=169 label=Case6.157 nb_sol=0 ticks=232904 tps=100 nb_sec=2329
case_no=169 label=Case6.157 nb_sol=0 ticks=238345 tps=100 nb_sec=2383
case_no=169 label=Case6.157 nb_sol=0 ticks=230903 tps=100 nb_sec=2309
case_no=169 label=Case6.157 nb_sol=0 ticks=375040 tps=100 nb_sec=3750
case_no=169 label=Case6.157 nb_sol=0 ticks=386420 tps=100 nb_sec=3864
case_no=169 label=Case6.157 nb_sol=0 ticks=470867 tps=100 nb_sec=4708
case_no=169 label=Case6.157 nb_sol=0 ticks=413395 tps=100 nb_sec=4133
case_no=169 label=Case6.157 nb_sol=0 ticks=431079 tps=100 nb_sec=4310
case_no=169 label=Case6.157 nb_sol=0 ticks=201664 tps=100 nb_sec=2016
case_no=169 label=Case6.157 nb_sol=0 ticks=487426 tps=100 nb_sec=4874
case_no=169 label=Case6.157 nb_sol=0 ticks=213498 tps=100 nb_sec=2134
case_no=169 label=Case6.157 nb_sol=0 ticks=343634 tps=100 nb_sec=3436
case_no=169 label=Case6.157 nb_sol=0 ticks=272940 tps=100 nb_sec=2729
case_no=169 label=Case6.157 nb_sol=0 ticks=459895 tps=100 nb_sec=4598
case_no=169 label=Case6.157 nb_sol=0 ticks=354421 tps=100 nb_sec=3544
case_no=169 label=Case6.157 nb_sol=0 ticks=421583 tps=100 nb_sec=4215
case_no=169 label=Case6.157 nb_sol=0 ticks=362707 tps=100 nb_sec=3627
case_no=169 label=Case6.157 nb_sol=0 ticks=503113 tps=100 nb_sec=5031
case_no=169 label=Case6.157 nb_sol=0 ticks=421676 tps=100 nb_sec=4216
case_no=169 label=Case6.157 nb_sol=0 ticks=445038 tps=100 nb_sec=4450
case_no=169 label=Case6.157 nb_sol=0 ticks=281795 tps=100 nb_sec=2817
case_no=169 label=Case6.157 nb_sol=0 ticks=247584 tps=100 nb_sec=2475
case_no=169 label=Case6.157 nb_sol=0 ticks=313363 tps=100 nb_sec=3133
case_no=169 label=Case6.157 nb_sol=0 ticks=270528 tps=100 nb_sec=2705
case_no=169 label=Case6.157 nb_sol=0 ticks=345162 tps=100 nb_sec=3451
case_no=169 label=Case6.157 nb_sol=0 ticks=404403 tps=100 nb_sec=4044
case_no=169 label=Case6.157 nb_sol=0 ticks=331068 tps=100 nb_sec=3310
case_no=169 label=Case6.157 nb_sol=0 ticks=337095 tps=100 nb_sec=3370
case_no=169 label=Case6.157 nb_sol=0 ticks=348135 tps=100 nb_sec=3481
case_no=169 label=Case6.157 nb_sol=0 ticks=497460 tps=100 nb_sec=4974
case_no=169 label=Case6.157 nb_sol=0 ticks=426186 tps=100 nb_sec=4261
case_no=169 label=Case6.157 nb_sol=0 ticks=387870 tps=100 nb_sec=3878
case_no=169 label=Case6.157 nb_sol=0 ticks=247184 tps=100 nb_sec=2471
case_no=169 label=Case6.157 nb_sol=0 ticks=478841 tps=100 nb_sec=4788
case_no=169 label=Case6.157 nb_sol=0 ticks=372972 tps=100 nb_sec=3729
case_no=169 label=Case6.157 nb_sol=0 ticks=460468 tps=100 nb_sec=4604
case_no=169 label=Case6.157 nb_sol=0 ticks=442028 tps=100 nb_sec=4420
case_no=169 label=Case6.157 nb_sol=0 ticks=363877 tps=100 nb_sec=3638
case_no=169 label=Case6.157 nb_sol=0 ticks=444902 tps=100 nb_sec=4449
case_no=169 label=Case6.157 nb_sol=0 ticks=377215 tps=100 nb_sec=3772
case_no=169 label=Case6.157 nb_sol=0 ticks=357188 tps=100 nb_sec=3571
case_no=169 label=Case6.157 nb_sol=0 ticks=330643 tps=100 nb_sec=3306
case_no=169 label=Case6.157 nb_sol=0 ticks=309842 tps=100 nb_sec=3098
case_no=169 label=Case6.157 nb_sol=0 ticks=217034 tps=100 nb_sec=2170
case_no=169 label=Case6.157 nb_sol=0 ticks=193013 tps=100 nb_sec=1930
case_no=169 label=Case6.157 nb_sol=0 ticks=243612 tps=100 nb_sec=2436
case_no=169 label=Case6.157 nb_sol=0 ticks=299635 tps=100 nb_sec=2996
case_no=169 label=Case6.157 nb_sol=0 ticks=264550 tps=100 nb_sec=2645
case_no=169 label=Case6.157 nb_sol=0 ticks=196880 tps=100 nb_sec=1968
case_no=169 label=Case6.157 nb_sol=0 ticks=224853 tps=100 nb_sec=2248
case_no=169 label=Case6.157 nb_sol=0 ticks=187103 tps=100 nb_sec=1871
case_no=169 label=Case6.157 nb_sol=0 ticks=293965 tps=100 nb_sec=2939
case_no=169 label=Case6.157 nb_sol=0 ticks=677926 tps=100 nb_sec=6779
case_no=169 label=Case6.157 nb_sol=0 ticks=292450 tps=100 nb_sec=2924
case_no=169 label=Case6.157 nb_sol=0 ticks=279858 tps=100 nb_sec=2798
case_no=169 label=Case6.157 nb_sol=0 ticks=477216 tps=100 nb_sec=4772
case_no=169 label=Case6.157 nb_sol=0 ticks=453029 tps=100 nb_sec=4530
case_no=169 label=Case6.157 nb_sol=0 ticks=261241 tps=100 nb_sec=2612
case_no=169 label=Case6.157 nb_sol=0 ticks=217660 tps=100 nb_sec=2176
case_no=169 label=Case6.157 nb_sol=0 ticks=275750 tps=100 nb_sec=2757
case_no=169 label=Case6.157 nb_sol=0 ticks=243940 tps=100 nb_sec=2439
case_no=169 label=Case6.157 nb_sol=0 ticks=545423 tps=100 nb_sec=5454
case_no=169 label=Case6.157 nb_sol=0 ticks=297913 tps=100 nb_sec=2979
case_no=169 label=Case6.157 nb_sol=0 ticks=316703 tps=100 nb_sec=3167
case_no=169 label=Case6.157 nb_sol=0 ticks=307231 tps=100 nb_sec=3072
case_no=169 label=Case6.157 nb_sol=0 ticks=267602 tps=100 nb_sec=2676
case_no=169 label=Case6.157 nb_sol=0 ticks=344946 tps=100 nb_sec=3449
case_no=169 label=Case6.157 nb_sol=0 ticks=466361 tps=100 nb_sec=4663
case_no=169 label=Case6.157 nb_sol=0 ticks=362382 tps=100 nb_sec=3623
case_no=169 label=Case6.157 nb_sol=0 ticks=291098 tps=100 nb_sec=2910
case_no=169 label=Case6.157 nb_sol=0 ticks=312699 tps=100 nb_sec=3126
case_no=169 label=Case6.157 nb_sol=0 ticks=443071 tps=100 nb_sec=4430
case_no=169 label=Case6.157 nb_sol=0 ticks=289004 tps=100 nb_sec=2890
case_no=169 label=Case6.157 nb_sol=0 ticks=285178 tps=100 nb_sec=2851
case_no=169 label=Case6.157 nb_sol=0 ticks=268397 tps=100 nb_sec=2683
case_no=169 label=Case6.157 nb_sol=0 ticks=304930 tps=100 nb_sec=3049
case_no=169 label=Case6.157 nb_sol=0 ticks=208467 tps=100 nb_sec=2084
case_no=169 label=Case6.157 nb_sol=0 ticks=253635 tps=100 nb_sec=2536
case_no=169 label=Case6.157 nb_sol=0 ticks=192020 tps=100 nb_sec=1920
case_no=169 label=Case6.157 nb_sol=0 ticks=279476 tps=100 nb_sec=2794
case_no=169 label=Case6.157 nb_sol=0 ticks=210215 tps=100 nb_sec=2102
case_no=169 label=Case6.157 nb_sol=0 ticks=258224 tps=100 nb_sec=2582
case_no=169 label=Case6.157 nb_sol=0 ticks=206294 tps=100 nb_sec=2062
case_no=169 label=Case6.157 nb_sol=0 ticks=427023 tps=100 nb_sec=4270
case_no=169 label=Case6.157 nb_sol=0 ticks=252423 tps=100 nb_sec=2524
case_no=169 label=Case6.157 nb_sol=0 ticks=415358 tps=100 nb_sec=4153
case_no=169 label=Case6.157 nb_sol=0 ticks=215051 tps=100 nb_sec=2150
case_no=169 label=Case6.157 nb_sol=0 ticks=508190 tps=100 nb_sec=5081
case_no=169 label=Case6.157 nb_sol=0 ticks=473687 tps=100 nb_sec=4736
case_no=169 label=Case6.157 nb_sol=0 ticks=288430 tps=100 nb_sec=2884
case_no=169 label=Case6.157 nb_sol=0 ticks=430358 tps=100 nb_sec=4303
case_no=169 label=Case6.157 nb_sol=0 ticks=385001 tps=100 nb_sec=3850
case_no=169 label=Case6.157 nb_sol=0 ticks=248374 tps=100 nb_sec=2483
case_no=169 label=Case6.157 nb_sol=0 ticks=299875 tps=100 nb_sec=2998
case_no=169 label=Case6.157 nb_sol=0 ticks=439919 tps=100 nb_sec=4399
case_no=169 label=Case6.157 nb_sol=0 ticks=523694 tps=100 nb_sec=5236
case_no=169 label=Case6.157 nb_sol=0 ticks=246632 tps=100 nb_sec=2466
case_no=169 label=Case6.157 nb_sol=0 ticks=281438 tps=100 nb_sec=2814
case_no=169 label=Case6.157 nb_sol=0 ticks=472603 tps=100 nb_sec=4726
case_no=169 label=Case6.157 nb_sol=0 ticks=535709 tps=100 nb_sec=5357
case_no=169 label=Case6.157 nb_sol=0 ticks=414197 tps=100 nb_sec=4141
case_no=169 label=Case6.157 nb_sol=0 ticks=432478 tps=100 nb_sec=4324
case_no=169 label=Case6.157 nb_sol=0 ticks=383096 tps=100 nb_sec=3830
case_no=169 label=Case6.157 nb_sol=0 ticks=380331 tps=100 nb_sec=3803
case_no=169 label=Case6.157 nb_sol=0 ticks=280243 tps=100 nb_sec=2802
case_no=169 label=Case6.157 nb_sol=0 ticks=378420 tps=100 nb_sec=3784
case_no=169 label=Case6.157 nb_sol=0 ticks=366053 tps=100 nb_sec=3660
case_no=169 label=Case6.157 nb_sol=0 ticks=412802 tps=100 nb_sec=4128
case_no=169 label=Case6.157 nb_sol=0 ticks=318896 tps=100 nb_sec=3188
case_no=169 label=Case6.157 nb_sol=0 ticks=408338 tps=100 nb_sec=4083
case_no=169 label=Case6.157 nb_sol=0 ticks=345535 tps=100 nb_sec=3455
case_no=169 label=Case6.157 nb_sol=0 ticks=370551 tps=100 nb_sec=3705
case_no=169 label=Case6.157 nb_sol=0 ticks=369048 tps=100 nb_sec=3690
case_no=169 label=Case6.157 nb_sol=0 ticks=263650 tps=100 nb_sec=2636
case_no=169 label=Case6.157 nb_sol=0 ticks=184574 tps=100 nb_sec=1845
case_no=169 label=Case6.157 nb_sol=0 ticks=372320 tps=100 nb_sec=3723
case_no=169 label=Case6.157 nb_sol=0 ticks=412836 tps=100 nb_sec=4128
case_no=169 label=Case6.157 nb_sol=0 ticks=473121 tps=100 nb_sec=4731
case_no=169 label=Case6.157 nb_sol=0 ticks=297431 tps=100 nb_sec=2974
case_no=169 label=Case6.157 nb_sol=0 ticks=459096 tps=100 nb_sec=4590
case_no=169 label=Case6.157 nb_sol=0 ticks=233399 tps=100 nb_sec=2333
case_no=169 label=Case6.157 nb_sol=0 ticks=484120 tps=100 nb_sec=4841
case_no=169 label=Case6.157 nb_sol=0 ticks=337653 tps=100 nb_sec=3376
case_no=169 label=Case6.157 nb_sol=0 ticks=261414 tps=100 nb_sec=2614
case_no=169 label=Case6.157 nb_sol=0 ticks=246491 tps=100 nb_sec=2464
case_no=169 label=Case6.157 nb_sol=0 ticks=391360 tps=100 nb_sec=3913
case_no=169 label=Case6.157 nb_sol=0 ticks=154404 tps=100 nb_sec=1544
case_no=169 label=Case6.157 nb_sol=0 ticks=345054 tps=100 nb_sec=3450
case_no=169 label=Case6.157 nb_sol=0 ticks=353761 tps=100 nb_sec=3537
case_no=169 label=Case6.157 nb_sol=0 ticks=193922 tps=100 nb_sec=1939
case_no=169 label=Case6.157 nb_sol=0 ticks=353515 tps=100 nb_sec=3535
case_no=169 label=Case6.157 nb_sol=0 ticks=449735 tps=100 nb_sec=4497
case_no=169 label=Case6.157 nb_sol=0 ticks=389652 tps=100 nb_sec=3896
case_no=169 label=Case6.157 nb_sol=0 ticks=259693 tps=100 nb_sec=2596
case_no=169 label=Case6.157 nb_sol=0 ticks=310430 tps=100 nb_sec=3104
case_no=169 label=Case6.157 nb_sol=0 ticks=409625 tps=100 nb_sec=4096
case_no=169 label=Case6.157 nb_sol=0 ticks=173791 tps=100 nb_sec=1737
case_no=169 label=Case6.157 nb_sol=0 ticks=495869 tps=100 nb_sec=4958
case_no=169 label=Case6.157 nb_sol=0 ticks=195980 tps=100 nb_sec=1959
case_no=169 label=Case6.157 nb_sol=0 ticks=439710 tps=100 nb_sec=4397
case_no=169 label=Case6.157 nb_sol=0 ticks=385449 tps=100 nb_sec=3854
case_no=169 label=Case6.157 nb_sol=0 ticks=415218 tps=100 nb_sec=4152
case_no=169 label=Case6.157 nb_sol=0 ticks=184628 tps=100 nb_sec=1846
case_no=169 label=Case6.157 nb_sol=0 ticks=518027 tps=100 nb_sec=5180
case_no=169 label=Case6.157 nb_sol=0 ticks=411268 tps=100 nb_sec=4112
case_no=169 label=Case6.157 nb_sol=0 ticks=408419 tps=100 nb_sec=4084
case_no=169 label=Case6.157 nb_sol=0 ticks=278703 tps=100 nb_sec=2787
case_no=169 label=Case6.157 nb_sol=0 ticks=242969 tps=100 nb_sec=2429
case_no=169 label=Case6.157 nb_sol=0 ticks=240279 tps=100 nb_sec=2402
case_no=169 label=Case6.157 nb_sol=0 ticks=484232 tps=100 nb_sec=4842
case_no=169 label=Case6.157 nb_sol=0 ticks=455779 tps=100 nb_sec=4557
case_no=169 label=Case6.157 nb_sol=0 ticks=262560 tps=100 nb_sec=2625
case_no=169 label=Case6.157 nb_sol=0 ticks=213984 tps=100 nb_sec=2139
case_no=169 label=Case6.157 nb_sol=0 ticks=364081 tps=100 nb_sec=3640
case_no=169 label=Case6.157 nb_sol=0 ticks=334213 tps=100 nb_sec=3342
case_no=169 label=Case6.157 nb_sol=0 ticks=273040 tps=100 nb_sec=2730
case_no=169 label=Case6.157 nb_sol=0 ticks=397341 tps=100 nb_sec=3973
case_no=169 label=Case6.157 nb_sol=0 ticks=289630 tps=100 nb_sec=2896
case_no=169 label=Case6.157 nb_sol=0 ticks=239571 tps=100 nb_sec=2395
case_no=169 label=Case6.157 nb_sol=0 ticks=368690 tps=100 nb_sec=3686
case_no=169 label=Case6.157 nb_sol=0 ticks=474144 tps=100 nb_sec=4741
case_no=169 label=Case6.157 nb_sol=0 ticks=297879 tps=100 nb_sec=2978
case_no=169 label=Case6.157 nb_sol=0 ticks=482676 tps=100 nb_sec=4826
case_no=169 label=Case6.157 nb_sol=0 ticks=458850 tps=100 nb_sec=4588
case_no=169 label=Case6.157 nb_sol=0 ticks=433243 tps=100 nb_sec=4332
case_no=169 label=Case6.157 nb_sol=0 ticks=304224 tps=100 nb_sec=3042
case_no=169 label=Case6.157 nb_sol=0 ticks=361941 tps=100 nb_sec=3619
case_no=169 label=Case6.157 nb_sol=0 ticks=275117 tps=100 nb_sec=2751
case_no=169 label=Case6.157 nb_sol=0 ticks=249121 tps=100 nb_sec=2491
case_no=169 label=Case6.157 nb_sol=0 ticks=316271 tps=100 nb_sec=3162
case_no=169 label=Case6.157 nb_sol=0 ticks=317268 tps=100 nb_sec=3172
case_no=169 label=Case6.157 nb_sol=0 ticks=364194 tps=100 nb_sec=3641
case_no=169 label=Case6.157 nb_sol=0 ticks=208843 tps=100 nb_sec=2088
case_no=169 label=Case6.157 nb_sol=0 ticks=332269 tps=100 nb_sec=3322
case_no=169 label=Case6.157 nb_sol=0 ticks=252936 tps=100 nb_sec=2529
case_no=169 label=Case6.157 nb_sol=0 ticks=247242 tps=100 nb_sec=2472
case_no=169 label=Case6.157 nb_sol=0 ticks=211818 tps=100 nb_sec=2118
case_no=169 label=Case6.157 nb_sol=0 ticks=409157 tps=100 nb_sec=4091
case_no=169 label=Case6.157 nb_sol=0 ticks=260877 tps=100 nb_sec=2608
case_no=169 label=Case6.157 nb_sol=0 ticks=224519 tps=100 nb_sec=2245
case_no=169 label=Case6.157 nb_sol=0 ticks=365462 tps=100 nb_sec=3654
case_no=169 label=Case6.157 nb_sol=0 ticks=232390 tps=100 nb_sec=2323
case_no=169 label=Case6.157 nb_sol=0 ticks=462803 tps=100 nb_sec=4628
case_no=169 label=Case6.157 nb_sol=0 ticks=168113 tps=100 nb_sec=1681
case_no=169 label=Case6.157 nb_sol=0 ticks=393020 tps=100 nb_sec=3930
case_no=169 label=Case6.157 nb_sol=0 ticks=238567 tps=100 nb_sec=2385
case_no=169 label=Case6.157 nb_sol=0 ticks=298864 tps=100 nb_sec=2988
case_no=169 label=Case6.157 nb_sol=0 ticks=297373 tps=100 nb_sec=2973
case_no=169 label=Case6.157 nb_sol=0 ticks=392318 tps=100 nb_sec=3923
case_no=169 label=Case6.157 nb_sol=0 ticks=383043 tps=100 nb_sec=3830
case_no=169 label=Case6.157 nb_sol=0 ticks=311517 tps=100 nb_sec=3115
case_no=169 label=Case6.157 nb_sol=0 ticks=503221 tps=100 nb_sec=5032
case_no=169 label=Case6.157 nb_sol=0 ticks=468840 tps=100 nb_sec=4688
case_no=169 label=Case6.157 nb_sol=0 ticks=590220 tps=100 nb_sec=5902
case_no=169 label=Case6.157 nb_sol=0 ticks=299480 tps=100 nb_sec=2994
case_no=169 label=Case6.157 nb_sol=0 ticks=490176 tps=100 nb_sec=4901
case_no=169 label=Case6.157 nb_sol=0 ticks=303552 tps=100 nb_sec=3035
case_no=169 label=Case6.157 nb_sol=0 ticks=471705 tps=100 nb_sec=4717
case_no=169 label=Case6.157 nb_sol=0 ticks=323044 tps=100 nb_sec=3230
case_no=169 label=Case6.157 nb_sol=0 ticks=332112 tps=100 nb_sec=3321
case_no=169 label=Case6.157 nb_sol=0 ticks=320265 tps=100 nb_sec=3202
case_no=169 label=Case6.157 nb_sol=0 ticks=302205 tps=100 nb_sec=3022
case_no=169 label=Case6.157 nb_sol=0 ticks=459899 tps=100 nb_sec=4598
case_no=169 label=Case6.157 nb_sol=0 ticks=549641 tps=100 nb_sec=5496
case_no=169 label=Case6.157 nb_sol=0 ticks=296748 tps=100 nb_sec=2967
case_no=169 label=Case6.157 nb_sol=0 ticks=507563 tps=100 nb_sec=5075
case_no=169 label=Case6.157 nb_sol=0 ticks=287779 tps=100 nb_sec=2877
case_no=169 label=Case6.157 nb_sol=0 ticks=415875 tps=100 nb_sec=4158
case_no=169 label=Case6.157 nb_sol=0 ticks=429656 tps=100 nb_sec=4296
case_no=169 label=Case6.157 nb_sol=0 ticks=396633 tps=100 nb_sec=3966
case_no=169 label=Case6.157 nb_sol=0 ticks=358498 tps=100 nb_sec=3584
case_no=169 label=Case6.157 nb_sol=0 ticks=386414 tps=100 nb_sec=3864
case_no=169 label=Case6.157 nb_sol=0 ticks=480638 tps=100 nb_sec=4806
case_no=169 label=Case6.157 nb_sol=0 ticks=235394 tps=100 nb_sec=2353
case_no=169 label=Case6.157 nb_sol=0 ticks=418360 tps=100 nb_sec=4183
case_no=169 label=Case6.157 nb_sol=0 ticks=411195 tps=100 nb_sec=4111
case_no=169 label=Case6.157 nb_sol=0 ticks=203926 tps=100 nb_sec=2039
case_no=169 label=Case6.157 nb_sol=0 ticks=217434 tps=100 nb_sec=2174
case_no=169 label=Case6.157 nb_sol=0 ticks=356352 tps=100 nb_sec=3563
case_no=169 label=Case6.157 nb_sol=0 ticks=364436 tps=100 nb_sec=3644
case_no=169 label=Case6.157 nb_sol=0 ticks=420167 tps=100 nb_sec=4201
case_no=169 label=Case6.157 nb_sol=0 ticks=242003 tps=100 nb_sec=2420
case_no=169 label=Case6.157 nb_sol=0 ticks=654839 tps=100 nb_sec=6548
case_no=169 label=Case6.157 nb_sol=0 ticks=229302 tps=100 nb_sec=2293
case_no=169 label=Case6.157 nb_sol=0 ticks=437184 tps=100 nb_sec=4371
case_no=169 label=Case6.157 nb_sol=0 ticks=352549 tps=100 nb_sec=3525
case_no=169 label=Case6.157 nb_sol=0 ticks=414223 tps=100 nb_sec=4142
case_no=169 label=Case6.157 nb_sol=0 ticks=342171 tps=100 nb_sec=3421
case_no=169 label=Case6.157 nb_sol=0 ticks=181793 tps=100 nb_sec=1817
case_no=169 label=Case6.157 nb_sol=0 ticks=316982 tps=100 nb_sec=3169
case_no=169 label=Case6.157 nb_sol=0 ticks=381595 tps=100 nb_sec=3815
case_no=169 label=Case6.157 nb_sol=0 ticks=326344 tps=100 nb_sec=3263
case_no=169 label=Case6.157 nb_sol=0 ticks=214644 tps=100 nb_sec=2146
case_no=169 label=Case6.157 nb_sol=0 ticks=371120 tps=100 nb_sec=3711
case_no=169 label=Case6.157 nb_sol=0 ticks=275360 tps=100 nb_sec=2753
case_no=169 label=Case6.157 nb_sol=0 ticks=228603 tps=100 nb_sec=2286
case_no=169 label=Case6.157 nb_sol=0 ticks=555516 tps=100 nb_sec=5555
case_no=169 label=Case6.157 nb_sol=0 ticks=514184 tps=100 nb_sec=5141
case_no=169 label=Case6.157 nb_sol=0 ticks=189077 tps=100 nb_sec=1890
case_no=169 label=Case6.157 nb_sol=0 ticks=392727 tps=100 nb_sec=3927
case_no=169 label=Case6.157 nb_sol=0 ticks=427675 tps=100 nb_sec=4276
case_no=169 label=Case6.157 nb_sol=0 ticks=438954 tps=100 nb_sec=4389
case_no=169 label=Case6.157 nb_sol=0 ticks=449172 tps=100 nb_sec=4491
case_no=169 label=Case6.157 nb_sol=0 ticks=218692 tps=100 nb_sec=2186
case_no=169 label=Case6.157 nb_sol=0 ticks=432182 tps=100 nb_sec=4321
case_no=169 label=Case6.157 nb_sol=0 ticks=385613 tps=100 nb_sec=3856
case_no=169 label=Case6.157 nb_sol=0 ticks=253505 tps=100 nb_sec=2535
case_no=169 label=Case6.157 nb_sol=0 ticks=460038 tps=100 nb_sec=4600
case_no=169 label=Case6.157 nb_sol=0 ticks=256022 tps=100 nb_sec=2560
case_no=169 label=Case6.157 nb_sol=0 ticks=415463 tps=100 nb_sec=4154
case_no=169 label=Case6.157 nb_sol=0 ticks=304955 tps=100 nb_sec=3049
case_no=169 label=Case6.157 nb_sol=0 ticks=465913 tps=100 nb_sec=4659
case_no=169 label=Case6.157 nb_sol=0 ticks=372624 tps=100 nb_sec=3726
case_no=169 label=Case6.157 nb_sol=0 ticks=512129 tps=100 nb_sec=5121
case_no=169 label=Case6.157 nb_sol=0 ticks=177803 tps=100 nb_sec=1778
case_no=169 label=Case6.157 nb_sol=0 ticks=346964 tps=100 nb_sec=3469
case_no=169 label=Case6.157 nb_sol=0 ticks=351008 tps=100 nb_sec=3510
case_no=169 label=Case6.157 nb_sol=0 ticks=427339 tps=100 nb_sec=4273
case_no=169 label=Case6.157 nb_sol=0 ticks=484287 tps=100 nb_sec=4842
case_no=169 label=Case6.157 nb_sol=0 ticks=593478 tps=100 nb_sec=5934
case_no=169 label=Case6.157 nb_sol=0 ticks=599465 tps=100 nb_sec=5994
case_no=169 label=Case6.157 nb_sol=0 ticks=465548 tps=100 nb_sec=4655
case_no=169 label=Case6.157 nb_sol=0 ticks=488328 tps=100 nb_sec=4883
case_no=169 label=Case6.157 nb_sol=0 ticks=552381 tps=100 nb_sec=5523
case_no=169 label=Case6.157 nb_sol=0 ticks=379995 tps=100 nb_sec=3799
case_no=169 label=Case6.157 nb_sol=0 ticks=438602 tps=100 nb_sec=4386
case_no=169 label=Case6.157 nb_sol=0 ticks=377309 tps=100 nb_sec=3773
case_no=169 label=Case6.157 nb_sol=0 ticks=361111 tps=100 nb_sec=3611
case_no=169 label=Case6.157 nb_sol=0 ticks=438179 tps=100 nb_sec=4381
case_no=169 label=Case6.157 nb_sol=0 ticks=400615 tps=100 nb_sec=4006
case_no=169 label=Case6.157 nb_sol=0 ticks=356928 tps=100 nb_sec=3569
case_no=169 label=Case6.157 nb_sol=0 ticks=382235 tps=100 nb_sec=3822
case_no=169 label=Case6.157 nb_sol=0 ticks=310963 tps=100 nb_sec=3109
case_no=169 label=Case6.157 nb_sol=0 ticks=202327 tps=100 nb_sec=2023
case_no=169 label=Case6.157 nb_sol=0 ticks=230665 tps=100 nb_sec=2306
case_no=169 label=Case6.157 nb_sol=0 ticks=240527 tps=100 nb_sec=2405
case_no=169 label=Case6.157 nb_sol=0 ticks=264948 tps=100 nb_sec=2649
case_no=169 label=Case6.157 nb_sol=0 ticks=230442 tps=100 nb_sec=2304
case_no=169 label=Case6.157 nb_sol=0 ticks=208938 tps=100 nb_sec=2089
case_no=169 label=Case6.157 nb_sol=0 ticks=274479 tps=100 nb_sec=2744
case_no=169 label=Case6.157 nb_sol=0 ticks=221525 tps=100 nb_sec=2215
case_no=169 label=Case6.157 nb_sol=0 ticks=311471 tps=100 nb_sec=3114
case_no=169 label=Case6.157 nb_sol=0 ticks=356683 tps=100 nb_sec=3566
case_no=169 label=Case6.157 nb_sol=0 ticks=187375 tps=100 nb_sec=1873
case_no=169 label=Case6.157 nb_sol=0 ticks=269344 tps=100 nb_sec=2693
case_no=169 label=Case6.157 nb_sol=0 ticks=429365 tps=100 nb_sec=4293
case_no=169 label=Case6.157 nb_sol=0 ticks=489332 tps=100 nb_sec=4893
case_no=169 label=Case6.157 nb_sol=0 ticks=281879 tps=100 nb_sec=2818
case_no=169 label=Case6.157 nb_sol=0 ticks=388832 tps=100 nb_sec=3888
case_no=169 label=Case6.157 nb_sol=0 ticks=445843 tps=100 nb_sec=4458
case_no=169 label=Case6.157 nb_sol=0 ticks=418894 tps=100 nb_sec=4188
case_no=169 label=Case6.157 nb_sol=0 ticks=242469 tps=100 nb_sec=2424
case_no=169 label=Case6.157 nb_sol=0 ticks=280840 tps=100 nb_sec=2808
case_no=169 label=Case6.157 nb_sol=0 ticks=260605 tps=100 nb_sec=2606
case_no=169 label=Case6.157 nb_sol=0 ticks=268757 tps=100 nb_sec=2687
case_no=169 label=Case6.157 nb_sol=0 ticks=225858 tps=100 nb_sec=2258
case_no=169 label=Case6.157 nb_sol=0 ticks=267495 tps=100 nb_sec=2674
case_no=169 label=Case6.157 nb_sol=0 ticks=257565 tps=100 nb_sec=2575
case_no=169 label=Case6.157 nb_sol=0 ticks=252907 tps=100 nb_sec=2529
case_no=169 label=Case6.157 nb_sol=0 ticks=529124 tps=100 nb_sec=5291
case_no=169 label=Case6.157 nb_sol=0 ticks=442912 tps=100 nb_sec=4429
case_no=169 label=Case6.157 nb_sol=0 ticks=591990 tps=100 nb_sec=5919
case_no=169 label=Case6.157 nb_sol=0 ticks=602461 tps=100 nb_sec=6024
case_no=169 label=Case6.157 nb_sol=0 ticks=238065 tps=100 nb_sec=2380
case_no=169 label=Case6.157 nb_sol=0 ticks=519698 tps=100 nb_sec=5196
case_no=169 label=Case6.157 nb_sol=0 ticks=457904 tps=100 nb_sec=4579
case_no=169 label=Case6.157 nb_sol=0 ticks=278880 tps=100 nb_sec=2788
case_no=169 label=Case6.157 nb_sol=0 ticks=445612 tps=100 nb_sec=4456
case_no=169 label=Case6.157 nb_sol=0 ticks=335539 tps=100 nb_sec=3355
case_no=169 label=Case6.157 nb_sol=0 ticks=422563 tps=100 nb_sec=4225
case_no=169 label=Case6.157 nb_sol=0 ticks=564970 tps=100 nb_sec=5649
case_no=169 label=Case6.157 nb_sol=0 ticks=548823 tps=100 nb_sec=5488
case_no=169 label=Case6.157 nb_sol=0 ticks=515645 tps=100 nb_sec=5156
case_no=169 label=Case6.157 nb_sol=0 ticks=686620 tps=100 nb_sec=6866
case_no=169 label=Case6.157 nb_sol=0 ticks=374663 tps=100 nb_sec=3746
case_no=169 label=Case6.157 nb_sol=0 ticks=276052 tps=100 nb_sec=2760
case_no=169 label=Case6.157 nb_sol=0 ticks=366797 tps=100 nb_sec=3667
case_no=169 label=Case6.157 nb_sol=0 ticks=419076 tps=100 nb_sec=4190
case_no=169 label=Case6.157 nb_sol=0 ticks=432098 tps=100 nb_sec=4320
case_no=169 label=Case6.157 nb_sol=0 ticks=191471 tps=100 nb_sec=1914
case_no=169 label=Case6.157 nb_sol=0 ticks=411107 tps=100 nb_sec=4111
case_no=169 label=Case6.157 nb_sol=0 ticks=251035 tps=100 nb_sec=2510
case_no=169 label=Case6.157 nb_sol=0 ticks=251570 tps=100 nb_sec=2515
case_no=169 label=Case6.157 nb_sol=0 ticks=423237 tps=100 nb_sec=4232
case_no=169 label=Case6.157 nb_sol=0 ticks=472440 tps=100 nb_sec=4724
case_no=169 label=Case6.157 nb_sol=0 ticks=416672 tps=100 nb_sec=4166
case_no=169 label=Case6.157 nb_sol=0 ticks=682216 tps=100 nb_sec=6822
case_no=169 label=Case6.157 nb_sol=0 ticks=485017 tps=100 nb_sec=4850
case_no=169 label=Case6.157 nb_sol=0 ticks=521657 tps=100 nb_sec=5216
case_no=169 label=Case6.157 nb_sol=0 ticks=659779 tps=100 nb_sec=6597
case_no=169 label=Case6.157 nb_sol=0 ticks=644627 tps=100 nb_sec=6446
case_no=169 label=Case6.157 nb_sol=0 ticks=491240 tps=100 nb_sec=4912
case_no=169 label=Case6.157 nb_sol=0 ticks=482985 tps=100 nb_sec=4829
case_no=169 label=Case6.157 nb_sol=0 ticks=474990 tps=100 nb_sec=4749
case_no=169 label=Case6.157 nb_sol=0 ticks=592266 tps=100 nb_sec=5922
case_no=169 label=Case6.157 nb_sol=0 ticks=423741 tps=100 nb_sec=4237
case_no=169 label=Case6.157 nb_sol=0 ticks=496141 tps=100 nb_sec=4961
case_no=169 label=Case6.157 nb_sol=0 ticks=526036 tps=100 nb_sec=5260
case_no=169 label=Case6.157 nb_sol=0 ticks=538139 tps=100 nb_sec=5381
case_no=169 label=Case6.157 nb_sol=0 ticks=460400 tps=100 nb_sec=4604
case_no=169 label=Case6.157 nb_sol=0 ticks=585044 tps=100 nb_sec=5850
case_no=169 label=Case6.157 nb_sol=0 ticks=532192 tps=100 nb_sec=5321
case_no=169 label=Case6.157 nb_sol=0 ticks=575212 tps=100 nb_sec=5752
case_no=169 label=Case6.157 nb_sol=0 ticks=439231 tps=100 nb_sec=4392
case_no=169 label=Case6.157 nb_sol=0 ticks=443611 tps=100 nb_sec=4436
case_no=169 label=Case6.157 nb_sol=0 ticks=615168 tps=100 nb_sec=6151
case_no=169 label=Case6.157 nb_sol=0 ticks=588272 tps=100 nb_sec=5882
case_no=169 label=Case6.157 nb_sol=0 ticks=443746 tps=100 nb_sec=4437
case_no=169 label=Case6.157 nb_sol=0 ticks=448975 tps=100 nb_sec=4489
case_no=169 label=Case6.157 nb_sol=0 ticks=402749 tps=100 nb_sec=4027
case_no=169 label=Case6.157 nb_sol=0 ticks=557331 tps=100 nb_sec=5573
case_no=169 label=Case6.157 nb_sol=0 ticks=470971 tps=100 nb_sec=4709
case_no=169 label=Case6.157 nb_sol=0 ticks=575347 tps=100 nb_sec=5753
case_no=169 label=Case6.157 nb_sol=0 ticks=584493 tps=100 nb_sec=5844
case_no=169 label=Case6.157 nb_sol=0 ticks=510714 tps=100 nb_sec=5107
case_no=169 label=Case6.157 nb_sol=0 ticks=339130 tps=100 nb_sec=3391
case_no=169 label=Case6.157 nb_sol=0 ticks=473720 tps=100 nb_sec=4737
case_no=169 label=Case6.157 nb_sol=0 ticks=233325 tps=100 nb_sec=2333
case_no=169 label=Case6.157 nb_sol=0 ticks=246266 tps=100 nb_sec=2462
case_no=169 label=Case6.157 nb_sol=0 ticks=220986 tps=100 nb_sec=2209
case_no=169 label=Case6.157 nb_sol=0 ticks=204763 tps=100 nb_sec=2047
case_no=169 label=Case6.157 nb_sol=0 ticks=260666 tps=100 nb_sec=2606
case_no=169 label=Case6.157 nb_sol=0 ticks=266734 tps=100 nb_sec=2667
case_no=169 label=Case6.157 nb_sol=0 ticks=233472 tps=100 nb_sec=2334
case_no=169 label=Case6.157 nb_sol=0 ticks=470359 tps=100 nb_sec=4703
case_no=169 label=Case6.157 nb_sol=0 ticks=260704 tps=100 nb_sec=2607
case_no=169 label=Case6.157 nb_sol=0 ticks=244247 tps=100 nb_sec=2442
case_no=169 label=Case6.157 nb_sol=0 ticks=485505 tps=100 nb_sec=4855
case_no=169 label=Case6.157 nb_sol=0 ticks=406771 tps=100 nb_sec=4067
case_no=169 label=Case6.157 nb_sol=0 ticks=461592 tps=100 nb_sec=4615
case_no=169 label=Case6.157 nb_sol=0 ticks=323917 tps=100 nb_sec=3239
case_no=169 label=Case6.157 nb_sol=0 ticks=391220 tps=100 nb_sec=3912
case_no=169 label=Case6.157 nb_sol=0 ticks=473674 tps=100 nb_sec=4736
case_no=169 label=Case6.157 nb_sol=0 ticks=393051 tps=100 nb_sec=3930
case_no=169 label=Case6.157 nb_sol=0 ticks=355485 tps=100 nb_sec=3554
case_no=169 label=Case6.157 nb_sol=0 ticks=481378 tps=100 nb_sec=4813
case_no=169 label=Case6.157 nb_sol=0 ticks=333265 tps=100 nb_sec=3332
case_no=169 label=Case6.157 nb_sol=0 ticks=368637 tps=100 nb_sec=3686
case_no=169 label=Case6.157 nb_sol=0 ticks=283796 tps=100 nb_sec=2837
case_no=169 label=Case6.157 nb_sol=0 ticks=350906 tps=100 nb_sec=3509
case_no=169 label=Case6.157 nb_sol=0 ticks=423225 tps=100 nb_sec=4232
case_no=169 label=Case6.157 nb_sol=0 ticks=218866 tps=100 nb_sec=2188
case_no=169 label=Case6.157 nb_sol=0 ticks=172718 tps=100 nb_sec=1727
case_no=169 label=Case6.157 nb_sol=0 ticks=291110 tps=100 nb_sec=2911
case_no=169 label=Case6.157 nb_sol=0 ticks=703006 tps=100 nb_sec=7030
case_no=169 label=Case6.157 nb_sol=0 ticks=247203 tps=100 nb_sec=2472
case_no=169 label=Case6.157 nb_sol=0 ticks=373605 tps=100 nb_sec=3736
case_no=169 label=Case6.157 nb_sol=0 ticks=253347 tps=100 nb_sec=2533
case_no=169 label=Case6.157 nb_sol=0 ticks=419508 tps=100 nb_sec=4195
case_no=169 label=Case6.157 nb_sol=0 ticks=441787 tps=100 nb_sec=4417
case_no=169 label=Case6.157 nb_sol=0 ticks=597280 tps=100 nb_sec=5972
case_no=169 label=Case6.157 nb_sol=0 ticks=412153 tps=100 nb_sec=4121
case_no=169 label=Case6.157 nb_sol=0 ticks=312767 tps=100 nb_sec=3127
case_no=169 label=Case6.157 nb_sol=0 ticks=213058 tps=100 nb_sec=2130
case_no=169 label=Case6.157 nb_sol=0 ticks=506970 tps=100 nb_sec=5069
case_no=169 label=Case6.157 nb_sol=0 ticks=325350 tps=100 nb_sec=3253
case_no=169 label=Case6.157 nb_sol=0 ticks=508522 tps=100 nb_sec=5085
case_no=169 label=Case6.157 nb_sol=0 ticks=464465 tps=100 nb_sec=4644
case_no=169 label=Case6.157 nb_sol=0 ticks=267264 tps=100 nb_sec=2672
case_no=169 label=Case6.157 nb_sol=0 ticks=652610 tps=100 nb_sec=6526
case_no=169 label=Case6.157 nb_sol=0 ticks=310150 tps=100 nb_sec=3101
case_no=169 label=Case6.157 nb_sol=0 ticks=295256 tps=100 nb_sec=2952
case_no=169 label=Case6.157 nb_sol=0 ticks=244774 tps=100 nb_sec=2447
case_no=169 label=Case6.157 nb_sol=0 ticks=675753 tps=100 nb_sec=6757
case_no=169 label=Case6.157 nb_sol=0 ticks=278691 tps=100 nb_sec=2786
case_no=169 label=Case6.157 nb_sol=0 ticks=372198 tps=100 nb_sec=3721
case_no=169 label=Case6.157 nb_sol=0 ticks=499173 tps=100 nb_sec=4991
case_no=169 label=Case6.157 nb_sol=0 ticks=457167 tps=100 nb_sec=4571
case_no=169 label=Case6.157 nb_sol=0 ticks=304119 tps=100 nb_sec=3041
case_no=169 label=Case6.157 nb_sol=0 ticks=339414 tps=100 nb_sec=3394
case_no=169 label=Case6.157 nb_sol=0 ticks=240220 tps=100 nb_sec=2402
case_no=169 label=Case6.157 nb_sol=0 ticks=378389 tps=100 nb_sec=3783
case_no=169 label=Case6.157 nb_sol=0 ticks=160906 tps=100 nb_sec=1609
case_no=169 label=Case6.157 nb_sol=0 ticks=521609 tps=100 nb_sec=5216
case_no=169 label=Case6.157 nb_sol=0 ticks=223177 tps=100 nb_sec=2231
case_no=169 label=Case6.157 nb_sol=0 ticks=424240 tps=100 nb_sec=4242
case_no=169 label=Case6.157 nb_sol=0 ticks=388578 tps=100 nb_sec=3885
case_no=169 label=Case6.157 nb_sol=0 ticks=290653 tps=100 nb_sec=2906
case_no=169 label=Case6.157 nb_sol=0 ticks=407620 tps=100 nb_sec=4076
case_no=169 label=Case6.157 nb_sol=0 ticks=377390 tps=100 nb_sec=3773
case_no=169 label=Case6.157 nb_sol=0 ticks=530818 tps=100 nb_sec=5308
case_no=169 label=Case6.157 nb_sol=0 ticks=271759 tps=100 nb_sec=2717
case_no=169 label=Case6.157 nb_sol=0 ticks=222522 tps=100 nb_sec=2225
case_no=169 label=Case6.157 nb_sol=0 ticks=237027 tps=100 nb_sec=2370
case_no=169 label=Case6.157 nb_sol=0 ticks=271287 tps=100 nb_sec=2712
case_no=169 label=Case6.157 nb_sol=0 ticks=193397 tps=100 nb_sec=1933
case_no=169 label=Case6.157 nb_sol=0 ticks=266317 tps=100 nb_sec=2663
case_no=169 label=Case6.157 nb_sol=0 ticks=242680 tps=100 nb_sec=2426
case_no=169 label=Case6.157 nb_sol=0 ticks=369115 tps=100 nb_sec=3691
case_no=169 label=Case6.157 nb_sol=0 ticks=249781 tps=100 nb_sec=2497
case_no=169 label=Case6.157 nb_sol=0 ticks=234381 tps=100 nb_sec=2343
case_no=169 label=Case6.157 nb_sol=0 ticks=431415 tps=100 nb_sec=4314
case_no=169 label=Case6.157 nb_sol=0 ticks=534385 tps=100 nb_sec=5343
case_no=169 label=Case6.157 nb_sol=0 ticks=416986 tps=100 nb_sec=4169
case_no=169 label=Case6.157 nb_sol=0 ticks=368318 tps=100 nb_sec=3683
case_no=169 label=Case6.157 nb_sol=0 ticks=401960 tps=100 nb_sec=4019
case_no=169 label=Case6.157 nb_sol=0 ticks=398902 tps=100 nb_sec=3989
case_no=169 label=Case6.157 nb_sol=0 ticks=508367 tps=100 nb_sec=5083
case_no=169 label=Case6.157 nb_sol=0 ticks=435557 tps=100 nb_sec=4355
case_no=169 label=Case6.157 nb_sol=0 ticks=304786 tps=100 nb_sec=3047
case_no=169 label=Case6.157 nb_sol=0 ticks=390900 tps=100 nb_sec=3909
case_no=169 label=Case6.157 nb_sol=0 ticks=288550 tps=100 nb_sec=2885
case_no=169 label=Case6.157 nb_sol=0 ticks=507628 tps=100 nb_sec=5076
case_no=169 label=Case6.157 nb_sol=0 ticks=402242 tps=100 nb_sec=4022
case_no=169 label=Case6.157 nb_sol=0 ticks=424102 tps=100 nb_sec=4241
case_no=169 label=Case6.157 nb_sol=0 ticks=469940 tps=100 nb_sec=4699
case_no=169 label=Case6.157 nb_sol=0 ticks=420332 tps=100 nb_sec=4203
case_no=169 label=Case6.157 nb_sol=0 ticks=415735 tps=100 nb_sec=4157
case_no=169 label=Case6.157 nb_sol=0 ticks=405536 tps=100 nb_sec=4055
case_no=169 label=Case6.157 nb_sol=0 ticks=263550 tps=100 nb_sec=2635
case_no=169 label=Case6.157 nb_sol=0 ticks=264620 tps=100 nb_sec=2646
case_no=169 label=Case6.157 nb_sol=0 ticks=387884 tps=100 nb_sec=3878
case_no=169 label=Case6.157 nb_sol=0 ticks=424541 tps=100 nb_sec=4245
case_no=169 label=Case6.157 nb_sol=0 ticks=502204 tps=100 nb_sec=5022
case_no=169 label=Case6.157 nb_sol=0 ticks=489562 tps=100 nb_sec=4895
case_no=169 label=Case6.157 nb_sol=0 ticks=476430 tps=100 nb_sec=4764
case_no=169 label=Case6.157 nb_sol=0 ticks=542938 tps=100 nb_sec=5429
case_no=169 label=Case6.157 nb_sol=0 ticks=428797 tps=100 nb_sec=4287
case_no=169 label=Case6.157 nb_sol=0 ticks=488340 tps=100 nb_sec=4883
case_no=169 label=Case6.157 nb_sol=0 ticks=446604 tps=100 nb_sec=4466
case_no=169 label=Case6.157 nb_sol=0 ticks=440699 tps=100 nb_sec=4406
case_no=169 label=Case6.157 nb_sol=0 ticks=371844 tps=100 nb_sec=3718
case_no=169 label=Case6.157 nb_sol=0 ticks=416783 tps=100 nb_sec=4167
case_no=169 label=Case6.157 nb_sol=0 ticks=182547 tps=100 nb_sec=1825
case_no=169 label=Case6.157 nb_sol=0 ticks=233534 tps=100 nb_sec=2335
case_no=169 label=Case6.157 nb_sol=0 ticks=183186 tps=100 nb_sec=1831
case_no=169 label=Case6.157 nb_sol=0 ticks=171497 tps=100 nb_sec=1714
case_no=169 label=Case6.157 nb_sol=0 ticks=184514 tps=100 nb_sec=1845
case_no=169 label=Case6.157 nb_sol=0 ticks=205110 tps=100 nb_sec=2051
case_no=169 label=Case6.157 nb_sol=0 ticks=189818 tps=100 nb_sec=1898
case_no=169 label=Case6.157 nb_sol=0 ticks=480246 tps=100 nb_sec=4802
case_no=169 label=Case6.157 nb_sol=0 ticks=207719 tps=100 nb_sec=2077
case_no=169 label=Case6.157 nb_sol=0 ticks=417412 tps=100 nb_sec=4174
case_no=169 label=Case6.157 nb_sol=0 ticks=349613 tps=100 nb_sec=3496
case_no=169 label=Case6.157 nb_sol=0 ticks=309101 tps=100 nb_sec=3091
case_no=169 label=Case6.157 nb_sol=0 ticks=233024 tps=100 nb_sec=2330
case_no=169 label=Case6.157 nb_sol=0 ticks=276880 tps=100 nb_sec=2768
case_no=169 label=Case6.157 nb_sol=0 ticks=175452 tps=100 nb_sec=1754
case_no=169 label=Case6.157 nb_sol=0 ticks=332460 tps=100 nb_sec=3324
case_no=169 label=Case6.157 nb_sol=0 ticks=319096 tps=100 nb_sec=3190
case_no=169 label=Case6.157 nb_sol=0 ticks=445088 tps=100 nb_sec=4450
case_no=169 label=Case6.157 nb_sol=0 ticks=424006 tps=100 nb_sec=4240
case_no=169 label=Case6.157 nb_sol=0 ticks=404642 tps=100 nb_sec=4046
case_no=169 label=Case6.157 nb_sol=0 ticks=371909 tps=100 nb_sec=3719
case_no=169 label=Case6.157 nb_sol=0 ticks=353246 tps=100 nb_sec=3532
case_no=169 label=Case6.157 nb_sol=0 ticks=411610 tps=100 nb_sec=4116
case_no=169 label=Case6.157 nb_sol=0 ticks=325168 tps=100 nb_sec=3251
case_no=169 label=Case6.157 nb_sol=0 ticks=297531 tps=100 nb_sec=2975
case_no=169 label=Case6.157 nb_sol=0 ticks=335058 tps=100 nb_sec=3350
case_no=169 label=Case6.157 nb_sol=0 ticks=358765 tps=100 nb_sec=3587
case_no=169 label=Case6.157 nb_sol=0 ticks=296874 tps=100 nb_sec=2968
case_no=169 label=Case6.157 nb_sol=0 ticks=421716 tps=100 nb_sec=4217
case_no=169 label=Case6.157 nb_sol=0 ticks=395954 tps=100 nb_sec=3959
case_no=169 label=Case6.157 nb_sol=0 ticks=309112 tps=100 nb_sec=3091
case_no=169 label=Case6.157 nb_sol=0 ticks=388309 tps=100 nb_sec=3883
case_no=169 label=Case6.157 nb_sol=0 ticks=328017 tps=100 nb_sec=3280
case_no=169 label=Case6.157 nb_sol=0 ticks=399678 tps=100 nb_sec=3996
case_no=169 label=Case6.157 nb_sol=0 ticks=307574 tps=100 nb_sec=3075
case_no=169 label=Case6.157 nb_sol=0 ticks=357947 tps=100 nb_sec=3579
case_no=169 label=Case6.157 nb_sol=0 ticks=165545 tps=100 nb_sec=1655
case_no=169 label=Case6.157 nb_sol=0 ticks=148651 tps=100 nb_sec=1486
case_no=169 label=Case6.157 nb_sol=0 ticks=158983 tps=100 nb_sec=1589
case_no=169 label=Case6.157 nb_sol=0 ticks=465303 tps=100 nb_sec=4653
case_no=169 label=Case6.157 nb_sol=0 ticks=214419 tps=100 nb_sec=2144
case_no=169 label=Case6.157 nb_sol=0 ticks=413714 tps=100 nb_sec=4137
case_no=169 label=Case6.157 nb_sol=0 ticks=287369 tps=100 nb_sec=2873
case_no=169 label=Case6.157 nb_sol=0 ticks=229542 tps=100 nb_sec=2295
case_no=169 label=Case6.157 nb_sol=0 ticks=409304 tps=100 nb_sec=4093
case_no=169 label=Case6.157 nb_sol=0 ticks=174394 tps=100 nb_sec=1743
case_no=169 label=Case6.157 nb_sol=0 ticks=158155 tps=100 nb_sec=1581
case_no=169 label=Case6.157 nb_sol=0 ticks=315771 tps=100 nb_sec=3157
case_no=169 label=Case6.157 nb_sol=0 ticks=322804 tps=100 nb_sec=3228
case_no=169 label=Case6.157 nb_sol=0 ticks=341603 tps=100 nb_sec=3416
case_no=169 label=Case6.157 nb_sol=0 ticks=335596 tps=100 nb_sec=3355
case_no=169 label=Case6.157 nb_sol=0 ticks=207037 tps=100 nb_sec=2070
case_no=169 label=Case6.157 nb_sol=0 ticks=384788 tps=100 nb_sec=3847
case_no=169 label=Case6.157 nb_sol=0 ticks=411227 tps=100 nb_sec=4112
case_no=169 label=Case6.157 nb_sol=0 ticks=458755 tps=100 nb_sec=4587
case_no=169 label=Case6.157 nb_sol=0 ticks=503503 tps=100 nb_sec=5035
case_no=169 label=Case6.157 nb_sol=0 ticks=422085 tps=100 nb_sec=4220
case_no=169 label=Case6.157 nb_sol=0 ticks=368688 tps=100 nb_sec=3686
case_no=169 label=Case6.157 nb_sol=0 ticks=369087 tps=100 nb_sec=3690
case_no=169 label=Case6.157 nb_sol=0 ticks=305240 tps=100 nb_sec=3052
case_no=169 label=Case6.157 nb_sol=0 ticks=320799 tps=100 nb_sec=3207
case_no=169 label=Case6.157 nb_sol=0 ticks=296143 tps=100 nb_sec=2961
case_no=169 label=Case6.157 nb_sol=0 ticks=233649 tps=100 nb_sec=2336
case_no=169 label=Case6.157 nb_sol=0 ticks=155329 tps=100 nb_sec=1553
case_no=169 label=Case6.157 nb_sol=0 ticks=206787 tps=100 nb_sec=2067
case_no=169 label=Case6.157 nb_sol=0 ticks=172610 tps=100 nb_sec=1726
case_no=169 label=Case6.157 nb_sol=0 ticks=220790 tps=100 nb_sec=2207
case_no=169 label=Case6.157 nb_sol=0 ticks=191690 tps=100 nb_sec=1916
case_no=169 label=Case6.157 nb_sol=0 ticks=222086 tps=100 nb_sec=2220
case_no=169 label=Case6.157 nb_sol=0 ticks=208520 tps=100 nb_sec=2085
case_no=169 label=Case6.157 nb_sol=0 ticks=355405 tps=100 nb_sec=3554
case_no=169 label=Case6.157 nb_sol=0 ticks=146546 tps=100 nb_sec=1465
case_no=169 label=Case6.157 nb_sol=0 ticks=289967 tps=100 nb_sec=2899
case_no=169 label=Case6.157 nb_sol=0 ticks=265203 tps=100 nb_sec=2652
case_no=169 label=Case6.157 nb_sol=0 ticks=339469 tps=100 nb_sec=3394
case_no=169 label=Case6.157 nb_sol=0 ticks=351028 tps=100 nb_sec=3510
case_no=169 label=Case6.157 nb_sol=0 ticks=712835 tps=100 nb_sec=7128
case_no=169 label=Case6.157 nb_sol=0 ticks=334308 tps=100 nb_sec=3343
case_no=169 label=Case6.157 nb_sol=0 ticks=484212 tps=100 nb_sec=4842
case_no=169 label=Case6.157 nb_sol=0 ticks=425148 tps=100 nb_sec=4251
case_no=169 label=Case6.157 nb_sol=0 ticks=425386 tps=100 nb_sec=4253
case_no=169 label=Case6.157 nb_sol=0 ticks=242519 tps=100 nb_sec=2425
case_no=169 label=Case6.157 nb_sol=0 ticks=251467 tps=100 nb_sec=2514
case_no=169 label=Case6.157 nb_sol=0 ticks=223892 tps=100 nb_sec=2238
case_no=169 label=Case6.157 nb_sol=0 ticks=256265 tps=100 nb_sec=2562
case_no=169 label=Case6.157 nb_sol=0 ticks=247693 tps=100 nb_sec=2476
case_no=169 label=Case6.157 nb_sol=0 ticks=274067 tps=100 nb_sec=2740
case_no=169 label=Case6.157 nb_sol=0 ticks=197756 tps=100 nb_sec=1977
case_no=169 label=Case6.157 nb_sol=0 ticks=218934 tps=100 nb_sec=2189
case_no=169 label=Case6.157 nb_sol=0 ticks=233746 tps=100 nb_sec=2337
case_no=169 label=Case6.157 nb_sol=0 ticks=360600 tps=100 nb_sec=3606
case_no=169 label=Case6.157 nb_sol=0 ticks=460689 tps=100 nb_sec=4606
case_no=169 label=Case6.157 nb_sol=0 ticks=552272 tps=100 nb_sec=5522
case_no=169 label=Case6.157 nb_sol=0 ticks=348351 tps=100 nb_sec=3483
case_no=169 label=Case6.157 nb_sol=0 ticks=396385 tps=100 nb_sec=3963
case_no=169 label=Case6.157 nb_sol=0 ticks=460466 tps=100 nb_sec=4604
case_no=169 label=Case6.157 nb_sol=0 ticks=439192 tps=100 nb_sec=4391
case_no=169 label=Case6.157 nb_sol=0 ticks=408328 tps=100 nb_sec=4083
case_no=169 label=Case6.157 nb_sol=0 ticks=384926 tps=100 nb_sec=3849
case_no=169 label=Case6.157 nb_sol=0 ticks=453009 tps=100 nb_sec=4530
case_no=169 label=Case6.157 nb_sol=0 ticks=340725 tps=100 nb_sec=3407
case_no=169 label=Case6.157 nb_sol=0 ticks=408018 tps=100 nb_sec=4080
case_no=169 label=Case6.157 nb_sol=0 ticks=423080 tps=100 nb_sec=4230
case_no=169 label=Case6.157 nb_sol=0 ticks=368650 tps=100 nb_sec=3686
case_no=169 label=Case6.157 nb_sol=0 ticks=386382 tps=100 nb_sec=3863
case_no=169 label=Case6.157 nb_sol=0 ticks=413056 tps=100 nb_sec=4130
case_no=169 label=Case6.157 nb_sol=0 ticks=675642 tps=100 nb_sec=6756
case_no=169 label=Case6.157 nb_sol=0 ticks=449932 tps=100 nb_sec=4499
case_no=169 label=Case6.157 nb_sol=0 ticks=376194 tps=100 nb_sec=3761
case_no=169 label=Case6.157 nb_sol=0 ticks=599122 tps=100 nb_sec=5991
case_no=169 label=Case6.157 nb_sol=0 ticks=487361 tps=100 nb_sec=4873
case_no=169 label=Case6.157 nb_sol=0 ticks=262294 tps=100 nb_sec=2622
case_no=169 label=Case6.157 nb_sol=0 ticks=235933 tps=100 nb_sec=2359
case_no=169 label=Case6.157 nb_sol=0 ticks=203932 tps=100 nb_sec=2039
case_no=169 label=Case6.157 nb_sol=0 ticks=213267 tps=100 nb_sec=2132
case_no=169 label=Case6.157 nb_sol=0 ticks=362044 tps=100 nb_sec=3620
case_no=169 label=Case6.157 nb_sol=0 ticks=429514 tps=100 nb_sec=4295
case_no=169 label=Case6.157 nb_sol=0 ticks=270904 tps=100 nb_sec=2709
case_no=169 label=Case6.157 nb_sol=0 ticks=480329 tps=100 nb_sec=4803
case_no=169 label=Case6.157 nb_sol=0 ticks=240976 tps=100 nb_sec=2409
case_no=169 label=Case6.157 nb_sol=0 ticks=595087 tps=100 nb_sec=5950
case_no=169 label=Case6.157 nb_sol=0 ticks=381999 tps=100 nb_sec=3819
case_no=169 label=Case6.157 nb_sol=0 ticks=289522 tps=100 nb_sec=2895
case_no=169 label=Case6.157 nb_sol=0 ticks=208248 tps=100 nb_sec=2082
case_no=169 label=Case6.157 nb_sol=0 ticks=296184 tps=100 nb_sec=2961
case_no=169 label=Case6.157 nb_sol=0 ticks=161829 tps=100 nb_sec=1618
case_no=169 label=Case6.157 nb_sol=0 ticks=418853 tps=100 nb_sec=4188
case_no=169 label=Case6.157 nb_sol=0 ticks=398027 tps=100 nb_sec=3980
case_no=169 label=Case6.157 nb_sol=0 ticks=416187 tps=100 nb_sec=4161
case_no=169 label=Case6.157 nb_sol=0 ticks=409417 tps=100 nb_sec=4094
case_no=169 label=Case6.157 nb_sol=0 ticks=361204 tps=100 nb_sec=3612
case_no=169 label=Case6.157 nb_sol=0 ticks=304018 tps=100 nb_sec=3040
case_no=169 label=Case6.157 nb_sol=0 ticks=411903 tps=100 nb_sec=4119
case_no=169 label=Case6.157 nb_sol=0 ticks=334100 tps=100 nb_sec=3341
case_no=169 label=Case6.157 nb_sol=0 ticks=481084 tps=100 nb_sec=4810
case_no=169 label=Case6.157 nb_sol=0 ticks=372815 tps=100 nb_sec=3728
case_no=169 label=Case6.157 nb_sol=0 ticks=342002 tps=100 nb_sec=3420
case_no=169 label=Case6.157 nb_sol=0 ticks=399694 tps=100 nb_sec=3996
case_no=169 label=Case6.157 nb_sol=0 ticks=491587 tps=100 nb_sec=4915
case_no=169 label=Case6.157 nb_sol=0 ticks=373973 tps=100 nb_sec=3739
case_no=169 label=Case6.157 nb_sol=0 ticks=324796 tps=100 nb_sec=3247
case_no=169 label=Case6.157 nb_sol=0 ticks=270115 tps=100 nb_sec=2701
case_no=169 label=Case6.157 nb_sol=0 ticks=402098 tps=100 nb_sec=4020
case_no=169 label=Case6.157 nb_sol=0 ticks=402121 tps=100 nb_sec=4021
case_no=169 label=Case6.157 nb_sol=0 ticks=458430 tps=100 nb_sec=4584
case_no=169 label=Case6.157 nb_sol=0 ticks=419703 tps=100 nb_sec=4197
case_no=169 label=Case6.157 nb_sol=0 ticks=408089 tps=100 nb_sec=4080
case_no=169 label=Case6.157 nb_sol=0 ticks=221180 tps=100 nb_sec=2211
case_no=169 label=Case6.157 nb_sol=0 ticks=460623 tps=100 nb_sec=4606
case_no=169 label=Case6.157 nb_sol=0 ticks=395314 tps=100 nb_sec=3953
case_no=169 label=Case6.157 nb_sol=0 ticks=352557 tps=100 nb_sec=3525
case_no=169 label=Case6.157 nb_sol=0 ticks=326821 tps=100 nb_sec=3268
case_no=169 label=Case6.157 nb_sol=0 ticks=250229 tps=100 nb_sec=2502
case_no=169 label=Case6.157 nb_sol=0 ticks=326632 tps=100 nb_sec=3266
case_no=169 label=Case6.157 nb_sol=0 ticks=356394 tps=100 nb_sec=3563
case_no=169 label=Case6.157 nb_sol=0 ticks=212472 tps=100 nb_sec=2124
case_no=169 label=Case6.157 nb_sol=0 ticks=394853 tps=100 nb_sec=3948
case_no=169 label=Case6.157 nb_sol=0 ticks=328553 tps=100 nb_sec=3285
case_no=169 label=Case6.157 nb_sol=0 ticks=255413 tps=100 nb_sec=2554
case_no=169 label=Case6.157 nb_sol=0 ticks=413770 tps=100 nb_sec=4137
case_no=169 label=Case6.157 nb_sol=0 ticks=205312 tps=100 nb_sec=2053
case_no=169 label=Case6.157 nb_sol=0 ticks=370741 tps=100 nb_sec=3707
case_no=169 label=Case6.157 nb_sol=0 ticks=178756 tps=100 nb_sec=1787
case_no=169 label=Case6.157 nb_sol=0 ticks=353835 tps=100 nb_sec=3538
case_no=169 label=Case6.157 nb_sol=0 ticks=339068 tps=100 nb_sec=3390
case_no=169 label=Case6.157 nb_sol=0 ticks=199466 tps=100 nb_sec=1994
case_no=169 label=Case6.157 nb_sol=0 ticks=338483 tps=100 nb_sec=3384
case_no=169 label=Case6.157 nb_sol=0 ticks=346686 tps=100 nb_sec=3466
case_no=169 label=Case6.157 nb_sol=0 ticks=367966 tps=100 nb_sec=3679
case_no=169 label=Case6.157 nb_sol=0 ticks=369630 tps=100 nb_sec=3696
case_no=169 label=Case6.157 nb_sol=0 ticks=422181 tps=100 nb_sec=4221
case_no=169 label=Case6.157 nb_sol=0 ticks=200100 tps=100 nb_sec=2001
case_no=169 label=Case6.157 nb_sol=0 ticks=297249 tps=100 nb_sec=2972
case_no=169 label=Case6.157 nb_sol=0 ticks=162227 tps=100 nb_sec=1622
case_no=169 label=Case6.157 nb_sol=0 ticks=255642 tps=100 nb_sec=2556
case_no=169 label=Case6.157 nb_sol=0 ticks=423250 tps=100 nb_sec=4232
case_no=169 label=Case6.157 nb_sol=0 ticks=489093 tps=100 nb_sec=4890
case_no=169 label=Case6.157 nb_sol=0 ticks=271718 tps=100 nb_sec=2717
case_no=169 label=Case6.157 nb_sol=0 ticks=408766 tps=100 nb_sec=4087
case_no=169 label=Case6.157 nb_sol=0 ticks=328716 tps=100 nb_sec=3287
case_no=169 label=Case6.157 nb_sol=0 ticks=186397 tps=100 nb_sec=1863
case_no=169 label=Case6.157 nb_sol=0 ticks=144660 tps=100 nb_sec=1446
case_no=169 label=Case6.157 nb_sol=0 ticks=169494 tps=100 nb_sec=1694
case_no=169 label=Case6.157 nb_sol=0 ticks=202706 tps=100 nb_sec=2027
case_no=169 label=Case6.157 nb_sol=0 ticks=341481 tps=100 nb_sec=3414
case_no=169 label=Case6.157 nb_sol=0 ticks=355584 tps=100 nb_sec=3555
case_no=169 label=Case6.157 nb_sol=0 ticks=210504 tps=100 nb_sec=2105
case_no=169 label=Case6.157 nb_sol=0 ticks=195120 tps=100 nb_sec=1951
case_no=169 label=Case6.157 nb_sol=0 ticks=192482 tps=100 nb_sec=1924
case_no=169 label=Case6.157 nb_sol=0 ticks=155475 tps=100 nb_sec=1554
case_no=169 label=Case6.157 nb_sol=0 ticks=212553 tps=100 nb_sec=2125
case_no=169 label=Case6.157 nb_sol=0 ticks=221152 tps=100 nb_sec=2211
case_no=169 label=Case6.157 nb_sol=0 ticks=292849 tps=100 nb_sec=2928
case_no=169 label=Case6.157 nb_sol=0 ticks=135473 tps=100 nb_sec=1354
case_no=169 label=Case6.157 nb_sol=0 ticks=443908 tps=100 nb_sec=4439
case_no=169 label=Case6.157 nb_sol=0 ticks=186085 tps=100 nb_sec=1860
case_no=169 label=Case6.157 nb_sol=0 ticks=342204 tps=100 nb_sec=3422
case_no=169 label=Case6.157 nb_sol=0 ticks=178082 tps=100 nb_sec=1780
case_no=169 label=Case6.157 nb_sol=0 ticks=171604 tps=100 nb_sec=1716
case_no=169 label=Case6.157 nb_sol=0 ticks=176417 tps=100 nb_sec=1764
case_no=169 label=Case6.157 nb_sol=0 ticks=159049 tps=100 nb_sec=1590
case_no=169 label=Case6.157 nb_sol=0 ticks=183543 tps=100 nb_sec=1835
case_no=169 label=Case6.157 nb_sol=0 ticks=197875 tps=100 nb_sec=1978
case_no=169 label=Case6.157 nb_sol=0 ticks=332397 tps=100 nb_sec=3323
case_no=169 label=Case6.157 nb_sol=0 ticks=327273 tps=100 nb_sec=3272
case_no=169 label=Case6.157 nb_sol=0 ticks=251897 tps=100 nb_sec=2518
case_no=169 label=Case6.157 nb_sol=0 ticks=366318 tps=100 nb_sec=3663
case_no=169 label=Case6.157 nb_sol=0 ticks=379321 tps=100 nb_sec=3793
case_no=169 label=Case6.157 nb_sol=0 ticks=334054 tps=100 nb_sec=3340
case_no=169 label=Case6.157 nb_sol=0 ticks=301554 tps=100 nb_sec=3015
case_no=169 label=Case6.157 nb_sol=0 ticks=395481 tps=100 nb_sec=3954
case_no=169 label=Case6.157 nb_sol=0 ticks=343863 tps=100 nb_sec=3438
case_no=169 label=Case6.157 nb_sol=0 ticks=294902 tps=100 nb_sec=2949
case_no=169 label=Case6.157 nb_sol=0 ticks=204268 tps=100 nb_sec=2042
case_no=169 label=Case6.157 nb_sol=0 ticks=297792 tps=100 nb_sec=2977
case_no=169 label=Case6.157 nb_sol=0 ticks=279647 tps=100 nb_sec=2796
case_no=169 label=Case6.157 nb_sol=0 ticks=299690 tps=100 nb_sec=2996
case_no=169 label=Case6.157 nb_sol=0 ticks=214315 tps=100 nb_sec=2143
Nb_sol=0
Nb_sec=3701669
42-20:14:29 or 1028 hours
missing cases:
none