TSTP Solution File: LCL667+1.010 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL667+1.010 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 : Sun Jul 17 11:12:25 EDT 2022
% Result : Timeout 287.41s 286.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LCL667+1.010 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n020.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jul 2 15:55:15 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.54/2.72 eprover: CPU time limit exceeded, terminating
% 4.57/4.73 eprover: CPU time limit exceeded, terminating
% 6.55/6.74 eprover: CPU time limit exceeded, terminating
% 8.59/8.75 eprover: CPU time limit exceeded, terminating
% 10.58/10.76 eprover: CPU time limit exceeded, terminating
% 12.57/12.76 eprover: CPU time limit exceeded, terminating
% 14.66/14.77 eprover: CPU time limit exceeded, terminating
% 16.63/16.78 eprover: CPU time limit exceeded, terminating
% 18.65/18.79 eprover: CPU time limit exceeded, terminating
% 20.70/20.82 eprover: CPU time limit exceeded, terminating
% 22.72/22.84 eprover: CPU time limit exceeded, terminating
% 24.73/24.85 eprover: CPU time limit exceeded, terminating
% 26.77/26.86 eprover: CPU time limit exceeded, terminating
% 28.74/28.87 eprover: CPU time limit exceeded, terminating
% 30.77/30.88 eprover: CPU time limit exceeded, terminating
% 32.79/32.89 eprover: CPU time limit exceeded, terminating
% 34.78/34.90 eprover: CPU time limit exceeded, terminating
% 36.85/36.91 eprover: CPU time limit exceeded, terminating
% 38.89/38.92 eprover: CPU time limit exceeded, terminating
% 40.87/40.93 eprover: CPU time limit exceeded, terminating
% 42.88/42.94 eprover: CPU time limit exceeded, terminating
% 44.92/44.95 eprover: CPU time limit exceeded, terminating
% 46.96/46.96 eprover: CPU time limit exceeded, terminating
% 48.96/48.98 eprover: CPU time limit exceeded, terminating
% 50.98/50.99 eprover: CPU time limit exceeded, terminating
% 53.01/53.02 eprover: CPU time limit exceeded, terminating
% 55.07/55.03 eprover: CPU time limit exceeded, terminating
% 57.10/57.04 eprover: CPU time limit exceeded, terminating
% 59.05/59.06 eprover: CPU time limit exceeded, terminating
% 61.10/61.07 eprover: CPU time limit exceeded, terminating
% 63.17/63.08 eprover: CPU time limit exceeded, terminating
% 65.17/65.10 eprover: CPU time limit exceeded, terminating
% 67.20/67.11 eprover: CPU time limit exceeded, terminating
% 69.23/69.12 eprover: CPU time limit exceeded, terminating
% 71.25/71.13 eprover: CPU time limit exceeded, terminating
% 73.23/73.14 eprover: CPU time limit exceeded, terminating
% 75.26/75.15 eprover: CPU time limit exceeded, terminating
% 77.26/77.16 eprover: CPU time limit exceeded, terminating
% 79.32/79.17 eprover: CPU time limit exceeded, terminating
% 81.32/81.18 eprover: CPU time limit exceeded, terminating
% 83.38/83.22 eprover: CPU time limit exceeded, terminating
% 85.38/85.23 eprover: CPU time limit exceeded, terminating
% 87.40/87.24 eprover: CPU time limit exceeded, terminating
% 89.38/89.25 eprover: CPU time limit exceeded, terminating
% 91.41/91.26 eprover: CPU time limit exceeded, terminating
% 93.45/93.27 eprover: CPU time limit exceeded, terminating
% 95.42/95.28 eprover: CPU time limit exceeded, terminating
% 97.51/97.29 eprover: CPU time limit exceeded, terminating
% 99.55/99.30 eprover: CPU time limit exceeded, terminating
% 101.53/101.31 eprover: CPU time limit exceeded, terminating
% 103.58/103.32 eprover: CPU time limit exceeded, terminating
% 105.56/105.33 eprover: CPU time limit exceeded, terminating
% 107.59/107.34 eprover: CPU time limit exceeded, terminating
% 109.62/109.35 eprover: CPU time limit exceeded, terminating
% 111.61/111.36 eprover: CPU time limit exceeded, terminating
% 113.62/113.37 eprover: CPU time limit exceeded, terminating
% 115.69/115.38 eprover: CPU time limit exceeded, terminating
% 117.66/117.39 eprover: CPU time limit exceeded, terminating
% 119.75/119.40 eprover: CPU time limit exceeded, terminating
% 121.77/121.41 eprover: CPU time limit exceeded, terminating
% 123.78/123.42 eprover: CPU time limit exceeded, terminating
% 125.76/125.43 eprover: CPU time limit exceeded, terminating
% 127.78/127.45 eprover: CPU time limit exceeded, terminating
% 129.79/129.46 eprover: CPU time limit exceeded, terminating
% 131.81/131.48 eprover: CPU time limit exceeded, terminating
% 133.88/133.49 eprover: CPU time limit exceeded, terminating
% 135.84/135.50 eprover: CPU time limit exceeded, terminating
% 137.92/137.50 eprover: CPU time limit exceeded, terminating
% 139.88/139.51 eprover: CPU time limit exceeded, terminating
% 141.93/141.52 eprover: CPU time limit exceeded, terminating
% 143.96/143.53 eprover: CPU time limit exceeded, terminating
% 145.95/145.54 eprover: CPU time limit exceeded, terminating
% 147.98/147.55 eprover: CPU time limit exceeded, terminating
% 150.01/149.56 eprover: CPU time limit exceeded, terminating
% 151.99/151.56 eprover: CPU time limit exceeded, terminating
% 154.03/153.57 eprover: CPU time limit exceeded, terminating
% 156.10/155.58 eprover: CPU time limit exceeded, terminating
% 158.06/157.59 eprover: CPU time limit exceeded, terminating
% 160.14/159.60 eprover: CPU time limit exceeded, terminating
% 162.15/161.61 eprover: CPU time limit exceeded, terminating
% 164.15/163.61 eprover: CPU time limit exceeded, terminating
% 166.16/165.62 eprover: CPU time limit exceeded, terminating
% 168.15/167.63 eprover: CPU time limit exceeded, terminating
% 170.19/169.64 eprover: CPU time limit exceeded, terminating
% 172.19/171.65 eprover: CPU time limit exceeded, terminating
% 174.22/173.66 eprover: CPU time limit exceeded, terminating
% 176.22/175.66 eprover: CPU time limit exceeded, terminating
% 178.22/177.67 eprover: CPU time limit exceeded, terminating
% 180.32/179.68 eprover: CPU time limit exceeded, terminating
% 182.33/181.69 eprover: CPU time limit exceeded, terminating
% 184.28/183.70 eprover: CPU time limit exceeded, terminating
% 186.36/185.71 eprover: CPU time limit exceeded, terminating
% 188.39/187.72 eprover: CPU time limit exceeded, terminating
% 190.40/189.73 eprover: CPU time limit exceeded, terminating
% 192.40/191.74 eprover: CPU time limit exceeded, terminating
% 194.44/193.75 eprover: CPU time limit exceeded, terminating
% 196.45/195.75 eprover: CPU time limit exceeded, terminating
% 198.43/197.76 eprover: CPU time limit exceeded, terminating
% 200.51/199.77 eprover: CPU time limit exceeded, terminating
% 202.47/201.78 eprover: CPU time limit exceeded, terminating
% 204.54/203.79 eprover: CPU time limit exceeded, terminating
% 206.56/205.80 eprover: CPU time limit exceeded, terminating
% 208.51/207.81 eprover: CPU time limit exceeded, terminating
% 210.59/209.82 eprover: CPU time limit exceeded, terminating
% 212.63/211.83 eprover: CPU time limit exceeded, terminating
% 214.64/213.84 eprover: CPU time limit exceeded, terminating
% 216.62/215.85 eprover: CPU time limit exceeded, terminating
% 218.68/217.86 eprover: CPU time limit exceeded, terminating
% 220.67/219.87 eprover: CPU time limit exceeded, terminating
% 222.69/221.88 eprover: CPU time limit exceeded, terminating
% 224.66/223.89 eprover: CPU time limit exceeded, terminating
% 226.73/225.90 eprover: CPU time limit exceeded, terminating
% 228.77/227.91 eprover: CPU time limit exceeded, terminating
% 230.81/229.92 eprover: CPU time limit exceeded, terminating
% 232.80/231.93 eprover: CPU time limit exceeded, terminating
% 234.83/233.94 eprover: CPU time limit exceeded, terminating
% 236.82/235.95 eprover: CPU time limit exceeded, terminating
% 238.85/237.96 eprover: CPU time limit exceeded, terminating
% 240.88/239.97 eprover: CPU time limit exceeded, terminating
% 242.86/241.98 eprover: CPU time limit exceeded, terminating
% 244.88/243.99 eprover: CPU time limit exceeded, terminating
% 246.90/246.00 eprover: CPU time limit exceeded, terminating
% 248.99/248.01 eprover: CPU time limit exceeded, terminating
% 251.01/250.02 eprover: CPU time limit exceeded, terminating
% 253.04/252.03 eprover: CPU time limit exceeded, terminating
% 255.02/254.04 eprover: CPU time limit exceeded, terminating
% 257.05/256.06 eprover: CPU time limit exceeded, terminating
% 259.06/258.07 eprover: CPU time limit exceeded, terminating
% 261.07/260.08 eprover: CPU time limit exceeded, terminating
% 263.07/262.09 eprover: CPU time limit exceeded, terminating
% 265.17/264.10 eprover: CPU time limit exceeded, terminating
% 267.11/266.11 eprover: CPU time limit exceeded, terminating
% 269.21/268.12 eprover: CPU time limit exceeded, terminating
% 271.20/270.13 eprover: CPU time limit exceeded, terminating
% 273.23/272.14 eprover: CPU time limit exceeded, terminating
% 275.27/274.16 eprover: CPU time limit exceeded, terminating
% 277.24/276.17 eprover: CPU time limit exceeded, terminating
% 279.27/278.18 eprover: CPU time limit exceeded, terminating
% 281.30/280.19 eprover: CPU time limit exceeded, terminating
% 283.38/282.20 eprover: CPU time limit exceeded, terminating
% 285.36/284.21 eprover: CPU time limit exceeded, terminating
% 287.41/286.23 eprover: CPU time limit exceeded, terminating
% 289.43/288.24 eprover: CPU time limit exceeded, terminating
% 291.42/290.26 eprover: CPU time limit exceeded, terminating
% 293.50/292.29 eprover: CPU time limit exceeded, terminating
% 295.51/294.31 eprover: CPU time limit exceeded, terminating
% 297.53/296.33 eprover: CPU time limit exceeded, terminating
% 299.55/298.34 eprover: CPU time limit exceeded, terminating
% 300.12/298.88 eprover: CPU time limit exceeded, terminating
% 300.12/298.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------