TSTP Solution File: CSR114+18 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR114+18 : 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 : Fri Jul 15 03:35:24 EDT 2022
% Result : Timeout 287.76s 269.25s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR114+18 : TPTP v8.1.0. Released v4.0.0.
% 0.04/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 : Fri Jun 10 15:00:36 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.71/3.76 eprover: CPU time limit exceeded, terminating
% 5.86/5.77 eprover: CPU time limit exceeded, terminating
% 8.03/7.78 eprover: CPU time limit exceeded, terminating
% 10.14/9.79 eprover: CPU time limit exceeded, terminating
% 12.33/11.80 eprover: CPU time limit exceeded, terminating
% 14.46/13.81 eprover: CPU time limit exceeded, terminating
% 16.61/15.83 eprover: CPU time limit exceeded, terminating
% 18.80/17.84 eprover: CPU time limit exceeded, terminating
% 20.93/19.85 eprover: CPU time limit exceeded, terminating
% 23.09/21.86 eprover: CPU time limit exceeded, terminating
% 25.24/23.87 eprover: CPU time limit exceeded, terminating
% 27.44/25.88 eprover: CPU time limit exceeded, terminating
% 29.57/27.89 eprover: CPU time limit exceeded, terminating
% 31.75/29.90 eprover: CPU time limit exceeded, terminating
% 33.89/31.92 eprover: CPU time limit exceeded, terminating
% 36.10/33.93 eprover: CPU time limit exceeded, terminating
% 38.27/35.94 eprover: CPU time limit exceeded, terminating
% 40.41/37.95 eprover: CPU time limit exceeded, terminating
% 42.54/39.96 eprover: CPU time limit exceeded, terminating
% 44.66/41.97 eprover: CPU time limit exceeded, terminating
% 46.77/43.97 eprover: CPU time limit exceeded, terminating
% 48.93/45.98 eprover: CPU time limit exceeded, terminating
% 51.12/47.99 eprover: CPU time limit exceeded, terminating
% 53.22/50.01 eprover: CPU time limit exceeded, terminating
% 55.43/52.02 eprover: CPU time limit exceeded, terminating
% 57.60/54.03 eprover: CPU time limit exceeded, terminating
% 59.74/56.04 eprover: CPU time limit exceeded, terminating
% 61.94/58.05 eprover: CPU time limit exceeded, terminating
% 64.10/60.06 eprover: CPU time limit exceeded, terminating
% 66.23/62.07 eprover: CPU time limit exceeded, terminating
% 68.40/64.09 eprover: CPU time limit exceeded, terminating
% 70.59/66.10 eprover: CPU time limit exceeded, terminating
% 72.72/68.11 eprover: CPU time limit exceeded, terminating
% 74.91/70.12 eprover: CPU time limit exceeded, terminating
% 77.03/72.13 eprover: CPU time limit exceeded, terminating
% 79.22/74.14 eprover: CPU time limit exceeded, terminating
% 81.25/76.16 eprover: CPU time limit exceeded, terminating
% 83.35/78.17 eprover: CPU time limit exceeded, terminating
% 85.49/80.18 eprover: CPU time limit exceeded, terminating
% 87.69/82.19 eprover: CPU time limit exceeded, terminating
% 89.84/84.20 eprover: CPU time limit exceeded, terminating
% 92.00/86.21 eprover: CPU time limit exceeded, terminating
% 94.14/88.22 eprover: CPU time limit exceeded, terminating
% 96.29/90.24 eprover: CPU time limit exceeded, terminating
% 98.45/92.25 eprover: CPU time limit exceeded, terminating
% 100.61/94.26 eprover: CPU time limit exceeded, terminating
% 102.81/96.27 eprover: CPU time limit exceeded, terminating
% 104.96/98.28 eprover: CPU time limit exceeded, terminating
% 107.17/100.29 eprover: CPU time limit exceeded, terminating
% 109.31/102.30 eprover: CPU time limit exceeded, terminating
% 111.49/104.31 eprover: CPU time limit exceeded, terminating
% 113.60/106.32 eprover: CPU time limit exceeded, terminating
% 115.74/108.33 eprover: CPU time limit exceeded, terminating
% 117.92/110.35 eprover: CPU time limit exceeded, terminating
% 120.08/112.36 eprover: CPU time limit exceeded, terminating
% 122.21/114.37 eprover: CPU time limit exceeded, terminating
% 124.34/116.38 eprover: CPU time limit exceeded, terminating
% 126.57/118.39 eprover: CPU time limit exceeded, terminating
% 128.67/120.40 eprover: CPU time limit exceeded, terminating
% 130.91/122.41 eprover: CPU time limit exceeded, terminating
% 133.04/124.42 eprover: CPU time limit exceeded, terminating
% 135.21/126.43 eprover: CPU time limit exceeded, terminating
% 137.34/128.45 eprover: CPU time limit exceeded, terminating
% 139.45/130.46 eprover: CPU time limit exceeded, terminating
% 141.61/132.47 eprover: CPU time limit exceeded, terminating
% 143.77/134.48 eprover: CPU time limit exceeded, terminating
% 145.92/136.49 eprover: CPU time limit exceeded, terminating
% 148.07/138.50 eprover: CPU time limit exceeded, terminating
% 150.34/140.51 eprover: CPU time limit exceeded, terminating
% 152.47/142.52 eprover: CPU time limit exceeded, terminating
% 154.64/144.54 eprover: CPU time limit exceeded, terminating
% 156.77/146.55 eprover: CPU time limit exceeded, terminating
% 158.91/148.56 eprover: CPU time limit exceeded, terminating
% 161.06/150.57 eprover: CPU time limit exceeded, terminating
% 163.21/152.58 eprover: CPU time limit exceeded, terminating
% 165.35/154.59 eprover: CPU time limit exceeded, terminating
% 167.60/156.60 eprover: CPU time limit exceeded, terminating
% 169.77/158.61 eprover: CPU time limit exceeded, terminating
% 171.92/160.62 eprover: CPU time limit exceeded, terminating
% 174.09/162.64 eprover: CPU time limit exceeded, terminating
% 176.21/164.65 eprover: CPU time limit exceeded, terminating
% 178.39/166.66 eprover: CPU time limit exceeded, terminating
% 180.51/168.67 eprover: CPU time limit exceeded, terminating
% 182.66/170.68 eprover: CPU time limit exceeded, terminating
% 184.85/172.69 eprover: CPU time limit exceeded, terminating
% 187.01/174.70 eprover: CPU time limit exceeded, terminating
% 189.17/176.71 eprover: CPU time limit exceeded, terminating
% 191.31/178.72 eprover: CPU time limit exceeded, terminating
% 193.47/180.73 eprover: CPU time limit exceeded, terminating
% 195.60/182.74 eprover: CPU time limit exceeded, terminating
% 197.77/184.75 eprover: CPU time limit exceeded, terminating
% 199.91/186.76 eprover: CPU time limit exceeded, terminating
% 202.04/188.77 eprover: CPU time limit exceeded, terminating
% 204.19/190.78 eprover: CPU time limit exceeded, terminating
% 206.39/192.79 eprover: CPU time limit exceeded, terminating
% 208.53/194.80 eprover: CPU time limit exceeded, terminating
% 210.65/196.82 eprover: CPU time limit exceeded, terminating
% 212.81/198.83 eprover: CPU time limit exceeded, terminating
% 214.97/200.84 eprover: CPU time limit exceeded, terminating
% 217.11/202.85 eprover: CPU time limit exceeded, terminating
% 219.30/204.86 eprover: CPU time limit exceeded, terminating
% 221.47/206.88 eprover: CPU time limit exceeded, terminating
% 223.60/208.89 eprover: CPU time limit exceeded, terminating
% 225.80/210.90 eprover: CPU time limit exceeded, terminating
% 227.88/212.91 eprover: CPU time limit exceeded, terminating
% 230.00/214.93 eprover: CPU time limit exceeded, terminating
% 232.12/216.94 eprover: CPU time limit exceeded, terminating
% 234.22/218.95 eprover: CPU time limit exceeded, terminating
% 236.45/220.96 eprover: CPU time limit exceeded, terminating
% 238.53/222.97 eprover: CPU time limit exceeded, terminating
% 240.73/224.98 eprover: CPU time limit exceeded, terminating
% 242.90/227.00 eprover: CPU time limit exceeded, terminating
% 244.98/229.01 eprover: CPU time limit exceeded, terminating
% 247.16/231.02 eprover: CPU time limit exceeded, terminating
% 249.34/233.03 eprover: CPU time limit exceeded, terminating
% 251.39/235.05 eprover: CPU time limit exceeded, terminating
% 253.49/237.06 eprover: CPU time limit exceeded, terminating
% 255.58/239.07 eprover: CPU time limit exceeded, terminating
% 257.71/241.08 eprover: CPU time limit exceeded, terminating
% 259.91/243.10 eprover: CPU time limit exceeded, terminating
% 262.03/245.12 eprover: CPU time limit exceeded, terminating
% 264.08/247.13 eprover: CPU time limit exceeded, terminating
% 266.24/249.14 eprover: CPU time limit exceeded, terminating
% 268.41/251.15 eprover: CPU time limit exceeded, terminating
% 270.55/253.16 eprover: CPU time limit exceeded, terminating
% 272.73/255.17 eprover: CPU time limit exceeded, terminating
% 274.83/257.18 eprover: CPU time limit exceeded, terminating
% 276.98/259.20 eprover: CPU time limit exceeded, terminating
% 279.17/261.21 eprover: CPU time limit exceeded, terminating
% 281.29/263.22 eprover: CPU time limit exceeded, terminating
% 283.48/265.23 eprover: CPU time limit exceeded, terminating
% 285.55/267.24 eprover: CPU time limit exceeded, terminating
% 287.76/269.25 eprover: CPU time limit exceeded, terminating
% 289.91/271.27 eprover: CPU time limit exceeded, terminating
% 292.03/273.28 eprover: CPU time limit exceeded, terminating
% 294.19/275.29 eprover: CPU time limit exceeded, terminating
% 296.31/277.30 eprover: CPU time limit exceeded, terminating
% 298.37/279.31 eprover: CPU time limit exceeded, terminating
% 300.03/280.89 eprover: CPU time limit exceeded, terminating
% 300.03/280.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------