TSTP Solution File: LCL687-10.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL687-10.015 : TPTP v8.1.0. Released v7.3.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:51 EDT 2022
% Result : Timeout 285.80s 282.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.13 % Problem : LCL687-10.015 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n020.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % 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 : Sat Jul 2 17:49:30 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.56/2.72 eprover: CPU time limit exceeded, terminating
% 4.54/4.73 eprover: CPU time limit exceeded, terminating
% 6.55/6.74 eprover: CPU time limit exceeded, terminating
% 8.60/8.75 eprover: CPU time limit exceeded, terminating
% 10.58/10.77 eprover: CPU time limit exceeded, terminating
% 12.60/12.78 eprover: CPU time limit exceeded, terminating
% 14.62/14.79 eprover: CPU time limit exceeded, terminating
% 16.72/16.80 eprover: CPU time limit exceeded, terminating
% 18.74/18.81 eprover: CPU time limit exceeded, terminating
% 20.77/20.82 eprover: CPU time limit exceeded, terminating
% 22.78/22.83 eprover: CPU time limit exceeded, terminating
% 24.79/24.84 eprover: CPU time limit exceeded, terminating
% 26.80/26.85 eprover: CPU time limit exceeded, terminating
% 28.83/28.86 eprover: CPU time limit exceeded, terminating
% 30.84/30.87 eprover: CPU time limit exceeded, terminating
% 32.86/32.88 eprover: CPU time limit exceeded, terminating
% 34.92/34.89 eprover: CPU time limit exceeded, terminating
% 36.86/36.91 eprover: CPU time limit exceeded, terminating
% 39.00/38.92 eprover: CPU time limit exceeded, terminating
% 41.00/40.93 eprover: CPU time limit exceeded, terminating
% 43.02/42.94 eprover: CPU time limit exceeded, terminating
% 45.03/44.95 eprover: CPU time limit exceeded, terminating
% 47.06/46.96 eprover: CPU time limit exceeded, terminating
% 49.07/48.97 eprover: CPU time limit exceeded, terminating
% 51.07/50.98 eprover: CPU time limit exceeded, terminating
% 53.16/52.99 eprover: CPU time limit exceeded, terminating
% 55.19/55.00 eprover: CPU time limit exceeded, terminating
% 57.22/57.02 eprover: CPU time limit exceeded, terminating
% 59.20/59.03 eprover: CPU time limit exceeded, terminating
% 61.24/61.04 eprover: CPU time limit exceeded, terminating
% 63.27/63.05 eprover: CPU time limit exceeded, terminating
% 65.25/65.06 eprover: CPU time limit exceeded, terminating
% 67.31/67.07 eprover: CPU time limit exceeded, terminating
% 69.30/69.08 eprover: CPU time limit exceeded, terminating
% 71.38/71.09 eprover: CPU time limit exceeded, terminating
% 73.41/73.10 eprover: CPU time limit exceeded, terminating
% 75.43/75.12 eprover: CPU time limit exceeded, terminating
% 77.43/77.13 eprover: CPU time limit exceeded, terminating
% 79.47/79.14 eprover: CPU time limit exceeded, terminating
% 81.49/81.15 eprover: CPU time limit exceeded, terminating
% 83.47/83.16 eprover: CPU time limit exceeded, terminating
% 85.56/85.17 eprover: CPU time limit exceeded, terminating
% 87.52/87.18 eprover: CPU time limit exceeded, terminating
% 89.59/89.19 eprover: CPU time limit exceeded, terminating
% 91.65/91.20 eprover: CPU time limit exceeded, terminating
% 93.59/93.21 eprover: CPU time limit exceeded, terminating
% 95.69/95.23 eprover: CPU time limit exceeded, terminating
% 97.66/97.24 eprover: CPU time limit exceeded, terminating
% 99.71/99.25 eprover: CPU time limit exceeded, terminating
% 101.72/101.26 eprover: CPU time limit exceeded, terminating
% 103.79/103.27 eprover: CPU time limit exceeded, terminating
% 105.75/105.28 eprover: CPU time limit exceeded, terminating
% 107.77/107.29 eprover: CPU time limit exceeded, terminating
% 109.86/109.30 eprover: CPU time limit exceeded, terminating
% 111.87/111.32 eprover: CPU time limit exceeded, terminating
% 113.89/113.33 eprover: CPU time limit exceeded, terminating
% 115.92/115.34 eprover: CPU time limit exceeded, terminating
% 117.90/117.35 eprover: CPU time limit exceeded, terminating
% 119.94/119.36 eprover: CPU time limit exceeded, terminating
% 121.97/121.37 eprover: CPU time limit exceeded, terminating
% 123.96/123.38 eprover: CPU time limit exceeded, terminating
% 125.99/125.39 eprover: CPU time limit exceeded, terminating
% 130.00/127.40 eprover: CPU time limit exceeded, terminating
% 131.94/129.41 eprover: CPU time limit exceeded, terminating
% 134.03/131.42 eprover: CPU time limit exceeded, terminating
% 136.06/133.43 eprover: CPU time limit exceeded, terminating
% 138.06/135.44 eprover: CPU time limit exceeded, terminating
% 140.05/137.46 eprover: CPU time limit exceeded, terminating
% 142.15/139.47 eprover: CPU time limit exceeded, terminating
% 144.11/141.48 eprover: CPU time limit exceeded, terminating
% 146.14/143.49 eprover: CPU time limit exceeded, terminating
% 148.13/145.50 eprover: CPU time limit exceeded, terminating
% 150.23/147.51 eprover: CPU time limit exceeded, terminating
% 152.25/149.52 eprover: CPU time limit exceeded, terminating
% 154.25/151.53 eprover: CPU time limit exceeded, terminating
% 156.27/153.55 eprover: CPU time limit exceeded, terminating
% 158.31/155.56 eprover: CPU time limit exceeded, terminating
% 160.29/157.57 eprover: CPU time limit exceeded, terminating
% 162.31/159.58 eprover: CPU time limit exceeded, terminating
% 164.39/161.59 eprover: CPU time limit exceeded, terminating
% 166.44/163.60 eprover: CPU time limit exceeded, terminating
% 168.44/165.61 eprover: CPU time limit exceeded, terminating
% 170.48/167.62 eprover: CPU time limit exceeded, terminating
% 172.50/169.64 eprover: CPU time limit exceeded, terminating
% 174.52/171.65 eprover: CPU time limit exceeded, terminating
% 176.54/173.66 eprover: CPU time limit exceeded, terminating
% 178.50/175.67 eprover: CPU time limit exceeded, terminating
% 180.54/177.68 eprover: CPU time limit exceeded, terminating
% 182.57/179.69 eprover: CPU time limit exceeded, terminating
% 184.66/181.70 eprover: CPU time limit exceeded, terminating
% 186.66/183.71 eprover: CPU time limit exceeded, terminating
% 188.68/185.72 eprover: CPU time limit exceeded, terminating
% 190.70/187.73 eprover: CPU time limit exceeded, terminating
% 192.72/189.75 eprover: CPU time limit exceeded, terminating
% 194.75/191.76 eprover: CPU time limit exceeded, terminating
% 196.77/193.77 eprover: CPU time limit exceeded, terminating
% 198.75/195.78 eprover: CPU time limit exceeded, terminating
% 200.87/197.79 eprover: CPU time limit exceeded, terminating
% 202.89/199.80 eprover: CPU time limit exceeded, terminating
% 204.87/201.81 eprover: CPU time limit exceeded, terminating
% 206.87/203.83 eprover: CPU time limit exceeded, terminating
% 208.94/205.84 eprover: CPU time limit exceeded, terminating
% 210.94/207.85 eprover: CPU time limit exceeded, terminating
% 212.95/209.86 eprover: CPU time limit exceeded, terminating
% 215.00/211.87 eprover: CPU time limit exceeded, terminating
% 216.98/213.88 eprover: CPU time limit exceeded, terminating
% 219.06/215.89 eprover: CPU time limit exceeded, terminating
% 221.08/217.90 eprover: CPU time limit exceeded, terminating
% 223.11/219.91 eprover: CPU time limit exceeded, terminating
% 225.12/221.92 eprover: CPU time limit exceeded, terminating
% 227.12/223.94 eprover: CPU time limit exceeded, terminating
% 229.13/225.95 eprover: CPU time limit exceeded, terminating
% 231.15/227.96 eprover: CPU time limit exceeded, terminating
% 233.18/229.97 eprover: CPU time limit exceeded, terminating
% 235.18/231.98 eprover: CPU time limit exceeded, terminating
% 237.21/233.99 eprover: CPU time limit exceeded, terminating
% 239.29/236.00 eprover: CPU time limit exceeded, terminating
% 241.29/238.02 eprover: CPU time limit exceeded, terminating
% 243.33/240.03 eprover: CPU time limit exceeded, terminating
% 245.34/242.04 eprover: CPU time limit exceeded, terminating
% 247.33/244.05 eprover: CPU time limit exceeded, terminating
% 249.35/246.06 eprover: CPU time limit exceeded, terminating
% 251.44/248.07 eprover: CPU time limit exceeded, terminating
% 253.37/250.09 eprover: CPU time limit exceeded, terminating
% 255.47/252.10 eprover: CPU time limit exceeded, terminating
% 257.49/254.12 eprover: CPU time limit exceeded, terminating
% 259.51/256.14 eprover: CPU time limit exceeded, terminating
% 261.50/258.17 eprover: CPU time limit exceeded, terminating
% 263.48/260.18 eprover: CPU time limit exceeded, terminating
% 265.60/262.20 eprover: CPU time limit exceeded, terminating
% 267.63/264.21 eprover: CPU time limit exceeded, terminating
% 269.64/266.22 eprover: CPU time limit exceeded, terminating
% 271.63/268.24 eprover: CPU time limit exceeded, terminating
% 273.66/270.25 eprover: CPU time limit exceeded, terminating
% 275.66/272.26 eprover: CPU time limit exceeded, terminating
% 277.66/274.27 eprover: CPU time limit exceeded, terminating
% 279.68/276.28 eprover: CPU time limit exceeded, terminating
% 281.78/278.29 eprover: CPU time limit exceeded, terminating
% 283.81/280.30 eprover: CPU time limit exceeded, terminating
% 285.80/282.31 eprover: CPU time limit exceeded, terminating
% 287.85/284.32 eprover: CPU time limit exceeded, terminating
% 289.82/286.35 eprover: CPU time limit exceeded, terminating
% 291.81/288.36 eprover: CPU time limit exceeded, terminating
% 293.85/290.37 eprover: CPU time limit exceeded, terminating
% 295.91/292.39 eprover: CPU time limit exceeded, terminating
% 297.95/294.40 eprover: CPU time limit exceeded, terminating
% 299.99/296.41 eprover: CPU time limit exceeded, terminating
% 300.08/296.50 eprover: CPU time limit exceeded, terminating
% 300.08/296.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------