%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB004+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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 : Tue Jul 19 19:04:31 EDT 2022 % Result : Timeout 286.03s 282.89s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : SWB004+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n023.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 : Wed Jun 1 15:03:56 EDT 2022 % 0.13/0.35 % CPUTime : % 2.93/3.14 eprover: CPU time limit exceeded, terminating % 4.97/5.15 eprover: CPU time limit exceeded, terminating % 6.96/7.16 eprover: CPU time limit exceeded, terminating % 9.02/9.17 eprover: CPU time limit exceeded, terminating % 11.04/11.18 eprover: CPU time limit exceeded, terminating % 13.05/13.18 eprover: CPU time limit exceeded, terminating % 15.16/15.19 eprover: CPU time limit exceeded, terminating % 17.19/17.20 eprover: CPU time limit exceeded, terminating % 19.21/19.21 eprover: CPU time limit exceeded, terminating % 21.22/21.22 eprover: CPU time limit exceeded, terminating % 23.27/23.23 eprover: CPU time limit exceeded, terminating % 25.26/25.24 eprover: CPU time limit exceeded, terminating % 27.28/27.25 eprover: CPU time limit exceeded, terminating % 29.32/29.26 eprover: CPU time limit exceeded, terminating % 31.37/31.27 eprover: CPU time limit exceeded, terminating % 33.37/33.29 eprover: CPU time limit exceeded, terminating % 35.48/35.30 eprover: CPU time limit exceeded, terminating % 37.50/37.31 eprover: CPU time limit exceeded, terminating % 39.53/39.34 eprover: CPU time limit exceeded, terminating % 41.51/41.35 eprover: CPU time limit exceeded, terminating % 43.57/43.37 eprover: CPU time limit exceeded, terminating % 45.66/45.39 eprover: CPU time limit exceeded, terminating % 47.70/47.41 eprover: CPU time limit exceeded, terminating % 49.75/49.43 eprover: CPU time limit exceeded, terminating % 51.74/51.44 eprover: CPU time limit exceeded, terminating % 53.78/53.46 eprover: CPU time limit exceeded, terminating % 55.81/55.48 eprover: CPU time limit exceeded, terminating % 57.82/57.49 eprover: CPU time limit exceeded, terminating % 59.91/59.51 eprover: CPU time limit exceeded, terminating % 61.94/61.52 eprover: CPU time limit exceeded, terminating % 63.97/63.53 eprover: CPU time limit exceeded, terminating % 65.96/65.55 eprover: CPU time limit exceeded, terminating % 68.04/67.56 eprover: CPU time limit exceeded, terminating % 70.10/69.57 eprover: CPU time limit exceeded, terminating % 72.10/71.58 eprover: CPU time limit exceeded, terminating % 74.19/73.59 eprover: CPU time limit exceeded, terminating % 76.23/75.60 eprover: CPU time limit exceeded, terminating % 78.26/77.62 eprover: CPU time limit exceeded, terminating % 80.24/79.63 eprover: CPU time limit exceeded, terminating % 82.27/81.64 eprover: CPU time limit exceeded, terminating % 84.35/83.66 eprover: CPU time limit exceeded, terminating % 86.40/85.67 eprover: CPU time limit exceeded, terminating % 88.40/87.68 eprover: CPU time limit exceeded, terminating % 90.45/89.70 eprover: CPU time limit exceeded, terminating % 92.52/91.71 eprover: CPU time limit exceeded, terminating % 94.52/93.72 eprover: CPU time limit exceeded, terminating % 96.57/95.73 eprover: CPU time limit exceeded, terminating % 98.64/97.75 eprover: CPU time limit exceeded, terminating % 100.67/99.76 eprover: CPU time limit exceeded, terminating % 102.69/101.77 eprover: CPU time limit exceeded, terminating % 104.75/103.78 eprover: CPU time limit exceeded, terminating % 106.76/105.80 eprover: CPU time limit exceeded, terminating % 108.79/107.81 eprover: CPU time limit exceeded, terminating % 110.85/109.82 eprover: CPU time limit exceeded, terminating % 112.85/111.83 eprover: CPU time limit exceeded, terminating % 114.93/113.84 eprover: CPU time limit exceeded, terminating % 116.92/115.86 eprover: CPU time limit exceeded, terminating % 118.99/117.87 eprover: CPU time limit exceeded, terminating % 121.02/119.88 eprover: CPU time limit exceeded, terminating % 123.01/121.89 eprover: CPU time limit exceeded, terminating % 125.11/123.91 eprover: CPU time limit exceeded, terminating % 127.16/125.92 eprover: CPU time limit exceeded, terminating % 129.15/127.93 eprover: CPU time limit exceeded, terminating % 131.23/129.94 eprover: CPU time limit exceeded, terminating % 133.21/131.96 eprover: CPU time limit exceeded, terminating % 135.30/133.97 eprover: CPU time limit exceeded, terminating % 137.34/135.98 eprover: CPU time limit exceeded, terminating % 139.36/137.99 eprover: CPU time limit exceeded, terminating % 141.37/140.01 eprover: CPU time limit exceeded, terminating % 143.37/142.02 eprover: CPU time limit exceeded, terminating % 145.46/144.03 eprover: CPU time limit exceeded, terminating % 147.46/146.04 eprover: CPU time limit exceeded, terminating % 149.56/148.06 eprover: CPU time limit exceeded, terminating % 151.54/150.07 eprover: CPU time limit exceeded, terminating % 153.62/152.08 eprover: CPU time limit exceeded, terminating % 155.62/154.09 eprover: CPU time limit exceeded, terminating % 157.67/156.11 eprover: CPU time limit exceeded, terminating % 159.75/158.12 eprover: CPU time limit exceeded, terminating % 161.77/160.13 eprover: CPU time limit exceeded, terminating % 163.74/162.14 eprover: CPU time limit exceeded, terminating % 165.82/164.16 eprover: CPU time limit exceeded, terminating % 167.88/166.17 eprover: CPU time limit exceeded, terminating % 169.90/168.18 eprover: CPU time limit exceeded, terminating % 171.94/170.19 eprover: CPU time limit exceeded, terminating % 173.98/172.20 eprover: CPU time limit exceeded, terminating % 176.02/174.22 eprover: CPU time limit exceeded, terminating % 178.07/176.23 eprover: CPU time limit exceeded, terminating % 180.12/178.24 eprover: CPU time limit exceeded, terminating % 182.17/180.26 eprover: CPU time limit exceeded, terminating % 184.16/182.27 eprover: CPU time limit exceeded, terminating % 186.21/184.29 eprover: CPU time limit exceeded, terminating % 188.29/186.30 eprover: CPU time limit exceeded, terminating % 190.32/188.31 eprover: CPU time limit exceeded, terminating % 192.30/190.32 eprover: CPU time limit exceeded, terminating % 194.37/192.34 eprover: CPU time limit exceeded, terminating % 196.34/194.35 eprover: CPU time limit exceeded, terminating % 198.46/196.36 eprover: CPU time limit exceeded, terminating % 200.48/198.37 eprover: CPU time limit exceeded, terminating % 202.54/200.38 eprover: CPU time limit exceeded, terminating % 204.55/202.39 eprover: CPU time limit exceeded, terminating % 206.57/204.41 eprover: CPU time limit exceeded, terminating % 208.64/206.42 eprover: CPU time limit exceeded, terminating % 210.63/208.43 eprover: CPU time limit exceeded, terminating % 212.72/210.44 eprover: CPU time limit exceeded, terminating % 214.75/212.46 eprover: CPU time limit exceeded, terminating % 216.80/214.47 eprover: CPU time limit exceeded, terminating % 218.82/216.48 eprover: CPU time limit exceeded, terminating % 220.85/218.49 eprover: CPU time limit exceeded, terminating % 222.87/220.51 eprover: CPU time limit exceeded, terminating % 224.89/222.52 eprover: CPU time limit exceeded, terminating % 226.98/224.53 eprover: CPU time limit exceeded, terminating % 228.91/226.55 eprover: CPU time limit exceeded, terminating % 231.04/228.56 eprover: CPU time limit exceeded, terminating % 233.09/230.58 eprover: CPU time limit exceeded, terminating % 235.09/232.59 eprover: CPU time limit exceeded, terminating % 237.15/234.60 eprover: CPU time limit exceeded, terminating % 239.21/236.61 eprover: CPU time limit exceeded, terminating % 241.23/238.62 eprover: CPU time limit exceeded, terminating % 243.22/240.64 eprover: CPU time limit exceeded, terminating % 245.23/242.65 eprover: CPU time limit exceeded, terminating % 247.35/244.66 eprover: CPU time limit exceeded, terminating % 249.36/246.67 eprover: CPU time limit exceeded, terminating % 251.43/248.68 eprover: CPU time limit exceeded, terminating % 253.41/250.70 eprover: CPU time limit exceeded, terminating % 255.51/252.71 eprover: CPU time limit exceeded, terminating % 257.47/254.72 eprover: CPU time limit exceeded, terminating % 259.55/256.73 eprover: CPU time limit exceeded, terminating % 261.59/258.75 eprover: CPU time limit exceeded, terminating % 263.67/260.76 eprover: CPU time limit exceeded, terminating % 265.69/262.77 eprover: CPU time limit exceeded, terminating % 267.71/264.78 eprover: CPU time limit exceeded, terminating % 269.74/266.80 eprover: CPU time limit exceeded, terminating % 271.77/268.81 eprover: CPU time limit exceeded, terminating % 273.79/270.82 eprover: CPU time limit exceeded, terminating % 275.84/272.83 eprover: CPU time limit exceeded, terminating % 277.90/274.84 eprover: CPU time limit exceeded, terminating % 279.91/276.86 eprover: CPU time limit exceeded, terminating % 281.95/278.87 eprover: CPU time limit exceeded, terminating % 283.99/280.88 eprover: CPU time limit exceeded, terminating % 286.03/282.89 eprover: CPU time limit exceeded, terminating % 288.11/284.91 eprover: CPU time limit exceeded, terminating % 290.08/286.92 eprover: CPU time limit exceeded, terminating % 292.18/288.93 eprover: CPU time limit exceeded, terminating % 294.17/290.94 eprover: CPU time limit exceeded, terminating % 296.24/292.96 eprover: CPU time limit exceeded, terminating % 298.29/294.97 eprover: CPU time limit exceeded, terminating % 300.02/296.67 eprover: CPU time limit exceeded, terminating % 300.02/296.69 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------