TSTP Solution File: CSR116+36 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+36 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:35:42 EDT 2022
% Result : Timeout 287.43s 267.19s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : CSR116+36 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n012.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 : Sat Jun 11 14:03:11 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.65/3.75 eprover: CPU time limit exceeded, terminating
% 5.79/5.77 eprover: CPU time limit exceeded, terminating
% 7.92/7.78 eprover: CPU time limit exceeded, terminating
% 10.18/9.79 eprover: CPU time limit exceeded, terminating
% 12.28/11.80 eprover: CPU time limit exceeded, terminating
% 14.50/13.81 eprover: CPU time limit exceeded, terminating
% 16.56/15.82 eprover: CPU time limit exceeded, terminating
% 18.74/17.83 eprover: CPU time limit exceeded, terminating
% 20.93/19.84 eprover: CPU time limit exceeded, terminating
% 23.02/21.85 eprover: CPU time limit exceeded, terminating
% 25.22/23.86 eprover: CPU time limit exceeded, terminating
% 27.41/25.87 eprover: CPU time limit exceeded, terminating
% 29.52/27.88 eprover: CPU time limit exceeded, terminating
% 31.73/29.89 eprover: CPU time limit exceeded, terminating
% 33.92/31.91 eprover: CPU time limit exceeded, terminating
% 36.05/33.92 eprover: CPU time limit exceeded, terminating
% 38.17/35.93 eprover: CPU time limit exceeded, terminating
% 40.40/37.94 eprover: CPU time limit exceeded, terminating
% 42.52/39.95 eprover: CPU time limit exceeded, terminating
% 44.63/41.96 eprover: CPU time limit exceeded, terminating
% 46.87/43.97 eprover: CPU time limit exceeded, terminating
% 49.03/45.98 eprover: CPU time limit exceeded, terminating
% 51.19/47.99 eprover: CPU time limit exceeded, terminating
% 53.33/50.00 eprover: CPU time limit exceeded, terminating
% 55.50/52.02 eprover: CPU time limit exceeded, terminating
% 57.70/54.03 eprover: CPU time limit exceeded, terminating
% 59.83/56.04 eprover: CPU time limit exceeded, terminating
% 61.98/58.05 eprover: CPU time limit exceeded, terminating
% 64.18/60.06 eprover: CPU time limit exceeded, terminating
% 66.27/62.07 eprover: CPU time limit exceeded, terminating
% 68.46/64.08 eprover: CPU time limit exceeded, terminating
% 70.67/66.09 eprover: CPU time limit exceeded, terminating
% 72.82/68.10 eprover: CPU time limit exceeded, terminating
% 74.99/70.12 eprover: CPU time limit exceeded, terminating
% 77.13/72.13 eprover: CPU time limit exceeded, terminating
% 79.30/74.14 eprover: CPU time limit exceeded, terminating
% 81.34/76.15 eprover: CPU time limit exceeded, terminating
% 83.45/78.16 eprover: CPU time limit exceeded, terminating
% 85.59/80.17 eprover: CPU time limit exceeded, terminating
% 87.74/82.18 eprover: CPU time limit exceeded, terminating
% 89.93/84.19 eprover: CPU time limit exceeded, terminating
% 92.07/86.20 eprover: CPU time limit exceeded, terminating
% 94.22/88.21 eprover: CPU time limit exceeded, terminating
% 96.40/90.22 eprover: CPU time limit exceeded, terminating
% 98.53/92.23 eprover: CPU time limit exceeded, terminating
% 100.74/94.25 eprover: CPU time limit exceeded, terminating
% 102.85/96.26 eprover: CPU time limit exceeded, terminating
% 105.03/98.27 eprover: CPU time limit exceeded, terminating
% 107.19/100.28 eprover: CPU time limit exceeded, terminating
% 109.29/102.29 eprover: CPU time limit exceeded, terminating
% 111.51/104.30 eprover: CPU time limit exceeded, terminating
% 113.69/106.31 eprover: CPU time limit exceeded, terminating
% 115.80/108.32 eprover: CPU time limit exceeded, terminating
% 118.00/110.33 eprover: CPU time limit exceeded, terminating
% 120.13/112.34 eprover: CPU time limit exceeded, terminating
% 122.24/114.35 eprover: CPU time limit exceeded, terminating
% 124.38/116.37 eprover: CPU time limit exceeded, terminating
% 126.61/118.38 eprover: CPU time limit exceeded, terminating
% 128.71/120.39 eprover: CPU time limit exceeded, terminating
% 130.92/122.40 eprover: CPU time limit exceeded, terminating
% 133.09/124.41 eprover: CPU time limit exceeded, terminating
% 135.25/126.42 eprover: CPU time limit exceeded, terminating
% 137.35/128.43 eprover: CPU time limit exceeded, terminating
% 139.52/130.45 eprover: CPU time limit exceeded, terminating
% 141.67/132.46 eprover: CPU time limit exceeded, terminating
% 143.78/134.47 eprover: CPU time limit exceeded, terminating
% 145.96/136.48 eprover: CPU time limit exceeded, terminating
% 148.08/138.50 eprover: CPU time limit exceeded, terminating
% 150.33/140.50 eprover: CPU time limit exceeded, terminating
% 152.45/142.51 eprover: CPU time limit exceeded, terminating
% 154.62/144.52 eprover: CPU time limit exceeded, terminating
% 156.77/146.53 eprover: CPU time limit exceeded, terminating
% 158.89/148.55 eprover: CPU time limit exceeded, terminating
% 161.06/150.56 eprover: CPU time limit exceeded, terminating
% 163.18/152.57 eprover: CPU time limit exceeded, terminating
% 165.32/154.58 eprover: CPU time limit exceeded, terminating
% 169.54/156.59 eprover: CPU time limit exceeded, terminating
% 171.62/158.60 eprover: CPU time limit exceeded, terminating
% 173.75/160.61 eprover: CPU time limit exceeded, terminating
% 175.96/162.62 eprover: CPU time limit exceeded, terminating
% 178.10/164.63 eprover: CPU time limit exceeded, terminating
% 180.26/166.64 eprover: CPU time limit exceeded, terminating
% 182.42/168.65 eprover: CPU time limit exceeded, terminating
% 184.53/170.66 eprover: CPU time limit exceeded, terminating
% 186.71/172.67 eprover: CPU time limit exceeded, terminating
% 188.82/174.68 eprover: CPU time limit exceeded, terminating
% 191.05/176.69 eprover: CPU time limit exceeded, terminating
% 193.19/178.70 eprover: CPU time limit exceeded, terminating
% 195.35/180.71 eprover: CPU time limit exceeded, terminating
% 197.48/182.72 eprover: CPU time limit exceeded, terminating
% 199.64/184.73 eprover: CPU time limit exceeded, terminating
% 201.80/186.75 eprover: CPU time limit exceeded, terminating
% 203.92/188.76 eprover: CPU time limit exceeded, terminating
% 206.08/190.77 eprover: CPU time limit exceeded, terminating
% 208.18/192.78 eprover: CPU time limit exceeded, terminating
% 210.42/194.79 eprover: CPU time limit exceeded, terminating
% 212.48/196.80 eprover: CPU time limit exceeded, terminating
% 214.71/198.81 eprover: CPU time limit exceeded, terminating
% 216.86/200.82 eprover: CPU time limit exceeded, terminating
% 219.01/202.83 eprover: CPU time limit exceeded, terminating
% 221.12/204.84 eprover: CPU time limit exceeded, terminating
% 223.27/206.85 eprover: CPU time limit exceeded, terminating
% 225.42/208.86 eprover: CPU time limit exceeded, terminating
% 227.57/210.88 eprover: CPU time limit exceeded, terminating
% 229.79/212.89 eprover: CPU time limit exceeded, terminating
% 231.87/214.90 eprover: CPU time limit exceeded, terminating
% 233.91/216.91 eprover: CPU time limit exceeded, terminating
% 236.06/218.92 eprover: CPU time limit exceeded, terminating
% 238.23/220.93 eprover: CPU time limit exceeded, terminating
% 240.34/222.94 eprover: CPU time limit exceeded, terminating
% 242.50/224.95 eprover: CPU time limit exceeded, terminating
% 244.65/226.96 eprover: CPU time limit exceeded, terminating
% 246.77/228.97 eprover: CPU time limit exceeded, terminating
% 249.00/230.98 eprover: CPU time limit exceeded, terminating
% 251.09/232.99 eprover: CPU time limit exceeded, terminating
% 253.23/235.00 eprover: CPU time limit exceeded, terminating
% 255.28/237.02 eprover: CPU time limit exceeded, terminating
% 257.36/239.03 eprover: CPU time limit exceeded, terminating
% 259.51/241.04 eprover: CPU time limit exceeded, terminating
% 261.64/243.05 eprover: CPU time limit exceeded, terminating
% 263.77/245.06 eprover: CPU time limit exceeded, terminating
% 265.88/247.07 eprover: CPU time limit exceeded, terminating
% 268.01/249.08 eprover: CPU time limit exceeded, terminating
% 270.23/251.09 eprover: CPU time limit exceeded, terminating
% 272.30/253.10 eprover: CPU time limit exceeded, terminating
% 274.52/255.11 eprover: CPU time limit exceeded, terminating
% 276.67/257.13 eprover: CPU time limit exceeded, terminating
% 278.79/259.14 eprover: CPU time limit exceeded, terminating
% 280.96/261.15 eprover: CPU time limit exceeded, terminating
% 283.08/263.16 eprover: CPU time limit exceeded, terminating
% 285.23/265.17 eprover: CPU time limit exceeded, terminating
% 287.43/267.19 eprover: CPU time limit exceeded, terminating
% 289.49/269.20 eprover: CPU time limit exceeded, terminating
% 291.74/271.21 eprover: CPU time limit exceeded, terminating
% 293.89/273.22 eprover: CPU time limit exceeded, terminating
% 295.98/275.23 eprover: CPU time limit exceeded, terminating
% 298.08/277.24 eprover: CPU time limit exceeded, terminating
% 300.05/279.15 eprover: CPU time limit exceeded, terminating
% 300.05/279.16 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------