TSTP Solution File: CSR194+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR194+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:02 EDT 2022
% Result : Timeout 287.61s 261.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : CSR194+1 : TPTP v8.1.0. Released v7.3.0.
% 0.14/0.15 % Command : run_infinox %s
% 0.14/0.37 % Computer : n009.cluster.edu
% 0.14/0.37 % Model : x86_64 x86_64
% 0.14/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.37 % Memory : 8042.1875MB
% 0.14/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.37 % CPULimit : 300
% 0.14/0.37 % WCLimit : 600
% 0.14/0.37 % DateTime : Sat Jun 11 08:36:53 EDT 2022
% 0.22/0.37 % CPUTime :
% 5.87/5.84 eprover: CPU time limit exceeded, terminating
% 8.08/7.86 eprover: CPU time limit exceeded, terminating
% 10.27/9.87 eprover: CPU time limit exceeded, terminating
% 12.44/11.89 eprover: CPU time limit exceeded, terminating
% 14.69/13.91 eprover: CPU time limit exceeded, terminating
% 16.91/15.92 eprover: CPU time limit exceeded, terminating
% 19.10/17.94 eprover: CPU time limit exceeded, terminating
% 21.38/19.96 eprover: CPU time limit exceeded, terminating
% 23.59/21.98 eprover: CPU time limit exceeded, terminating
% 25.80/23.99 eprover: CPU time limit exceeded, terminating
% 28.03/26.01 eprover: CPU time limit exceeded, terminating
% 30.29/28.03 eprover: CPU time limit exceeded, terminating
% 32.44/30.05 eprover: CPU time limit exceeded, terminating
% 34.72/32.06 eprover: CPU time limit exceeded, terminating
% 36.93/34.08 eprover: CPU time limit exceeded, terminating
% 39.16/36.10 eprover: CPU time limit exceeded, terminating
% 41.35/38.12 eprover: CPU time limit exceeded, terminating
% 43.58/40.13 eprover: CPU time limit exceeded, terminating
% 45.87/42.15 eprover: CPU time limit exceeded, terminating
% 48.09/44.17 eprover: CPU time limit exceeded, terminating
% 50.28/46.19 eprover: CPU time limit exceeded, terminating
% 52.48/48.21 eprover: CPU time limit exceeded, terminating
% 54.71/50.22 eprover: CPU time limit exceeded, terminating
% 56.97/52.24 eprover: CPU time limit exceeded, terminating
% 59.20/54.26 eprover: CPU time limit exceeded, terminating
% 61.39/56.28 eprover: CPU time limit exceeded, terminating
% 63.64/58.29 eprover: CPU time limit exceeded, terminating
% 65.79/60.31 eprover: CPU time limit exceeded, terminating
% 68.03/62.33 eprover: CPU time limit exceeded, terminating
% 70.31/64.35 eprover: CPU time limit exceeded, terminating
% 72.52/66.36 eprover: CPU time limit exceeded, terminating
% 74.75/68.38 eprover: CPU time limit exceeded, terminating
% 76.98/70.40 eprover: CPU time limit exceeded, terminating
% 79.18/72.42 eprover: CPU time limit exceeded, terminating
% 81.39/74.43 eprover: CPU time limit exceeded, terminating
% 83.66/76.45 eprover: CPU time limit exceeded, terminating
% 85.89/78.46 eprover: CPU time limit exceeded, terminating
% 88.05/80.48 eprover: CPU time limit exceeded, terminating
% 90.29/82.49 eprover: CPU time limit exceeded, terminating
% 92.50/84.50 eprover: CPU time limit exceeded, terminating
% 94.67/86.51 eprover: CPU time limit exceeded, terminating
% 96.89/88.53 eprover: CPU time limit exceeded, terminating
% 99.14/90.54 eprover: CPU time limit exceeded, terminating
% 101.30/92.55 eprover: CPU time limit exceeded, terminating
% 103.52/94.57 eprover: CPU time limit exceeded, terminating
% 105.75/96.59 eprover: CPU time limit exceeded, terminating
% 107.96/98.61 eprover: CPU time limit exceeded, terminating
% 110.17/100.62 eprover: CPU time limit exceeded, terminating
% 112.41/102.64 eprover: CPU time limit exceeded, terminating
% 114.65/104.66 eprover: CPU time limit exceeded, terminating
% 116.86/106.67 eprover: CPU time limit exceeded, terminating
% 119.05/108.69 eprover: CPU time limit exceeded, terminating
% 121.26/110.71 eprover: CPU time limit exceeded, terminating
% 123.48/112.73 eprover: CPU time limit exceeded, terminating
% 125.74/114.75 eprover: CPU time limit exceeded, terminating
% 127.95/116.76 eprover: CPU time limit exceeded, terminating
% 130.16/118.78 eprover: CPU time limit exceeded, terminating
% 132.39/120.80 eprover: CPU time limit exceeded, terminating
% 134.56/122.82 eprover: CPU time limit exceeded, terminating
% 136.83/124.83 eprover: CPU time limit exceeded, terminating
% 139.06/126.85 eprover: CPU time limit exceeded, terminating
% 141.25/128.87 eprover: CPU time limit exceeded, terminating
% 143.49/130.89 eprover: CPU time limit exceeded, terminating
% 145.66/132.91 eprover: CPU time limit exceeded, terminating
% 147.95/134.92 eprover: CPU time limit exceeded, terminating
% 150.17/136.94 eprover: CPU time limit exceeded, terminating
% 152.39/138.96 eprover: CPU time limit exceeded, terminating
% 154.59/140.98 eprover: CPU time limit exceeded, terminating
% 156.80/142.99 eprover: CPU time limit exceeded, terminating
% 159.05/145.01 eprover: CPU time limit exceeded, terminating
% 161.19/147.03 eprover: CPU time limit exceeded, terminating
% 163.39/149.05 eprover: CPU time limit exceeded, terminating
% 165.65/151.07 eprover: CPU time limit exceeded, terminating
% 167.92/153.08 eprover: CPU time limit exceeded, terminating
% 170.11/155.10 eprover: CPU time limit exceeded, terminating
% 172.33/157.12 eprover: CPU time limit exceeded, terminating
% 174.55/159.14 eprover: CPU time limit exceeded, terminating
% 176.78/161.15 eprover: CPU time limit exceeded, terminating
% 179.01/163.17 eprover: CPU time limit exceeded, terminating
% 181.24/165.19 eprover: CPU time limit exceeded, terminating
% 183.43/167.20 eprover: CPU time limit exceeded, terminating
% 185.59/169.22 eprover: CPU time limit exceeded, terminating
% 187.90/171.24 eprover: CPU time limit exceeded, terminating
% 190.11/173.26 eprover: CPU time limit exceeded, terminating
% 192.33/175.27 eprover: CPU time limit exceeded, terminating
% 194.48/177.29 eprover: CPU time limit exceeded, terminating
% 196.75/179.31 eprover: CPU time limit exceeded, terminating
% 198.91/181.32 eprover: CPU time limit exceeded, terminating
% 201.12/183.34 eprover: CPU time limit exceeded, terminating
% 203.41/185.36 eprover: CPU time limit exceeded, terminating
% 205.60/187.37 eprover: CPU time limit exceeded, terminating
% 207.82/189.39 eprover: CPU time limit exceeded, terminating
% 210.03/191.41 eprover: CPU time limit exceeded, terminating
% 212.28/193.42 eprover: CPU time limit exceeded, terminating
% 214.48/195.44 eprover: CPU time limit exceeded, terminating
% 216.69/197.45 eprover: CPU time limit exceeded, terminating
% 218.90/199.47 eprover: CPU time limit exceeded, terminating
% 221.13/201.48 eprover: CPU time limit exceeded, terminating
% 223.31/203.50 eprover: CPU time limit exceeded, terminating
% 225.54/205.52 eprover: CPU time limit exceeded, terminating
% 227.71/207.53 eprover: CPU time limit exceeded, terminating
% 229.92/209.55 eprover: CPU time limit exceeded, terminating
% 232.17/211.56 eprover: CPU time limit exceeded, terminating
% 234.41/213.58 eprover: CPU time limit exceeded, terminating
% 236.65/215.60 eprover: CPU time limit exceeded, terminating
% 238.81/217.61 eprover: CPU time limit exceeded, terminating
% 241.04/219.63 eprover: CPU time limit exceeded, terminating
% 243.30/221.65 eprover: CPU time limit exceeded, terminating
% 245.51/223.66 eprover: CPU time limit exceeded, terminating
% 247.73/225.68 eprover: CPU time limit exceeded, terminating
% 249.94/227.70 eprover: CPU time limit exceeded, terminating
% 252.17/229.72 eprover: CPU time limit exceeded, terminating
% 254.38/231.73 eprover: CPU time limit exceeded, terminating
% 256.55/233.75 eprover: CPU time limit exceeded, terminating
% 258.81/235.77 eprover: CPU time limit exceeded, terminating
% 261.00/237.78 eprover: CPU time limit exceeded, terminating
% 263.26/239.80 eprover: CPU time limit exceeded, terminating
% 265.46/241.82 eprover: CPU time limit exceeded, terminating
% 267.67/243.83 eprover: CPU time limit exceeded, terminating
% 269.91/245.85 eprover: CPU time limit exceeded, terminating
% 272.12/247.87 eprover: CPU time limit exceeded, terminating
% 274.32/249.89 eprover: CPU time limit exceeded, terminating
% 276.54/251.90 eprover: CPU time limit exceeded, terminating
% 278.76/253.92 eprover: CPU time limit exceeded, terminating
% 281.00/255.93 eprover: CPU time limit exceeded, terminating
% 283.20/257.95 eprover: CPU time limit exceeded, terminating
% 285.42/259.97 eprover: CPU time limit exceeded, terminating
% 287.61/261.98 eprover: CPU time limit exceeded, terminating
% 289.86/264.00 eprover: CPU time limit exceeded, terminating
% 292.04/266.02 eprover: CPU time limit exceeded, terminating
% 294.26/268.04 eprover: CPU time limit exceeded, terminating
% 296.44/270.05 eprover: CPU time limit exceeded, terminating
% 298.69/272.07 eprover: CPU time limit exceeded, terminating
% 300.09/273.24 eprover: CPU time limit exceeded, terminating
% 300.09/273.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------