TSTP Solution File: CSR116+41 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+41 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:43 EDT 2022
% Result : Timeout 287.81s 265.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR116+41 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n024.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 10 11:41:34 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.75/3.84 eprover: CPU time limit exceeded, terminating
% 5.95/5.85 eprover: CPU time limit exceeded, terminating
% 8.12/7.87 eprover: CPU time limit exceeded, terminating
% 10.28/9.88 eprover: CPU time limit exceeded, terminating
% 12.43/11.90 eprover: CPU time limit exceeded, terminating
% 14.60/13.91 eprover: CPU time limit exceeded, terminating
% 16.79/15.92 eprover: CPU time limit exceeded, terminating
% 18.90/17.94 eprover: CPU time limit exceeded, terminating
% 21.08/19.95 eprover: CPU time limit exceeded, terminating
% 23.28/21.97 eprover: CPU time limit exceeded, terminating
% 25.46/23.98 eprover: CPU time limit exceeded, terminating
% 27.62/26.00 eprover: CPU time limit exceeded, terminating
% 29.73/28.01 eprover: CPU time limit exceeded, terminating
% 31.94/30.02 eprover: CPU time limit exceeded, terminating
% 34.09/32.04 eprover: CPU time limit exceeded, terminating
% 36.32/34.05 eprover: CPU time limit exceeded, terminating
% 38.47/36.06 eprover: CPU time limit exceeded, terminating
% 40.62/38.08 eprover: CPU time limit exceeded, terminating
% 42.83/40.09 eprover: CPU time limit exceeded, terminating
% 44.98/42.11 eprover: CPU time limit exceeded, terminating
% 47.13/44.12 eprover: CPU time limit exceeded, terminating
% 49.34/46.13 eprover: CPU time limit exceeded, terminating
% 51.52/48.15 eprover: CPU time limit exceeded, terminating
% 53.69/50.16 eprover: CPU time limit exceeded, terminating
% 55.86/52.17 eprover: CPU time limit exceeded, terminating
% 58.04/54.19 eprover: CPU time limit exceeded, terminating
% 60.21/56.20 eprover: CPU time limit exceeded, terminating
% 62.37/58.22 eprover: CPU time limit exceeded, terminating
% 64.52/60.23 eprover: CPU time limit exceeded, terminating
% 66.66/62.24 eprover: CPU time limit exceeded, terminating
% 68.84/64.25 eprover: CPU time limit exceeded, terminating
% 71.02/66.27 eprover: CPU time limit exceeded, terminating
% 73.20/68.28 eprover: CPU time limit exceeded, terminating
% 75.34/70.29 eprover: CPU time limit exceeded, terminating
% 77.43/72.30 eprover: CPU time limit exceeded, terminating
% 79.65/74.31 eprover: CPU time limit exceeded, terminating
% 81.72/76.32 eprover: CPU time limit exceeded, terminating
% 83.79/78.33 eprover: CPU time limit exceeded, terminating
% 85.95/80.34 eprover: CPU time limit exceeded, terminating
% 88.06/82.35 eprover: CPU time limit exceeded, terminating
% 90.28/84.37 eprover: CPU time limit exceeded, terminating
% 92.40/86.38 eprover: CPU time limit exceeded, terminating
% 94.56/88.39 eprover: CPU time limit exceeded, terminating
% 96.69/90.40 eprover: CPU time limit exceeded, terminating
% 98.81/92.41 eprover: CPU time limit exceeded, terminating
% 101.02/94.43 eprover: CPU time limit exceeded, terminating
% 103.22/96.44 eprover: CPU time limit exceeded, terminating
% 105.35/98.45 eprover: CPU time limit exceeded, terminating
% 107.54/100.47 eprover: CPU time limit exceeded, terminating
% 109.68/102.48 eprover: CPU time limit exceeded, terminating
% 111.86/104.50 eprover: CPU time limit exceeded, terminating
% 113.98/106.51 eprover: CPU time limit exceeded, terminating
% 116.18/108.52 eprover: CPU time limit exceeded, terminating
% 118.27/110.53 eprover: CPU time limit exceeded, terminating
% 120.48/112.54 eprover: CPU time limit exceeded, terminating
% 122.62/114.56 eprover: CPU time limit exceeded, terminating
% 124.77/116.57 eprover: CPU time limit exceeded, terminating
% 126.89/118.58 eprover: CPU time limit exceeded, terminating
% 129.05/120.59 eprover: CPU time limit exceeded, terminating
% 131.23/122.60 eprover: CPU time limit exceeded, terminating
% 133.38/124.61 eprover: CPU time limit exceeded, terminating
% 135.56/126.63 eprover: CPU time limit exceeded, terminating
% 137.73/128.64 eprover: CPU time limit exceeded, terminating
% 139.80/130.66 eprover: CPU time limit exceeded, terminating
% 141.93/132.67 eprover: CPU time limit exceeded, terminating
% 146.10/134.68 eprover: CPU time limit exceeded, terminating
% 148.32/136.69 eprover: CPU time limit exceeded, terminating
% 150.50/138.70 eprover: CPU time limit exceeded, terminating
% 152.65/140.72 eprover: CPU time limit exceeded, terminating
% 154.74/142.73 eprover: CPU time limit exceeded, terminating
% 156.94/144.74 eprover: CPU time limit exceeded, terminating
% 159.05/146.75 eprover: CPU time limit exceeded, terminating
% 161.21/148.77 eprover: CPU time limit exceeded, terminating
% 163.36/150.78 eprover: CPU time limit exceeded, terminating
% 165.55/152.79 eprover: CPU time limit exceeded, terminating
% 167.66/154.80 eprover: CPU time limit exceeded, terminating
% 169.78/156.82 eprover: CPU time limit exceeded, terminating
% 171.98/158.83 eprover: CPU time limit exceeded, terminating
% 174.09/160.84 eprover: CPU time limit exceeded, terminating
% 176.26/162.86 eprover: CPU time limit exceeded, terminating
% 178.41/164.87 eprover: CPU time limit exceeded, terminating
% 180.55/166.88 eprover: CPU time limit exceeded, terminating
% 182.71/168.90 eprover: CPU time limit exceeded, terminating
% 184.92/170.91 eprover: CPU time limit exceeded, terminating
% 187.09/172.92 eprover: CPU time limit exceeded, terminating
% 189.22/174.94 eprover: CPU time limit exceeded, terminating
% 191.36/176.95 eprover: CPU time limit exceeded, terminating
% 193.54/178.96 eprover: CPU time limit exceeded, terminating
% 195.63/180.97 eprover: CPU time limit exceeded, terminating
% 197.83/182.99 eprover: CPU time limit exceeded, terminating
% 200.01/185.00 eprover: CPU time limit exceeded, terminating
% 202.18/187.01 eprover: CPU time limit exceeded, terminating
% 204.32/189.02 eprover: CPU time limit exceeded, terminating
% 206.48/191.03 eprover: CPU time limit exceeded, terminating
% 208.65/193.05 eprover: CPU time limit exceeded, terminating
% 210.78/195.06 eprover: CPU time limit exceeded, terminating
% 212.88/197.07 eprover: CPU time limit exceeded, terminating
% 215.14/199.08 eprover: CPU time limit exceeded, terminating
% 217.20/201.10 eprover: CPU time limit exceeded, terminating
% 219.44/203.11 eprover: CPU time limit exceeded, terminating
% 221.57/205.12 eprover: CPU time limit exceeded, terminating
% 223.70/207.14 eprover: CPU time limit exceeded, terminating
% 225.87/209.15 eprover: CPU time limit exceeded, terminating
% 228.06/211.16 eprover: CPU time limit exceeded, terminating
% 230.20/213.17 eprover: CPU time limit exceeded, terminating
% 232.33/215.19 eprover: CPU time limit exceeded, terminating
% 234.38/217.20 eprover: CPU time limit exceeded, terminating
% 236.56/219.21 eprover: CPU time limit exceeded, terminating
% 238.67/221.22 eprover: CPU time limit exceeded, terminating
% 240.87/223.24 eprover: CPU time limit exceeded, terminating
% 242.99/225.25 eprover: CPU time limit exceeded, terminating
% 245.11/227.26 eprover: CPU time limit exceeded, terminating
% 247.26/229.28 eprover: CPU time limit exceeded, terminating
% 249.39/231.29 eprover: CPU time limit exceeded, terminating
% 253.55/233.30 eprover: CPU time limit exceeded, terminating
% 255.72/235.32 eprover: CPU time limit exceeded, terminating
% 257.78/237.33 eprover: CPU time limit exceeded, terminating
% 259.82/239.35 eprover: CPU time limit exceeded, terminating
% 261.97/241.36 eprover: CPU time limit exceeded, terminating
% 264.13/243.37 eprover: CPU time limit exceeded, terminating
% 266.24/245.39 eprover: CPU time limit exceeded, terminating
% 268.41/247.40 eprover: CPU time limit exceeded, terminating
% 270.56/249.41 eprover: CPU time limit exceeded, terminating
% 272.72/251.42 eprover: CPU time limit exceeded, terminating
% 274.84/253.44 eprover: CPU time limit exceeded, terminating
% 277.01/255.45 eprover: CPU time limit exceeded, terminating
% 279.16/257.46 eprover: CPU time limit exceeded, terminating
% 281.28/259.48 eprover: CPU time limit exceeded, terminating
% 283.51/261.49 eprover: CPU time limit exceeded, terminating
% 285.58/263.50 eprover: CPU time limit exceeded, terminating
% 287.81/265.52 eprover: CPU time limit exceeded, terminating
% 289.94/267.53 eprover: CPU time limit exceeded, terminating
% 292.11/269.54 eprover: CPU time limit exceeded, terminating
% 294.27/271.55 eprover: CPU time limit exceeded, terminating
% 296.38/273.57 eprover: CPU time limit exceeded, terminating
% 298.60/275.58 eprover: CPU time limit exceeded, terminating
% 300.01/276.92 eprover: CPU time limit exceeded, terminating
% 300.01/276.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------