WATCH: 0.00 CPU 0.01 WC ALERT: Will not run MODE-THM152-MS98-3 due to minimal CPU limit 4 ALERT: Will not run MODE-MODULAR-EQUIV-THM due to minimal CPU limit 4 ALERT: Will not run MODE-DISTRIB-THM-MS98 due to minimal CPU limit 4 ALERT: Will not run MODE-PENTAGON-THM2B due to minimal CPU limit 4 ALERT: Will not run MODE-CD-LATTICE-THM due to minimal CPU limit 4 ALERT: Will not run IND-SV-MODE3 due to minimal CPU limit 5 ALERT: Will not run COIND-SV-MODE-180 due to minimal CPU limit 5 ALERT: Will not run MODE-THM15B-V2 due to minimal CPU limit 5 ALERT: Will not run MODE-THM15A-1 due to minimal CPU limit 5 ALERT: Will not run SV-MODE-NOD1 due to minimal CPU limit 5 ALERT: Will not run MODE-THM119-MS98 due to minimal CPU limit 5 ALERT: Will not run MODE-THM409-1-MS90-3 due to minimal CPU limit 5 ALERT: Will not run MODE-THM574 due to minimal CPU limit 5 ALERT: Will not run MODE-THM112-B due to minimal CPU limit 5 ALERT: Will not run MODE-THM300-MSV due to minimal CPU limit 5 ALERT: Will not run MODE-X5204-MS98 due to minimal CPU limit 5 ALERT: Will not run MS98-THM568-MODE due to minimal CPU limit 5 ALERT: Will not run MODE-X2129-C due to minimal CPU limit 5 ALERT: Will not run MODE-PA-THM2-MS98 due to minimal CPU limit 5 ALERT: Will not run MODE-THM126-CORR due to minimal CPU limit 5 ALERT: Will not run MODE-THM145-B-1 due to minimal CPU limit 6 ALERT: Will not run MODE-EQUIV123-MS98 due to minimal CPU limit 6 CPU used so far: 0.15 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode CT29-MODE 2>&1 WATCH: 2.92 CPU 3.02 WC CPU used so far: 4.21 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM631-2 2>&1 WATCH: 5.80 CPU 6.03 WC CPU used so far: 8.26 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5202 2>&1 WATCH: 8.74 CPU 9.04 WC WATCH: 11.75 CPU 12.05 WC CPU used so far: 14.37 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MS03-TF-MODE 2>&1 WATCH: 14.71 CPU 15.06 WC WATCH: 17.73 CPU 18.07 WC CPU used so far: 18.45 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode PR00-MAX-MODE 2>&1 --- TPS did not prove c using mode PR00-MAX-MODE. --- CPU used so far: 18.7 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode EASY-SV-MODE 2>&1 --- TPS did not prove c using mode EASY-SV-MODE. --- CPU used so far: 19.03 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode M15B-TEMP6 2>&1 WATCH: 20.66 CPU 21.08 WC WATCH: 23.70 CPU 24.09 WC CPU used so far: 25.14 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5310-A 2>&1 WATCH: 26.62 CPU 27.10 WC CPU used so far: 29.19 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-MS04-2-EQ-PRIMSUB 2>&1 WATCH: 29.53 CPU 30.12 WC WATCH: 32.54 CPU 33.12 WC CPU used so far: 35.29 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode QUIET-SV-MS03-MODE 2>&1 CPU used so far: 35.39 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM112A-PR00 2>&1 WATCH: 35.47 CPU 36.14 WC WATCH: 38.51 CPU 39.14 WC --- TPS did not prove c using mode MODE-THM112A-PR00. --- CPU used so far: 39.65 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM303-DTPS 2>&1 WATCH: 41.51 CPU 42.15 WC WATCH: 44.53 CPU 45.16 WC CPU used so far: 45.76 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5309A-INTERACTIVE 2>&1 WATCH: 47.48 CPU 48.18 WC WATCH: 50.49 CPU 51.19 WC CPU used so far: 51.91 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM131-MSV-A 2>&1 CPU used so far: 52.49 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM584-PR00 2>&1 WATCH: 53.46 CPU 54.20 WC WATCH: 56.49 CPU 57.21 WC CPU used so far: 58.59 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-CLOSED-THM1 2>&1 WATCH: 59.43 CPU 60.22 WC WATCH: 62.44 CPU 63.24 WC CPU used so far: 62.66 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode IND-SV-MODE 2>&1 WATCH: 65.39 CPU 66.25 WC WATCH: 68.42 CPU 69.26 WC CPU used so far: 68.79 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM120I-1 2>&1 WATCH: 71.39 CPU 72.27 WC CPU used so far: 72.85 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MS04-EQ-TESTMODE 2>&1 WATCH: 74.30 CPU 75.28 WC CPU used so far: 76.91 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM270-MS98 2>&1 WATCH: 77.24 CPU 78.28 WC WATCH: 80.25 CPU 81.29 WC CPU used so far: 80.97 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM302-DTPS 2>&1 WATCH: 83.18 CPU 84.30 WC WATCH: 86.19 CPU 87.31 WC CPU used so far: 87.06 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM407-A 2>&1 WATCH: 89.16 CPU 90.33 WC WATCH: 92.20 CPU 93.34 WC CPU used so far: 93.24 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-T145-MS98-7 2>&1 WATCH: 95.16 CPU 96.35 WC WATCH: 98.17 CPU 99.36 WC CPU used so far: 99.33 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM300A-4 2>&1 WATCH: 101.12 CPU 102.38 WC WATCH: 104.14 CPU 105.39 WC CPU used so far: 105.47 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode EASY-MS03-7-MODE 2>&1 WATCH: 107.09 CPU 108.41 WC WATCH: 110.12 CPU 111.42 WC CPU used so far: 111.57 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-MODULAR-THM-MS98 2>&1 --- TPS did not prove c using mode MODE-MODULAR-THM-MS98. --- CPU used so far: 111.82 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode THM135-MODE 2>&1 WATCH: 113.10 CPU 114.43 WC CPU used so far: 115.25 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM122-PR97 2>&1 WATCH: 116.14 CPU 117.44 WC CPU used so far: 117.33 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM577 2>&1 WATCH: 119.13 CPU 120.45 WC --- TPS did not prove c using mode MODE-THM577. --- CPU used so far: 119.21 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode X5309-MS04-MODE-1 2>&1 WATCH: 122.17 CPU 123.46 WC CPU used so far: 123.28 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM350 2>&1 WATCH: 125.10 CPU 126.48 WC WATCH: 128.12 CPU 129.49 WC CPU used so far: 129.38 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM204 2>&1 CPU used so far: 129.47 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-STRANGE-HO-EXAMPLE 2>&1 WATCH: 131.08 CPU 132.50 WC WATCH: 134.11 CPU 135.52 WC CPU used so far: 135.58 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM532-2 2>&1 WATCH: 137.04 CPU 138.53 WC WATCH: 140.06 CPU 141.54 WC CPU used so far: 141.67 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM40 2>&1 WATCH: 143.00 CPU 144.56 WC CPU used so far: 145.72 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM531E 2>&1 WATCH: 145.93 CPU 147.57 WC WATCH: 148.95 CPU 150.58 WC CPU used so far: 151.82 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5500 2>&1 WATCH: 151.89 CPU 153.59 WC WATCH: 155.05 CPU 156.60 WC CPU used so far: 156.03 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5310-MS98 2>&1 WATCH: 157.94 CPU 159.61 WC CPU used so far: 160.13 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-6102-MS98 2>&1 CPU used so far: 160.29 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM145-A-1 2>&1 WATCH: 160.76 CPU 162.62 WC WATCH: 163.80 CPU 165.62 WC CPU used so far: 164.35 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-MS04-THM616-PREN-SUGG 2>&1 WATCH: 166.71 CPU 168.63 WC CPU used so far: 168.42 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-S-JOINFN-MONOTONE 2>&1 --- TPS did not prove c using mode MODE-S-JOINFN-MONOTONE. --- CPU used so far: 168.7 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode THM100-QUICK-MATING 2>&1 WATCH: 168.73 CPU 171.64 WC WATCH: 171.67 CPU 174.66 WC CPU used so far: 172.36 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM89-MSV 2>&1 WATCH: 174.70 CPU 177.67 WC CPU used so far: 176.4 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5211-REAL 2>&1 WATCH: 176.42 CPU 180.68 WC WATCH: 178.64 CPU 183.69 WC CPU used so far: 179.11 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM522-MS98 2>&1 WATCH: 181.69 CPU 186.70 WC --- TPS did not prove c using mode MODE-THM522-MS98. --- CPU used so far: 182.49 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode SV-TOPOL-MODE-PFTAC 2>&1 WATCH: 184.67 CPU 189.71 WC CPU used so far: 186.54 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MS03-X5309-TEMP-MODE 2>&1 WATCH: 187.62 CPU 192.72 WC WATCH: 190.56 CPU 195.73 WC CPU used so far: 190.59 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 2 4 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM173 2>&1 WATCH: 193.56 CPU 198.74 WC CPU used so far: 194.65 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-GRP-COMM2-MS98 2>&1 WATCH: 196.47 CPU 201.75 WC WATCH: 199.50 CPU 204.76 WC CPU used so far: 200.76 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode GAZING-MODE2 2>&1 WATCH: 202.44 CPU 207.77 WC WATCH: 205.49 CPU 210.78 WC CPU used so far: 206.91 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM15B-PR97-A 2>&1 WATCH: 208.42 CPU 213.80 WC --- TPS did not prove c using mode MODE-THM15B-PR97-A. --- CPU used so far: 211.27 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM136-MS98 2>&1 WATCH: 211.50 CPU 216.81 WC WATCH: 214.53 CPU 219.82 WC CPU used so far: 217.42 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MS98-HO-MODE 2>&1 WATCH: 217.48 CPU 222.83 WC WATCH: 220.50 CPU 225.85 WC WATCH: 223.49 CPU 228.86 WC CPU used so far: 223.52 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MS98-THM563-MODE 2>&1 WATCH: 226.46 CPU 231.87 WC WATCH: 229.48 CPU 234.88 WC CPU used so far: 229.63 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 5 10 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM126-MS98 2>&1 WATCH: 232.42 CPU 237.89 WC WATCH: 235.43 CPU 240.90 WC CPU used so far: 235.74 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 4 8 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-X5306A 2>&1 WATCH: 238.39 CPU 243.92 WC CPU used so far: 239.85 ----------------------------------------------------------------------------- RUNNING: /CW/home-0/sutcliff/SystemExecution/TreeLimitedRun -q2 -p2 60 120 0 /CW/external/nobackup/CASC/cmucl/bin/lisp -core /CW/home-0/sutcliff/Systems/TPS---3.110228S1a/Source/tps3 -prob /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps -mode MODE-THM252C 2>&1 % SZS status GaveUp for /tmp/TPS-GOOD1_18068_cl5-015/TNE083.tps WATCH: 240.35 CPU 245.97 WC FINAL WATCH: 240.35 CPU 245.97 WC