TSTP Solution File: CSR115+34 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+34 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:30 EDT 2022
% Result : Timeout 285.93s 267.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : CSR115+34 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n011.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.35 % DateTime : Sat Jun 11 11:55:17 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.83/3.88 eprover: CPU time limit exceeded, terminating
% 5.94/5.89 eprover: CPU time limit exceeded, terminating
% 8.18/7.91 eprover: CPU time limit exceeded, terminating
% 10.35/9.92 eprover: CPU time limit exceeded, terminating
% 12.50/11.93 eprover: CPU time limit exceeded, terminating
% 14.62/13.94 eprover: CPU time limit exceeded, terminating
% 16.79/15.96 eprover: CPU time limit exceeded, terminating
% 18.95/17.97 eprover: CPU time limit exceeded, terminating
% 21.09/19.98 eprover: CPU time limit exceeded, terminating
% 23.28/21.99 eprover: CPU time limit exceeded, terminating
% 25.48/24.01 eprover: CPU time limit exceeded, terminating
% 27.66/26.02 eprover: CPU time limit exceeded, terminating
% 29.80/28.03 eprover: CPU time limit exceeded, terminating
% 31.98/30.04 eprover: CPU time limit exceeded, terminating
% 34.13/32.05 eprover: CPU time limit exceeded, terminating
% 36.28/34.06 eprover: CPU time limit exceeded, terminating
% 38.43/36.08 eprover: CPU time limit exceeded, terminating
% 40.66/38.09 eprover: CPU time limit exceeded, terminating
% 42.83/40.10 eprover: CPU time limit exceeded, terminating
% 44.95/42.11 eprover: CPU time limit exceeded, terminating
% 47.13/44.12 eprover: CPU time limit exceeded, terminating
% 49.29/46.13 eprover: CPU time limit exceeded, terminating
% 51.42/48.14 eprover: CPU time limit exceeded, terminating
% 53.55/50.17 eprover: CPU time limit exceeded, terminating
% 55.70/52.18 eprover: CPU time limit exceeded, terminating
% 57.88/54.19 eprover: CPU time limit exceeded, terminating
% 60.09/56.20 eprover: CPU time limit exceeded, terminating
% 62.24/58.22 eprover: CPU time limit exceeded, terminating
% 64.38/60.23 eprover: CPU time limit exceeded, terminating
% 66.55/62.24 eprover: CPU time limit exceeded, terminating
% 68.66/64.25 eprover: CPU time limit exceeded, terminating
% 70.83/66.26 eprover: CPU time limit exceeded, terminating
% 73.03/68.28 eprover: CPU time limit exceeded, terminating
% 75.12/70.29 eprover: CPU time limit exceeded, terminating
% 77.33/72.30 eprover: CPU time limit exceeded, terminating
% 79.51/74.31 eprover: CPU time limit exceeded, terminating
% 81.51/76.32 eprover: CPU time limit exceeded, terminating
% 83.60/78.33 eprover: CPU time limit exceeded, terminating
% 85.81/80.35 eprover: CPU time limit exceeded, terminating
% 87.97/82.36 eprover: CPU time limit exceeded, terminating
% 90.07/84.37 eprover: CPU time limit exceeded, terminating
% 92.30/86.38 eprover: CPU time limit exceeded, terminating
% 94.45/88.39 eprover: CPU time limit exceeded, terminating
% 96.60/90.40 eprover: CPU time limit exceeded, terminating
% 98.73/92.41 eprover: CPU time limit exceeded, terminating
% 100.94/94.43 eprover: CPU time limit exceeded, terminating
% 103.08/96.44 eprover: CPU time limit exceeded, terminating
% 105.21/98.45 eprover: CPU time limit exceeded, terminating
% 107.42/100.46 eprover: CPU time limit exceeded, terminating
% 109.56/102.47 eprover: CPU time limit exceeded, terminating
% 111.77/104.49 eprover: CPU time limit exceeded, terminating
% 113.91/106.50 eprover: CPU time limit exceeded, terminating
% 116.07/108.51 eprover: CPU time limit exceeded, terminating
% 118.24/110.52 eprover: CPU time limit exceeded, terminating
% 120.39/112.53 eprover: CPU time limit exceeded, terminating
% 122.53/114.54 eprover: CPU time limit exceeded, terminating
% 124.65/116.56 eprover: CPU time limit exceeded, terminating
% 126.81/118.57 eprover: CPU time limit exceeded, terminating
% 129.03/120.58 eprover: CPU time limit exceeded, terminating
% 131.13/122.59 eprover: CPU time limit exceeded, terminating
% 133.32/124.60 eprover: CPU time limit exceeded, terminating
% 135.50/126.62 eprover: CPU time limit exceeded, terminating
% 137.64/128.63 eprover: CPU time limit exceeded, terminating
% 139.80/130.64 eprover: CPU time limit exceeded, terminating
% 141.94/132.65 eprover: CPU time limit exceeded, terminating
% 144.09/134.66 eprover: CPU time limit exceeded, terminating
% 146.26/136.67 eprover: CPU time limit exceeded, terminating
% 148.45/138.69 eprover: CPU time limit exceeded, terminating
% 150.54/140.70 eprover: CPU time limit exceeded, terminating
% 152.76/142.71 eprover: CPU time limit exceeded, terminating
% 154.91/144.72 eprover: CPU time limit exceeded, terminating
% 157.06/146.73 eprover: CPU time limit exceeded, terminating
% 159.22/148.74 eprover: CPU time limit exceeded, terminating
% 161.39/150.75 eprover: CPU time limit exceeded, terminating
% 163.52/152.77 eprover: CPU time limit exceeded, terminating
% 165.69/154.78 eprover: CPU time limit exceeded, terminating
% 167.86/156.79 eprover: CPU time limit exceeded, terminating
% 169.95/158.80 eprover: CPU time limit exceeded, terminating
% 172.13/160.81 eprover: CPU time limit exceeded, terminating
% 174.35/162.82 eprover: CPU time limit exceeded, terminating
% 176.46/164.84 eprover: CPU time limit exceeded, terminating
% 178.62/166.85 eprover: CPU time limit exceeded, terminating
% 180.77/168.86 eprover: CPU time limit exceeded, terminating
% 182.97/170.87 eprover: CPU time limit exceeded, terminating
% 185.06/172.89 eprover: CPU time limit exceeded, terminating
% 187.26/174.90 eprover: CPU time limit exceeded, terminating
% 189.36/176.91 eprover: CPU time limit exceeded, terminating
% 191.59/178.92 eprover: CPU time limit exceeded, terminating
% 193.73/180.93 eprover: CPU time limit exceeded, terminating
% 195.88/182.94 eprover: CPU time limit exceeded, terminating
% 198.04/184.96 eprover: CPU time limit exceeded, terminating
% 200.18/186.97 eprover: CPU time limit exceeded, terminating
% 202.38/188.98 eprover: CPU time limit exceeded, terminating
% 204.54/190.99 eprover: CPU time limit exceeded, terminating
% 206.68/193.00 eprover: CPU time limit exceeded, terminating
% 208.83/195.02 eprover: CPU time limit exceeded, terminating
% 210.99/197.03 eprover: CPU time limit exceeded, terminating
% 213.18/199.04 eprover: CPU time limit exceeded, terminating
% 215.29/201.05 eprover: CPU time limit exceeded, terminating
% 217.46/203.06 eprover: CPU time limit exceeded, terminating
% 219.66/205.07 eprover: CPU time limit exceeded, terminating
% 221.74/207.09 eprover: CPU time limit exceeded, terminating
% 223.90/209.10 eprover: CPU time limit exceeded, terminating
% 226.12/211.11 eprover: CPU time limit exceeded, terminating
% 228.28/213.12 eprover: CPU time limit exceeded, terminating
% 230.35/215.13 eprover: CPU time limit exceeded, terminating
% 232.36/217.15 eprover: CPU time limit exceeded, terminating
% 234.56/219.15 eprover: CPU time limit exceeded, terminating
% 236.65/221.17 eprover: CPU time limit exceeded, terminating
% 238.87/223.18 eprover: CPU time limit exceeded, terminating
% 241.07/225.19 eprover: CPU time limit exceeded, terminating
% 243.23/227.20 eprover: CPU time limit exceeded, terminating
% 245.33/229.21 eprover: CPU time limit exceeded, terminating
% 247.51/231.23 eprover: CPU time limit exceeded, terminating
% 249.62/233.24 eprover: CPU time limit exceeded, terminating
% 251.72/235.25 eprover: CPU time limit exceeded, terminating
% 253.74/237.26 eprover: CPU time limit exceeded, terminating
% 255.86/239.27 eprover: CPU time limit exceeded, terminating
% 258.04/241.29 eprover: CPU time limit exceeded, terminating
% 260.14/243.30 eprover: CPU time limit exceeded, terminating
% 262.30/245.31 eprover: CPU time limit exceeded, terminating
% 264.34/247.32 eprover: CPU time limit exceeded, terminating
% 266.49/249.33 eprover: CPU time limit exceeded, terminating
% 268.72/251.35 eprover: CPU time limit exceeded, terminating
% 270.88/253.36 eprover: CPU time limit exceeded, terminating
% 273.00/255.37 eprover: CPU time limit exceeded, terminating
% 275.17/257.38 eprover: CPU time limit exceeded, terminating
% 277.27/259.39 eprover: CPU time limit exceeded, terminating
% 279.46/261.41 eprover: CPU time limit exceeded, terminating
% 281.56/263.42 eprover: CPU time limit exceeded, terminating
% 283.75/265.43 eprover: CPU time limit exceeded, terminating
% 285.93/267.44 eprover: CPU time limit exceeded, terminating
% 288.03/269.45 eprover: CPU time limit exceeded, terminating
% 290.20/271.47 eprover: CPU time limit exceeded, terminating
% 292.37/273.48 eprover: CPU time limit exceeded, terminating
% 294.45/275.49 eprover: CPU time limit exceeded, terminating
% 296.57/277.50 eprover: CPU time limit exceeded, terminating
% 298.67/279.52 eprover: CPU time limit exceeded, terminating
% 300.06/280.83 eprover: CPU time limit exceeded, terminating
% 300.06/280.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------