Laurent Rineau de6c5f2895 change the loop pattern when there are PLC errors ... That gave a direct improvement for the four PLC error case from Thingi: ``` name status time error new status new time new error Thingi10K_104400 FAILED 1.710520 PLC_error FAILED 1.243950 PLC_error Thingi10K_162100 FAILED 1.970900 PLC_error passed 1.018690 Thingi10K_285604 FAILED 13.096400 PLC_error FAILED 4.543940 PLC_error Thingi10K_464846 FAILED 321.774000 PLC_error FAILED 16.658500 PLC_error ``` One case `Thingi10K_162100` passed. And the other three got runtime improvement before they reach the error.		2024-01-05 16:59:55 +01:00
..
CGAL	change the loop pattern when there are PLC errors	2024-01-05 16:59:55 +01:00