TSTP Solution File: CSR115+97 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+97 : 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:38 EDT 2022
% Result : Timeout 287.34s 269.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR115+97 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n011.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 04:17:01 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.71/3.78 eprover: CPU time limit exceeded, terminating
% 5.86/5.79 eprover: CPU time limit exceeded, terminating
% 7.99/7.80 eprover: CPU time limit exceeded, terminating
% 10.19/9.81 eprover: CPU time limit exceeded, terminating
% 12.31/11.82 eprover: CPU time limit exceeded, terminating
% 14.50/13.83 eprover: CPU time limit exceeded, terminating
% 16.61/15.84 eprover: CPU time limit exceeded, terminating
% 18.81/17.85 eprover: CPU time limit exceeded, terminating
% 20.93/19.86 eprover: CPU time limit exceeded, terminating
% 23.07/21.88 eprover: CPU time limit exceeded, terminating
% 25.27/23.89 eprover: CPU time limit exceeded, terminating
% 27.44/25.90 eprover: CPU time limit exceeded, terminating
% 29.55/27.91 eprover: CPU time limit exceeded, terminating
% 31.70/29.92 eprover: CPU time limit exceeded, terminating
% 33.88/31.93 eprover: CPU time limit exceeded, terminating
% 36.06/33.94 eprover: CPU time limit exceeded, terminating
% 38.22/35.95 eprover: CPU time limit exceeded, terminating
% 40.33/37.96 eprover: CPU time limit exceeded, terminating
% 42.52/39.98 eprover: CPU time limit exceeded, terminating
% 44.72/41.99 eprover: CPU time limit exceeded, terminating
% 46.85/44.00 eprover: CPU time limit exceeded, terminating
% 48.98/46.01 eprover: CPU time limit exceeded, terminating
% 51.17/48.02 eprover: CPU time limit exceeded, terminating
% 53.33/50.03 eprover: CPU time limit exceeded, terminating
% 55.44/52.04 eprover: CPU time limit exceeded, terminating
% 57.63/54.05 eprover: CPU time limit exceeded, terminating
% 59.75/56.07 eprover: CPU time limit exceeded, terminating
% 61.96/58.08 eprover: CPU time limit exceeded, terminating
% 64.10/60.09 eprover: CPU time limit exceeded, terminating
% 66.18/62.10 eprover: CPU time limit exceeded, terminating
% 68.43/64.11 eprover: CPU time limit exceeded, terminating
% 70.55/66.12 eprover: CPU time limit exceeded, terminating
% 72.71/68.13 eprover: CPU time limit exceeded, terminating
% 74.85/70.15 eprover: CPU time limit exceeded, terminating
% 76.96/72.16 eprover: CPU time limit exceeded, terminating
% 79.13/74.17 eprover: CPU time limit exceeded, terminating
% 81.23/76.18 eprover: CPU time limit exceeded, terminating
% 83.25/78.19 eprover: CPU time limit exceeded, terminating
% 85.47/80.21 eprover: CPU time limit exceeded, terminating
% 87.63/82.22 eprover: CPU time limit exceeded, terminating
% 89.80/84.23 eprover: CPU time limit exceeded, terminating
% 91.92/86.24 eprover: CPU time limit exceeded, terminating
% 94.06/88.26 eprover: CPU time limit exceeded, terminating
% 96.21/90.27 eprover: CPU time limit exceeded, terminating
% 98.35/92.28 eprover: CPU time limit exceeded, terminating
% 100.56/94.29 eprover: CPU time limit exceeded, terminating
% 102.73/96.30 eprover: CPU time limit exceeded, terminating
% 104.80/98.31 eprover: CPU time limit exceeded, terminating
% 106.99/100.32 eprover: CPU time limit exceeded, terminating
% 109.15/102.33 eprover: CPU time limit exceeded, terminating
% 111.26/104.34 eprover: CPU time limit exceeded, terminating
% 113.44/106.36 eprover: CPU time limit exceeded, terminating
% 115.62/108.37 eprover: CPU time limit exceeded, terminating
% 117.69/110.38 eprover: CPU time limit exceeded, terminating
% 119.88/112.39 eprover: CPU time limit exceeded, terminating
% 122.08/114.40 eprover: CPU time limit exceeded, terminating
% 124.23/116.41 eprover: CPU time limit exceeded, terminating
% 126.39/118.42 eprover: CPU time limit exceeded, terminating
% 128.51/120.43 eprover: CPU time limit exceeded, terminating
% 130.61/122.45 eprover: CPU time limit exceeded, terminating
% 132.80/124.46 eprover: CPU time limit exceeded, terminating
% 134.97/126.47 eprover: CPU time limit exceeded, terminating
% 137.16/128.48 eprover: CPU time limit exceeded, terminating
% 139.30/130.49 eprover: CPU time limit exceeded, terminating
% 141.45/132.51 eprover: CPU time limit exceeded, terminating
% 143.60/134.52 eprover: CPU time limit exceeded, terminating
% 145.75/136.53 eprover: CPU time limit exceeded, terminating
% 147.87/138.54 eprover: CPU time limit exceeded, terminating
% 150.00/140.55 eprover: CPU time limit exceeded, terminating
% 152.16/142.56 eprover: CPU time limit exceeded, terminating
% 154.36/144.57 eprover: CPU time limit exceeded, terminating
% 156.45/146.58 eprover: CPU time limit exceeded, terminating
% 158.60/148.59 eprover: CPU time limit exceeded, terminating
% 160.82/150.61 eprover: CPU time limit exceeded, terminating
% 162.96/152.62 eprover: CPU time limit exceeded, terminating
% 165.11/154.63 eprover: CPU time limit exceeded, terminating
% 167.26/156.64 eprover: CPU time limit exceeded, terminating
% 169.36/158.65 eprover: CPU time limit exceeded, terminating
% 171.54/160.66 eprover: CPU time limit exceeded, terminating
% 173.72/162.67 eprover: CPU time limit exceeded, terminating
% 175.79/164.68 eprover: CPU time limit exceeded, terminating
% 178.00/166.70 eprover: CPU time limit exceeded, terminating
% 180.18/168.71 eprover: CPU time limit exceeded, terminating
% 182.33/170.72 eprover: CPU time limit exceeded, terminating
% 184.46/172.73 eprover: CPU time limit exceeded, terminating
% 186.60/174.74 eprover: CPU time limit exceeded, terminating
% 188.75/176.76 eprover: CPU time limit exceeded, terminating
% 190.89/178.77 eprover: CPU time limit exceeded, terminating
% 193.03/180.78 eprover: CPU time limit exceeded, terminating
% 195.25/182.79 eprover: CPU time limit exceeded, terminating
% 197.40/184.80 eprover: CPU time limit exceeded, terminating
% 199.53/186.81 eprover: CPU time limit exceeded, terminating
% 201.65/188.83 eprover: CPU time limit exceeded, terminating
% 203.85/190.84 eprover: CPU time limit exceeded, terminating
% 205.99/192.85 eprover: CPU time limit exceeded, terminating
% 208.11/194.86 eprover: CPU time limit exceeded, terminating
% 210.27/196.87 eprover: CPU time limit exceeded, terminating
% 212.39/198.88 eprover: CPU time limit exceeded, terminating
% 214.60/200.90 eprover: CPU time limit exceeded, terminating
% 216.75/202.91 eprover: CPU time limit exceeded, terminating
% 218.92/204.92 eprover: CPU time limit exceeded, terminating
% 221.04/206.93 eprover: CPU time limit exceeded, terminating
% 223.21/208.94 eprover: CPU time limit exceeded, terminating
% 225.34/210.95 eprover: CPU time limit exceeded, terminating
% 227.47/212.96 eprover: CPU time limit exceeded, terminating
% 229.57/214.97 eprover: CPU time limit exceeded, terminating
% 231.61/216.99 eprover: CPU time limit exceeded, terminating
% 233.84/219.00 eprover: CPU time limit exceeded, terminating
% 236.00/221.01 eprover: CPU time limit exceeded, terminating
% 238.11/223.02 eprover: CPU time limit exceeded, terminating
% 240.26/225.03 eprover: CPU time limit exceeded, terminating
% 242.42/227.04 eprover: CPU time limit exceeded, terminating
% 244.56/229.06 eprover: CPU time limit exceeded, terminating
% 246.70/231.07 eprover: CPU time limit exceeded, terminating
% 248.85/233.08 eprover: CPU time limit exceeded, terminating
% 250.91/235.09 eprover: CPU time limit exceeded, terminating
% 253.05/237.10 eprover: CPU time limit exceeded, terminating
% 255.14/239.11 eprover: CPU time limit exceeded, terminating
% 257.27/241.13 eprover: CPU time limit exceeded, terminating
% 259.44/243.14 eprover: CPU time limit exceeded, terminating
% 261.57/245.15 eprover: CPU time limit exceeded, terminating
% 263.65/247.16 eprover: CPU time limit exceeded, terminating
% 265.77/249.17 eprover: CPU time limit exceeded, terminating
% 267.91/251.19 eprover: CPU time limit exceeded, terminating
% 270.12/253.20 eprover: CPU time limit exceeded, terminating
% 272.28/255.21 eprover: CPU time limit exceeded, terminating
% 274.40/257.22 eprover: CPU time limit exceeded, terminating
% 276.59/259.24 eprover: CPU time limit exceeded, terminating
% 278.68/261.25 eprover: CPU time limit exceeded, terminating
% 280.87/263.26 eprover: CPU time limit exceeded, terminating
% 282.98/265.27 eprover: CPU time limit exceeded, terminating
% 285.14/267.28 eprover: CPU time limit exceeded, terminating
% 287.34/269.30 eprover: CPU time limit exceeded, terminating
% 289.49/271.31 eprover: CPU time limit exceeded, terminating
% 291.60/273.32 eprover: CPU time limit exceeded, terminating
% 293.74/275.33 eprover: CPU time limit exceeded, terminating
% 295.80/277.34 eprover: CPU time limit exceeded, terminating
% 297.87/279.35 eprover: CPU time limit exceeded, terminating
% 299.91/281.36 eprover: CPU time limit exceeded, terminating
% 300.01/281.39 eprover: CPU time limit exceeded, terminating
% 300.01/281.41 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------