| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrInt.h | 162 abctime timeToStop; member
185 if ( p->timeToStop == 0 ) in Pdr_ManTimeLimit()
188 return p->timeToStop; in Pdr_ManTimeLimit()
189 if ( p->timeToStop < p->timeToStopOne ) in Pdr_ManTimeLimit()
190 return p->timeToStop; in Pdr_ManTimeLimit()
|
| H A D | pdrIncr.c | 382 p->timeToStop = p->pPars->nTimeOut ? p->pPars->nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in IPdr_ManSolveInt()
536 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in IPdr_ManSolveInt()
560 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in IPdr_ManSolveInt()
696 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in IPdr_ManSolveInt()
739 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in IPdr_ManSolveInt()
|
| H A D | pdrCore.c | 1019 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in Pdr_ManBlockCube()
1049 p->timeToStop = p->pPars->nTimeOut ? p->pPars->nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in Pdr_ManSolveInt()
1152 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in Pdr_ManSolveInt()
1176 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in Pdr_ManSolveInt()
1297 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in Pdr_ManSolveInt()
1340 if ( p->timeToStop && Abc_Clock() > p->timeToStop ) in Pdr_ManSolveInt()
|
| H A D | pdrCnf.c | 372 sat_solver_set_runtime_limit( pSat, p->timeToStop ); in Pdr_ManNewSolver1()
422 sat_solver_set_runtime_limit( pSat, p->timeToStop ); in Pdr_ManNewSolver2()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/awt/font/TextLayout/ |
| H A D | FontLayoutStressTest.java | 65 long timeToStop = System.nanoTime() + TIME_TO_RUN_NS; in main()
66 while (System.nanoTime() < timeToStop) { in main()
|
| /dports/net/seda/seda-release-20020712/seda/src/seda/sandStorm/internal/ |
| H A D | TPSThreadManager.java | 199 if (tp.timeToStop(t2-t1)) { in run()
230 if (tp.timeToStop(0)) { in run()
|
| H A D | ThreadPool.java | 272 public boolean timeToStop(long idleTime) { in timeToStop() method in ThreadPool
|
| /dports/audio/cpige/cpige-1.5/ |
| H A D | cpige.c | 662 if ((cmdLine->timeToStop != -1) && (uptime >= cmdLine->timeToStop))
1264 cmdLine->timeToStop = atoi(buffer) * 3600;
1266 cmdLine->timeToStop = atoi(buffer) * 60;
1268 cmdLine->timeToStop = atoi(buffer);
1273 fprintf(stdout, "Setting timetostop: %lld\n", cmdLine->timeToStop);
1279 cmdLine->timeToStop = -1;
|
| H A D | cpige.h | 35 long long timeToStop; member
|
| /dports/net/seda/seda-release-20020712/seda/src/seda/sandStorm/lib/aDisk/ |
| H A D | AFileTPTM.java | 162 if (tp.timeToStop(t2-t1)) { in run()
|