%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV484+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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:50:14 EDT 2022 % Result : Timeout 285.75s 281.11s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV484+1 : TPTP v8.1.0. Released v4.0.0. % 0.03/0.13 % Command : run_infinox %s % 0.14/0.34 % Computer : n018.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Wed Jun 15 04:17:44 EDT 2022 % 0.14/0.35 % CPUTime : % 2.77/2.95 eprover: CPU time limit exceeded, terminating % 4.76/4.98 eprover: CPU time limit exceeded, terminating % 6.79/7.00 eprover: CPU time limit exceeded, terminating % 8.85/9.02 eprover: CPU time limit exceeded, terminating % 10.83/11.03 eprover: CPU time limit exceeded, terminating % 12.88/13.04 eprover: CPU time limit exceeded, terminating % 14.90/15.06 eprover: CPU time limit exceeded, terminating % 16.89/17.08 eprover: CPU time limit exceeded, terminating % 18.91/19.10 eprover: CPU time limit exceeded, terminating % 20.96/21.11 eprover: CPU time limit exceeded, terminating % 22.93/23.12 eprover: CPU time limit exceeded, terminating % 26.88/25.13 eprover: CPU time limit exceeded, terminating % 28.97/27.15 eprover: CPU time limit exceeded, terminating % 30.99/29.16 eprover: CPU time limit exceeded, terminating % 32.99/31.18 eprover: CPU time limit exceeded, terminating % 35.01/33.20 eprover: CPU time limit exceeded, terminating % 37.01/35.21 eprover: CPU time limit exceeded, terminating % 38.99/37.24 eprover: CPU time limit exceeded, terminating % 41.07/39.25 eprover: CPU time limit exceeded, terminating % 43.11/41.27 eprover: CPU time limit exceeded, terminating % 45.15/43.28 eprover: CPU time limit exceeded, terminating % 47.12/45.30 eprover: CPU time limit exceeded, terminating % 49.19/47.31 eprover: CPU time limit exceeded, terminating % 51.22/49.33 eprover: CPU time limit exceeded, terminating % 53.24/51.35 eprover: CPU time limit exceeded, terminating % 55.25/53.36 eprover: CPU time limit exceeded, terminating % 57.27/55.38 eprover: CPU time limit exceeded, terminating % 59.29/57.42 eprover: CPU time limit exceeded, terminating % 61.33/59.43 eprover: CPU time limit exceeded, terminating % 63.34/61.44 eprover: CPU time limit exceeded, terminating % 65.35/63.45 eprover: CPU time limit exceeded, terminating % 67.38/65.47 eprover: CPU time limit exceeded, terminating % 69.37/67.49 eprover: CPU time limit exceeded, terminating % 71.38/69.50 eprover: CPU time limit exceeded, terminating % 73.45/71.51 eprover: CPU time limit exceeded, terminating % 75.47/73.53 eprover: CPU time limit exceeded, terminating % 77.50/75.55 eprover: CPU time limit exceeded, terminating % 79.54/77.56 eprover: CPU time limit exceeded, terminating % 81.54/79.57 eprover: CPU time limit exceeded, terminating % 83.53/81.59 eprover: CPU time limit exceeded, terminating % 85.61/83.60 eprover: CPU time limit exceeded, terminating % 87.63/85.61 eprover: CPU time limit exceeded, terminating % 89.65/87.63 eprover: CPU time limit exceeded, terminating % 91.65/89.64 eprover: CPU time limit exceeded, terminating % 93.67/91.66 eprover: CPU time limit exceeded, terminating % 95.69/93.67 eprover: CPU time limit exceeded, terminating % 97.66/95.69 eprover: CPU time limit exceeded, terminating % 99.70/97.70 eprover: CPU time limit exceeded, terminating % 101.79/99.72 eprover: CPU time limit exceeded, terminating % 103.81/101.74 eprover: CPU time limit exceeded, terminating % 105.80/103.76 eprover: CPU time limit exceeded, terminating % 107.80/105.77 eprover: CPU time limit exceeded, terminating % 109.82/107.79 eprover: CPU time limit exceeded, terminating % 111.93/109.80 eprover: CPU time limit exceeded, terminating % 113.92/111.82 eprover: CPU time limit exceeded, terminating % 115.95/113.84 eprover: CPU time limit exceeded, terminating % 117.97/115.85 eprover: CPU time limit exceeded, terminating % 119.95/117.86 eprover: CPU time limit exceeded, terminating % 121.97/119.88 eprover: CPU time limit exceeded, terminating % 124.05/121.90 eprover: CPU time limit exceeded, terminating % 126.07/123.91 eprover: CPU time limit exceeded, terminating % 128.09/125.93 eprover: CPU time limit exceeded, terminating % 130.08/127.95 eprover: CPU time limit exceeded, terminating % 132.13/129.97 eprover: CPU time limit exceeded, terminating % 134.14/131.99 eprover: CPU time limit exceeded, terminating % 136.12/134.01 eprover: CPU time limit exceeded, terminating % 138.16/136.03 eprover: CPU time limit exceeded, terminating % 140.21/138.05 eprover: CPU time limit exceeded, terminating % 142.26/140.07 eprover: CPU time limit exceeded, terminating % 144.23/142.08 eprover: CPU time limit exceeded, terminating % 146.28/144.10 eprover: CPU time limit exceeded, terminating % 148.34/146.12 eprover: CPU time limit exceeded, terminating % 150.35/148.16 eprover: CPU time limit exceeded, terminating % 152.38/150.18 eprover: CPU time limit exceeded, terminating % 154.38/152.20 eprover: CPU time limit exceeded, terminating % 156.39/154.21 eprover: CPU time limit exceeded, terminating % 158.39/156.23 eprover: CPU time limit exceeded, terminating % 160.46/158.25 eprover: CPU time limit exceeded, terminating % 162.50/160.27 eprover: CPU time limit exceeded, terminating % 164.52/162.28 eprover: CPU time limit exceeded, terminating % 166.55/164.30 eprover: CPU time limit exceeded, terminating % 168.52/166.31 eprover: CPU time limit exceeded, terminating % 170.58/168.33 eprover: CPU time limit exceeded, terminating % 172.58/170.34 eprover: CPU time limit exceeded, terminating % 174.60/172.36 eprover: CPU time limit exceeded, terminating % 176.67/174.37 eprover: CPU time limit exceeded, terminating % 178.68/176.38 eprover: CPU time limit exceeded, terminating % 180.67/178.40 eprover: CPU time limit exceeded, terminating % 182.68/180.42 eprover: CPU time limit exceeded, terminating % 184.75/182.43 eprover: CPU time limit exceeded, terminating % 186.77/184.44 eprover: CPU time limit exceeded, terminating % 188.78/186.45 eprover: CPU time limit exceeded, terminating % 190.78/188.48 eprover: CPU time limit exceeded, terminating % 192.81/190.49 eprover: CPU time limit exceeded, terminating % 194.84/192.50 eprover: CPU time limit exceeded, terminating % 196.83/194.52 eprover: CPU time limit exceeded, terminating % 198.89/196.53 eprover: CPU time limit exceeded, terminating % 200.87/198.54 eprover: CPU time limit exceeded, terminating % 202.94/200.55 eprover: CPU time limit exceeded, terminating % 204.94/202.57 eprover: CPU time limit exceeded, terminating % 206.97/204.58 eprover: CPU time limit exceeded, terminating % 209.02/206.59 eprover: CPU time limit exceeded, terminating % 210.97/208.60 eprover: CPU time limit exceeded, terminating % 213.02/210.61 eprover: CPU time limit exceeded, terminating % 215.05/212.63 eprover: CPU time limit exceeded, terminating % 217.06/214.64 eprover: CPU time limit exceeded, terminating % 219.03/216.65 eprover: CPU time limit exceeded, terminating % 223.08/218.66 eprover: CPU time limit exceeded, terminating % 225.14/220.68 eprover: CPU time limit exceeded, terminating % 227.12/222.69 eprover: CPU time limit exceeded, terminating % 229.17/224.70 eprover: CPU time limit exceeded, terminating % 231.20/226.71 eprover: CPU time limit exceeded, terminating % 233.22/228.73 eprover: CPU time limit exceeded, terminating % 235.19/230.74 eprover: CPU time limit exceeded, terminating % 237.20/232.75 eprover: CPU time limit exceeded, terminating % 239.27/234.76 eprover: CPU time limit exceeded, terminating % 241.28/236.77 eprover: CPU time limit exceeded, terminating % 243.34/238.79 eprover: CPU time limit exceeded, terminating % 245.30/240.80 eprover: CPU time limit exceeded, terminating % 247.37/242.81 eprover: CPU time limit exceeded, terminating % 249.41/244.83 eprover: CPU time limit exceeded, terminating % 251.40/246.84 eprover: CPU time limit exceeded, terminating % 253.44/248.86 eprover: CPU time limit exceeded, terminating % 255.44/250.88 eprover: CPU time limit exceeded, terminating % 257.45/252.89 eprover: CPU time limit exceeded, terminating % 259.47/254.90 eprover: CPU time limit exceeded, terminating % 261.53/256.92 eprover: CPU time limit exceeded, terminating % 263.56/258.94 eprover: CPU time limit exceeded, terminating % 265.54/260.95 eprover: CPU time limit exceeded, terminating % 267.59/262.96 eprover: CPU time limit exceeded, terminating % 269.60/264.98 eprover: CPU time limit exceeded, terminating % 271.61/266.99 eprover: CPU time limit exceeded, terminating % 273.61/269.02 eprover: CPU time limit exceeded, terminating % 275.67/271.03 eprover: CPU time limit exceeded, terminating % 277.64/273.04 eprover: CPU time limit exceeded, terminating % 279.74/275.05 eprover: CPU time limit exceeded, terminating % 281.73/277.07 eprover: CPU time limit exceeded, terminating % 283.75/279.09 eprover: CPU time limit exceeded, terminating % 285.75/281.11 eprover: CPU time limit exceeded, terminating % 287.79/283.12 eprover: CPU time limit exceeded, terminating % 289.79/285.13 eprover: CPU time limit exceeded, terminating % 291.83/287.15 eprover: CPU time limit exceeded, terminating % 293.86/289.16 eprover: CPU time limit exceeded, terminating % 295.91/291.18 eprover: CPU time limit exceeded, terminating % 297.92/293.19 eprover: CPU time limit exceeded, terminating % 299.93/295.21 eprover: CPU time limit exceeded, terminating % 300.32/295.56 eprover: CPU time limit exceeded, terminating % 300.32/295.57 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------