argc=5
-M 512
file2=30_select_Case6.76_starter_16_
checking files mod 512 from 0 to 511
case_no=88 label=Case6.76 nb_sol=0 ticks=596 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=721 tps=100 nb_sec=7
case_no=88 label=Case6.76 nb_sol=0 ticks=886 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1427 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=976 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=965 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=590 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=878 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=559 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=533 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=883 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1480 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=917 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1487 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=533 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=651 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=478 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=470 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=857 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1011 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1449 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=887 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1069 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1100 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=639 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=936 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=461 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=877 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1453 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=924 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1002 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=895 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=672 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1589 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=522 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=895 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=635 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1555 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=458 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1147 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=1478 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=1046 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=934 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=580 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1077 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=502 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1204 tps=100 nb_sec=12
case_no=88 label=Case6.76 nb_sol=0 ticks=1598 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=1007 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=953 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=551 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=484 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=558 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=911 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1615 tps=100 nb_sec=16
case_no=88 label=Case6.76 nb_sol=0 ticks=1089 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1023 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1010 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1043 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=500 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1576 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=1042 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1008 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=653 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1055 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=468 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1045 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=863 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1553 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=445 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=527 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=560 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1494 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=934 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1477 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=987 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=970 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=669 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=425 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=614 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1001 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=494 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=425 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1025 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=438 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=644 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=619 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=447 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1106 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=877 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=546 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=569 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=630 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1026 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=572 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=477 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=862 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=516 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=972 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=551 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=889 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1395 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=462 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=608 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=916 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1416 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=985 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=971 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=874 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=969 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=550 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=493 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=898 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1458 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=939 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1461 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=884 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1016 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=831 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=547 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=559 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=557 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=513 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1080 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=999 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=939 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1542 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=1515 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=955 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1035 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=571 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=502 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1483 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=904 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1008 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=513 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1404 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=621 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=640 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=593 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=631 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=973 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=897 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=619 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=882 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=457 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1443 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=963 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1011 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=914 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1368 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=442 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=449 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=560 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1377 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1030 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=997 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=493 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=623 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1595 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=864 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=981 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=584 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1389 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=1367 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=921 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=474 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=563 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1446 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=951 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=777 tps=100 nb_sec=7
case_no=88 label=Case6.76 nb_sol=0 ticks=583 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1628 tps=100 nb_sec=16
case_no=88 label=Case6.76 nb_sol=0 ticks=899 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=466 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1015 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=623 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=602 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1002 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=573 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=894 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=567 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=616 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=821 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=844 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1071 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=628 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=396 tps=100 nb_sec=3
case_no=88 label=Case6.76 nb_sol=0 ticks=826 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=398 tps=100 nb_sec=3
case_no=88 label=Case6.76 nb_sol=0 ticks=526 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=848 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=896 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=639 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=1097 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1376 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=1042 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1377 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=489 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=886 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1070 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1370 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=979 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1096 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1469 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=444 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1098 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=862 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=430 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=960 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=932 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1049 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=403 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=892 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=416 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=947 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1016 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=429 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1062 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=570 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=941 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1045 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=520 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=466 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1049 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=590 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=892 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=578 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=909 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1456 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=1069 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1426 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=963 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=892 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1381 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=1536 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=841 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=541 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=500 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1057 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1651 tps=100 nb_sec=16
case_no=88 label=Case6.76 nb_sol=0 ticks=1055 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1570 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=1065 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=977 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=501 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1396 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=1423 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=526 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=599 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=433 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=827 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=986 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=883 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=538 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=942 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=433 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=525 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=444 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=426 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=526 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=958 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=503 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1071 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=967 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=440 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=426 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1024 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=941 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=958 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1008 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=605 tps=100 nb_sec=6
case_no=88 label=Case6.76 nb_sol=0 ticks=990 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1060 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=919 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=591 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=898 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=930 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=982 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1016 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=446 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=897 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=996 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=463 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=852 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=846 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=928 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=549 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=988 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=870 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=493 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=916 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=875 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1430 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=915 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=493 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1383 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=1023 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1081 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=912 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=538 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=992 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1350 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=867 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=552 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1456 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=905 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=916 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=916 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1549 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=883 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=446 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=884 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=467 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=852 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=905 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=446 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=895 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=521 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=901 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=448 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=963 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=518 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=954 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=862 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=955 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1461 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=534 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=873 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=483 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=911 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=458 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=956 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1545 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=512 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=926 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=482 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=905 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=863 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=918 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1390 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=528 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=909 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=507 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=836 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=872 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1459 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=528 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=921 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=802 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=490 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=461 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=861 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1006 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=980 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1369 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=496 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=856 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1596 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=960 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1052 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=526 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=546 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=916 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1503 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=518 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=848 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=878 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=849 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=514 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=532 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=958 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1045 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=562 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=848 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=880 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1450 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=976 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1551 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=553 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=914 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1185 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=929 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=488 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=872 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1006 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1490 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=963 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=876 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1525 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=560 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=436 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=851 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=439 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=528 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1419 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=913 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=861 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=919 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=507 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1029 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1001 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1657 tps=100 nb_sec=16
case_no=88 label=Case6.76 nb_sol=0 ticks=822 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=458 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=943 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=882 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1519 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=983 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=538 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=950 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=534 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=935 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=867 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=495 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1435 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=490 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=905 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=496 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1443 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=988 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=945 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=528 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1022 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=476 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1550 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=818 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=998 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1015 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1108 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=528 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=880 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=482 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1449 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=1030 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1037 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=906 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=499 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1078 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=918 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1124 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=524 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=524 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=481 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=422 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=986 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=529 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=965 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=471 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=458 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=500 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1000 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=434 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=1035 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=534 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=511 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=540 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=580 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=1469 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=558 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=502 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=489 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=422 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=930 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=912 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1393 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=940 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=905 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1024 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1354 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=947 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=896 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=829 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=935 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=1396 tps=100 nb_sec=13
case_no=88 label=Case6.76 nb_sol=0 ticks=856 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1682 tps=100 nb_sec=16
case_no=88 label=Case6.76 nb_sol=0 ticks=1036 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=923 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=854 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1591 tps=100 nb_sec=15
case_no=88 label=Case6.76 nb_sol=0 ticks=1048 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=510 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=934 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=491 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=872 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=905 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=854 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=442 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=465 tps=100 nb_sec=4
case_no=88 label=Case6.76 nb_sol=0 ticks=943 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=894 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=884 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1489 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=1477 tps=100 nb_sec=14
case_no=88 label=Case6.76 nb_sol=0 ticks=1632 tps=100 nb_sec=16
case_no=88 label=Case6.76 nb_sol=0 ticks=804 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=868 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=899 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=1065 tps=100 nb_sec=10
case_no=88 label=Case6.76 nb_sol=0 ticks=1100 tps=100 nb_sec=11
case_no=88 label=Case6.76 nb_sol=0 ticks=892 tps=100 nb_sec=8
case_no=88 label=Case6.76 nb_sol=0 ticks=536 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=957 tps=100 nb_sec=9
case_no=88 label=Case6.76 nb_sol=0 ticks=555 tps=100 nb_sec=5
case_no=88 label=Case6.76 nb_sol=0 ticks=997 tps=100 nb_sec=9
Nb_sol=0
Nb_sec=4232
0-1:10:32 or 1 hours
missing cases:
none