%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV626-1 : TPTP v8.1.0. Released v4.1.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:51:05 EDT 2022 % Result : Timeout 287.66s 278.78s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWV626-1 : TPTP v8.1.0. Released v4.1.0. % 0.07/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n006.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Wed Jun 15 18:28:56 EDT 2022 % 0.12/0.34 % CPUTime : % 2.87/3.07 eprover: CPU time limit exceeded, terminating % 4.97/5.08 eprover: CPU time limit exceeded, terminating % 7.06/7.09 eprover: CPU time limit exceeded, terminating % 9.07/9.11 eprover: CPU time limit exceeded, terminating % 11.16/11.12 eprover: CPU time limit exceeded, terminating % 13.21/13.13 eprover: CPU time limit exceeded, terminating % 15.27/15.14 eprover: CPU time limit exceeded, terminating % 17.35/17.15 eprover: CPU time limit exceeded, terminating % 19.44/19.17 eprover: CPU time limit exceeded, terminating % 21.45/21.18 eprover: CPU time limit exceeded, terminating % 23.53/23.19 eprover: CPU time limit exceeded, terminating % 25.61/25.20 eprover: CPU time limit exceeded, terminating % 27.70/27.21 eprover: CPU time limit exceeded, terminating % 29.77/29.23 eprover: CPU time limit exceeded, terminating % 31.82/31.24 eprover: CPU time limit exceeded, terminating % 33.90/33.25 eprover: CPU time limit exceeded, terminating % 35.94/35.26 eprover: CPU time limit exceeded, terminating % 38.01/37.27 eprover: CPU time limit exceeded, terminating % 40.10/39.29 eprover: CPU time limit exceeded, terminating % 42.11/41.30 eprover: CPU time limit exceeded, terminating % 44.18/43.31 eprover: CPU time limit exceeded, terminating % 46.29/45.32 eprover: CPU time limit exceeded, terminating % 48.35/47.33 eprover: CPU time limit exceeded, terminating % 50.43/49.35 eprover: CPU time limit exceeded, terminating % 52.43/51.36 eprover: CPU time limit exceeded, terminating % 54.55/53.37 eprover: CPU time limit exceeded, terminating % 56.64/55.38 eprover: CPU time limit exceeded, terminating % 58.65/57.39 eprover: CPU time limit exceeded, terminating % 60.75/59.41 eprover: CPU time limit exceeded, terminating % 62.75/61.42 eprover: CPU time limit exceeded, terminating % 64.84/63.43 eprover: CPU time limit exceeded, terminating % 66.96/65.44 eprover: CPU time limit exceeded, terminating % 69.03/67.45 eprover: CPU time limit exceeded, terminating % 71.09/69.47 eprover: CPU time limit exceeded, terminating % 73.16/71.48 eprover: CPU time limit exceeded, terminating % 75.19/73.49 eprover: CPU time limit exceeded, terminating % 77.28/75.50 eprover: CPU time limit exceeded, terminating % 79.35/77.51 eprover: CPU time limit exceeded, terminating % 81.37/79.53 eprover: CPU time limit exceeded, terminating % 83.40/81.54 eprover: CPU time limit exceeded, terminating % 85.53/83.55 eprover: CPU time limit exceeded, terminating % 87.60/85.56 eprover: CPU time limit exceeded, terminating % 89.63/87.57 eprover: CPU time limit exceeded, terminating % 91.70/89.59 eprover: CPU time limit exceeded, terminating % 93.82/91.60 eprover: CPU time limit exceeded, terminating % 95.85/93.61 eprover: CPU time limit exceeded, terminating % 97.89/95.62 eprover: CPU time limit exceeded, terminating % 99.96/97.63 eprover: CPU time limit exceeded, terminating % 102.04/99.64 eprover: CPU time limit exceeded, terminating % 104.12/101.66 eprover: CPU time limit exceeded, terminating % 106.15/103.67 eprover: CPU time limit exceeded, terminating % 108.25/105.68 eprover: CPU time limit exceeded, terminating % 110.29/107.69 eprover: CPU time limit exceeded, terminating % 112.40/109.72 eprover: CPU time limit exceeded, terminating % 114.38/111.73 eprover: CPU time limit exceeded, terminating % 116.48/113.74 eprover: CPU time limit exceeded, terminating % 118.56/115.75 eprover: CPU time limit exceeded, terminating % 120.65/117.76 eprover: CPU time limit exceeded, terminating % 122.69/119.78 eprover: CPU time limit exceeded, terminating % 124.75/121.79 eprover: CPU time limit exceeded, terminating % 126.85/123.80 eprover: CPU time limit exceeded, terminating % 128.87/125.81 eprover: CPU time limit exceeded, terminating % 130.96/127.82 eprover: CPU time limit exceeded, terminating % 133.03/129.83 eprover: CPU time limit exceeded, terminating % 135.05/131.85 eprover: CPU time limit exceeded, terminating % 137.13/133.86 eprover: CPU time limit exceeded, terminating % 139.20/135.87 eprover: CPU time limit exceeded, terminating % 141.28/137.88 eprover: CPU time limit exceeded, terminating % 143.34/139.89 eprover: CPU time limit exceeded, terminating % 145.42/141.90 eprover: CPU time limit exceeded, terminating % 147.44/143.91 eprover: CPU time limit exceeded, terminating % 149.48/145.93 eprover: CPU time limit exceeded, terminating % 151.59/147.94 eprover: CPU time limit exceeded, terminating % 153.66/149.95 eprover: CPU time limit exceeded, terminating % 155.72/151.96 eprover: CPU time limit exceeded, terminating % 157.77/153.97 eprover: CPU time limit exceeded, terminating % 159.84/155.98 eprover: CPU time limit exceeded, terminating % 161.86/157.99 eprover: CPU time limit exceeded, terminating % 163.95/160.00 eprover: CPU time limit exceeded, terminating % 166.05/162.01 eprover: CPU time limit exceeded, terminating % 168.08/164.03 eprover: CPU time limit exceeded, terminating % 170.12/166.04 eprover: CPU time limit exceeded, terminating % 172.18/168.05 eprover: CPU time limit exceeded, terminating % 174.28/170.06 eprover: CPU time limit exceeded, terminating % 176.36/172.08 eprover: CPU time limit exceeded, terminating % 178.44/174.09 eprover: CPU time limit exceeded, terminating % 180.46/176.10 eprover: CPU time limit exceeded, terminating % 182.56/178.11 eprover: CPU time limit exceeded, terminating % 184.61/180.13 eprover: CPU time limit exceeded, terminating % 186.72/182.14 eprover: CPU time limit exceeded, terminating % 188.76/184.16 eprover: CPU time limit exceeded, terminating % 190.83/186.17 eprover: CPU time limit exceeded, terminating % 192.87/188.18 eprover: CPU time limit exceeded, terminating % 194.93/190.19 eprover: CPU time limit exceeded, terminating % 197.00/192.21 eprover: CPU time limit exceeded, terminating % 199.04/194.22 eprover: CPU time limit exceeded, terminating % 201.13/196.23 eprover: CPU time limit exceeded, terminating % 203.16/198.24 eprover: CPU time limit exceeded, terminating % 205.27/200.26 eprover: CPU time limit exceeded, terminating % 207.30/202.27 eprover: CPU time limit exceeded, terminating % 209.39/204.28 eprover: CPU time limit exceeded, terminating % 211.40/206.30 eprover: CPU time limit exceeded, terminating % 213.53/208.31 eprover: CPU time limit exceeded, terminating % 215.55/210.32 eprover: CPU time limit exceeded, terminating % 217.59/212.33 eprover: CPU time limit exceeded, terminating % 219.65/214.35 eprover: CPU time limit exceeded, terminating % 221.76/216.36 eprover: CPU time limit exceeded, terminating % 223.80/218.37 eprover: CPU time limit exceeded, terminating % 225.85/220.39 eprover: CPU time limit exceeded, terminating % 227.95/222.40 eprover: CPU time limit exceeded, terminating % 230.02/224.41 eprover: CPU time limit exceeded, terminating % 232.04/226.43 eprover: CPU time limit exceeded, terminating % 234.15/228.44 eprover: CPU time limit exceeded, terminating % 236.15/230.45 eprover: CPU time limit exceeded, terminating % 238.21/232.47 eprover: CPU time limit exceeded, terminating % 240.31/234.48 eprover: CPU time limit exceeded, terminating % 242.35/236.49 eprover: CPU time limit exceeded, terminating % 244.46/238.51 eprover: CPU time limit exceeded, terminating % 246.52/240.52 eprover: CPU time limit exceeded, terminating % 248.57/242.54 eprover: CPU time limit exceeded, terminating % 250.66/244.55 eprover: CPU time limit exceeded, terminating % 252.65/246.56 eprover: CPU time limit exceeded, terminating % 254.79/248.58 eprover: CPU time limit exceeded, terminating % 256.78/250.59 eprover: CPU time limit exceeded, terminating % 258.91/252.61 eprover: CPU time limit exceeded, terminating % 260.96/254.62 eprover: CPU time limit exceeded, terminating % 263.02/256.63 eprover: CPU time limit exceeded, terminating % 265.07/258.65 eprover: CPU time limit exceeded, terminating % 267.14/260.66 eprover: CPU time limit exceeded, terminating % 269.15/262.67 eprover: CPU time limit exceeded, terminating % 271.24/264.69 eprover: CPU time limit exceeded, terminating % 273.34/266.70 eprover: CPU time limit exceeded, terminating % 275.35/268.72 eprover: CPU time limit exceeded, terminating % 277.43/270.73 eprover: CPU time limit exceeded, terminating % 279.53/272.74 eprover: CPU time limit exceeded, terminating % 281.55/274.75 eprover: CPU time limit exceeded, terminating % 285.57/276.77 eprover: CPU time limit exceeded, terminating % 287.66/278.78 eprover: CPU time limit exceeded, terminating % 289.68/280.79 eprover: CPU time limit exceeded, terminating % 291.77/282.81 eprover: CPU time limit exceeded, terminating % 293.77/284.82 eprover: CPU time limit exceeded, terminating % 295.88/286.83 eprover: CPU time limit exceeded, terminating % 297.94/288.84 eprover: CPU time limit exceeded, terminating % 299.96/290.86 eprover: CPU time limit exceeded, terminating % 300.07/290.89 eprover: CPU time limit exceeded, terminating % 300.07/290.90 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------