%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV129+1 : TPTP v8.1.0. Bugfixed v3.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n006.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Wed Jul 20 18:48:44 EDT 2022 % Result : Timeout 286.96s 279.23s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.13 % Problem : SWV129+1 : TPTP v8.1.0. Bugfixed v3.3.0. % 0.12/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n006.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Tue Jun 14 20:45:26 EDT 2022 % 0.13/0.35 % CPUTime : % 3.49/3.62 eprover: CPU time limit exceeded, terminating % 5.53/5.63 eprover: CPU time limit exceeded, terminating % 7.55/7.64 eprover: CPU time limit exceeded, terminating % 9.61/9.65 eprover: CPU time limit exceeded, terminating % 11.69/11.67 eprover: CPU time limit exceeded, terminating % 13.73/13.68 eprover: CPU time limit exceeded, terminating % 15.81/15.69 eprover: CPU time limit exceeded, terminating % 17.87/17.70 eprover: CPU time limit exceeded, terminating % 19.91/19.71 eprover: CPU time limit exceeded, terminating % 21.97/21.73 eprover: CPU time limit exceeded, terminating % 24.02/23.74 eprover: CPU time limit exceeded, terminating % 26.10/25.75 eprover: CPU time limit exceeded, terminating % 28.17/27.76 eprover: CPU time limit exceeded, terminating % 30.25/29.77 eprover: CPU time limit exceeded, terminating % 32.32/31.79 eprover: CPU time limit exceeded, terminating % 34.35/33.80 eprover: CPU time limit exceeded, terminating % 36.42/35.81 eprover: CPU time limit exceeded, terminating % 38.43/37.82 eprover: CPU time limit exceeded, terminating % 40.49/39.84 eprover: CPU time limit exceeded, terminating % 42.58/41.85 eprover: CPU time limit exceeded, terminating % 44.68/43.86 eprover: CPU time limit exceeded, terminating % 46.72/45.87 eprover: CPU time limit exceeded, terminating % 48.80/47.89 eprover: CPU time limit exceeded, terminating % 50.79/49.90 eprover: CPU time limit exceeded, terminating % 52.85/51.91 eprover: CPU time limit exceeded, terminating % 54.93/53.92 eprover: CPU time limit exceeded, terminating % 56.98/55.93 eprover: CPU time limit exceeded, terminating % 59.02/57.95 eprover: CPU time limit exceeded, terminating % 61.06/59.96 eprover: CPU time limit exceeded, terminating % 63.08/61.97 eprover: CPU time limit exceeded, terminating % 65.17/63.99 eprover: CPU time limit exceeded, terminating % 67.23/66.00 eprover: CPU time limit exceeded, terminating % 69.30/68.01 eprover: CPU time limit exceeded, terminating % 71.32/70.03 eprover: CPU time limit exceeded, terminating % 73.41/72.04 eprover: CPU time limit exceeded, terminating % 75.44/74.05 eprover: CPU time limit exceeded, terminating % 77.51/76.06 eprover: CPU time limit exceeded, terminating % 79.61/78.07 eprover: CPU time limit exceeded, terminating % 81.61/80.09 eprover: CPU time limit exceeded, terminating % 83.73/82.10 eprover: CPU time limit exceeded, terminating % 85.79/84.11 eprover: CPU time limit exceeded, terminating % 87.84/86.12 eprover: CPU time limit exceeded, terminating % 89.94/88.14 eprover: CPU time limit exceeded, terminating % 91.94/90.15 eprover: CPU time limit exceeded, terminating % 94.04/92.16 eprover: CPU time limit exceeded, terminating % 96.14/94.18 eprover: CPU time limit exceeded, terminating % 98.16/96.19 eprover: CPU time limit exceeded, terminating % 100.21/98.20 eprover: CPU time limit exceeded, terminating % 102.23/100.22 eprover: CPU time limit exceeded, terminating % 104.35/102.23 eprover: CPU time limit exceeded, terminating % 106.43/104.24 eprover: CPU time limit exceeded, terminating % 108.50/106.25 eprover: CPU time limit exceeded, terminating % 110.54/108.27 eprover: CPU time limit exceeded, terminating % 112.62/110.28 eprover: CPU time limit exceeded, terminating % 114.67/112.29 eprover: CPU time limit exceeded, terminating % 116.77/114.30 eprover: CPU time limit exceeded, terminating % 118.76/116.31 eprover: CPU time limit exceeded, terminating % 120.82/118.33 eprover: CPU time limit exceeded, terminating % 122.93/120.34 eprover: CPU time limit exceeded, terminating % 124.91/122.35 eprover: CPU time limit exceeded, terminating % 127.03/124.37 eprover: CPU time limit exceeded, terminating % 129.10/126.38 eprover: CPU time limit exceeded, terminating % 131.16/128.39 eprover: CPU time limit exceeded, terminating % 133.25/130.40 eprover: CPU time limit exceeded, terminating % 135.26/132.42 eprover: CPU time limit exceeded, terminating % 137.32/134.43 eprover: CPU time limit exceeded, terminating % 139.41/136.44 eprover: CPU time limit exceeded, terminating % 141.42/138.45 eprover: CPU time limit exceeded, terminating % 143.55/140.46 eprover: CPU time limit exceeded, terminating % 145.60/142.47 eprover: CPU time limit exceeded, terminating % 147.65/144.48 eprover: CPU time limit exceeded, terminating % 149.73/146.49 eprover: CPU time limit exceeded, terminating % 151.74/148.50 eprover: CPU time limit exceeded, terminating % 153.84/150.51 eprover: CPU time limit exceeded, terminating % 155.90/152.53 eprover: CPU time limit exceeded, terminating % 157.97/154.55 eprover: CPU time limit exceeded, terminating % 160.00/156.56 eprover: CPU time limit exceeded, terminating % 162.06/158.57 eprover: CPU time limit exceeded, terminating % 164.08/160.58 eprover: CPU time limit exceeded, terminating % 166.17/162.59 eprover: CPU time limit exceeded, terminating % 168.22/164.60 eprover: CPU time limit exceeded, terminating % 170.20/166.61 eprover: CPU time limit exceeded, terminating % 172.28/168.62 eprover: CPU time limit exceeded, terminating % 174.33/170.63 eprover: CPU time limit exceeded, terminating % 176.40/172.64 eprover: CPU time limit exceeded, terminating % 178.47/174.65 eprover: CPU time limit exceeded, terminating % 180.51/176.66 eprover: CPU time limit exceeded, terminating % 182.54/178.67 eprover: CPU time limit exceeded, terminating % 184.61/180.68 eprover: CPU time limit exceeded, terminating % 186.68/182.69 eprover: CPU time limit exceeded, terminating % 188.74/184.71 eprover: CPU time limit exceeded, terminating % 190.75/186.72 eprover: CPU time limit exceeded, terminating % 192.76/188.73 eprover: CPU time limit exceeded, terminating % 194.88/190.74 eprover: CPU time limit exceeded, terminating % 196.86/192.75 eprover: CPU time limit exceeded, terminating % 198.96/194.76 eprover: CPU time limit exceeded, terminating % 201.05/196.77 eprover: CPU time limit exceeded, terminating % 203.06/198.78 eprover: CPU time limit exceeded, terminating % 205.14/200.79 eprover: CPU time limit exceeded, terminating % 207.22/202.81 eprover: CPU time limit exceeded, terminating % 209.23/204.82 eprover: CPU time limit exceeded, terminating % 211.31/206.83 eprover: CPU time limit exceeded, terminating % 213.39/208.84 eprover: CPU time limit exceeded, terminating % 215.37/210.85 eprover: CPU time limit exceeded, terminating % 217.49/212.86 eprover: CPU time limit exceeded, terminating % 219.50/214.87 eprover: CPU time limit exceeded, terminating % 221.56/216.88 eprover: CPU time limit exceeded, terminating % 223.60/218.89 eprover: CPU time limit exceeded, terminating % 225.67/220.91 eprover: CPU time limit exceeded, terminating % 227.75/222.92 eprover: CPU time limit exceeded, terminating % 229.76/224.93 eprover: CPU time limit exceeded, terminating % 231.76/226.94 eprover: CPU time limit exceeded, terminating % 233.91/228.95 eprover: CPU time limit exceeded, terminating % 235.93/230.97 eprover: CPU time limit exceeded, terminating % 237.98/232.98 eprover: CPU time limit exceeded, terminating % 239.99/234.99 eprover: CPU time limit exceeded, terminating % 242.06/237.00 eprover: CPU time limit exceeded, terminating % 244.06/239.01 eprover: CPU time limit exceeded, terminating % 246.17/241.02 eprover: CPU time limit exceeded, terminating % 248.17/243.03 eprover: CPU time limit exceeded, terminating % 250.27/245.04 eprover: CPU time limit exceeded, terminating % 252.31/247.05 eprover: CPU time limit exceeded, terminating % 254.34/249.06 eprover: CPU time limit exceeded, terminating % 256.40/251.07 eprover: CPU time limit exceeded, terminating % 258.44/253.08 eprover: CPU time limit exceeded, terminating % 262.46/255.10 eprover: CPU time limit exceeded, terminating % 264.49/257.11 eprover: CPU time limit exceeded, terminating % 266.55/259.12 eprover: CPU time limit exceeded, terminating % 268.58/261.13 eprover: CPU time limit exceeded, terminating % 270.65/263.14 eprover: CPU time limit exceeded, terminating % 272.69/265.15 eprover: CPU time limit exceeded, terminating % 274.75/267.16 eprover: CPU time limit exceeded, terminating % 276.79/269.17 eprover: CPU time limit exceeded, terminating % 278.82/271.18 eprover: CPU time limit exceeded, terminating % 280.87/273.19 eprover: CPU time limit exceeded, terminating % 282.88/275.21 eprover: CPU time limit exceeded, terminating % 284.93/277.22 eprover: CPU time limit exceeded, terminating % 286.96/279.23 eprover: CPU time limit exceeded, terminating % 289.01/281.24 eprover: CPU time limit exceeded, terminating % 291.06/283.25 eprover: CPU time limit exceeded, terminating % 293.13/285.26 eprover: CPU time limit exceeded, terminating % 295.20/287.27 eprover: CPU time limit exceeded, terminating % 297.25/289.28 eprover: CPU time limit exceeded, terminating % 299.32/291.29 eprover: CPU time limit exceeded, terminating % 300.05/291.96 eprover: CPU time limit exceeded, terminating % 300.05/291.97 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------