TSTP Solution File: CSR290+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR290+1 : TPTP v8.1.0. Released v7.3.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:36:14 EDT 2022
% Result : Timeout 286.05s 259.84s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR290+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.36 % Computer : n024.cluster.edu
% 0.13/0.36 % Model : x86_64 x86_64
% 0.13/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.36 % Memory : 8042.1875MB
% 0.13/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.36 % CPULimit : 300
% 0.13/0.36 % WCLimit : 600
% 0.13/0.36 % DateTime : Thu Jun 9 23:50:49 EDT 2022
% 0.13/0.36 % CPUTime :
% 6.00/5.97 eprover: CPU time limit exceeded, terminating
% 8.18/7.99 eprover: CPU time limit exceeded, terminating
% 10.39/10.00 eprover: CPU time limit exceeded, terminating
% 12.58/12.01 eprover: CPU time limit exceeded, terminating
% 14.82/14.03 eprover: CPU time limit exceeded, terminating
% 16.95/16.04 eprover: CPU time limit exceeded, terminating
% 19.24/18.06 eprover: CPU time limit exceeded, terminating
% 21.43/20.07 eprover: CPU time limit exceeded, terminating
% 23.68/22.09 eprover: CPU time limit exceeded, terminating
% 25.85/24.10 eprover: CPU time limit exceeded, terminating
% 28.13/26.11 eprover: CPU time limit exceeded, terminating
% 30.28/28.13 eprover: CPU time limit exceeded, terminating
% 32.47/30.14 eprover: CPU time limit exceeded, terminating
% 34.74/32.16 eprover: CPU time limit exceeded, terminating
% 36.94/34.17 eprover: CPU time limit exceeded, terminating
% 39.14/36.18 eprover: CPU time limit exceeded, terminating
% 41.33/38.20 eprover: CPU time limit exceeded, terminating
% 43.56/40.21 eprover: CPU time limit exceeded, terminating
% 45.79/42.23 eprover: CPU time limit exceeded, terminating
% 48.05/44.24 eprover: CPU time limit exceeded, terminating
% 50.25/46.25 eprover: CPU time limit exceeded, terminating
% 52.49/48.26 eprover: CPU time limit exceeded, terminating
% 54.69/50.27 eprover: CPU time limit exceeded, terminating
% 56.87/52.28 eprover: CPU time limit exceeded, terminating
% 59.10/54.30 eprover: CPU time limit exceeded, terminating
% 61.28/56.31 eprover: CPU time limit exceeded, terminating
% 63.45/58.32 eprover: CPU time limit exceeded, terminating
% 65.68/60.33 eprover: CPU time limit exceeded, terminating
% 67.89/62.34 eprover: CPU time limit exceeded, terminating
% 70.11/64.35 eprover: CPU time limit exceeded, terminating
% 72.31/66.36 eprover: CPU time limit exceeded, terminating
% 74.55/68.37 eprover: CPU time limit exceeded, terminating
% 76.75/70.38 eprover: CPU time limit exceeded, terminating
% 78.95/72.40 eprover: CPU time limit exceeded, terminating
% 81.19/74.41 eprover: CPU time limit exceeded, terminating
% 83.38/76.42 eprover: CPU time limit exceeded, terminating
% 85.61/78.43 eprover: CPU time limit exceeded, terminating
% 87.82/80.44 eprover: CPU time limit exceeded, terminating
% 90.00/82.45 eprover: CPU time limit exceeded, terminating
% 92.18/84.46 eprover: CPU time limit exceeded, terminating
% 94.36/86.47 eprover: CPU time limit exceeded, terminating
% 96.53/88.49 eprover: CPU time limit exceeded, terminating
% 98.79/90.50 eprover: CPU time limit exceeded, terminating
% 100.97/92.52 eprover: CPU time limit exceeded, terminating
% 103.19/94.53 eprover: CPU time limit exceeded, terminating
% 105.41/96.54 eprover: CPU time limit exceeded, terminating
% 107.55/98.55 eprover: CPU time limit exceeded, terminating
% 109.82/100.57 eprover: CPU time limit exceeded, terminating
% 112.03/102.58 eprover: CPU time limit exceeded, terminating
% 114.21/104.59 eprover: CPU time limit exceeded, terminating
% 116.42/106.60 eprover: CPU time limit exceeded, terminating
% 118.65/108.62 eprover: CPU time limit exceeded, terminating
% 120.83/110.63 eprover: CPU time limit exceeded, terminating
% 123.04/112.64 eprover: CPU time limit exceeded, terminating
% 125.27/114.66 eprover: CPU time limit exceeded, terminating
% 127.44/116.67 eprover: CPU time limit exceeded, terminating
% 129.62/118.68 eprover: CPU time limit exceeded, terminating
% 131.89/120.70 eprover: CPU time limit exceeded, terminating
% 134.08/122.71 eprover: CPU time limit exceeded, terminating
% 136.27/124.72 eprover: CPU time limit exceeded, terminating
% 138.47/126.74 eprover: CPU time limit exceeded, terminating
% 140.66/128.75 eprover: CPU time limit exceeded, terminating
% 142.96/130.76 eprover: CPU time limit exceeded, terminating
% 145.17/132.77 eprover: CPU time limit exceeded, terminating
% 147.31/134.79 eprover: CPU time limit exceeded, terminating
% 149.49/136.80 eprover: CPU time limit exceeded, terminating
% 151.70/138.81 eprover: CPU time limit exceeded, terminating
% 153.97/140.82 eprover: CPU time limit exceeded, terminating
% 156.11/142.84 eprover: CPU time limit exceeded, terminating
% 158.39/144.85 eprover: CPU time limit exceeded, terminating
% 160.54/146.86 eprover: CPU time limit exceeded, terminating
% 162.79/148.87 eprover: CPU time limit exceeded, terminating
% 165.02/150.89 eprover: CPU time limit exceeded, terminating
% 167.18/152.90 eprover: CPU time limit exceeded, terminating
% 169.40/154.91 eprover: CPU time limit exceeded, terminating
% 171.56/156.93 eprover: CPU time limit exceeded, terminating
% 173.79/158.94 eprover: CPU time limit exceeded, terminating
% 176.05/160.95 eprover: CPU time limit exceeded, terminating
% 178.26/162.97 eprover: CPU time limit exceeded, terminating
% 180.42/164.99 eprover: CPU time limit exceeded, terminating
% 182.65/167.01 eprover: CPU time limit exceeded, terminating
% 184.85/169.02 eprover: CPU time limit exceeded, terminating
% 187.07/171.03 eprover: CPU time limit exceeded, terminating
% 189.25/173.05 eprover: CPU time limit exceeded, terminating
% 191.41/175.06 eprover: CPU time limit exceeded, terminating
% 193.62/177.07 eprover: CPU time limit exceeded, terminating
% 195.88/179.09 eprover: CPU time limit exceeded, terminating
% 198.11/181.10 eprover: CPU time limit exceeded, terminating
% 200.28/183.11 eprover: CPU time limit exceeded, terminating
% 202.46/185.13 eprover: CPU time limit exceeded, terminating
% 204.66/187.14 eprover: CPU time limit exceeded, terminating
% 206.88/189.15 eprover: CPU time limit exceeded, terminating
% 209.11/191.17 eprover: CPU time limit exceeded, terminating
% 211.27/193.18 eprover: CPU time limit exceeded, terminating
% 213.50/195.19 eprover: CPU time limit exceeded, terminating
% 215.74/197.20 eprover: CPU time limit exceeded, terminating
% 217.95/199.22 eprover: CPU time limit exceeded, terminating
% 220.13/201.23 eprover: CPU time limit exceeded, terminating
% 222.28/203.26 eprover: CPU time limit exceeded, terminating
% 224.53/205.27 eprover: CPU time limit exceeded, terminating
% 226.71/207.29 eprover: CPU time limit exceeded, terminating
% 228.91/209.33 eprover: CPU time limit exceeded, terminating
% 231.11/211.36 eprover: CPU time limit exceeded, terminating
% 233.32/213.39 eprover: CPU time limit exceeded, terminating
% 235.46/215.41 eprover: CPU time limit exceeded, terminating
% 237.72/217.43 eprover: CPU time limit exceeded, terminating
% 239.96/219.45 eprover: CPU time limit exceeded, terminating
% 242.17/221.51 eprover: CPU time limit exceeded, terminating
% 244.39/223.53 eprover: CPU time limit exceeded, terminating
% 246.54/225.54 eprover: CPU time limit exceeded, terminating
% 248.82/227.56 eprover: CPU time limit exceeded, terminating
% 251.03/229.58 eprover: CPU time limit exceeded, terminating
% 253.18/231.59 eprover: CPU time limit exceeded, terminating
% 255.45/233.61 eprover: CPU time limit exceeded, terminating
% 257.59/235.63 eprover: CPU time limit exceeded, terminating
% 259.83/237.64 eprover: CPU time limit exceeded, terminating
% 262.06/239.65 eprover: CPU time limit exceeded, terminating
% 264.29/241.68 eprover: CPU time limit exceeded, terminating
% 266.46/243.70 eprover: CPU time limit exceeded, terminating
% 268.72/245.72 eprover: CPU time limit exceeded, terminating
% 270.92/247.73 eprover: CPU time limit exceeded, terminating
% 273.02/249.74 eprover: CPU time limit exceeded, terminating
% 275.29/251.77 eprover: CPU time limit exceeded, terminating
% 277.47/253.78 eprover: CPU time limit exceeded, terminating
% 279.67/255.80 eprover: CPU time limit exceeded, terminating
% 283.80/257.82 eprover: CPU time limit exceeded, terminating
% 286.05/259.84 eprover: CPU time limit exceeded, terminating
% 288.29/261.85 eprover: CPU time limit exceeded, terminating
% 290.49/263.86 eprover: CPU time limit exceeded, terminating
% 292.66/265.88 eprover: CPU time limit exceeded, terminating
% 294.88/267.89 eprover: CPU time limit exceeded, terminating
% 297.06/269.90 eprover: CPU time limit exceeded, terminating
% 299.24/271.91 eprover: CPU time limit exceeded, terminating
% 300.04/272.57 eprover: CPU time limit exceeded, terminating
% 300.04/272.58 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------