TSTP Solution File: CSR115+22 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+22 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:28 EDT 2022
% Result : Timeout 285.92s 267.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : CSR115+22 : TPTP v8.1.0. Released v4.0.0.
% 0.09/0.11 % Command : run_infinox %s
% 0.11/0.31 % Computer : n025.cluster.edu
% 0.11/0.31 % Model : x86_64 x86_64
% 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.31 % Memory : 8042.1875MB
% 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.31 % CPULimit : 300
% 0.11/0.31 % WCLimit : 600
% 0.11/0.31 % DateTime : Sat Jun 11 00:58:37 EDT 2022
% 0.11/0.31 % CPUTime :
% 3.57/3.67 eprover: CPU time limit exceeded, terminating
% 5.74/5.68 eprover: CPU time limit exceeded, terminating
% 7.92/7.69 eprover: CPU time limit exceeded, terminating
% 10.03/9.70 eprover: CPU time limit exceeded, terminating
% 12.22/11.71 eprover: CPU time limit exceeded, terminating
% 14.39/13.72 eprover: CPU time limit exceeded, terminating
% 16.48/15.74 eprover: CPU time limit exceeded, terminating
% 18.65/17.75 eprover: CPU time limit exceeded, terminating
% 20.76/19.76 eprover: CPU time limit exceeded, terminating
% 22.94/21.77 eprover: CPU time limit exceeded, terminating
% 25.09/23.78 eprover: CPU time limit exceeded, terminating
% 27.26/25.79 eprover: CPU time limit exceeded, terminating
% 29.36/27.80 eprover: CPU time limit exceeded, terminating
% 31.59/29.81 eprover: CPU time limit exceeded, terminating
% 33.74/31.82 eprover: CPU time limit exceeded, terminating
% 35.86/33.83 eprover: CPU time limit exceeded, terminating
% 38.00/35.85 eprover: CPU time limit exceeded, terminating
% 40.19/37.86 eprover: CPU time limit exceeded, terminating
% 42.33/39.87 eprover: CPU time limit exceeded, terminating
% 44.50/41.89 eprover: CPU time limit exceeded, terminating
% 46.66/43.90 eprover: CPU time limit exceeded, terminating
% 48.89/45.91 eprover: CPU time limit exceeded, terminating
% 51.04/47.92 eprover: CPU time limit exceeded, terminating
% 53.16/49.94 eprover: CPU time limit exceeded, terminating
% 55.34/51.95 eprover: CPU time limit exceeded, terminating
% 57.47/53.96 eprover: CPU time limit exceeded, terminating
% 59.60/55.98 eprover: CPU time limit exceeded, terminating
% 61.78/57.99 eprover: CPU time limit exceeded, terminating
% 63.89/60.00 eprover: CPU time limit exceeded, terminating
% 66.13/62.02 eprover: CPU time limit exceeded, terminating
% 68.31/64.03 eprover: CPU time limit exceeded, terminating
% 70.42/66.04 eprover: CPU time limit exceeded, terminating
% 72.59/68.06 eprover: CPU time limit exceeded, terminating
% 74.78/70.07 eprover: CPU time limit exceeded, terminating
% 76.88/72.08 eprover: CPU time limit exceeded, terminating
% 79.06/74.09 eprover: CPU time limit exceeded, terminating
% 81.12/76.11 eprover: CPU time limit exceeded, terminating
% 83.27/78.12 eprover: CPU time limit exceeded, terminating
% 85.41/80.14 eprover: CPU time limit exceeded, terminating
% 87.58/82.15 eprover: CPU time limit exceeded, terminating
% 89.74/84.16 eprover: CPU time limit exceeded, terminating
% 91.86/86.18 eprover: CPU time limit exceeded, terminating
% 94.10/88.19 eprover: CPU time limit exceeded, terminating
% 96.25/90.20 eprover: CPU time limit exceeded, terminating
% 98.34/92.22 eprover: CPU time limit exceeded, terminating
% 100.52/94.23 eprover: CPU time limit exceeded, terminating
% 102.73/96.24 eprover: CPU time limit exceeded, terminating
% 104.89/98.25 eprover: CPU time limit exceeded, terminating
% 107.02/100.27 eprover: CPU time limit exceeded, terminating
% 109.22/102.28 eprover: CPU time limit exceeded, terminating
% 111.33/104.30 eprover: CPU time limit exceeded, terminating
% 113.56/106.31 eprover: CPU time limit exceeded, terminating
% 115.71/108.32 eprover: CPU time limit exceeded, terminating
% 117.89/110.34 eprover: CPU time limit exceeded, terminating
% 119.99/112.35 eprover: CPU time limit exceeded, terminating
% 122.14/114.36 eprover: CPU time limit exceeded, terminating
% 124.32/116.37 eprover: CPU time limit exceeded, terminating
% 126.48/118.39 eprover: CPU time limit exceeded, terminating
% 128.71/120.40 eprover: CPU time limit exceeded, terminating
% 130.78/122.41 eprover: CPU time limit exceeded, terminating
% 133.03/124.43 eprover: CPU time limit exceeded, terminating
% 135.17/126.44 eprover: CPU time limit exceeded, terminating
% 137.32/128.46 eprover: CPU time limit exceeded, terminating
% 139.45/130.47 eprover: CPU time limit exceeded, terminating
% 141.63/132.48 eprover: CPU time limit exceeded, terminating
% 143.83/134.50 eprover: CPU time limit exceeded, terminating
% 145.98/136.51 eprover: CPU time limit exceeded, terminating
% 148.12/138.52 eprover: CPU time limit exceeded, terminating
% 150.32/140.54 eprover: CPU time limit exceeded, terminating
% 152.41/142.55 eprover: CPU time limit exceeded, terminating
% 154.62/144.56 eprover: CPU time limit exceeded, terminating
% 156.83/146.58 eprover: CPU time limit exceeded, terminating
% 158.99/148.59 eprover: CPU time limit exceeded, terminating
% 161.11/150.60 eprover: CPU time limit exceeded, terminating
% 163.27/152.62 eprover: CPU time limit exceeded, terminating
% 165.47/154.63 eprover: CPU time limit exceeded, terminating
% 167.56/156.64 eprover: CPU time limit exceeded, terminating
% 169.76/158.66 eprover: CPU time limit exceeded, terminating
% 171.96/160.67 eprover: CPU time limit exceeded, terminating
% 174.05/162.68 eprover: CPU time limit exceeded, terminating
% 176.27/164.70 eprover: CPU time limit exceeded, terminating
% 178.45/166.71 eprover: CPU time limit exceeded, terminating
% 180.60/168.73 eprover: CPU time limit exceeded, terminating
% 182.74/170.74 eprover: CPU time limit exceeded, terminating
% 184.91/172.75 eprover: CPU time limit exceeded, terminating
% 187.09/174.77 eprover: CPU time limit exceeded, terminating
% 189.25/176.78 eprover: CPU time limit exceeded, terminating
% 191.43/178.79 eprover: CPU time limit exceeded, terminating
% 193.57/180.81 eprover: CPU time limit exceeded, terminating
% 195.73/182.82 eprover: CPU time limit exceeded, terminating
% 197.88/184.83 eprover: CPU time limit exceeded, terminating
% 200.02/186.85 eprover: CPU time limit exceeded, terminating
% 202.21/188.86 eprover: CPU time limit exceeded, terminating
% 204.38/190.87 eprover: CPU time limit exceeded, terminating
% 206.49/192.89 eprover: CPU time limit exceeded, terminating
% 208.70/194.90 eprover: CPU time limit exceeded, terminating
% 210.79/196.91 eprover: CPU time limit exceeded, terminating
% 213.00/198.93 eprover: CPU time limit exceeded, terminating
% 215.20/200.94 eprover: CPU time limit exceeded, terminating
% 217.30/202.95 eprover: CPU time limit exceeded, terminating
% 219.51/204.97 eprover: CPU time limit exceeded, terminating
% 221.69/206.98 eprover: CPU time limit exceeded, terminating
% 223.81/208.99 eprover: CPU time limit exceeded, terminating
% 226.00/211.00 eprover: CPU time limit exceeded, terminating
% 228.17/213.02 eprover: CPU time limit exceeded, terminating
% 230.21/215.03 eprover: CPU time limit exceeded, terminating
% 232.29/217.04 eprover: CPU time limit exceeded, terminating
% 234.47/219.06 eprover: CPU time limit exceeded, terminating
% 236.61/221.07 eprover: CPU time limit exceeded, terminating
% 238.78/223.09 eprover: CPU time limit exceeded, terminating
% 240.91/225.10 eprover: CPU time limit exceeded, terminating
% 243.15/227.11 eprover: CPU time limit exceeded, terminating
% 245.27/229.13 eprover: CPU time limit exceeded, terminating
% 247.42/231.14 eprover: CPU time limit exceeded, terminating
% 249.60/233.15 eprover: CPU time limit exceeded, terminating
% 251.69/235.17 eprover: CPU time limit exceeded, terminating
% 253.79/237.18 eprover: CPU time limit exceeded, terminating
% 255.83/239.19 eprover: CPU time limit exceeded, terminating
% 257.93/241.21 eprover: CPU time limit exceeded, terminating
% 260.10/243.22 eprover: CPU time limit exceeded, terminating
% 262.33/245.23 eprover: CPU time limit exceeded, terminating
% 264.42/247.25 eprover: CPU time limit exceeded, terminating
% 266.51/249.26 eprover: CPU time limit exceeded, terminating
% 268.74/251.28 eprover: CPU time limit exceeded, terminating
% 270.90/253.29 eprover: CPU time limit exceeded, terminating
% 273.02/255.30 eprover: CPU time limit exceeded, terminating
% 275.22/257.31 eprover: CPU time limit exceeded, terminating
% 277.36/259.33 eprover: CPU time limit exceeded, terminating
% 279.50/261.34 eprover: CPU time limit exceeded, terminating
% 281.66/263.35 eprover: CPU time limit exceeded, terminating
% 283.83/265.37 eprover: CPU time limit exceeded, terminating
% 285.92/267.38 eprover: CPU time limit exceeded, terminating
% 288.15/269.39 eprover: CPU time limit exceeded, terminating
% 290.26/271.41 eprover: CPU time limit exceeded, terminating
% 292.40/273.42 eprover: CPU time limit exceeded, terminating
% 294.63/275.43 eprover: CPU time limit exceeded, terminating
% 296.68/277.45 eprover: CPU time limit exceeded, terminating
% 298.80/279.46 eprover: CPU time limit exceeded, terminating
% 300.05/280.67 eprover: CPU time limit exceeded, terminating
% 300.05/280.68 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------