%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV599-1 : TPTP v8.1.0. Released v4.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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:51:00 EDT 2022 % Result : Timeout 286.02s 282.78s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : SWV599-1 : TPTP v8.1.0. Released v4.1.0. % 0.07/0.14 % Command : run_infinox %s % 0.15/0.36 % Computer : n011.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Thu Jun 16 06:22:51 EDT 2022 % 0.15/0.36 % CPUTime : % 2.54/2.80 eprover: CPU time limit exceeded, terminating % 4.66/4.83 eprover: CPU time limit exceeded, terminating % 6.69/6.84 eprover: CPU time limit exceeded, terminating % 8.74/8.86 eprover: CPU time limit exceeded, terminating % 10.73/10.87 eprover: CPU time limit exceeded, terminating % 12.83/12.89 eprover: CPU time limit exceeded, terminating % 14.86/14.91 eprover: CPU time limit exceeded, terminating % 16.90/16.92 eprover: CPU time limit exceeded, terminating % 18.93/18.94 eprover: CPU time limit exceeded, terminating % 20.94/20.95 eprover: CPU time limit exceeded, terminating % 23.00/22.97 eprover: CPU time limit exceeded, terminating % 24.99/24.98 eprover: CPU time limit exceeded, terminating % 27.07/27.00 eprover: CPU time limit exceeded, terminating % 29.16/29.01 eprover: CPU time limit exceeded, terminating % 31.17/31.02 eprover: CPU time limit exceeded, terminating % 33.21/33.04 eprover: CPU time limit exceeded, terminating % 35.20/35.05 eprover: CPU time limit exceeded, terminating % 37.27/37.07 eprover: CPU time limit exceeded, terminating % 39.28/39.08 eprover: CPU time limit exceeded, terminating % 41.30/41.09 eprover: CPU time limit exceeded, terminating % 43.42/43.11 eprover: CPU time limit exceeded, terminating % 45.46/45.13 eprover: CPU time limit exceeded, terminating % 47.47/47.15 eprover: CPU time limit exceeded, terminating % 49.49/49.17 eprover: CPU time limit exceeded, terminating % 51.58/51.19 eprover: CPU time limit exceeded, terminating % 53.62/53.21 eprover: CPU time limit exceeded, terminating % 55.61/55.23 eprover: CPU time limit exceeded, terminating % 57.72/57.26 eprover: CPU time limit exceeded, terminating % 59.75/59.28 eprover: CPU time limit exceeded, terminating % 61.75/61.29 eprover: CPU time limit exceeded, terminating % 63.81/63.31 eprover: CPU time limit exceeded, terminating % 65.83/65.32 eprover: CPU time limit exceeded, terminating % 67.88/67.33 eprover: CPU time limit exceeded, terminating % 69.94/69.35 eprover: CPU time limit exceeded, terminating % 71.98/71.36 eprover: CPU time limit exceeded, terminating % 74.01/73.37 eprover: CPU time limit exceeded, terminating % 76.03/75.39 eprover: CPU time limit exceeded, terminating % 78.07/77.40 eprover: CPU time limit exceeded, terminating % 80.14/79.41 eprover: CPU time limit exceeded, terminating % 82.15/81.43 eprover: CPU time limit exceeded, terminating % 84.14/83.44 eprover: CPU time limit exceeded, terminating % 86.23/85.45 eprover: CPU time limit exceeded, terminating % 88.24/87.47 eprover: CPU time limit exceeded, terminating % 90.32/89.48 eprover: CPU time limit exceeded, terminating % 92.36/91.49 eprover: CPU time limit exceeded, terminating % 94.40/93.51 eprover: CPU time limit exceeded, terminating % 96.40/95.52 eprover: CPU time limit exceeded, terminating % 98.43/97.53 eprover: CPU time limit exceeded, terminating % 100.51/99.55 eprover: CPU time limit exceeded, terminating % 102.54/101.56 eprover: CPU time limit exceeded, terminating % 104.60/103.57 eprover: CPU time limit exceeded, terminating % 106.61/105.58 eprover: CPU time limit exceeded, terminating % 108.58/107.60 eprover: CPU time limit exceeded, terminating % 110.64/109.61 eprover: CPU time limit exceeded, terminating % 112.74/111.62 eprover: CPU time limit exceeded, terminating % 114.74/113.64 eprover: CPU time limit exceeded, terminating % 116.80/115.65 eprover: CPU time limit exceeded, terminating % 118.77/117.66 eprover: CPU time limit exceeded, terminating % 120.86/119.68 eprover: CPU time limit exceeded, terminating % 122.87/121.69 eprover: CPU time limit exceeded, terminating % 124.96/123.70 eprover: CPU time limit exceeded, terminating % 127.00/125.71 eprover: CPU time limit exceeded, terminating % 129.02/127.73 eprover: CPU time limit exceeded, terminating % 131.08/129.74 eprover: CPU time limit exceeded, terminating % 133.08/131.75 eprover: CPU time limit exceeded, terminating % 135.16/133.77 eprover: CPU time limit exceeded, terminating % 137.19/135.78 eprover: CPU time limit exceeded, terminating % 139.24/137.80 eprover: CPU time limit exceeded, terminating % 141.24/139.81 eprover: CPU time limit exceeded, terminating % 143.25/141.82 eprover: CPU time limit exceeded, terminating % 145.36/143.84 eprover: CPU time limit exceeded, terminating % 147.41/145.85 eprover: CPU time limit exceeded, terminating % 149.42/147.86 eprover: CPU time limit exceeded, terminating % 151.46/149.88 eprover: CPU time limit exceeded, terminating % 153.47/151.89 eprover: CPU time limit exceeded, terminating % 155.57/153.90 eprover: CPU time limit exceeded, terminating % 157.60/155.92 eprover: CPU time limit exceeded, terminating % 159.59/157.93 eprover: CPU time limit exceeded, terminating % 161.64/159.94 eprover: CPU time limit exceeded, terminating % 163.70/161.95 eprover: CPU time limit exceeded, terminating % 165.74/163.97 eprover: CPU time limit exceeded, terminating % 167.75/165.98 eprover: CPU time limit exceeded, terminating % 169.83/167.99 eprover: CPU time limit exceeded, terminating % 171.82/170.01 eprover: CPU time limit exceeded, terminating % 173.90/172.02 eprover: CPU time limit exceeded, terminating % 175.95/174.04 eprover: CPU time limit exceeded, terminating % 177.93/176.05 eprover: CPU time limit exceeded, terminating % 180.01/178.06 eprover: CPU time limit exceeded, terminating % 182.03/180.08 eprover: CPU time limit exceeded, terminating % 184.08/182.09 eprover: CPU time limit exceeded, terminating % 186.14/184.10 eprover: CPU time limit exceeded, terminating % 188.19/186.12 eprover: CPU time limit exceeded, terminating % 190.15/188.13 eprover: CPU time limit exceeded, terminating % 192.25/190.15 eprover: CPU time limit exceeded, terminating % 194.29/192.16 eprover: CPU time limit exceeded, terminating % 196.29/194.18 eprover: CPU time limit exceeded, terminating % 198.35/196.19 eprover: CPU time limit exceeded, terminating % 200.41/198.21 eprover: CPU time limit exceeded, terminating % 202.42/200.22 eprover: CPU time limit exceeded, terminating % 204.43/202.23 eprover: CPU time limit exceeded, terminating % 206.52/204.25 eprover: CPU time limit exceeded, terminating % 208.56/206.26 eprover: CPU time limit exceeded, terminating % 210.53/208.27 eprover: CPU time limit exceeded, terminating % 212.63/210.29 eprover: CPU time limit exceeded, terminating % 214.71/212.30 eprover: CPU time limit exceeded, terminating % 216.74/214.31 eprover: CPU time limit exceeded, terminating % 218.71/216.33 eprover: CPU time limit exceeded, terminating % 220.77/218.34 eprover: CPU time limit exceeded, terminating % 222.83/220.35 eprover: CPU time limit exceeded, terminating % 224.85/222.36 eprover: CPU time limit exceeded, terminating % 226.92/224.38 eprover: CPU time limit exceeded, terminating % 228.90/226.39 eprover: CPU time limit exceeded, terminating % 231.00/228.41 eprover: CPU time limit exceeded, terminating % 232.98/230.43 eprover: CPU time limit exceeded, terminating % 235.08/232.44 eprover: CPU time limit exceeded, terminating % 237.09/234.45 eprover: CPU time limit exceeded, terminating % 239.08/236.47 eprover: CPU time limit exceeded, terminating % 241.20/238.48 eprover: CPU time limit exceeded, terminating % 243.24/240.49 eprover: CPU time limit exceeded, terminating % 245.28/242.50 eprover: CPU time limit exceeded, terminating % 247.28/244.52 eprover: CPU time limit exceeded, terminating % 249.33/246.53 eprover: CPU time limit exceeded, terminating % 251.39/248.55 eprover: CPU time limit exceeded, terminating % 253.39/250.56 eprover: CPU time limit exceeded, terminating % 255.47/252.58 eprover: CPU time limit exceeded, terminating % 257.47/254.59 eprover: CPU time limit exceeded, terminating % 259.48/256.60 eprover: CPU time limit exceeded, terminating % 261.60/258.61 eprover: CPU time limit exceeded, terminating % 263.61/260.63 eprover: CPU time limit exceeded, terminating % 265.61/262.64 eprover: CPU time limit exceeded, terminating % 267.64/264.65 eprover: CPU time limit exceeded, terminating % 269.69/266.67 eprover: CPU time limit exceeded, terminating % 271.77/268.68 eprover: CPU time limit exceeded, terminating % 273.77/270.69 eprover: CPU time limit exceeded, terminating % 275.79/272.71 eprover: CPU time limit exceeded, terminating % 277.91/274.72 eprover: CPU time limit exceeded, terminating % 279.94/276.74 eprover: CPU time limit exceeded, terminating % 281.93/278.75 eprover: CPU time limit exceeded, terminating % 283.97/280.76 eprover: CPU time limit exceeded, terminating % 286.02/282.78 eprover: CPU time limit exceeded, terminating % 288.10/284.79 eprover: CPU time limit exceeded, terminating % 290.11/286.80 eprover: CPU time limit exceeded, terminating % 292.17/288.82 eprover: CPU time limit exceeded, terminating % 294.19/290.83 eprover: CPU time limit exceeded, terminating % 296.23/292.85 eprover: CPU time limit exceeded, terminating % 298.26/294.86 eprover: CPU time limit exceeded, terminating % 300.06/296.60 eprover: CPU time limit exceeded, terminating % 300.06/296.61 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------