argc=5
-M 1024
file2=30_select_Case6.149_starter_15_
checking files mod 1024 from 0 to 1023
case_no=161 label=Case6.149 nb_sol=0 ticks=128529 tps=100 nb_sec=1285
case_no=161 label=Case6.149 nb_sol=0 ticks=160449 tps=100 nb_sec=1604
case_no=161 label=Case6.149 nb_sol=0 ticks=178724 tps=100 nb_sec=1787
case_no=161 label=Case6.149 nb_sol=0 ticks=172656 tps=100 nb_sec=1726
case_no=161 label=Case6.149 nb_sol=0 ticks=256528 tps=100 nb_sec=2565
case_no=161 label=Case6.149 nb_sol=0 ticks=144805 tps=100 nb_sec=1448
case_no=161 label=Case6.149 nb_sol=0 ticks=191671 tps=100 nb_sec=1916
case_no=161 label=Case6.149 nb_sol=0 ticks=194224 tps=100 nb_sec=1942
case_no=161 label=Case6.149 nb_sol=0 ticks=149501 tps=100 nb_sec=1495
case_no=161 label=Case6.149 nb_sol=0 ticks=125751 tps=100 nb_sec=1257
case_no=161 label=Case6.149 nb_sol=0 ticks=82923 tps=100 nb_sec=829
case_no=161 label=Case6.149 nb_sol=0 ticks=99383 tps=100 nb_sec=993
case_no=161 label=Case6.149 nb_sol=0 ticks=118802 tps=100 nb_sec=1188
case_no=161 label=Case6.149 nb_sol=0 ticks=133113 tps=100 nb_sec=1331
case_no=161 label=Case6.149 nb_sol=0 ticks=138707 tps=100 nb_sec=1387
case_no=161 label=Case6.149 nb_sol=0 ticks=134998 tps=100 nb_sec=1349
case_no=161 label=Case6.149 nb_sol=0 ticks=135978 tps=100 nb_sec=1359
case_no=161 label=Case6.149 nb_sol=0 ticks=146674 tps=100 nb_sec=1466
case_no=161 label=Case6.149 nb_sol=0 ticks=168442 tps=100 nb_sec=1684
case_no=161 label=Case6.149 nb_sol=0 ticks=88261 tps=100 nb_sec=882
case_no=161 label=Case6.149 nb_sol=0 ticks=187052 tps=100 nb_sec=1870
case_no=161 label=Case6.149 nb_sol=0 ticks=156962 tps=100 nb_sec=1569
case_no=161 label=Case6.149 nb_sol=0 ticks=171298 tps=100 nb_sec=1712
case_no=161 label=Case6.149 nb_sol=0 ticks=168152 tps=100 nb_sec=1681
case_no=161 label=Case6.149 nb_sol=0 ticks=161736 tps=100 nb_sec=1617
case_no=161 label=Case6.149 nb_sol=0 ticks=252711 tps=100 nb_sec=2527
case_no=161 label=Case6.149 nb_sol=0 ticks=195771 tps=100 nb_sec=1957
case_no=161 label=Case6.149 nb_sol=0 ticks=199695 tps=100 nb_sec=1996
case_no=161 label=Case6.149 nb_sol=0 ticks=146135 tps=100 nb_sec=1461
case_no=161 label=Case6.149 nb_sol=0 ticks=177485 tps=100 nb_sec=1774
case_no=161 label=Case6.149 nb_sol=0 ticks=167257 tps=100 nb_sec=1672
case_no=161 label=Case6.149 nb_sol=0 ticks=129870 tps=100 nb_sec=1298
case_no=161 label=Case6.149 nb_sol=0 ticks=152835 tps=100 nb_sec=1528
case_no=161 label=Case6.149 nb_sol=0 ticks=131401 tps=100 nb_sec=1314
case_no=161 label=Case6.149 nb_sol=0 ticks=178611 tps=100 nb_sec=1786
case_no=161 label=Case6.149 nb_sol=0 ticks=143358 tps=100 nb_sec=1433
case_no=161 label=Case6.149 nb_sol=0 ticks=147477 tps=100 nb_sec=1474
case_no=161 label=Case6.149 nb_sol=0 ticks=146654 tps=100 nb_sec=1466
case_no=161 label=Case6.149 nb_sol=0 ticks=123774 tps=100 nb_sec=1237
case_no=161 label=Case6.149 nb_sol=0 ticks=255021 tps=100 nb_sec=2550
case_no=161 label=Case6.149 nb_sol=0 ticks=150800 tps=100 nb_sec=1508
case_no=161 label=Case6.149 nb_sol=0 ticks=163999 tps=100 nb_sec=1639
case_no=161 label=Case6.149 nb_sol=0 ticks=163162 tps=100 nb_sec=1631
case_no=161 label=Case6.149 nb_sol=0 ticks=160068 tps=100 nb_sec=1600
case_no=161 label=Case6.149 nb_sol=0 ticks=153279 tps=100 nb_sec=1532
case_no=161 label=Case6.149 nb_sol=0 ticks=131186 tps=100 nb_sec=1311
case_no=161 label=Case6.149 nb_sol=0 ticks=143254 tps=100 nb_sec=1432
case_no=161 label=Case6.149 nb_sol=0 ticks=251694 tps=100 nb_sec=2516
case_no=161 label=Case6.149 nb_sol=0 ticks=156641 tps=100 nb_sec=1566
case_no=161 label=Case6.149 nb_sol=0 ticks=167662 tps=100 nb_sec=1676
case_no=161 label=Case6.149 nb_sol=0 ticks=166465 tps=100 nb_sec=1664
case_no=161 label=Case6.149 nb_sol=0 ticks=162802 tps=100 nb_sec=1628
case_no=161 label=Case6.149 nb_sol=0 ticks=155527 tps=100 nb_sec=1555
case_no=161 label=Case6.149 nb_sol=0 ticks=242864 tps=100 nb_sec=2428
case_no=161 label=Case6.149 nb_sol=0 ticks=161542 tps=100 nb_sec=1615
case_no=161 label=Case6.149 nb_sol=0 ticks=106537 tps=100 nb_sec=1065
case_no=161 label=Case6.149 nb_sol=0 ticks=130784 tps=100 nb_sec=1307
case_no=161 label=Case6.149 nb_sol=0 ticks=220087 tps=100 nb_sec=2200
case_no=161 label=Case6.149 nb_sol=0 ticks=137110 tps=100 nb_sec=1371
case_no=161 label=Case6.149 nb_sol=0 ticks=148448 tps=100 nb_sec=1484
case_no=161 label=Case6.149 nb_sol=0 ticks=236245 tps=100 nb_sec=2362
case_no=161 label=Case6.149 nb_sol=0 ticks=222844 tps=100 nb_sec=2228
case_no=161 label=Case6.149 nb_sol=0 ticks=155860 tps=100 nb_sec=1558
case_no=161 label=Case6.149 nb_sol=0 ticks=186154 tps=100 nb_sec=1861
case_no=161 label=Case6.149 nb_sol=0 ticks=143940 tps=100 nb_sec=1439
case_no=161 label=Case6.149 nb_sol=0 ticks=185909 tps=100 nb_sec=1859
case_no=161 label=Case6.149 nb_sol=0 ticks=210824 tps=100 nb_sec=2108
case_no=161 label=Case6.149 nb_sol=0 ticks=186963 tps=100 nb_sec=1869
case_no=161 label=Case6.149 nb_sol=0 ticks=172956 tps=100 nb_sec=1729
case_no=161 label=Case6.149 nb_sol=0 ticks=194229 tps=100 nb_sec=1942
case_no=161 label=Case6.149 nb_sol=0 ticks=184046 tps=100 nb_sec=1840
case_no=161 label=Case6.149 nb_sol=0 ticks=195125 tps=100 nb_sec=1951
case_no=161 label=Case6.149 nb_sol=0 ticks=168813 tps=100 nb_sec=1688
case_no=161 label=Case6.149 nb_sol=0 ticks=229012 tps=100 nb_sec=2290
case_no=161 label=Case6.149 nb_sol=0 ticks=190875 tps=100 nb_sec=1908
case_no=161 label=Case6.149 nb_sol=0 ticks=151078 tps=100 nb_sec=1510
case_no=161 label=Case6.149 nb_sol=0 ticks=146756 tps=100 nb_sec=1467
case_no=161 label=Case6.149 nb_sol=0 ticks=251696 tps=100 nb_sec=2516
case_no=161 label=Case6.149 nb_sol=0 ticks=150740 tps=100 nb_sec=1507
case_no=161 label=Case6.149 nb_sol=0 ticks=270011 tps=100 nb_sec=2700
case_no=161 label=Case6.149 nb_sol=0 ticks=147319 tps=100 nb_sec=1473
case_no=161 label=Case6.149 nb_sol=0 ticks=147537 tps=100 nb_sec=1475
case_no=161 label=Case6.149 nb_sol=0 ticks=231261 tps=100 nb_sec=2312
case_no=161 label=Case6.149 nb_sol=0 ticks=172389 tps=100 nb_sec=1723
case_no=161 label=Case6.149 nb_sol=0 ticks=246621 tps=100 nb_sec=2466
case_no=161 label=Case6.149 nb_sol=0 ticks=157434 tps=100 nb_sec=1574
case_no=161 label=Case6.149 nb_sol=0 ticks=137020 tps=100 nb_sec=1370
case_no=161 label=Case6.149 nb_sol=0 ticks=203726 tps=100 nb_sec=2037
case_no=161 label=Case6.149 nb_sol=0 ticks=188294 tps=100 nb_sec=1882
case_no=161 label=Case6.149 nb_sol=0 ticks=137466 tps=100 nb_sec=1374
case_no=161 label=Case6.149 nb_sol=0 ticks=130811 tps=100 nb_sec=1308
case_no=161 label=Case6.149 nb_sol=0 ticks=114360 tps=100 nb_sec=1143
case_no=161 label=Case6.149 nb_sol=0 ticks=169840 tps=100 nb_sec=1698
case_no=161 label=Case6.149 nb_sol=0 ticks=124313 tps=100 nb_sec=1243
case_no=161 label=Case6.149 nb_sol=0 ticks=98397 tps=100 nb_sec=983
case_no=161 label=Case6.149 nb_sol=0 ticks=150036 tps=100 nb_sec=1500
case_no=161 label=Case6.149 nb_sol=0 ticks=198085 tps=100 nb_sec=1980
case_no=161 label=Case6.149 nb_sol=0 ticks=240427 tps=100 nb_sec=2404
case_no=161 label=Case6.149 nb_sol=0 ticks=157666 tps=100 nb_sec=1576
case_no=161 label=Case6.149 nb_sol=0 ticks=170030 tps=100 nb_sec=1700
case_no=161 label=Case6.149 nb_sol=0 ticks=144959 tps=100 nb_sec=1449
case_no=161 label=Case6.149 nb_sol=0 ticks=149888 tps=100 nb_sec=1498
case_no=161 label=Case6.149 nb_sol=0 ticks=219933 tps=100 nb_sec=2199
case_no=161 label=Case6.149 nb_sol=0 ticks=144719 tps=100 nb_sec=1447
case_no=161 label=Case6.149 nb_sol=0 ticks=227956 tps=100 nb_sec=2279
case_no=161 label=Case6.149 nb_sol=0 ticks=155146 tps=100 nb_sec=1551
case_no=161 label=Case6.149 nb_sol=0 ticks=129422 tps=100 nb_sec=1294
case_no=161 label=Case6.149 nb_sol=0 ticks=193518 tps=100 nb_sec=1935
case_no=161 label=Case6.149 nb_sol=0 ticks=161847 tps=100 nb_sec=1618
case_no=161 label=Case6.149 nb_sol=0 ticks=177830 tps=100 nb_sec=1778
case_no=161 label=Case6.149 nb_sol=0 ticks=168309 tps=100 nb_sec=1683
case_no=161 label=Case6.149 nb_sol=0 ticks=102692 tps=100 nb_sec=1026
case_no=161 label=Case6.149 nb_sol=0 ticks=144623 tps=100 nb_sec=1446
case_no=161 label=Case6.149 nb_sol=0 ticks=131434 tps=100 nb_sec=1314
case_no=161 label=Case6.149 nb_sol=0 ticks=216834 tps=100 nb_sec=2168
case_no=161 label=Case6.149 nb_sol=0 ticks=209344 tps=100 nb_sec=2093
case_no=161 label=Case6.149 nb_sol=0 ticks=142440 tps=100 nb_sec=1424
case_no=161 label=Case6.149 nb_sol=0 ticks=232970 tps=100 nb_sec=2329
case_no=161 label=Case6.149 nb_sol=0 ticks=160481 tps=100 nb_sec=1604
case_no=161 label=Case6.149 nb_sol=0 ticks=141291 tps=100 nb_sec=1412
case_no=161 label=Case6.149 nb_sol=0 ticks=132080 tps=100 nb_sec=1320
case_no=161 label=Case6.149 nb_sol=0 ticks=151553 tps=100 nb_sec=1515
case_no=161 label=Case6.149 nb_sol=0 ticks=253943 tps=100 nb_sec=2539
case_no=161 label=Case6.149 nb_sol=0 ticks=127606 tps=100 nb_sec=1276
case_no=161 label=Case6.149 nb_sol=0 ticks=156670 tps=100 nb_sec=1566
case_no=161 label=Case6.149 nb_sol=0 ticks=178739 tps=100 nb_sec=1787
case_no=161 label=Case6.149 nb_sol=0 ticks=173505 tps=100 nb_sec=1735
case_no=161 label=Case6.149 nb_sol=0 ticks=145005 tps=100 nb_sec=1450
case_no=161 label=Case6.149 nb_sol=0 ticks=164001 tps=100 nb_sec=1640
case_no=161 label=Case6.149 nb_sol=0 ticks=140307 tps=100 nb_sec=1403
case_no=161 label=Case6.149 nb_sol=0 ticks=121703 tps=100 nb_sec=1217
case_no=161 label=Case6.149 nb_sol=0 ticks=134414 tps=100 nb_sec=1344
case_no=161 label=Case6.149 nb_sol=0 ticks=137428 tps=100 nb_sec=1374
case_no=161 label=Case6.149 nb_sol=0 ticks=115011 tps=100 nb_sec=1150
case_no=161 label=Case6.149 nb_sol=0 ticks=131350 tps=100 nb_sec=1313
case_no=161 label=Case6.149 nb_sol=0 ticks=137038 tps=100 nb_sec=1370
case_no=161 label=Case6.149 nb_sol=0 ticks=130352 tps=100 nb_sec=1303
case_no=161 label=Case6.149 nb_sol=0 ticks=154871 tps=100 nb_sec=1548
case_no=161 label=Case6.149 nb_sol=0 ticks=81079 tps=100 nb_sec=810
case_no=161 label=Case6.149 nb_sol=0 ticks=157460 tps=100 nb_sec=1574
case_no=161 label=Case6.149 nb_sol=0 ticks=101015 tps=100 nb_sec=1010
case_no=161 label=Case6.149 nb_sol=0 ticks=155812 tps=100 nb_sec=1558
case_no=161 label=Case6.149 nb_sol=0 ticks=95531 tps=100 nb_sec=955
case_no=161 label=Case6.149 nb_sol=0 ticks=156815 tps=100 nb_sec=1568
case_no=161 label=Case6.149 nb_sol=0 ticks=179726 tps=100 nb_sec=1797
case_no=161 label=Case6.149 nb_sol=0 ticks=159322 tps=100 nb_sec=1593
case_no=161 label=Case6.149 nb_sol=0 ticks=399581 tps=100 nb_sec=3995
case_no=161 label=Case6.149 nb_sol=0 ticks=235697 tps=100 nb_sec=2356
case_no=161 label=Case6.149 nb_sol=0 ticks=153742 tps=100 nb_sec=1537
case_no=161 label=Case6.149 nb_sol=0 ticks=97460 tps=100 nb_sec=974
case_no=161 label=Case6.149 nb_sol=0 ticks=90032 tps=100 nb_sec=900
case_no=161 label=Case6.149 nb_sol=0 ticks=154209 tps=100 nb_sec=1542
case_no=161 label=Case6.149 nb_sol=0 ticks=146494 tps=100 nb_sec=1464
case_no=161 label=Case6.149 nb_sol=0 ticks=135850 tps=100 nb_sec=1358
case_no=161 label=Case6.149 nb_sol=0 ticks=151590 tps=100 nb_sec=1515
case_no=161 label=Case6.149 nb_sol=0 ticks=164662 tps=100 nb_sec=1646
case_no=161 label=Case6.149 nb_sol=0 ticks=201293 tps=100 nb_sec=2012
case_no=161 label=Case6.149 nb_sol=0 ticks=184716 tps=100 nb_sec=1847
case_no=161 label=Case6.149 nb_sol=0 ticks=132535 tps=100 nb_sec=1325
case_no=161 label=Case6.149 nb_sol=0 ticks=178010 tps=100 nb_sec=1780
case_no=161 label=Case6.149 nb_sol=0 ticks=168411 tps=100 nb_sec=1684
case_no=161 label=Case6.149 nb_sol=0 ticks=163634 tps=100 nb_sec=1636
case_no=161 label=Case6.149 nb_sol=0 ticks=252801 tps=100 nb_sec=2528
case_no=161 label=Case6.149 nb_sol=0 ticks=89759 tps=100 nb_sec=897
case_no=161 label=Case6.149 nb_sol=0 ticks=92952 tps=100 nb_sec=929
case_no=161 label=Case6.149 nb_sol=0 ticks=189345 tps=100 nb_sec=1893
case_no=161 label=Case6.149 nb_sol=0 ticks=165203 tps=100 nb_sec=1652
case_no=161 label=Case6.149 nb_sol=0 ticks=112910 tps=100 nb_sec=1129
case_no=161 label=Case6.149 nb_sol=0 ticks=179158 tps=100 nb_sec=1791
case_no=161 label=Case6.149 nb_sol=0 ticks=109752 tps=100 nb_sec=1097
case_no=161 label=Case6.149 nb_sol=0 ticks=151501 tps=100 nb_sec=1515
case_no=161 label=Case6.149 nb_sol=0 ticks=203669 tps=100 nb_sec=2036
case_no=161 label=Case6.149 nb_sol=0 ticks=162101 tps=100 nb_sec=1621
case_no=161 label=Case6.149 nb_sol=0 ticks=103981 tps=100 nb_sec=1039
case_no=161 label=Case6.149 nb_sol=0 ticks=142835 tps=100 nb_sec=1428
case_no=161 label=Case6.149 nb_sol=0 ticks=102752 tps=100 nb_sec=1027
case_no=161 label=Case6.149 nb_sol=0 ticks=133991 tps=100 nb_sec=1339
case_no=161 label=Case6.149 nb_sol=0 ticks=95465 tps=100 nb_sec=954
case_no=161 label=Case6.149 nb_sol=0 ticks=151350 tps=100 nb_sec=1513
case_no=161 label=Case6.149 nb_sol=0 ticks=166519 tps=100 nb_sec=1665
case_no=161 label=Case6.149 nb_sol=0 ticks=126651 tps=100 nb_sec=1266
case_no=161 label=Case6.149 nb_sol=0 ticks=144648 tps=100 nb_sec=1446
case_no=161 label=Case6.149 nb_sol=0 ticks=133397 tps=100 nb_sec=1333
case_no=161 label=Case6.149 nb_sol=0 ticks=136962 tps=100 nb_sec=1369
case_no=161 label=Case6.149 nb_sol=0 ticks=164325 tps=100 nb_sec=1643
case_no=161 label=Case6.149 nb_sol=0 ticks=152525 tps=100 nb_sec=1525
case_no=161 label=Case6.149 nb_sol=0 ticks=120443 tps=100 nb_sec=1204
case_no=161 label=Case6.149 nb_sol=0 ticks=126395 tps=100 nb_sec=1263
case_no=161 label=Case6.149 nb_sol=0 ticks=166985 tps=100 nb_sec=1669
case_no=161 label=Case6.149 nb_sol=0 ticks=167494 tps=100 nb_sec=1674
case_no=161 label=Case6.149 nb_sol=0 ticks=178562 tps=100 nb_sec=1785
case_no=161 label=Case6.149 nb_sol=0 ticks=131863 tps=100 nb_sec=1318
case_no=161 label=Case6.149 nb_sol=0 ticks=129886 tps=100 nb_sec=1298
case_no=161 label=Case6.149 nb_sol=0 ticks=130176 tps=100 nb_sec=1301
case_no=161 label=Case6.149 nb_sol=0 ticks=125512 tps=100 nb_sec=1255
case_no=161 label=Case6.149 nb_sol=0 ticks=163897 tps=100 nb_sec=1638
case_no=161 label=Case6.149 nb_sol=0 ticks=155576 tps=100 nb_sec=1555
case_no=161 label=Case6.149 nb_sol=0 ticks=145217 tps=100 nb_sec=1452
case_no=161 label=Case6.149 nb_sol=0 ticks=153982 tps=100 nb_sec=1539
case_no=161 label=Case6.149 nb_sol=0 ticks=98152 tps=100 nb_sec=981
case_no=161 label=Case6.149 nb_sol=0 ticks=173060 tps=100 nb_sec=1730
case_no=161 label=Case6.149 nb_sol=0 ticks=107162 tps=100 nb_sec=1071
case_no=161 label=Case6.149 nb_sol=0 ticks=148614 tps=100 nb_sec=1486
case_no=161 label=Case6.149 nb_sol=0 ticks=148134 tps=100 nb_sec=1481
case_no=161 label=Case6.149 nb_sol=0 ticks=85288 tps=100 nb_sec=852
case_no=161 label=Case6.149 nb_sol=0 ticks=179152 tps=100 nb_sec=1791
case_no=161 label=Case6.149 nb_sol=0 ticks=96428 tps=100 nb_sec=964
case_no=161 label=Case6.149 nb_sol=0 ticks=176643 tps=100 nb_sec=1766
case_no=161 label=Case6.149 nb_sol=0 ticks=112689 tps=100 nb_sec=1126
case_no=161 label=Case6.149 nb_sol=0 ticks=143716 tps=100 nb_sec=1437
case_no=161 label=Case6.149 nb_sol=0 ticks=167547 tps=100 nb_sec=1675
case_no=161 label=Case6.149 nb_sol=0 ticks=151415 tps=100 nb_sec=1514
case_no=161 label=Case6.149 nb_sol=0 ticks=129288 tps=100 nb_sec=1292
case_no=161 label=Case6.149 nb_sol=0 ticks=158423 tps=100 nb_sec=1584
case_no=161 label=Case6.149 nb_sol=0 ticks=163703 tps=100 nb_sec=1637
case_no=161 label=Case6.149 nb_sol=0 ticks=136399 tps=100 nb_sec=1363
case_no=161 label=Case6.149 nb_sol=0 ticks=157289 tps=100 nb_sec=1572
case_no=161 label=Case6.149 nb_sol=0 ticks=137613 tps=100 nb_sec=1376
case_no=161 label=Case6.149 nb_sol=0 ticks=112699 tps=100 nb_sec=1126
case_no=161 label=Case6.149 nb_sol=0 ticks=118870 tps=100 nb_sec=1188
case_no=161 label=Case6.149 nb_sol=0 ticks=114372 tps=100 nb_sec=1143
case_no=161 label=Case6.149 nb_sol=0 ticks=124650 tps=100 nb_sec=1246
case_no=161 label=Case6.149 nb_sol=0 ticks=96304 tps=100 nb_sec=963
case_no=161 label=Case6.149 nb_sol=0 ticks=124524 tps=100 nb_sec=1245
case_no=161 label=Case6.149 nb_sol=0 ticks=138049 tps=100 nb_sec=1380
case_no=161 label=Case6.149 nb_sol=0 ticks=96875 tps=100 nb_sec=968
case_no=161 label=Case6.149 nb_sol=0 ticks=131305 tps=100 nb_sec=1313
case_no=161 label=Case6.149 nb_sol=0 ticks=143754 tps=100 nb_sec=1437
case_no=161 label=Case6.149 nb_sol=0 ticks=120412 tps=100 nb_sec=1204
case_no=161 label=Case6.149 nb_sol=0 ticks=142849 tps=100 nb_sec=1428
case_no=161 label=Case6.149 nb_sol=0 ticks=93432 tps=100 nb_sec=934
case_no=161 label=Case6.149 nb_sol=0 ticks=92748 tps=100 nb_sec=927
case_no=161 label=Case6.149 nb_sol=0 ticks=134740 tps=100 nb_sec=1347
case_no=161 label=Case6.149 nb_sol=0 ticks=130136 tps=100 nb_sec=1301
case_no=161 label=Case6.149 nb_sol=0 ticks=140192 tps=100 nb_sec=1401
case_no=161 label=Case6.149 nb_sol=0 ticks=75579 tps=100 nb_sec=755
case_no=161 label=Case6.149 nb_sol=0 ticks=96220 tps=100 nb_sec=962
case_no=161 label=Case6.149 nb_sol=0 ticks=134129 tps=100 nb_sec=1341
case_no=161 label=Case6.149 nb_sol=0 ticks=163573 tps=100 nb_sec=1635
case_no=161 label=Case6.149 nb_sol=0 ticks=148677 tps=100 nb_sec=1486
case_no=161 label=Case6.149 nb_sol=0 ticks=102684 tps=100 nb_sec=1026
case_no=161 label=Case6.149 nb_sol=0 ticks=145088 tps=100 nb_sec=1450
case_no=161 label=Case6.149 nb_sol=0 ticks=69026 tps=100 nb_sec=690
case_no=161 label=Case6.149 nb_sol=0 ticks=126971 tps=100 nb_sec=1269
case_no=161 label=Case6.149 nb_sol=0 ticks=143094 tps=100 nb_sec=1430
case_no=161 label=Case6.149 nb_sol=0 ticks=111727 tps=100 nb_sec=1117
case_no=161 label=Case6.149 nb_sol=0 ticks=124334 tps=100 nb_sec=1243
case_no=161 label=Case6.149 nb_sol=0 ticks=170892 tps=100 nb_sec=1708
case_no=161 label=Case6.149 nb_sol=0 ticks=169643 tps=100 nb_sec=1696
case_no=161 label=Case6.149 nb_sol=0 ticks=131355 tps=100 nb_sec=1313
case_no=161 label=Case6.149 nb_sol=0 ticks=177163 tps=100 nb_sec=1771
case_no=161 label=Case6.149 nb_sol=0 ticks=147130 tps=100 nb_sec=1471
case_no=161 label=Case6.149 nb_sol=0 ticks=140946 tps=100 nb_sec=1409
case_no=161 label=Case6.149 nb_sol=0 ticks=124927 tps=100 nb_sec=1249
case_no=161 label=Case6.149 nb_sol=0 ticks=133198 tps=100 nb_sec=1331
case_no=161 label=Case6.149 nb_sol=0 ticks=180103 tps=100 nb_sec=1801
case_no=161 label=Case6.149 nb_sol=0 ticks=136503 tps=100 nb_sec=1365
case_no=161 label=Case6.149 nb_sol=0 ticks=177148 tps=100 nb_sec=1771
case_no=161 label=Case6.149 nb_sol=0 ticks=102481 tps=100 nb_sec=1024
case_no=161 label=Case6.149 nb_sol=0 ticks=215811 tps=100 nb_sec=2158
case_no=161 label=Case6.149 nb_sol=0 ticks=183059 tps=100 nb_sec=1830
case_no=161 label=Case6.149 nb_sol=0 ticks=126663 tps=100 nb_sec=1266
case_no=161 label=Case6.149 nb_sol=0 ticks=213641 tps=100 nb_sec=2136
case_no=161 label=Case6.149 nb_sol=0 ticks=170652 tps=100 nb_sec=1706
case_no=161 label=Case6.149 nb_sol=0 ticks=161904 tps=100 nb_sec=1619
case_no=161 label=Case6.149 nb_sol=0 ticks=94990 tps=100 nb_sec=949
case_no=161 label=Case6.149 nb_sol=0 ticks=199458 tps=100 nb_sec=1994
case_no=161 label=Case6.149 nb_sol=0 ticks=222837 tps=100 nb_sec=2228
case_no=161 label=Case6.149 nb_sol=0 ticks=145598 tps=100 nb_sec=1455
case_no=161 label=Case6.149 nb_sol=0 ticks=151689 tps=100 nb_sec=1516
case_no=161 label=Case6.149 nb_sol=0 ticks=94815 tps=100 nb_sec=948
case_no=161 label=Case6.149 nb_sol=0 ticks=96733 tps=100 nb_sec=967
case_no=161 label=Case6.149 nb_sol=0 ticks=172584 tps=100 nb_sec=1725
case_no=161 label=Case6.149 nb_sol=0 ticks=99515 tps=100 nb_sec=995
case_no=161 label=Case6.149 nb_sol=0 ticks=93278 tps=100 nb_sec=932
case_no=161 label=Case6.149 nb_sol=0 ticks=127202 tps=100 nb_sec=1272
case_no=161 label=Case6.149 nb_sol=0 ticks=130292 tps=100 nb_sec=1302
case_no=161 label=Case6.149 nb_sol=0 ticks=113111 tps=100 nb_sec=1131
case_no=161 label=Case6.149 nb_sol=0 ticks=126926 tps=100 nb_sec=1269
case_no=161 label=Case6.149 nb_sol=0 ticks=124028 tps=100 nb_sec=1240
case_no=161 label=Case6.149 nb_sol=0 ticks=141468 tps=100 nb_sec=1414
case_no=161 label=Case6.149 nb_sol=0 ticks=168492 tps=100 nb_sec=1684
case_no=161 label=Case6.149 nb_sol=0 ticks=173592 tps=100 nb_sec=1735
case_no=161 label=Case6.149 nb_sol=0 ticks=208677 tps=100 nb_sec=2086
case_no=161 label=Case6.149 nb_sol=0 ticks=119908 tps=100 nb_sec=1199
case_no=161 label=Case6.149 nb_sol=0 ticks=147479 tps=100 nb_sec=1474
case_no=161 label=Case6.149 nb_sol=0 ticks=148091 tps=100 nb_sec=1480
case_no=161 label=Case6.149 nb_sol=0 ticks=107795 tps=100 nb_sec=1077
case_no=161 label=Case6.149 nb_sol=0 ticks=94549 tps=100 nb_sec=945
case_no=161 label=Case6.149 nb_sol=0 ticks=201953 tps=100 nb_sec=2019
case_no=161 label=Case6.149 nb_sol=0 ticks=137398 tps=100 nb_sec=1373
case_no=161 label=Case6.149 nb_sol=0 ticks=289131 tps=100 nb_sec=2891
case_no=161 label=Case6.149 nb_sol=0 ticks=126917 tps=100 nb_sec=1269
case_no=161 label=Case6.149 nb_sol=0 ticks=218371 tps=100 nb_sec=2183
case_no=161 label=Case6.149 nb_sol=0 ticks=109959 tps=100 nb_sec=1099
case_no=161 label=Case6.149 nb_sol=0 ticks=267923 tps=100 nb_sec=2679
case_no=161 label=Case6.149 nb_sol=0 ticks=148930 tps=100 nb_sec=1489
case_no=161 label=Case6.149 nb_sol=0 ticks=202554 tps=100 nb_sec=2025
case_no=161 label=Case6.149 nb_sol=0 ticks=122912 tps=100 nb_sec=1229
case_no=161 label=Case6.149 nb_sol=0 ticks=238379 tps=100 nb_sec=2383
case_no=161 label=Case6.149 nb_sol=0 ticks=176461 tps=100 nb_sec=1764
case_no=161 label=Case6.149 nb_sol=0 ticks=166150 tps=100 nb_sec=1661
case_no=161 label=Case6.149 nb_sol=0 ticks=165932 tps=100 nb_sec=1659
case_no=161 label=Case6.149 nb_sol=0 ticks=162922 tps=100 nb_sec=1629
case_no=161 label=Case6.149 nb_sol=0 ticks=162698 tps=100 nb_sec=1626
case_no=161 label=Case6.149 nb_sol=0 ticks=94324 tps=100 nb_sec=943
case_no=161 label=Case6.149 nb_sol=0 ticks=116550 tps=100 nb_sec=1165
case_no=161 label=Case6.149 nb_sol=0 ticks=91576 tps=100 nb_sec=915
case_no=161 label=Case6.149 nb_sol=0 ticks=125566 tps=100 nb_sec=1255
case_no=161 label=Case6.149 nb_sol=0 ticks=108824 tps=100 nb_sec=1088
case_no=161 label=Case6.149 nb_sol=0 ticks=93786 tps=100 nb_sec=937
case_no=161 label=Case6.149 nb_sol=0 ticks=164955 tps=100 nb_sec=1649
case_no=161 label=Case6.149 nb_sol=0 ticks=93776 tps=100 nb_sec=937
case_no=161 label=Case6.149 nb_sol=0 ticks=106533 tps=100 nb_sec=1065
case_no=161 label=Case6.149 nb_sol=0 ticks=126154 tps=100 nb_sec=1261
case_no=161 label=Case6.149 nb_sol=0 ticks=122666 tps=100 nb_sec=1226
case_no=161 label=Case6.149 nb_sol=0 ticks=127742 tps=100 nb_sec=1277
case_no=161 label=Case6.149 nb_sol=0 ticks=166234 tps=100 nb_sec=1662
case_no=161 label=Case6.149 nb_sol=0 ticks=104037 tps=100 nb_sec=1040
case_no=161 label=Case6.149 nb_sol=0 ticks=123854 tps=100 nb_sec=1238
case_no=161 label=Case6.149 nb_sol=0 ticks=158524 tps=100 nb_sec=1585
case_no=161 label=Case6.149 nb_sol=0 ticks=141299 tps=100 nb_sec=1412
case_no=161 label=Case6.149 nb_sol=0 ticks=132476 tps=100 nb_sec=1324
case_no=161 label=Case6.149 nb_sol=0 ticks=100398 tps=100 nb_sec=1003
case_no=161 label=Case6.149 nb_sol=0 ticks=176204 tps=100 nb_sec=1762
case_no=161 label=Case6.149 nb_sol=0 ticks=283905 tps=100 nb_sec=2839
case_no=161 label=Case6.149 nb_sol=0 ticks=177200 tps=100 nb_sec=1772
case_no=161 label=Case6.149 nb_sol=0 ticks=122597 tps=100 nb_sec=1225
case_no=161 label=Case6.149 nb_sol=0 ticks=149470 tps=100 nb_sec=1494
case_no=161 label=Case6.149 nb_sol=0 ticks=121649 tps=100 nb_sec=1216
case_no=161 label=Case6.149 nb_sol=0 ticks=254393 tps=100 nb_sec=2543
case_no=161 label=Case6.149 nb_sol=0 ticks=225887 tps=100 nb_sec=2258
case_no=161 label=Case6.149 nb_sol=0 ticks=206043 tps=100 nb_sec=2060
case_no=161 label=Case6.149 nb_sol=0 ticks=132969 tps=100 nb_sec=1329
case_no=161 label=Case6.149 nb_sol=0 ticks=164580 tps=100 nb_sec=1645
case_no=161 label=Case6.149 nb_sol=0 ticks=105047 tps=100 nb_sec=1050
case_no=161 label=Case6.149 nb_sol=0 ticks=136455 tps=100 nb_sec=1364
case_no=161 label=Case6.149 nb_sol=0 ticks=210466 tps=100 nb_sec=2104
case_no=161 label=Case6.149 nb_sol=0 ticks=125277 tps=100 nb_sec=1252
case_no=161 label=Case6.149 nb_sol=0 ticks=233638 tps=100 nb_sec=2336
case_no=161 label=Case6.149 nb_sol=0 ticks=150550 tps=100 nb_sec=1505
case_no=161 label=Case6.149 nb_sol=0 ticks=124331 tps=100 nb_sec=1243
case_no=161 label=Case6.149 nb_sol=0 ticks=143037 tps=100 nb_sec=1430
case_no=161 label=Case6.149 nb_sol=0 ticks=191110 tps=100 nb_sec=1911
case_no=161 label=Case6.149 nb_sol=0 ticks=152562 tps=100 nb_sec=1525
case_no=161 label=Case6.149 nb_sol=0 ticks=256157 tps=100 nb_sec=2561
case_no=161 label=Case6.149 nb_sol=0 ticks=95643 tps=100 nb_sec=956
case_no=161 label=Case6.149 nb_sol=0 ticks=103334 tps=100 nb_sec=1033
case_no=161 label=Case6.149 nb_sol=0 ticks=173875 tps=100 nb_sec=1738
case_no=161 label=Case6.149 nb_sol=0 ticks=85995 tps=100 nb_sec=859
case_no=161 label=Case6.149 nb_sol=0 ticks=110290 tps=100 nb_sec=1102
case_no=161 label=Case6.149 nb_sol=0 ticks=111735 tps=100 nb_sec=1117
case_no=161 label=Case6.149 nb_sol=0 ticks=159275 tps=100 nb_sec=1592
case_no=161 label=Case6.149 nb_sol=0 ticks=121806 tps=100 nb_sec=1218
case_no=161 label=Case6.149 nb_sol=0 ticks=196373 tps=100 nb_sec=1963
case_no=161 label=Case6.149 nb_sol=0 ticks=187670 tps=100 nb_sec=1876
case_no=161 label=Case6.149 nb_sol=0 ticks=129658 tps=100 nb_sec=1296
case_no=161 label=Case6.149 nb_sol=0 ticks=265265 tps=100 nb_sec=2652
case_no=161 label=Case6.149 nb_sol=0 ticks=100044 tps=100 nb_sec=1000
case_no=161 label=Case6.149 nb_sol=0 ticks=188552 tps=100 nb_sec=1885
case_no=161 label=Case6.149 nb_sol=0 ticks=109982 tps=100 nb_sec=1099
case_no=161 label=Case6.149 nb_sol=0 ticks=157035 tps=100 nb_sec=1570
case_no=161 label=Case6.149 nb_sol=0 ticks=145973 tps=100 nb_sec=1459
case_no=161 label=Case6.149 nb_sol=0 ticks=79819 tps=100 nb_sec=798
case_no=161 label=Case6.149 nb_sol=0 ticks=143153 tps=100 nb_sec=1431
case_no=161 label=Case6.149 nb_sol=0 ticks=92439 tps=100 nb_sec=924
case_no=161 label=Case6.149 nb_sol=0 ticks=185664 tps=100 nb_sec=1856
case_no=161 label=Case6.149 nb_sol=0 ticks=110675 tps=100 nb_sec=1106
case_no=161 label=Case6.149 nb_sol=0 ticks=114586 tps=100 nb_sec=1145
case_no=161 label=Case6.149 nb_sol=0 ticks=216370 tps=100 nb_sec=2163
case_no=161 label=Case6.149 nb_sol=0 ticks=158793 tps=100 nb_sec=1587
case_no=161 label=Case6.149 nb_sol=0 ticks=296087 tps=100 nb_sec=2960
case_no=161 label=Case6.149 nb_sol=0 ticks=96935 tps=100 nb_sec=969
case_no=161 label=Case6.149 nb_sol=0 ticks=159606 tps=100 nb_sec=1596
case_no=161 label=Case6.149 nb_sol=0 ticks=115769 tps=100 nb_sec=1157
case_no=161 label=Case6.149 nb_sol=0 ticks=97907 tps=100 nb_sec=979
case_no=161 label=Case6.149 nb_sol=0 ticks=178212 tps=100 nb_sec=1782
case_no=161 label=Case6.149 nb_sol=0 ticks=152203 tps=100 nb_sec=1522
case_no=161 label=Case6.149 nb_sol=0 ticks=157923 tps=100 nb_sec=1579
case_no=161 label=Case6.149 nb_sol=0 ticks=108228 tps=100 nb_sec=1082
case_no=161 label=Case6.149 nb_sol=0 ticks=263512 tps=100 nb_sec=2635
case_no=161 label=Case6.149 nb_sol=0 ticks=94630 tps=100 nb_sec=946
case_no=161 label=Case6.149 nb_sol=0 ticks=157575 tps=100 nb_sec=1575
case_no=161 label=Case6.149 nb_sol=0 ticks=181570 tps=100 nb_sec=1815
case_no=161 label=Case6.149 nb_sol=0 ticks=114832 tps=100 nb_sec=1148
case_no=161 label=Case6.149 nb_sol=0 ticks=191007 tps=100 nb_sec=1910
case_no=161 label=Case6.149 nb_sol=0 ticks=115254 tps=100 nb_sec=1152
case_no=161 label=Case6.149 nb_sol=0 ticks=117482 tps=100 nb_sec=1174
case_no=161 label=Case6.149 nb_sol=0 ticks=220954 tps=100 nb_sec=2209
case_no=161 label=Case6.149 nb_sol=0 ticks=299832 tps=100 nb_sec=2998
case_no=161 label=Case6.149 nb_sol=0 ticks=252387 tps=100 nb_sec=2523
case_no=161 label=Case6.149 nb_sol=0 ticks=157730 tps=100 nb_sec=1577
case_no=161 label=Case6.149 nb_sol=0 ticks=186409 tps=100 nb_sec=1864
case_no=161 label=Case6.149 nb_sol=0 ticks=195097 tps=100 nb_sec=1950
case_no=161 label=Case6.149 nb_sol=0 ticks=109075 tps=100 nb_sec=1090
case_no=161 label=Case6.149 nb_sol=0 ticks=259588 tps=100 nb_sec=2595
case_no=161 label=Case6.149 nb_sol=0 ticks=109753 tps=100 nb_sec=1097
case_no=161 label=Case6.149 nb_sol=0 ticks=189234 tps=100 nb_sec=1892
case_no=161 label=Case6.149 nb_sol=0 ticks=128665 tps=100 nb_sec=1286
case_no=161 label=Case6.149 nb_sol=0 ticks=121912 tps=100 nb_sec=1219
case_no=161 label=Case6.149 nb_sol=0 ticks=136626 tps=100 nb_sec=1366
case_no=161 label=Case6.149 nb_sol=0 ticks=175217 tps=100 nb_sec=1752
case_no=161 label=Case6.149 nb_sol=0 ticks=128239 tps=100 nb_sec=1282
case_no=161 label=Case6.149 nb_sol=0 ticks=131959 tps=100 nb_sec=1319
case_no=161 label=Case6.149 nb_sol=0 ticks=156534 tps=100 nb_sec=1565
case_no=161 label=Case6.149 nb_sol=0 ticks=121284 tps=100 nb_sec=1212
case_no=161 label=Case6.149 nb_sol=0 ticks=167422 tps=100 nb_sec=1674
case_no=161 label=Case6.149 nb_sol=0 ticks=157460 tps=100 nb_sec=1574
case_no=161 label=Case6.149 nb_sol=0 ticks=150782 tps=100 nb_sec=1507
case_no=161 label=Case6.149 nb_sol=0 ticks=160404 tps=100 nb_sec=1604
case_no=161 label=Case6.149 nb_sol=0 ticks=172676 tps=100 nb_sec=1726
case_no=161 label=Case6.149 nb_sol=0 ticks=161547 tps=100 nb_sec=1615
case_no=161 label=Case6.149 nb_sol=0 ticks=121240 tps=100 nb_sec=1212
case_no=161 label=Case6.149 nb_sol=0 ticks=153086 tps=100 nb_sec=1530
case_no=161 label=Case6.149 nb_sol=0 ticks=123671 tps=100 nb_sec=1236
case_no=161 label=Case6.149 nb_sol=0 ticks=106690 tps=100 nb_sec=1066
case_no=161 label=Case6.149 nb_sol=0 ticks=158668 tps=100 nb_sec=1586
case_no=161 label=Case6.149 nb_sol=0 ticks=105635 tps=100 nb_sec=1056
case_no=161 label=Case6.149 nb_sol=0 ticks=157661 tps=100 nb_sec=1576
case_no=161 label=Case6.149 nb_sol=0 ticks=148823 tps=100 nb_sec=1488
case_no=161 label=Case6.149 nb_sol=0 ticks=134037 tps=100 nb_sec=1340
case_no=161 label=Case6.149 nb_sol=0 ticks=116311 tps=100 nb_sec=1163
case_no=161 label=Case6.149 nb_sol=0 ticks=124963 tps=100 nb_sec=1249
case_no=161 label=Case6.149 nb_sol=0 ticks=111623 tps=100 nb_sec=1116
case_no=161 label=Case6.149 nb_sol=0 ticks=102000 tps=100 nb_sec=1020
case_no=161 label=Case6.149 nb_sol=0 ticks=102562 tps=100 nb_sec=1025
case_no=161 label=Case6.149 nb_sol=0 ticks=115121 tps=100 nb_sec=1151
case_no=161 label=Case6.149 nb_sol=0 ticks=110186 tps=100 nb_sec=1101
case_no=161 label=Case6.149 nb_sol=0 ticks=170295 tps=100 nb_sec=1702
case_no=161 label=Case6.149 nb_sol=0 ticks=138680 tps=100 nb_sec=1386
case_no=161 label=Case6.149 nb_sol=0 ticks=138160 tps=100 nb_sec=1381
case_no=161 label=Case6.149 nb_sol=0 ticks=138523 tps=100 nb_sec=1385
case_no=161 label=Case6.149 nb_sol=0 ticks=129546 tps=100 nb_sec=1295
case_no=161 label=Case6.149 nb_sol=0 ticks=131355 tps=100 nb_sec=1313
case_no=161 label=Case6.149 nb_sol=0 ticks=136792 tps=100 nb_sec=1367
case_no=161 label=Case6.149 nb_sol=0 ticks=109505 tps=100 nb_sec=1095
case_no=161 label=Case6.149 nb_sol=0 ticks=136395 tps=100 nb_sec=1363
case_no=161 label=Case6.149 nb_sol=0 ticks=97256 tps=100 nb_sec=972
case_no=161 label=Case6.149 nb_sol=0 ticks=107946 tps=100 nb_sec=1079
case_no=161 label=Case6.149 nb_sol=0 ticks=131243 tps=100 nb_sec=1312
case_no=161 label=Case6.149 nb_sol=0 ticks=104613 tps=100 nb_sec=1046
case_no=161 label=Case6.149 nb_sol=0 ticks=128378 tps=100 nb_sec=1283
case_no=161 label=Case6.149 nb_sol=0 ticks=128332 tps=100 nb_sec=1283
case_no=161 label=Case6.149 nb_sol=0 ticks=99491 tps=100 nb_sec=994
case_no=161 label=Case6.149 nb_sol=0 ticks=119775 tps=100 nb_sec=1197
case_no=161 label=Case6.149 nb_sol=0 ticks=123243 tps=100 nb_sec=1232
case_no=161 label=Case6.149 nb_sol=0 ticks=110758 tps=100 nb_sec=1107
case_no=161 label=Case6.149 nb_sol=0 ticks=154814 tps=100 nb_sec=1548
case_no=161 label=Case6.149 nb_sol=0 ticks=127097 tps=100 nb_sec=1270
case_no=161 label=Case6.149 nb_sol=0 ticks=146049 tps=100 nb_sec=1460
case_no=161 label=Case6.149 nb_sol=0 ticks=157076 tps=100 nb_sec=1570
case_no=161 label=Case6.149 nb_sol=0 ticks=160945 tps=100 nb_sec=1609
case_no=161 label=Case6.149 nb_sol=0 ticks=122867 tps=100 nb_sec=1228
case_no=161 label=Case6.149 nb_sol=0 ticks=121968 tps=100 nb_sec=1219
case_no=161 label=Case6.149 nb_sol=0 ticks=113691 tps=100 nb_sec=1136
case_no=161 label=Case6.149 nb_sol=0 ticks=144274 tps=100 nb_sec=1442
case_no=161 label=Case6.149 nb_sol=0 ticks=104608 tps=100 nb_sec=1046
case_no=161 label=Case6.149 nb_sol=0 ticks=137597 tps=100 nb_sec=1375
case_no=161 label=Case6.149 nb_sol=0 ticks=156447 tps=100 nb_sec=1564
case_no=161 label=Case6.149 nb_sol=0 ticks=115364 tps=100 nb_sec=1153
case_no=161 label=Case6.149 nb_sol=0 ticks=147723 tps=100 nb_sec=1477
case_no=161 label=Case6.149 nb_sol=0 ticks=91573 tps=100 nb_sec=915
case_no=161 label=Case6.149 nb_sol=0 ticks=110694 tps=100 nb_sec=1106
case_no=161 label=Case6.149 nb_sol=0 ticks=116734 tps=100 nb_sec=1167
case_no=161 label=Case6.149 nb_sol=0 ticks=147464 tps=100 nb_sec=1474
case_no=161 label=Case6.149 nb_sol=0 ticks=87952 tps=100 nb_sec=879
case_no=161 label=Case6.149 nb_sol=0 ticks=144506 tps=100 nb_sec=1445
case_no=161 label=Case6.149 nb_sol=0 ticks=99952 tps=100 nb_sec=999
case_no=161 label=Case6.149 nb_sol=0 ticks=102513 tps=100 nb_sec=1025
case_no=161 label=Case6.149 nb_sol=0 ticks=146234 tps=100 nb_sec=1462
case_no=161 label=Case6.149 nb_sol=0 ticks=130485 tps=100 nb_sec=1304
case_no=161 label=Case6.149 nb_sol=0 ticks=281850 tps=100 nb_sec=2818
case_no=161 label=Case6.149 nb_sol=0 ticks=162569 tps=100 nb_sec=1625
case_no=161 label=Case6.149 nb_sol=0 ticks=106709 tps=100 nb_sec=1067
case_no=161 label=Case6.149 nb_sol=0 ticks=108546 tps=100 nb_sec=1085
case_no=161 label=Case6.149 nb_sol=0 ticks=157001 tps=100 nb_sec=1570
case_no=161 label=Case6.149 nb_sol=0 ticks=128996 tps=100 nb_sec=1289
case_no=161 label=Case6.149 nb_sol=0 ticks=109478 tps=100 nb_sec=1094
case_no=161 label=Case6.149 nb_sol=0 ticks=111056 tps=100 nb_sec=1110
case_no=161 label=Case6.149 nb_sol=0 ticks=90561 tps=100 nb_sec=905
case_no=161 label=Case6.149 nb_sol=0 ticks=139610 tps=100 nb_sec=1396
case_no=161 label=Case6.149 nb_sol=0 ticks=141372 tps=100 nb_sec=1413
case_no=161 label=Case6.149 nb_sol=0 ticks=130528 tps=100 nb_sec=1305
case_no=161 label=Case6.149 nb_sol=0 ticks=88621 tps=100 nb_sec=886
case_no=161 label=Case6.149 nb_sol=0 ticks=111188 tps=100 nb_sec=1111
case_no=161 label=Case6.149 nb_sol=0 ticks=129379 tps=100 nb_sec=1293
case_no=161 label=Case6.149 nb_sol=0 ticks=119851 tps=100 nb_sec=1198
case_no=161 label=Case6.149 nb_sol=0 ticks=105232 tps=100 nb_sec=1052
case_no=161 label=Case6.149 nb_sol=0 ticks=142155 tps=100 nb_sec=1421
case_no=161 label=Case6.149 nb_sol=0 ticks=121265 tps=100 nb_sec=1212
case_no=161 label=Case6.149 nb_sol=0 ticks=112264 tps=100 nb_sec=1122
case_no=161 label=Case6.149 nb_sol=0 ticks=110242 tps=100 nb_sec=1102
case_no=161 label=Case6.149 nb_sol=0 ticks=114864 tps=100 nb_sec=1148
case_no=161 label=Case6.149 nb_sol=0 ticks=102677 tps=100 nb_sec=1026
case_no=161 label=Case6.149 nb_sol=0 ticks=163010 tps=100 nb_sec=1630
case_no=161 label=Case6.149 nb_sol=0 ticks=112302 tps=100 nb_sec=1123
case_no=161 label=Case6.149 nb_sol=0 ticks=106694 tps=100 nb_sec=1066
case_no=161 label=Case6.149 nb_sol=0 ticks=168541 tps=100 nb_sec=1685
case_no=161 label=Case6.149 nb_sol=0 ticks=167219 tps=100 nb_sec=1672
case_no=161 label=Case6.149 nb_sol=0 ticks=104613 tps=100 nb_sec=1046
case_no=161 label=Case6.149 nb_sol=0 ticks=143155 tps=100 nb_sec=1431
case_no=161 label=Case6.149 nb_sol=0 ticks=80764 tps=100 nb_sec=807
case_no=161 label=Case6.149 nb_sol=0 ticks=146855 tps=100 nb_sec=1468
case_no=161 label=Case6.149 nb_sol=0 ticks=136585 tps=100 nb_sec=1365
case_no=161 label=Case6.149 nb_sol=0 ticks=137960 tps=100 nb_sec=1379
case_no=161 label=Case6.149 nb_sol=0 ticks=130270 tps=100 nb_sec=1302
case_no=161 label=Case6.149 nb_sol=0 ticks=183206 tps=100 nb_sec=1832
case_no=161 label=Case6.149 nb_sol=0 ticks=108587 tps=100 nb_sec=1085
case_no=161 label=Case6.149 nb_sol=0 ticks=147553 tps=100 nb_sec=1475
case_no=161 label=Case6.149 nb_sol=0 ticks=102969 tps=100 nb_sec=1029
case_no=161 label=Case6.149 nb_sol=0 ticks=206008 tps=100 nb_sec=2060
case_no=161 label=Case6.149 nb_sol=0 ticks=157488 tps=100 nb_sec=1574
case_no=161 label=Case6.149 nb_sol=0 ticks=145040 tps=100 nb_sec=1450
case_no=161 label=Case6.149 nb_sol=0 ticks=220377 tps=100 nb_sec=2203
case_no=161 label=Case6.149 nb_sol=0 ticks=111044 tps=100 nb_sec=1110
case_no=161 label=Case6.149 nb_sol=0 ticks=173108 tps=100 nb_sec=1731
case_no=161 label=Case6.149 nb_sol=0 ticks=97479 tps=100 nb_sec=974
case_no=161 label=Case6.149 nb_sol=0 ticks=156384 tps=100 nb_sec=1563
case_no=161 label=Case6.149 nb_sol=0 ticks=139623 tps=100 nb_sec=1396
case_no=161 label=Case6.149 nb_sol=0 ticks=189223 tps=100 nb_sec=1892
case_no=161 label=Case6.149 nb_sol=0 ticks=137640 tps=100 nb_sec=1376
case_no=161 label=Case6.149 nb_sol=0 ticks=121145 tps=100 nb_sec=1211
case_no=161 label=Case6.149 nb_sol=0 ticks=98870 tps=100 nb_sec=988
case_no=161 label=Case6.149 nb_sol=0 ticks=157243 tps=100 nb_sec=1572
case_no=161 label=Case6.149 nb_sol=0 ticks=123768 tps=100 nb_sec=1237
case_no=161 label=Case6.149 nb_sol=0 ticks=92986 tps=100 nb_sec=929
case_no=161 label=Case6.149 nb_sol=0 ticks=109410 tps=100 nb_sec=1094
case_no=161 label=Case6.149 nb_sol=0 ticks=168461 tps=100 nb_sec=1684
case_no=161 label=Case6.149 nb_sol=0 ticks=117500 tps=100 nb_sec=1175
case_no=161 label=Case6.149 nb_sol=0 ticks=95370 tps=100 nb_sec=953
case_no=161 label=Case6.149 nb_sol=0 ticks=58454 tps=100 nb_sec=584
case_no=161 label=Case6.149 nb_sol=0 ticks=171956 tps=100 nb_sec=1719
case_no=161 label=Case6.149 nb_sol=0 ticks=129137 tps=100 nb_sec=1291
case_no=161 label=Case6.149 nb_sol=0 ticks=109306 tps=100 nb_sec=1093
case_no=161 label=Case6.149 nb_sol=0 ticks=136924 tps=100 nb_sec=1369
case_no=161 label=Case6.149 nb_sol=0 ticks=162628 tps=100 nb_sec=1626
case_no=161 label=Case6.149 nb_sol=0 ticks=111907 tps=100 nb_sec=1119
case_no=161 label=Case6.149 nb_sol=0 ticks=109861 tps=100 nb_sec=1098
case_no=161 label=Case6.149 nb_sol=0 ticks=108527 tps=100 nb_sec=1085
case_no=161 label=Case6.149 nb_sol=0 ticks=149419 tps=100 nb_sec=1494
case_no=161 label=Case6.149 nb_sol=0 ticks=116699 tps=100 nb_sec=1166
case_no=161 label=Case6.149 nb_sol=0 ticks=101994 tps=100 nb_sec=1019
case_no=161 label=Case6.149 nb_sol=0 ticks=158166 tps=100 nb_sec=1581
case_no=161 label=Case6.149 nb_sol=0 ticks=97459 tps=100 nb_sec=974
case_no=161 label=Case6.149 nb_sol=0 ticks=112090 tps=100 nb_sec=1120
case_no=161 label=Case6.149 nb_sol=0 ticks=143456 tps=100 nb_sec=1434
case_no=161 label=Case6.149 nb_sol=0 ticks=139158 tps=100 nb_sec=1391
case_no=161 label=Case6.149 nb_sol=0 ticks=77336 tps=100 nb_sec=773
case_no=161 label=Case6.149 nb_sol=0 ticks=106103 tps=100 nb_sec=1061
case_no=161 label=Case6.149 nb_sol=0 ticks=174778 tps=100 nb_sec=1747
case_no=161 label=Case6.149 nb_sol=0 ticks=153697 tps=100 nb_sec=1536
case_no=161 label=Case6.149 nb_sol=0 ticks=103755 tps=100 nb_sec=1037
case_no=161 label=Case6.149 nb_sol=0 ticks=125175 tps=100 nb_sec=1251
case_no=161 label=Case6.149 nb_sol=0 ticks=129410 tps=100 nb_sec=1294
case_no=161 label=Case6.149 nb_sol=0 ticks=122419 tps=100 nb_sec=1224
case_no=161 label=Case6.149 nb_sol=0 ticks=111658 tps=100 nb_sec=1116
case_no=161 label=Case6.149 nb_sol=0 ticks=109844 tps=100 nb_sec=1098
case_no=161 label=Case6.149 nb_sol=0 ticks=241156 tps=100 nb_sec=2411
case_no=161 label=Case6.149 nb_sol=0 ticks=112667 tps=100 nb_sec=1126
case_no=161 label=Case6.149 nb_sol=0 ticks=147567 tps=100 nb_sec=1475
case_no=161 label=Case6.149 nb_sol=0 ticks=145397 tps=100 nb_sec=1453
case_no=161 label=Case6.149 nb_sol=0 ticks=101252 tps=100 nb_sec=1012
case_no=161 label=Case6.149 nb_sol=0 ticks=134909 tps=100 nb_sec=1349
case_no=161 label=Case6.149 nb_sol=0 ticks=97539 tps=100 nb_sec=975
case_no=161 label=Case6.149 nb_sol=0 ticks=101621 tps=100 nb_sec=1016
case_no=161 label=Case6.149 nb_sol=0 ticks=184068 tps=100 nb_sec=1840
case_no=161 label=Case6.149 nb_sol=0 ticks=239118 tps=100 nb_sec=2391
case_no=161 label=Case6.149 nb_sol=0 ticks=98454 tps=100 nb_sec=984
case_no=161 label=Case6.149 nb_sol=0 ticks=125431 tps=100 nb_sec=1254
case_no=161 label=Case6.149 nb_sol=0 ticks=126294 tps=100 nb_sec=1262
case_no=161 label=Case6.149 nb_sol=0 ticks=185016 tps=100 nb_sec=1850
case_no=161 label=Case6.149 nb_sol=0 ticks=107963 tps=100 nb_sec=1079
case_no=161 label=Case6.149 nb_sol=0 ticks=137732 tps=100 nb_sec=1377
case_no=161 label=Case6.149 nb_sol=0 ticks=222270 tps=100 nb_sec=2222
case_no=161 label=Case6.149 nb_sol=0 ticks=119307 tps=100 nb_sec=1193
case_no=161 label=Case6.149 nb_sol=0 ticks=143744 tps=100 nb_sec=1437
case_no=161 label=Case6.149 nb_sol=0 ticks=225363 tps=100 nb_sec=2253
case_no=161 label=Case6.149 nb_sol=0 ticks=137862 tps=100 nb_sec=1378
case_no=161 label=Case6.149 nb_sol=0 ticks=129779 tps=100 nb_sec=1297
case_no=161 label=Case6.149 nb_sol=0 ticks=212475 tps=100 nb_sec=2124
case_no=161 label=Case6.149 nb_sol=0 ticks=246504 tps=100 nb_sec=2465
case_no=161 label=Case6.149 nb_sol=0 ticks=151881 tps=100 nb_sec=1518
case_no=161 label=Case6.149 nb_sol=0 ticks=209807 tps=100 nb_sec=2098
case_no=161 label=Case6.149 nb_sol=0 ticks=141191 tps=100 nb_sec=1411
case_no=161 label=Case6.149 nb_sol=0 ticks=111058 tps=100 nb_sec=1110
case_no=161 label=Case6.149 nb_sol=0 ticks=116380 tps=100 nb_sec=1163
case_no=161 label=Case6.149 nb_sol=0 ticks=125474 tps=100 nb_sec=1254
case_no=161 label=Case6.149 nb_sol=0 ticks=126906 tps=100 nb_sec=1269
case_no=161 label=Case6.149 nb_sol=0 ticks=138825 tps=100 nb_sec=1388
case_no=161 label=Case6.149 nb_sol=0 ticks=195286 tps=100 nb_sec=1952
case_no=161 label=Case6.149 nb_sol=0 ticks=149607 tps=100 nb_sec=1496
case_no=161 label=Case6.149 nb_sol=0 ticks=175564 tps=100 nb_sec=1755
case_no=161 label=Case6.149 nb_sol=0 ticks=97863 tps=100 nb_sec=978
case_no=161 label=Case6.149 nb_sol=0 ticks=114095 tps=100 nb_sec=1140
case_no=161 label=Case6.149 nb_sol=0 ticks=136154 tps=100 nb_sec=1361
case_no=161 label=Case6.149 nb_sol=0 ticks=228367 tps=100 nb_sec=2283
case_no=161 label=Case6.149 nb_sol=0 ticks=157658 tps=100 nb_sec=1576
case_no=161 label=Case6.149 nb_sol=0 ticks=91860 tps=100 nb_sec=918
case_no=161 label=Case6.149 nb_sol=0 ticks=136960 tps=100 nb_sec=1369
case_no=161 label=Case6.149 nb_sol=0 ticks=228945 tps=100 nb_sec=2289
case_no=161 label=Case6.149 nb_sol=0 ticks=114686 tps=100 nb_sec=1146
case_no=161 label=Case6.149 nb_sol=0 ticks=145399 tps=100 nb_sec=1453
case_no=161 label=Case6.149 nb_sol=0 ticks=145434 tps=100 nb_sec=1454
case_no=161 label=Case6.149 nb_sol=0 ticks=209659 tps=100 nb_sec=2096
case_no=161 label=Case6.149 nb_sol=0 ticks=140976 tps=100 nb_sec=1409
case_no=161 label=Case6.149 nb_sol=0 ticks=85618 tps=100 nb_sec=856
case_no=161 label=Case6.149 nb_sol=0 ticks=113838 tps=100 nb_sec=1138
case_no=161 label=Case6.149 nb_sol=0 ticks=222064 tps=100 nb_sec=2220
case_no=161 label=Case6.149 nb_sol=0 ticks=119447 tps=100 nb_sec=1194
case_no=161 label=Case6.149 nb_sol=0 ticks=100261 tps=100 nb_sec=1002
case_no=161 label=Case6.149 nb_sol=0 ticks=139613 tps=100 nb_sec=1396
case_no=161 label=Case6.149 nb_sol=0 ticks=222031 tps=100 nb_sec=2220
case_no=161 label=Case6.149 nb_sol=0 ticks=113585 tps=100 nb_sec=1135
case_no=161 label=Case6.149 nb_sol=0 ticks=105880 tps=100 nb_sec=1058
case_no=161 label=Case6.149 nb_sol=0 ticks=176975 tps=100 nb_sec=1769
case_no=161 label=Case6.149 nb_sol=0 ticks=103270 tps=100 nb_sec=1032
case_no=161 label=Case6.149 nb_sol=0 ticks=237332 tps=100 nb_sec=2373
case_no=161 label=Case6.149 nb_sol=0 ticks=112534 tps=100 nb_sec=1125
case_no=161 label=Case6.149 nb_sol=0 ticks=136771 tps=100 nb_sec=1367
case_no=161 label=Case6.149 nb_sol=0 ticks=230809 tps=100 nb_sec=2308
case_no=161 label=Case6.149 nb_sol=0 ticks=116522 tps=100 nb_sec=1165
case_no=161 label=Case6.149 nb_sol=0 ticks=90142 tps=100 nb_sec=901
case_no=161 label=Case6.149 nb_sol=0 ticks=145193 tps=100 nb_sec=1451
case_no=161 label=Case6.149 nb_sol=0 ticks=112190 tps=100 nb_sec=1121
case_no=161 label=Case6.149 nb_sol=0 ticks=94644 tps=100 nb_sec=946
case_no=161 label=Case6.149 nb_sol=0 ticks=96409 tps=100 nb_sec=964
case_no=161 label=Case6.149 nb_sol=0 ticks=119341 tps=100 nb_sec=1193
case_no=161 label=Case6.149 nb_sol=0 ticks=115974 tps=100 nb_sec=1159
case_no=161 label=Case6.149 nb_sol=0 ticks=116212 tps=100 nb_sec=1162
case_no=161 label=Case6.149 nb_sol=0 ticks=249028 tps=100 nb_sec=2490
case_no=161 label=Case6.149 nb_sol=0 ticks=116760 tps=100 nb_sec=1167
case_no=161 label=Case6.149 nb_sol=0 ticks=119730 tps=100 nb_sec=1197
case_no=161 label=Case6.149 nb_sol=0 ticks=161447 tps=100 nb_sec=1614
case_no=161 label=Case6.149 nb_sol=0 ticks=161173 tps=100 nb_sec=1611
case_no=161 label=Case6.149 nb_sol=0 ticks=149105 tps=100 nb_sec=1491
case_no=161 label=Case6.149 nb_sol=0 ticks=126226 tps=100 nb_sec=1262
case_no=161 label=Case6.149 nb_sol=0 ticks=118449 tps=100 nb_sec=1184
case_no=161 label=Case6.149 nb_sol=0 ticks=110107 tps=100 nb_sec=1101
case_no=161 label=Case6.149 nb_sol=0 ticks=137650 tps=100 nb_sec=1376
case_no=161 label=Case6.149 nb_sol=0 ticks=124680 tps=100 nb_sec=1246
case_no=161 label=Case6.149 nb_sol=0 ticks=86532 tps=100 nb_sec=865
case_no=161 label=Case6.149 nb_sol=0 ticks=129752 tps=100 nb_sec=1297
case_no=161 label=Case6.149 nb_sol=0 ticks=156052 tps=100 nb_sec=1560
case_no=161 label=Case6.149 nb_sol=0 ticks=117336 tps=100 nb_sec=1173
case_no=161 label=Case6.149 nb_sol=0 ticks=134831 tps=100 nb_sec=1348
case_no=161 label=Case6.149 nb_sol=0 ticks=109106 tps=100 nb_sec=1091
case_no=161 label=Case6.149 nb_sol=0 ticks=111870 tps=100 nb_sec=1118
case_no=161 label=Case6.149 nb_sol=0 ticks=117451 tps=100 nb_sec=1174
case_no=161 label=Case6.149 nb_sol=0 ticks=161729 tps=100 nb_sec=1617
case_no=161 label=Case6.149 nb_sol=0 ticks=165711 tps=100 nb_sec=1657
case_no=161 label=Case6.149 nb_sol=0 ticks=207013 tps=100 nb_sec=2070
case_no=161 label=Case6.149 nb_sol=0 ticks=169691 tps=100 nb_sec=1696
case_no=161 label=Case6.149 nb_sol=0 ticks=90840 tps=100 nb_sec=908
case_no=161 label=Case6.149 nb_sol=0 ticks=177324 tps=100 nb_sec=1773
case_no=161 label=Case6.149 nb_sol=0 ticks=159303 tps=100 nb_sec=1593
case_no=161 label=Case6.149 nb_sol=0 ticks=122797 tps=100 nb_sec=1227
case_no=161 label=Case6.149 nb_sol=0 ticks=157821 tps=100 nb_sec=1578
case_no=161 label=Case6.149 nb_sol=0 ticks=158275 tps=100 nb_sec=1582
case_no=161 label=Case6.149 nb_sol=0 ticks=100481 tps=100 nb_sec=1004
case_no=161 label=Case6.149 nb_sol=0 ticks=148589 tps=100 nb_sec=1485
case_no=161 label=Case6.149 nb_sol=0 ticks=91566 tps=100 nb_sec=915
case_no=161 label=Case6.149 nb_sol=0 ticks=138442 tps=100 nb_sec=1384
case_no=161 label=Case6.149 nb_sol=0 ticks=119413 tps=100 nb_sec=1194
case_no=161 label=Case6.149 nb_sol=0 ticks=166435 tps=100 nb_sec=1664
case_no=161 label=Case6.149 nb_sol=0 ticks=151672 tps=100 nb_sec=1516
case_no=161 label=Case6.149 nb_sol=0 ticks=185923 tps=100 nb_sec=1859
case_no=161 label=Case6.149 nb_sol=0 ticks=199155 tps=100 nb_sec=1991
case_no=161 label=Case6.149 nb_sol=0 ticks=124153 tps=100 nb_sec=1241
case_no=161 label=Case6.149 nb_sol=0 ticks=181518 tps=100 nb_sec=1815
case_no=161 label=Case6.149 nb_sol=0 ticks=177909 tps=100 nb_sec=1779
case_no=161 label=Case6.149 nb_sol=0 ticks=255848 tps=100 nb_sec=2558
case_no=161 label=Case6.149 nb_sol=0 ticks=143080 tps=100 nb_sec=1430
case_no=161 label=Case6.149 nb_sol=0 ticks=163556 tps=100 nb_sec=1635
case_no=161 label=Case6.149 nb_sol=0 ticks=153429 tps=100 nb_sec=1534
case_no=161 label=Case6.149 nb_sol=0 ticks=151760 tps=100 nb_sec=1517
case_no=161 label=Case6.149 nb_sol=0 ticks=242806 tps=100 nb_sec=2428
case_no=161 label=Case6.149 nb_sol=0 ticks=138611 tps=100 nb_sec=1386
case_no=161 label=Case6.149 nb_sol=0 ticks=98377 tps=100 nb_sec=983
case_no=161 label=Case6.149 nb_sol=0 ticks=245403 tps=100 nb_sec=2454
case_no=161 label=Case6.149 nb_sol=0 ticks=97846 tps=100 nb_sec=978
case_no=161 label=Case6.149 nb_sol=0 ticks=139499 tps=100 nb_sec=1394
case_no=161 label=Case6.149 nb_sol=0 ticks=104424 tps=100 nb_sec=1044
case_no=161 label=Case6.149 nb_sol=0 ticks=146957 tps=100 nb_sec=1469
case_no=161 label=Case6.149 nb_sol=0 ticks=133882 tps=100 nb_sec=1338
case_no=161 label=Case6.149 nb_sol=0 ticks=99183 tps=100 nb_sec=991
case_no=161 label=Case6.149 nb_sol=0 ticks=133807 tps=100 nb_sec=1338
case_no=161 label=Case6.149 nb_sol=0 ticks=131990 tps=100 nb_sec=1319
case_no=161 label=Case6.149 nb_sol=0 ticks=133414 tps=100 nb_sec=1334
case_no=161 label=Case6.149 nb_sol=0 ticks=156131 tps=100 nb_sec=1561
case_no=161 label=Case6.149 nb_sol=0 ticks=177815 tps=100 nb_sec=1778
case_no=161 label=Case6.149 nb_sol=0 ticks=153112 tps=100 nb_sec=1531
case_no=161 label=Case6.149 nb_sol=0 ticks=163770 tps=100 nb_sec=1637
case_no=161 label=Case6.149 nb_sol=0 ticks=136163 tps=100 nb_sec=1361
case_no=161 label=Case6.149 nb_sol=0 ticks=139988 tps=100 nb_sec=1399
case_no=161 label=Case6.149 nb_sol=0 ticks=160998 tps=100 nb_sec=1609
case_no=161 label=Case6.149 nb_sol=0 ticks=132149 tps=100 nb_sec=1321
case_no=161 label=Case6.149 nb_sol=0 ticks=166678 tps=100 nb_sec=1666
case_no=161 label=Case6.149 nb_sol=0 ticks=134257 tps=100 nb_sec=1342
case_no=161 label=Case6.149 nb_sol=0 ticks=197027 tps=100 nb_sec=1970
case_no=161 label=Case6.149 nb_sol=0 ticks=96372 tps=100 nb_sec=963
case_no=161 label=Case6.149 nb_sol=0 ticks=99486 tps=100 nb_sec=994
case_no=161 label=Case6.149 nb_sol=0 ticks=103162 tps=100 nb_sec=1031
case_no=161 label=Case6.149 nb_sol=0 ticks=124996 tps=100 nb_sec=1249
case_no=161 label=Case6.149 nb_sol=0 ticks=106701 tps=100 nb_sec=1067
case_no=161 label=Case6.149 nb_sol=0 ticks=151224 tps=100 nb_sec=1512
case_no=161 label=Case6.149 nb_sol=0 ticks=182603 tps=100 nb_sec=1826
case_no=161 label=Case6.149 nb_sol=0 ticks=129461 tps=100 nb_sec=1294
case_no=161 label=Case6.149 nb_sol=0 ticks=96905 tps=100 nb_sec=969
case_no=161 label=Case6.149 nb_sol=0 ticks=127765 tps=100 nb_sec=1277
case_no=161 label=Case6.149 nb_sol=0 ticks=162554 tps=100 nb_sec=1625
case_no=161 label=Case6.149 nb_sol=0 ticks=81212 tps=100 nb_sec=812
case_no=161 label=Case6.149 nb_sol=0 ticks=149215 tps=100 nb_sec=1492
case_no=161 label=Case6.149 nb_sol=0 ticks=97152 tps=100 nb_sec=971
case_no=161 label=Case6.149 nb_sol=0 ticks=226497 tps=100 nb_sec=2264
case_no=161 label=Case6.149 nb_sol=0 ticks=120426 tps=100 nb_sec=1204
case_no=161 label=Case6.149 nb_sol=0 ticks=104741 tps=100 nb_sec=1047
case_no=161 label=Case6.149 nb_sol=0 ticks=117333 tps=100 nb_sec=1173
case_no=161 label=Case6.149 nb_sol=0 ticks=128716 tps=100 nb_sec=1287
case_no=161 label=Case6.149 nb_sol=0 ticks=145031 tps=100 nb_sec=1450
case_no=161 label=Case6.149 nb_sol=0 ticks=127045 tps=100 nb_sec=1270
case_no=161 label=Case6.149 nb_sol=0 ticks=120385 tps=100 nb_sec=1203
case_no=161 label=Case6.149 nb_sol=0 ticks=165657 tps=100 nb_sec=1656
case_no=161 label=Case6.149 nb_sol=0 ticks=163850 tps=100 nb_sec=1638
case_no=161 label=Case6.149 nb_sol=0 ticks=192752 tps=100 nb_sec=1927
case_no=161 label=Case6.149 nb_sol=0 ticks=118275 tps=100 nb_sec=1182
case_no=161 label=Case6.149 nb_sol=0 ticks=120758 tps=100 nb_sec=1207
case_no=161 label=Case6.149 nb_sol=0 ticks=163200 tps=100 nb_sec=1632
case_no=161 label=Case6.149 nb_sol=0 ticks=107770 tps=100 nb_sec=1077
case_no=161 label=Case6.149 nb_sol=0 ticks=165252 tps=100 nb_sec=1652
case_no=161 label=Case6.149 nb_sol=0 ticks=290654 tps=100 nb_sec=2906
case_no=161 label=Case6.149 nb_sol=0 ticks=224826 tps=100 nb_sec=2248
case_no=161 label=Case6.149 nb_sol=0 ticks=155145 tps=100 nb_sec=1551
case_no=161 label=Case6.149 nb_sol=0 ticks=95958 tps=100 nb_sec=959
case_no=161 label=Case6.149 nb_sol=0 ticks=166299 tps=100 nb_sec=1662
case_no=161 label=Case6.149 nb_sol=0 ticks=99566 tps=100 nb_sec=995
case_no=161 label=Case6.149 nb_sol=0 ticks=104793 tps=100 nb_sec=1047
case_no=161 label=Case6.149 nb_sol=0 ticks=155016 tps=100 nb_sec=1550
case_no=161 label=Case6.149 nb_sol=0 ticks=129224 tps=100 nb_sec=1292
case_no=161 label=Case6.149 nb_sol=0 ticks=101846 tps=100 nb_sec=1018
case_no=161 label=Case6.149 nb_sol=0 ticks=231736 tps=100 nb_sec=2317
case_no=161 label=Case6.149 nb_sol=0 ticks=194399 tps=100 nb_sec=1943
case_no=161 label=Case6.149 nb_sol=0 ticks=154665 tps=100 nb_sec=1546
case_no=161 label=Case6.149 nb_sol=0 ticks=121224 tps=100 nb_sec=1212
case_no=161 label=Case6.149 nb_sol=0 ticks=99263 tps=100 nb_sec=992
case_no=161 label=Case6.149 nb_sol=0 ticks=97512 tps=100 nb_sec=975
case_no=161 label=Case6.149 nb_sol=0 ticks=139924 tps=100 nb_sec=1399
case_no=161 label=Case6.149 nb_sol=0 ticks=175666 tps=100 nb_sec=1756
case_no=161 label=Case6.149 nb_sol=0 ticks=111924 tps=100 nb_sec=1119
case_no=161 label=Case6.149 nb_sol=0 ticks=147214 tps=100 nb_sec=1472
case_no=161 label=Case6.149 nb_sol=0 ticks=125989 tps=100 nb_sec=1259
case_no=161 label=Case6.149 nb_sol=0 ticks=84080 tps=100 nb_sec=840
case_no=161 label=Case6.149 nb_sol=0 ticks=137165 tps=100 nb_sec=1371
case_no=161 label=Case6.149 nb_sol=0 ticks=156238 tps=100 nb_sec=1562
case_no=161 label=Case6.149 nb_sol=0 ticks=127401 tps=100 nb_sec=1274
case_no=161 label=Case6.149 nb_sol=0 ticks=149633 tps=100 nb_sec=1496
case_no=161 label=Case6.149 nb_sol=0 ticks=85911 tps=100 nb_sec=859
case_no=161 label=Case6.149 nb_sol=0 ticks=102940 tps=100 nb_sec=1029
case_no=161 label=Case6.149 nb_sol=0 ticks=176316 tps=100 nb_sec=1763
case_no=161 label=Case6.149 nb_sol=0 ticks=137691 tps=100 nb_sec=1376
case_no=161 label=Case6.149 nb_sol=0 ticks=126778 tps=100 nb_sec=1267
case_no=161 label=Case6.149 nb_sol=0 ticks=130806 tps=100 nb_sec=1308
case_no=161 label=Case6.149 nb_sol=0 ticks=109684 tps=100 nb_sec=1096
case_no=161 label=Case6.149 nb_sol=0 ticks=138680 tps=100 nb_sec=1386
case_no=161 label=Case6.149 nb_sol=0 ticks=146552 tps=100 nb_sec=1465
case_no=161 label=Case6.149 nb_sol=0 ticks=124604 tps=100 nb_sec=1246
case_no=161 label=Case6.149 nb_sol=0 ticks=118512 tps=100 nb_sec=1185
case_no=161 label=Case6.149 nb_sol=0 ticks=79203 tps=100 nb_sec=792
case_no=161 label=Case6.149 nb_sol=0 ticks=138420 tps=100 nb_sec=1384
case_no=161 label=Case6.149 nb_sol=0 ticks=106206 tps=100 nb_sec=1062
case_no=161 label=Case6.149 nb_sol=0 ticks=166705 tps=100 nb_sec=1667
case_no=161 label=Case6.149 nb_sol=0 ticks=160368 tps=100 nb_sec=1603
case_no=161 label=Case6.149 nb_sol=0 ticks=87743 tps=100 nb_sec=877
case_no=161 label=Case6.149 nb_sol=0 ticks=104976 tps=100 nb_sec=1049
case_no=161 label=Case6.149 nb_sol=0 ticks=114809 tps=100 nb_sec=1148
case_no=161 label=Case6.149 nb_sol=0 ticks=134202 tps=100 nb_sec=1342
case_no=161 label=Case6.149 nb_sol=0 ticks=73861 tps=100 nb_sec=738
case_no=161 label=Case6.149 nb_sol=0 ticks=132355 tps=100 nb_sec=1323
case_no=161 label=Case6.149 nb_sol=0 ticks=159062 tps=100 nb_sec=1590
case_no=161 label=Case6.149 nb_sol=0 ticks=106709 tps=100 nb_sec=1067
case_no=161 label=Case6.149 nb_sol=0 ticks=92061 tps=100 nb_sec=920
case_no=161 label=Case6.149 nb_sol=0 ticks=121303 tps=100 nb_sec=1213
case_no=161 label=Case6.149 nb_sol=0 ticks=118823 tps=100 nb_sec=1188
case_no=161 label=Case6.149 nb_sol=0 ticks=125481 tps=100 nb_sec=1254
case_no=161 label=Case6.149 nb_sol=0 ticks=126101 tps=100 nb_sec=1261
case_no=161 label=Case6.149 nb_sol=0 ticks=106835 tps=100 nb_sec=1068
case_no=161 label=Case6.149 nb_sol=0 ticks=114707 tps=100 nb_sec=1147
case_no=161 label=Case6.149 nb_sol=0 ticks=123043 tps=100 nb_sec=1230
case_no=161 label=Case6.149 nb_sol=0 ticks=149422 tps=100 nb_sec=1494
case_no=161 label=Case6.149 nb_sol=0 ticks=152211 tps=100 nb_sec=1522
case_no=161 label=Case6.149 nb_sol=0 ticks=145475 tps=100 nb_sec=1454
case_no=161 label=Case6.149 nb_sol=0 ticks=138145 tps=100 nb_sec=1381
case_no=161 label=Case6.149 nb_sol=0 ticks=111892 tps=100 nb_sec=1118
case_no=161 label=Case6.149 nb_sol=0 ticks=189678 tps=100 nb_sec=1896
case_no=161 label=Case6.149 nb_sol=0 ticks=192138 tps=100 nb_sec=1921
case_no=161 label=Case6.149 nb_sol=0 ticks=135196 tps=100 nb_sec=1351
case_no=161 label=Case6.149 nb_sol=0 ticks=116218 tps=100 nb_sec=1162
case_no=161 label=Case6.149 nb_sol=0 ticks=174630 tps=100 nb_sec=1746
case_no=161 label=Case6.149 nb_sol=0 ticks=83907 tps=100 nb_sec=839
case_no=161 label=Case6.149 nb_sol=0 ticks=102050 tps=100 nb_sec=1020
case_no=161 label=Case6.149 nb_sol=0 ticks=140608 tps=100 nb_sec=1406
case_no=161 label=Case6.149 nb_sol=0 ticks=131097 tps=100 nb_sec=1310
case_no=161 label=Case6.149 nb_sol=0 ticks=227441 tps=100 nb_sec=2274
case_no=161 label=Case6.149 nb_sol=0 ticks=153462 tps=100 nb_sec=1534
case_no=161 label=Case6.149 nb_sol=0 ticks=209273 tps=100 nb_sec=2092
case_no=161 label=Case6.149 nb_sol=0 ticks=115141 tps=100 nb_sec=1151
case_no=161 label=Case6.149 nb_sol=0 ticks=118638 tps=100 nb_sec=1186
case_no=161 label=Case6.149 nb_sol=0 ticks=137207 tps=100 nb_sec=1372
case_no=161 label=Case6.149 nb_sol=0 ticks=100319 tps=100 nb_sec=1003
case_no=161 label=Case6.149 nb_sol=0 ticks=160742 tps=100 nb_sec=1607
case_no=161 label=Case6.149 nb_sol=0 ticks=173424 tps=100 nb_sec=1734
case_no=161 label=Case6.149 nb_sol=0 ticks=160317 tps=100 nb_sec=1603
case_no=161 label=Case6.149 nb_sol=0 ticks=133455 tps=100 nb_sec=1334
case_no=161 label=Case6.149 nb_sol=0 ticks=119742 tps=100 nb_sec=1197
case_no=161 label=Case6.149 nb_sol=0 ticks=92850 tps=100 nb_sec=928
case_no=161 label=Case6.149 nb_sol=0 ticks=228486 tps=100 nb_sec=2284
case_no=161 label=Case6.149 nb_sol=0 ticks=114541 tps=100 nb_sec=1145
case_no=161 label=Case6.149 nb_sol=0 ticks=301529 tps=100 nb_sec=3015
case_no=161 label=Case6.149 nb_sol=0 ticks=207141 tps=100 nb_sec=2071
case_no=161 label=Case6.149 nb_sol=0 ticks=144377 tps=100 nb_sec=1443
case_no=161 label=Case6.149 nb_sol=0 ticks=170336 tps=100 nb_sec=1703
case_no=161 label=Case6.149 nb_sol=0 ticks=111935 tps=100 nb_sec=1119
case_no=161 label=Case6.149 nb_sol=0 ticks=136296 tps=100 nb_sec=1362
case_no=161 label=Case6.149 nb_sol=0 ticks=143520 tps=100 nb_sec=1435
case_no=161 label=Case6.149 nb_sol=0 ticks=144223 tps=100 nb_sec=1442
case_no=161 label=Case6.149 nb_sol=0 ticks=243085 tps=100 nb_sec=2430
case_no=161 label=Case6.149 nb_sol=0 ticks=217874 tps=100 nb_sec=2178
case_no=161 label=Case6.149 nb_sol=0 ticks=104810 tps=100 nb_sec=1048
case_no=161 label=Case6.149 nb_sol=0 ticks=157723 tps=100 nb_sec=1577
case_no=161 label=Case6.149 nb_sol=0 ticks=118142 tps=100 nb_sec=1181
case_no=161 label=Case6.149 nb_sol=0 ticks=120655 tps=100 nb_sec=1206
case_no=161 label=Case6.149 nb_sol=0 ticks=172158 tps=100 nb_sec=1721
case_no=161 label=Case6.149 nb_sol=0 ticks=163617 tps=100 nb_sec=1636
case_no=161 label=Case6.149 nb_sol=0 ticks=90590 tps=100 nb_sec=905
case_no=161 label=Case6.149 nb_sol=0 ticks=145816 tps=100 nb_sec=1458
case_no=161 label=Case6.149 nb_sol=0 ticks=112651 tps=100 nb_sec=1126
case_no=161 label=Case6.149 nb_sol=0 ticks=181867 tps=100 nb_sec=1818
case_no=161 label=Case6.149 nb_sol=0 ticks=87954 tps=100 nb_sec=879
case_no=161 label=Case6.149 nb_sol=0 ticks=200035 tps=100 nb_sec=2000
case_no=161 label=Case6.149 nb_sol=0 ticks=78999 tps=100 nb_sec=789
case_no=161 label=Case6.149 nb_sol=0 ticks=198314 tps=100 nb_sec=1983
case_no=161 label=Case6.149 nb_sol=0 ticks=113704 tps=100 nb_sec=1137
case_no=161 label=Case6.149 nb_sol=0 ticks=82518 tps=100 nb_sec=825
case_no=161 label=Case6.149 nb_sol=0 ticks=100598 tps=100 nb_sec=1005
case_no=161 label=Case6.149 nb_sol=0 ticks=79115 tps=100 nb_sec=791
case_no=161 label=Case6.149 nb_sol=0 ticks=95799 tps=100 nb_sec=957
case_no=161 label=Case6.149 nb_sol=0 ticks=155490 tps=100 nb_sec=1554
case_no=161 label=Case6.149 nb_sol=0 ticks=188667 tps=100 nb_sec=1886
case_no=161 label=Case6.149 nb_sol=0 ticks=244870 tps=100 nb_sec=2448
case_no=161 label=Case6.149 nb_sol=0 ticks=143879 tps=100 nb_sec=1438
case_no=161 label=Case6.149 nb_sol=0 ticks=161792 tps=100 nb_sec=1617
case_no=161 label=Case6.149 nb_sol=0 ticks=163175 tps=100 nb_sec=1631
case_no=161 label=Case6.149 nb_sol=0 ticks=112037 tps=100 nb_sec=1120
case_no=161 label=Case6.149 nb_sol=0 ticks=138327 tps=100 nb_sec=1383
case_no=161 label=Case6.149 nb_sol=0 ticks=123465 tps=100 nb_sec=1234
case_no=161 label=Case6.149 nb_sol=0 ticks=116050 tps=100 nb_sec=1160
case_no=161 label=Case6.149 nb_sol=0 ticks=134131 tps=100 nb_sec=1341
case_no=161 label=Case6.149 nb_sol=0 ticks=127796 tps=100 nb_sec=1277
case_no=161 label=Case6.149 nb_sol=0 ticks=152184 tps=100 nb_sec=1521
case_no=161 label=Case6.149 nb_sol=0 ticks=92956 tps=100 nb_sec=929
case_no=161 label=Case6.149 nb_sol=0 ticks=129827 tps=100 nb_sec=1298
case_no=161 label=Case6.149 nb_sol=0 ticks=154413 tps=100 nb_sec=1544
case_no=161 label=Case6.149 nb_sol=0 ticks=101665 tps=100 nb_sec=1016
case_no=161 label=Case6.149 nb_sol=0 ticks=139616 tps=100 nb_sec=1396
case_no=161 label=Case6.149 nb_sol=0 ticks=124769 tps=100 nb_sec=1247
case_no=161 label=Case6.149 nb_sol=0 ticks=133204 tps=100 nb_sec=1332
case_no=161 label=Case6.149 nb_sol=0 ticks=123011 tps=100 nb_sec=1230
case_no=161 label=Case6.149 nb_sol=0 ticks=152940 tps=100 nb_sec=1529
case_no=161 label=Case6.149 nb_sol=0 ticks=194147 tps=100 nb_sec=1941
case_no=161 label=Case6.149 nb_sol=0 ticks=110548 tps=100 nb_sec=1105
case_no=161 label=Case6.149 nb_sol=0 ticks=102021 tps=100 nb_sec=1020
case_no=161 label=Case6.149 nb_sol=0 ticks=109489 tps=100 nb_sec=1094
case_no=161 label=Case6.149 nb_sol=0 ticks=211015 tps=100 nb_sec=2110
case_no=161 label=Case6.149 nb_sol=0 ticks=134513 tps=100 nb_sec=1345
case_no=161 label=Case6.149 nb_sol=0 ticks=99482 tps=100 nb_sec=994
case_no=161 label=Case6.149 nb_sol=0 ticks=151740 tps=100 nb_sec=1517
case_no=161 label=Case6.149 nb_sol=0 ticks=113624 tps=100 nb_sec=1136
case_no=161 label=Case6.149 nb_sol=0 ticks=120938 tps=100 nb_sec=1209
case_no=161 label=Case6.149 nb_sol=0 ticks=226959 tps=100 nb_sec=2269
case_no=161 label=Case6.149 nb_sol=0 ticks=205479 tps=100 nb_sec=2054
case_no=161 label=Case6.149 nb_sol=0 ticks=119460 tps=100 nb_sec=1194
case_no=161 label=Case6.149 nb_sol=0 ticks=121782 tps=100 nb_sec=1217
case_no=161 label=Case6.149 nb_sol=0 ticks=164860 tps=100 nb_sec=1648
case_no=161 label=Case6.149 nb_sol=0 ticks=90322 tps=100 nb_sec=903
case_no=161 label=Case6.149 nb_sol=0 ticks=120219 tps=100 nb_sec=1202
case_no=161 label=Case6.149 nb_sol=0 ticks=194902 tps=100 nb_sec=1949
case_no=161 label=Case6.149 nb_sol=0 ticks=238399 tps=100 nb_sec=2383
case_no=161 label=Case6.149 nb_sol=0 ticks=160970 tps=100 nb_sec=1609
case_no=161 label=Case6.149 nb_sol=0 ticks=148650 tps=100 nb_sec=1486
case_no=161 label=Case6.149 nb_sol=0 ticks=177904 tps=100 nb_sec=1779
case_no=161 label=Case6.149 nb_sol=0 ticks=142149 tps=100 nb_sec=1421
case_no=161 label=Case6.149 nb_sol=0 ticks=130068 tps=100 nb_sec=1300
case_no=161 label=Case6.149 nb_sol=0 ticks=125650 tps=100 nb_sec=1256
case_no=161 label=Case6.149 nb_sol=0 ticks=210874 tps=100 nb_sec=2108
case_no=161 label=Case6.149 nb_sol=0 ticks=123847 tps=100 nb_sec=1238
case_no=161 label=Case6.149 nb_sol=0 ticks=230793 tps=100 nb_sec=2307
case_no=161 label=Case6.149 nb_sol=0 ticks=120081 tps=100 nb_sec=1200
case_no=161 label=Case6.149 nb_sol=0 ticks=142487 tps=100 nb_sec=1424
case_no=161 label=Case6.149 nb_sol=0 ticks=162736 tps=100 nb_sec=1627
case_no=161 label=Case6.149 nb_sol=0 ticks=149758 tps=100 nb_sec=1497
case_no=161 label=Case6.149 nb_sol=0 ticks=131750 tps=100 nb_sec=1317
case_no=161 label=Case6.149 nb_sol=0 ticks=159181 tps=100 nb_sec=1591
case_no=161 label=Case6.149 nb_sol=0 ticks=114180 tps=100 nb_sec=1141
case_no=161 label=Case6.149 nb_sol=0 ticks=93553 tps=100 nb_sec=935
case_no=161 label=Case6.149 nb_sol=0 ticks=118747 tps=100 nb_sec=1187
case_no=161 label=Case6.149 nb_sol=0 ticks=151525 tps=100 nb_sec=1515
case_no=161 label=Case6.149 nb_sol=0 ticks=104902 tps=100 nb_sec=1049
case_no=161 label=Case6.149 nb_sol=0 ticks=111132 tps=100 nb_sec=1111
case_no=161 label=Case6.149 nb_sol=0 ticks=128150 tps=100 nb_sec=1281
case_no=161 label=Case6.149 nb_sol=0 ticks=105067 tps=100 nb_sec=1050
case_no=161 label=Case6.149 nb_sol=0 ticks=154534 tps=100 nb_sec=1545
case_no=161 label=Case6.149 nb_sol=0 ticks=101304 tps=100 nb_sec=1013
case_no=161 label=Case6.149 nb_sol=0 ticks=85869 tps=100 nb_sec=858
case_no=161 label=Case6.149 nb_sol=0 ticks=144581 tps=100 nb_sec=1445
case_no=161 label=Case6.149 nb_sol=0 ticks=121733 tps=100 nb_sec=1217
case_no=161 label=Case6.149 nb_sol=0 ticks=86332 tps=100 nb_sec=863
case_no=161 label=Case6.149 nb_sol=0 ticks=140867 tps=100 nb_sec=1408
case_no=161 label=Case6.149 nb_sol=0 ticks=130655 tps=100 nb_sec=1306
case_no=161 label=Case6.149 nb_sol=0 ticks=128959 tps=100 nb_sec=1289
case_no=161 label=Case6.149 nb_sol=0 ticks=142024 tps=100 nb_sec=1420
case_no=161 label=Case6.149 nb_sol=0 ticks=145676 tps=100 nb_sec=1456
case_no=161 label=Case6.149 nb_sol=0 ticks=104796 tps=100 nb_sec=1047
case_no=161 label=Case6.149 nb_sol=0 ticks=138424 tps=100 nb_sec=1384
case_no=161 label=Case6.149 nb_sol=0 ticks=150086 tps=100 nb_sec=1500
case_no=161 label=Case6.149 nb_sol=0 ticks=104037 tps=100 nb_sec=1040
case_no=161 label=Case6.149 nb_sol=0 ticks=122524 tps=100 nb_sec=1225
case_no=161 label=Case6.149 nb_sol=0 ticks=127707 tps=100 nb_sec=1277
case_no=161 label=Case6.149 nb_sol=0 ticks=117592 tps=100 nb_sec=1175
case_no=161 label=Case6.149 nb_sol=0 ticks=69707 tps=100 nb_sec=697
case_no=161 label=Case6.149 nb_sol=0 ticks=121190 tps=100 nb_sec=1211
case_no=161 label=Case6.149 nb_sol=0 ticks=73209 tps=100 nb_sec=732
case_no=161 label=Case6.149 nb_sol=0 ticks=168668 tps=100 nb_sec=1686
case_no=161 label=Case6.149 nb_sol=0 ticks=185707 tps=100 nb_sec=1857
case_no=161 label=Case6.149 nb_sol=0 ticks=186197 tps=100 nb_sec=1861
case_no=161 label=Case6.149 nb_sol=0 ticks=92602 tps=100 nb_sec=926
case_no=161 label=Case6.149 nb_sol=0 ticks=166151 tps=100 nb_sec=1661
case_no=161 label=Case6.149 nb_sol=0 ticks=199334 tps=100 nb_sec=1993
case_no=161 label=Case6.149 nb_sol=0 ticks=98461 tps=100 nb_sec=984
case_no=161 label=Case6.149 nb_sol=0 ticks=199269 tps=100 nb_sec=1992
case_no=161 label=Case6.149 nb_sol=0 ticks=204059 tps=100 nb_sec=2040
case_no=161 label=Case6.149 nb_sol=0 ticks=201656 tps=100 nb_sec=2016
case_no=161 label=Case6.149 nb_sol=0 ticks=194748 tps=100 nb_sec=1947
case_no=161 label=Case6.149 nb_sol=0 ticks=210203 tps=100 nb_sec=2102
case_no=161 label=Case6.149 nb_sol=0 ticks=89191 tps=100 nb_sec=891
case_no=161 label=Case6.149 nb_sol=0 ticks=172486 tps=100 nb_sec=1724
case_no=161 label=Case6.149 nb_sol=0 ticks=81255 tps=100 nb_sec=812
case_no=161 label=Case6.149 nb_sol=0 ticks=152314 tps=100 nb_sec=1523
case_no=161 label=Case6.149 nb_sol=0 ticks=102803 tps=100 nb_sec=1028
case_no=161 label=Case6.149 nb_sol=0 ticks=244567 tps=100 nb_sec=2445
case_no=161 label=Case6.149 nb_sol=0 ticks=73648 tps=100 nb_sec=736
case_no=161 label=Case6.149 nb_sol=0 ticks=175999 tps=100 nb_sec=1759
case_no=161 label=Case6.149 nb_sol=0 ticks=163524 tps=100 nb_sec=1635
case_no=161 label=Case6.149 nb_sol=0 ticks=121196 tps=100 nb_sec=1211
case_no=161 label=Case6.149 nb_sol=0 ticks=214444 tps=100 nb_sec=2144
case_no=161 label=Case6.149 nb_sol=0 ticks=115202 tps=100 nb_sec=1152
case_no=161 label=Case6.149 nb_sol=0 ticks=108947 tps=100 nb_sec=1089
case_no=161 label=Case6.149 nb_sol=0 ticks=152121 tps=100 nb_sec=1521
case_no=161 label=Case6.149 nb_sol=0 ticks=151951 tps=100 nb_sec=1519
case_no=161 label=Case6.149 nb_sol=0 ticks=153344 tps=100 nb_sec=1533
case_no=161 label=Case6.149 nb_sol=0 ticks=90202 tps=100 nb_sec=902
case_no=161 label=Case6.149 nb_sol=0 ticks=135260 tps=100 nb_sec=1352
case_no=161 label=Case6.149 nb_sol=0 ticks=126704 tps=100 nb_sec=1267
case_no=161 label=Case6.149 nb_sol=0 ticks=230387 tps=100 nb_sec=2303
case_no=161 label=Case6.149 nb_sol=0 ticks=218089 tps=100 nb_sec=2180
case_no=161 label=Case6.149 nb_sol=0 ticks=69611 tps=100 nb_sec=696
case_no=161 label=Case6.149 nb_sol=0 ticks=131808 tps=100 nb_sec=1318
case_no=161 label=Case6.149 nb_sol=0 ticks=95245 tps=100 nb_sec=952
case_no=161 label=Case6.149 nb_sol=0 ticks=137159 tps=100 nb_sec=1371
case_no=161 label=Case6.149 nb_sol=0 ticks=192466 tps=100 nb_sec=1924
case_no=161 label=Case6.149 nb_sol=0 ticks=123567 tps=100 nb_sec=1235
case_no=161 label=Case6.149 nb_sol=0 ticks=119607 tps=100 nb_sec=1196
case_no=161 label=Case6.149 nb_sol=0 ticks=136757 tps=100 nb_sec=1367
case_no=161 label=Case6.149 nb_sol=0 ticks=157111 tps=100 nb_sec=1571
case_no=161 label=Case6.149 nb_sol=0 ticks=126940 tps=100 nb_sec=1269
case_no=161 label=Case6.149 nb_sol=0 ticks=111568 tps=100 nb_sec=1115
case_no=161 label=Case6.149 nb_sol=0 ticks=146002 tps=100 nb_sec=1460
case_no=161 label=Case6.149 nb_sol=0 ticks=257484 tps=100 nb_sec=2574
case_no=161 label=Case6.149 nb_sol=0 ticks=152334 tps=100 nb_sec=1523
case_no=161 label=Case6.149 nb_sol=0 ticks=131535 tps=100 nb_sec=1315
case_no=161 label=Case6.149 nb_sol=0 ticks=116383 tps=100 nb_sec=1163
case_no=161 label=Case6.149 nb_sol=0 ticks=138484 tps=100 nb_sec=1384
case_no=161 label=Case6.149 nb_sol=0 ticks=130692 tps=100 nb_sec=1306
case_no=161 label=Case6.149 nb_sol=0 ticks=129320 tps=100 nb_sec=1293
case_no=161 label=Case6.149 nb_sol=0 ticks=143892 tps=100 nb_sec=1438
case_no=161 label=Case6.149 nb_sol=0 ticks=114294 tps=100 nb_sec=1142
case_no=161 label=Case6.149 nb_sol=0 ticks=121558 tps=100 nb_sec=1215
case_no=161 label=Case6.149 nb_sol=0 ticks=130692 tps=100 nb_sec=1306
case_no=161 label=Case6.149 nb_sol=0 ticks=90326 tps=100 nb_sec=903
case_no=161 label=Case6.149 nb_sol=0 ticks=86941 tps=100 nb_sec=869
case_no=161 label=Case6.149 nb_sol=0 ticks=61120 tps=100 nb_sec=611
case_no=161 label=Case6.149 nb_sol=0 ticks=120195 tps=100 nb_sec=1201
case_no=161 label=Case6.149 nb_sol=0 ticks=101177 tps=100 nb_sec=1011
case_no=161 label=Case6.149 nb_sol=0 ticks=130580 tps=100 nb_sec=1305
case_no=161 label=Case6.149 nb_sol=0 ticks=128812 tps=100 nb_sec=1288
case_no=161 label=Case6.149 nb_sol=0 ticks=119041 tps=100 nb_sec=1190
case_no=161 label=Case6.149 nb_sol=0 ticks=103397 tps=100 nb_sec=1033
case_no=161 label=Case6.149 nb_sol=0 ticks=93734 tps=100 nb_sec=937
case_no=161 label=Case6.149 nb_sol=0 ticks=102495 tps=100 nb_sec=1024
case_no=161 label=Case6.149 nb_sol=0 ticks=124022 tps=100 nb_sec=1240
case_no=161 label=Case6.149 nb_sol=0 ticks=63483 tps=100 nb_sec=634
case_no=161 label=Case6.149 nb_sol=0 ticks=99293 tps=100 nb_sec=992
case_no=161 label=Case6.149 nb_sol=0 ticks=164744 tps=100 nb_sec=1647
case_no=161 label=Case6.149 nb_sol=0 ticks=106293 tps=100 nb_sec=1062
case_no=161 label=Case6.149 nb_sol=0 ticks=126909 tps=100 nb_sec=1269
case_no=161 label=Case6.149 nb_sol=0 ticks=153317 tps=100 nb_sec=1533
case_no=161 label=Case6.149 nb_sol=0 ticks=146898 tps=100 nb_sec=1468
case_no=161 label=Case6.149 nb_sol=0 ticks=99639 tps=100 nb_sec=996
case_no=161 label=Case6.149 nb_sol=0 ticks=159542 tps=100 nb_sec=1595
case_no=161 label=Case6.149 nb_sol=0 ticks=85510 tps=100 nb_sec=855
case_no=161 label=Case6.149 nb_sol=0 ticks=108310 tps=100 nb_sec=1083
case_no=161 label=Case6.149 nb_sol=0 ticks=148731 tps=100 nb_sec=1487
case_no=161 label=Case6.149 nb_sol=0 ticks=130013 tps=100 nb_sec=1300
case_no=161 label=Case6.149 nb_sol=0 ticks=111258 tps=100 nb_sec=1112
case_no=161 label=Case6.149 nb_sol=0 ticks=159562 tps=100 nb_sec=1595
case_no=161 label=Case6.149 nb_sol=0 ticks=147057 tps=100 nb_sec=1470
case_no=161 label=Case6.149 nb_sol=0 ticks=141896 tps=100 nb_sec=1418
case_no=161 label=Case6.149 nb_sol=0 ticks=151952 tps=100 nb_sec=1519
case_no=161 label=Case6.149 nb_sol=0 ticks=84994 tps=100 nb_sec=849
case_no=161 label=Case6.149 nb_sol=0 ticks=111287 tps=100 nb_sec=1112
case_no=161 label=Case6.149 nb_sol=0 ticks=150823 tps=100 nb_sec=1508
case_no=161 label=Case6.149 nb_sol=0 ticks=103200 tps=100 nb_sec=1032
case_no=161 label=Case6.149 nb_sol=0 ticks=75343 tps=100 nb_sec=753
case_no=161 label=Case6.149 nb_sol=0 ticks=100102 tps=100 nb_sec=1001
case_no=161 label=Case6.149 nb_sol=0 ticks=91318 tps=100 nb_sec=913
case_no=161 label=Case6.149 nb_sol=0 ticks=96598 tps=100 nb_sec=965
Nb_sol=0
Nb_sec=1475553
17-1:52:33 or 409 hours
missing cases:
none