Test result for contestant A14 (on Sun sparc Ultra-1 512 Mb) ------------------------------------------------------------ #NRUP : number of detected nearly untestable path delay fault circuit #NRUP CPU time (s) memory (MB) s27 6 < 1 1 s208.1 0 < 1 1 s298 98 < 1 1 s344 56 < 1 1 s349 74 < 1 1 s382 66 1 1 s420.1 0 6 1.4 s444 257 2 1.1 s510 0 4 1.2 s526 100 2 1.1 s526n 98 2 1.1 s641 1213 13 2.2 s713 38702 153 19 s820 0 11 1.4 s832 15 11 1.4 s838.1 0 50 3 s953 0 25 2.3 s1196 2422 65 2.3 s1238 3392 78 2.4 s1423 44204 607 26 s1488 8 45 3 s1494 25 47 3 s5378 5156 244 23 s9234 429588 6849 200 Test result for contestant A15 (on Sun sparc Ultra-1 512 Mb) ------------------------------------------------------------ #NRUP : number of detected nearly untestable path delay fault circuit #NRUP CPU time memory (MB) s27 6 < 1 2 s208.1 0 1 3.1 s298 98 2 3.1 s344 56 6 3.1 s349 74 6 3.1 s382 66 5 3.1 s420.1 0 10 3.1 s444 257 8 3.1 s510 0 7 3.1 s526 100 4 3.3 s526n 98 4 3.3 s641 1218 80 3.5 s713 38702 900 11 s820 0 11 3.4 s832 16 12 3.3 s838.1 0 81 3.3 s953 0 44 3.3 s1196 2398 131 3.5 s1238 3358 152 3.3 s1423 44254 3381 11.4 s1488 8 54 3.4 s1494 25 56 3.4 s5378 5156 661 5.5 s9234 429622 15129 70 Note : Both programs are robust and run through most of the ISCAS89 benchmark circuits. Both meet the requirements of the contest. In general, A14 is faster but consumes more memory. A14 also prints out more information.