TSTP Solution File: CSR265+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR265+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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 : Fri Jul 15 03:36:11 EDT 2022
% Result : Timeout 286.05s 260.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.15 % Problem : CSR265+1 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.16 % Command : run_infinox %s
% 0.15/0.37 % Computer : n007.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.38 % WCLimit : 600
% 0.15/0.38 % DateTime : Sat Jun 11 10:49:37 EDT 2022
% 0.15/0.38 % CPUTime :
% 6.04/6.04 eprover: CPU time limit exceeded, terminating
% 8.25/8.06 eprover: CPU time limit exceeded, terminating
% 10.46/10.08 eprover: CPU time limit exceeded, terminating
% 12.67/12.10 eprover: CPU time limit exceeded, terminating
% 14.90/14.12 eprover: CPU time limit exceeded, terminating
% 17.12/16.13 eprover: CPU time limit exceeded, terminating
% 19.36/18.15 eprover: CPU time limit exceeded, terminating
% 21.59/20.17 eprover: CPU time limit exceeded, terminating
% 23.80/22.19 eprover: CPU time limit exceeded, terminating
% 26.04/24.21 eprover: CPU time limit exceeded, terminating
% 28.23/26.22 eprover: CPU time limit exceeded, terminating
% 30.45/28.24 eprover: CPU time limit exceeded, terminating
% 32.70/30.26 eprover: CPU time limit exceeded, terminating
% 34.94/32.28 eprover: CPU time limit exceeded, terminating
% 37.18/34.30 eprover: CPU time limit exceeded, terminating
% 39.37/36.32 eprover: CPU time limit exceeded, terminating
% 41.61/38.34 eprover: CPU time limit exceeded, terminating
% 43.87/40.35 eprover: CPU time limit exceeded, terminating
% 46.08/42.37 eprover: CPU time limit exceeded, terminating
% 48.28/44.39 eprover: CPU time limit exceeded, terminating
% 50.55/46.41 eprover: CPU time limit exceeded, terminating
% 52.75/48.43 eprover: CPU time limit exceeded, terminating
% 54.95/50.44 eprover: CPU time limit exceeded, terminating
% 57.22/52.46 eprover: CPU time limit exceeded, terminating
% 59.46/54.48 eprover: CPU time limit exceeded, terminating
% 61.66/56.50 eprover: CPU time limit exceeded, terminating
% 63.89/58.52 eprover: CPU time limit exceeded, terminating
% 66.14/60.54 eprover: CPU time limit exceeded, terminating
% 68.37/62.56 eprover: CPU time limit exceeded, terminating
% 70.56/64.57 eprover: CPU time limit exceeded, terminating
% 72.78/66.59 eprover: CPU time limit exceeded, terminating
% 75.04/68.61 eprover: CPU time limit exceeded, terminating
% 77.28/70.63 eprover: CPU time limit exceeded, terminating
% 79.47/72.64 eprover: CPU time limit exceeded, terminating
% 81.72/74.66 eprover: CPU time limit exceeded, terminating
% 83.97/76.69 eprover: CPU time limit exceeded, terminating
% 86.14/78.70 eprover: CPU time limit exceeded, terminating
% 88.36/80.72 eprover: CPU time limit exceeded, terminating
% 90.65/82.74 eprover: CPU time limit exceeded, terminating
% 92.87/84.76 eprover: CPU time limit exceeded, terminating
% 95.08/86.78 eprover: CPU time limit exceeded, terminating
% 97.33/88.79 eprover: CPU time limit exceeded, terminating
% 99.49/90.81 eprover: CPU time limit exceeded, terminating
% 101.79/92.83 eprover: CPU time limit exceeded, terminating
% 103.99/94.85 eprover: CPU time limit exceeded, terminating
% 106.23/96.87 eprover: CPU time limit exceeded, terminating
% 108.39/98.89 eprover: CPU time limit exceeded, terminating
% 110.63/100.91 eprover: CPU time limit exceeded, terminating
% 112.88/102.92 eprover: CPU time limit exceeded, terminating
% 115.06/104.94 eprover: CPU time limit exceeded, terminating
% 117.32/106.96 eprover: CPU time limit exceeded, terminating
% 119.57/108.98 eprover: CPU time limit exceeded, terminating
% 121.75/111.00 eprover: CPU time limit exceeded, terminating
% 124.00/113.01 eprover: CPU time limit exceeded, terminating
% 126.23/115.03 eprover: CPU time limit exceeded, terminating
% 128.49/117.05 eprover: CPU time limit exceeded, terminating
% 130.71/119.07 eprover: CPU time limit exceeded, terminating
% 132.93/121.09 eprover: CPU time limit exceeded, terminating
% 135.16/123.11 eprover: CPU time limit exceeded, terminating
% 137.38/125.13 eprover: CPU time limit exceeded, terminating
% 139.62/127.15 eprover: CPU time limit exceeded, terminating
% 141.81/129.16 eprover: CPU time limit exceeded, terminating
% 144.03/131.18 eprover: CPU time limit exceeded, terminating
% 146.25/133.20 eprover: CPU time limit exceeded, terminating
% 148.44/135.22 eprover: CPU time limit exceeded, terminating
% 150.72/137.23 eprover: CPU time limit exceeded, terminating
% 152.98/139.25 eprover: CPU time limit exceeded, terminating
% 155.20/141.27 eprover: CPU time limit exceeded, terminating
% 157.40/143.29 eprover: CPU time limit exceeded, terminating
% 159.63/145.30 eprover: CPU time limit exceeded, terminating
% 161.89/147.32 eprover: CPU time limit exceeded, terminating
% 164.06/149.34 eprover: CPU time limit exceeded, terminating
% 166.29/151.36 eprover: CPU time limit exceeded, terminating
% 168.57/153.37 eprover: CPU time limit exceeded, terminating
% 170.73/155.39 eprover: CPU time limit exceeded, terminating
% 172.96/157.41 eprover: CPU time limit exceeded, terminating
% 175.23/159.43 eprover: CPU time limit exceeded, terminating
% 177.39/161.44 eprover: CPU time limit exceeded, terminating
% 179.63/163.46 eprover: CPU time limit exceeded, terminating
% 181.88/165.48 eprover: CPU time limit exceeded, terminating
% 184.07/167.50 eprover: CPU time limit exceeded, terminating
% 186.35/169.52 eprover: CPU time limit exceeded, terminating
% 188.49/171.53 eprover: CPU time limit exceeded, terminating
% 190.80/173.55 eprover: CPU time limit exceeded, terminating
% 193.02/175.57 eprover: CPU time limit exceeded, terminating
% 195.23/177.59 eprover: CPU time limit exceeded, terminating
% 197.42/179.61 eprover: CPU time limit exceeded, terminating
% 199.63/181.62 eprover: CPU time limit exceeded, terminating
% 201.88/183.64 eprover: CPU time limit exceeded, terminating
% 204.13/185.66 eprover: CPU time limit exceeded, terminating
% 206.31/187.68 eprover: CPU time limit exceeded, terminating
% 208.60/189.70 eprover: CPU time limit exceeded, terminating
% 210.80/191.72 eprover: CPU time limit exceeded, terminating
% 213.02/193.74 eprover: CPU time limit exceeded, terminating
% 215.26/195.75 eprover: CPU time limit exceeded, terminating
% 217.44/197.77 eprover: CPU time limit exceeded, terminating
% 219.66/199.78 eprover: CPU time limit exceeded, terminating
% 221.87/201.79 eprover: CPU time limit exceeded, terminating
% 224.14/203.80 eprover: CPU time limit exceeded, terminating
% 226.34/205.81 eprover: CPU time limit exceeded, terminating
% 228.53/207.83 eprover: CPU time limit exceeded, terminating
% 230.76/209.84 eprover: CPU time limit exceeded, terminating
% 232.94/211.85 eprover: CPU time limit exceeded, terminating
% 235.17/213.86 eprover: CPU time limit exceeded, terminating
% 237.34/215.88 eprover: CPU time limit exceeded, terminating
% 239.59/217.89 eprover: CPU time limit exceeded, terminating
% 241.77/219.90 eprover: CPU time limit exceeded, terminating
% 244.00/221.92 eprover: CPU time limit exceeded, terminating
% 246.23/223.93 eprover: CPU time limit exceeded, terminating
% 248.37/225.95 eprover: CPU time limit exceeded, terminating
% 250.61/227.96 eprover: CPU time limit exceeded, terminating
% 252.87/229.98 eprover: CPU time limit exceeded, terminating
% 255.00/231.99 eprover: CPU time limit exceeded, terminating
% 257.26/234.01 eprover: CPU time limit exceeded, terminating
% 259.50/236.02 eprover: CPU time limit exceeded, terminating
% 261.74/238.04 eprover: CPU time limit exceeded, terminating
% 263.95/240.06 eprover: CPU time limit exceeded, terminating
% 266.13/242.08 eprover: CPU time limit exceeded, terminating
% 268.36/244.10 eprover: CPU time limit exceeded, terminating
% 270.60/246.11 eprover: CPU time limit exceeded, terminating
% 272.77/248.13 eprover: CPU time limit exceeded, terminating
% 274.99/250.15 eprover: CPU time limit exceeded, terminating
% 277.17/252.16 eprover: CPU time limit exceeded, terminating
% 279.44/254.18 eprover: CPU time limit exceeded, terminating
% 281.66/256.20 eprover: CPU time limit exceeded, terminating
% 283.88/258.22 eprover: CPU time limit exceeded, terminating
% 286.05/260.23 eprover: CPU time limit exceeded, terminating
% 288.28/262.25 eprover: CPU time limit exceeded, terminating
% 290.54/264.27 eprover: CPU time limit exceeded, terminating
% 292.70/266.28 eprover: CPU time limit exceeded, terminating
% 294.95/268.30 eprover: CPU time limit exceeded, terminating
% 297.18/270.32 eprover: CPU time limit exceeded, terminating
% 299.39/272.34 eprover: CPU time limit exceeded, terminating
% 300.08/272.90 eprover: CPU time limit exceeded, terminating
% 300.08/272.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------