TSTP Solution File: CSR300+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR300+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:16 EDT 2022
% Result : Timeout 287.29s 262.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : CSR300+1 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.15/0.37 % Computer : n009.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 600
% 0.15/0.37 % DateTime : Sat Jun 11 02:32:08 EDT 2022
% 0.15/0.37 % CPUTime :
% 5.83/5.89 eprover: CPU time limit exceeded, terminating
% 8.10/7.91 eprover: CPU time limit exceeded, terminating
% 10.31/9.93 eprover: CPU time limit exceeded, terminating
% 12.56/11.94 eprover: CPU time limit exceeded, terminating
% 14.72/13.96 eprover: CPU time limit exceeded, terminating
% 16.96/15.98 eprover: CPU time limit exceeded, terminating
% 19.14/18.00 eprover: CPU time limit exceeded, terminating
% 21.43/20.01 eprover: CPU time limit exceeded, terminating
% 23.64/22.03 eprover: CPU time limit exceeded, terminating
% 25.89/24.05 eprover: CPU time limit exceeded, terminating
% 28.08/26.07 eprover: CPU time limit exceeded, terminating
% 30.32/28.09 eprover: CPU time limit exceeded, terminating
% 32.58/30.10 eprover: CPU time limit exceeded, terminating
% 34.77/32.12 eprover: CPU time limit exceeded, terminating
% 37.01/34.14 eprover: CPU time limit exceeded, terminating
% 39.22/36.15 eprover: CPU time limit exceeded, terminating
% 41.43/38.17 eprover: CPU time limit exceeded, terminating
% 43.65/40.19 eprover: CPU time limit exceeded, terminating
% 45.82/42.20 eprover: CPU time limit exceeded, terminating
% 48.07/44.22 eprover: CPU time limit exceeded, terminating
% 50.30/46.24 eprover: CPU time limit exceeded, terminating
% 52.51/48.26 eprover: CPU time limit exceeded, terminating
% 54.72/50.27 eprover: CPU time limit exceeded, terminating
% 56.89/52.29 eprover: CPU time limit exceeded, terminating
% 59.13/54.31 eprover: CPU time limit exceeded, terminating
% 61.30/56.33 eprover: CPU time limit exceeded, terminating
% 63.54/58.34 eprover: CPU time limit exceeded, terminating
% 65.79/60.36 eprover: CPU time limit exceeded, terminating
% 67.99/62.38 eprover: CPU time limit exceeded, terminating
% 70.16/64.40 eprover: CPU time limit exceeded, terminating
% 72.43/66.41 eprover: CPU time limit exceeded, terminating
% 74.67/68.43 eprover: CPU time limit exceeded, terminating
% 76.83/70.45 eprover: CPU time limit exceeded, terminating
% 79.09/72.46 eprover: CPU time limit exceeded, terminating
% 81.31/74.49 eprover: CPU time limit exceeded, terminating
% 83.48/76.51 eprover: CPU time limit exceeded, terminating
% 85.75/78.53 eprover: CPU time limit exceeded, terminating
% 87.89/80.54 eprover: CPU time limit exceeded, terminating
% 90.18/82.56 eprover: CPU time limit exceeded, terminating
% 92.41/84.59 eprover: CPU time limit exceeded, terminating
% 94.61/86.61 eprover: CPU time limit exceeded, terminating
% 96.80/88.62 eprover: CPU time limit exceeded, terminating
% 99.03/90.64 eprover: CPU time limit exceeded, terminating
% 101.26/92.66 eprover: CPU time limit exceeded, terminating
% 103.49/94.68 eprover: CPU time limit exceeded, terminating
% 105.66/96.69 eprover: CPU time limit exceeded, terminating
% 107.90/98.71 eprover: CPU time limit exceeded, terminating
% 110.06/100.73 eprover: CPU time limit exceeded, terminating
% 112.33/102.75 eprover: CPU time limit exceeded, terminating
% 114.54/104.76 eprover: CPU time limit exceeded, terminating
% 116.73/106.78 eprover: CPU time limit exceeded, terminating
% 118.97/108.80 eprover: CPU time limit exceeded, terminating
% 121.22/110.82 eprover: CPU time limit exceeded, terminating
% 123.42/112.83 eprover: CPU time limit exceeded, terminating
% 125.65/114.85 eprover: CPU time limit exceeded, terminating
% 127.82/116.87 eprover: CPU time limit exceeded, terminating
% 130.06/118.89 eprover: CPU time limit exceeded, terminating
% 132.31/120.90 eprover: CPU time limit exceeded, terminating
% 134.44/122.92 eprover: CPU time limit exceeded, terminating
% 136.70/124.94 eprover: CPU time limit exceeded, terminating
% 138.91/126.96 eprover: CPU time limit exceeded, terminating
% 141.16/128.98 eprover: CPU time limit exceeded, terminating
% 143.31/130.99 eprover: CPU time limit exceeded, terminating
% 145.57/133.01 eprover: CPU time limit exceeded, terminating
% 147.81/135.03 eprover: CPU time limit exceeded, terminating
% 150.02/137.05 eprover: CPU time limit exceeded, terminating
% 152.20/139.06 eprover: CPU time limit exceeded, terminating
% 154.47/141.08 eprover: CPU time limit exceeded, terminating
% 156.65/143.10 eprover: CPU time limit exceeded, terminating
% 158.90/145.12 eprover: CPU time limit exceeded, terminating
% 161.12/147.13 eprover: CPU time limit exceeded, terminating
% 163.32/149.15 eprover: CPU time limit exceeded, terminating
% 165.53/151.17 eprover: CPU time limit exceeded, terminating
% 167.76/153.19 eprover: CPU time limit exceeded, terminating
% 169.97/155.20 eprover: CPU time limit exceeded, terminating
% 172.16/157.22 eprover: CPU time limit exceeded, terminating
% 174.42/159.24 eprover: CPU time limit exceeded, terminating
% 176.63/161.26 eprover: CPU time limit exceeded, terminating
% 178.76/163.28 eprover: CPU time limit exceeded, terminating
% 181.02/165.29 eprover: CPU time limit exceeded, terminating
% 183.29/167.31 eprover: CPU time limit exceeded, terminating
% 185.48/169.33 eprover: CPU time limit exceeded, terminating
% 187.70/171.34 eprover: CPU time limit exceeded, terminating
% 189.92/173.36 eprover: CPU time limit exceeded, terminating
% 192.12/175.38 eprover: CPU time limit exceeded, terminating
% 194.34/177.40 eprover: CPU time limit exceeded, terminating
% 196.51/179.41 eprover: CPU time limit exceeded, terminating
% 198.73/181.43 eprover: CPU time limit exceeded, terminating
% 201.00/183.45 eprover: CPU time limit exceeded, terminating
% 203.20/185.47 eprover: CPU time limit exceeded, terminating
% 205.38/187.48 eprover: CPU time limit exceeded, terminating
% 207.66/189.50 eprover: CPU time limit exceeded, terminating
% 209.86/191.52 eprover: CPU time limit exceeded, terminating
% 212.08/193.53 eprover: CPU time limit exceeded, terminating
% 214.27/195.55 eprover: CPU time limit exceeded, terminating
% 216.49/197.56 eprover: CPU time limit exceeded, terminating
% 218.68/199.58 eprover: CPU time limit exceeded, terminating
% 220.86/201.59 eprover: CPU time limit exceeded, terminating
% 223.09/203.60 eprover: CPU time limit exceeded, terminating
% 225.30/205.61 eprover: CPU time limit exceeded, terminating
% 227.48/207.63 eprover: CPU time limit exceeded, terminating
% 229.70/209.64 eprover: CPU time limit exceeded, terminating
% 231.86/211.65 eprover: CPU time limit exceeded, terminating
% 234.10/213.66 eprover: CPU time limit exceeded, terminating
% 236.32/215.68 eprover: CPU time limit exceeded, terminating
% 238.51/217.69 eprover: CPU time limit exceeded, terminating
% 240.70/219.70 eprover: CPU time limit exceeded, terminating
% 242.87/221.71 eprover: CPU time limit exceeded, terminating
% 245.08/223.72 eprover: CPU time limit exceeded, terminating
% 247.33/225.74 eprover: CPU time limit exceeded, terminating
% 249.55/227.75 eprover: CPU time limit exceeded, terminating
% 251.78/229.77 eprover: CPU time limit exceeded, terminating
% 253.97/231.79 eprover: CPU time limit exceeded, terminating
% 256.21/233.80 eprover: CPU time limit exceeded, terminating
% 258.38/235.82 eprover: CPU time limit exceeded, terminating
% 260.66/237.84 eprover: CPU time limit exceeded, terminating
% 262.88/239.85 eprover: CPU time limit exceeded, terminating
% 265.08/241.87 eprover: CPU time limit exceeded, terminating
% 267.30/243.89 eprover: CPU time limit exceeded, terminating
% 269.46/245.91 eprover: CPU time limit exceeded, terminating
% 271.71/247.92 eprover: CPU time limit exceeded, terminating
% 273.97/249.94 eprover: CPU time limit exceeded, terminating
% 276.18/251.96 eprover: CPU time limit exceeded, terminating
% 278.38/253.98 eprover: CPU time limit exceeded, terminating
% 280.59/255.99 eprover: CPU time limit exceeded, terminating
% 282.78/258.01 eprover: CPU time limit exceeded, terminating
% 285.06/260.03 eprover: CPU time limit exceeded, terminating
% 287.29/262.05 eprover: CPU time limit exceeded, terminating
% 289.47/264.06 eprover: CPU time limit exceeded, terminating
% 291.70/266.08 eprover: CPU time limit exceeded, terminating
% 293.94/268.10 eprover: CPU time limit exceeded, terminating
% 296.14/270.12 eprover: CPU time limit exceeded, terminating
% 298.34/272.13 eprover: CPU time limit exceeded, terminating
% 300.04/273.59 eprover: CPU time limit exceeded, terminating
% 300.04/273.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------