TSTP Solution File: CSR301+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR301+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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.25s 261.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR301+1 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n028.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 10 21:49:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.82/5.83 eprover: CPU time limit exceeded, terminating
% 8.04/7.84 eprover: CPU time limit exceeded, terminating
% 10.25/9.86 eprover: CPU time limit exceeded, terminating
% 12.47/11.87 eprover: CPU time limit exceeded, terminating
% 14.68/13.88 eprover: CPU time limit exceeded, terminating
% 16.88/15.89 eprover: CPU time limit exceeded, terminating
% 19.07/17.91 eprover: CPU time limit exceeded, terminating
% 21.27/19.92 eprover: CPU time limit exceeded, terminating
% 23.55/21.93 eprover: CPU time limit exceeded, terminating
% 25.76/23.94 eprover: CPU time limit exceeded, terminating
% 27.99/25.96 eprover: CPU time limit exceeded, terminating
% 30.23/27.97 eprover: CPU time limit exceeded, terminating
% 32.40/29.98 eprover: CPU time limit exceeded, terminating
% 34.64/31.99 eprover: CPU time limit exceeded, terminating
% 36.83/34.01 eprover: CPU time limit exceeded, terminating
% 39.08/36.02 eprover: CPU time limit exceeded, terminating
% 41.25/38.03 eprover: CPU time limit exceeded, terminating
% 43.54/40.05 eprover: CPU time limit exceeded, terminating
% 45.76/42.06 eprover: CPU time limit exceeded, terminating
% 47.97/44.07 eprover: CPU time limit exceeded, terminating
% 50.16/46.08 eprover: CPU time limit exceeded, terminating
% 52.40/48.10 eprover: CPU time limit exceeded, terminating
% 54.58/50.11 eprover: CPU time limit exceeded, terminating
% 56.79/52.12 eprover: CPU time limit exceeded, terminating
% 59.03/54.13 eprover: CPU time limit exceeded, terminating
% 61.25/56.15 eprover: CPU time limit exceeded, terminating
% 63.47/58.16 eprover: CPU time limit exceeded, terminating
% 65.72/60.17 eprover: CPU time limit exceeded, terminating
% 67.93/62.19 eprover: CPU time limit exceeded, terminating
% 70.13/64.20 eprover: CPU time limit exceeded, terminating
% 72.37/66.21 eprover: CPU time limit exceeded, terminating
% 74.53/68.23 eprover: CPU time limit exceeded, terminating
% 76.80/70.24 eprover: CPU time limit exceeded, terminating
% 78.99/72.25 eprover: CPU time limit exceeded, terminating
% 81.25/74.26 eprover: CPU time limit exceeded, terminating
% 83.46/76.28 eprover: CPU time limit exceeded, terminating
% 85.69/78.29 eprover: CPU time limit exceeded, terminating
% 87.88/80.30 eprover: CPU time limit exceeded, terminating
% 90.07/82.32 eprover: CPU time limit exceeded, terminating
% 92.31/84.33 eprover: CPU time limit exceeded, terminating
% 94.58/86.34 eprover: CPU time limit exceeded, terminating
% 96.76/88.36 eprover: CPU time limit exceeded, terminating
% 99.03/90.37 eprover: CPU time limit exceeded, terminating
% 101.21/92.38 eprover: CPU time limit exceeded, terminating
% 103.42/94.40 eprover: CPU time limit exceeded, terminating
% 105.64/96.41 eprover: CPU time limit exceeded, terminating
% 107.88/98.42 eprover: CPU time limit exceeded, terminating
% 110.11/100.44 eprover: CPU time limit exceeded, terminating
% 112.32/102.45 eprover: CPU time limit exceeded, terminating
% 114.55/104.46 eprover: CPU time limit exceeded, terminating
% 116.74/106.48 eprover: CPU time limit exceeded, terminating
% 118.98/108.49 eprover: CPU time limit exceeded, terminating
% 121.19/110.50 eprover: CPU time limit exceeded, terminating
% 123.41/112.52 eprover: CPU time limit exceeded, terminating
% 125.57/114.53 eprover: CPU time limit exceeded, terminating
% 127.79/116.54 eprover: CPU time limit exceeded, terminating
% 130.09/118.56 eprover: CPU time limit exceeded, terminating
% 132.29/120.57 eprover: CPU time limit exceeded, terminating
% 134.54/122.58 eprover: CPU time limit exceeded, terminating
% 136.71/124.60 eprover: CPU time limit exceeded, terminating
% 138.94/126.61 eprover: CPU time limit exceeded, terminating
% 141.16/128.62 eprover: CPU time limit exceeded, terminating
% 143.40/130.64 eprover: CPU time limit exceeded, terminating
% 145.60/132.65 eprover: CPU time limit exceeded, terminating
% 147.86/134.66 eprover: CPU time limit exceeded, terminating
% 150.06/136.68 eprover: CPU time limit exceeded, terminating
% 152.26/138.69 eprover: CPU time limit exceeded, terminating
% 154.50/140.70 eprover: CPU time limit exceeded, terminating
% 156.70/142.72 eprover: CPU time limit exceeded, terminating
% 158.93/144.73 eprover: CPU time limit exceeded, terminating
% 161.18/146.74 eprover: CPU time limit exceeded, terminating
% 163.38/148.76 eprover: CPU time limit exceeded, terminating
% 165.60/150.77 eprover: CPU time limit exceeded, terminating
% 167.80/152.78 eprover: CPU time limit exceeded, terminating
% 169.99/154.80 eprover: CPU time limit exceeded, terminating
% 172.23/156.81 eprover: CPU time limit exceeded, terminating
% 174.44/158.82 eprover: CPU time limit exceeded, terminating
% 176.62/160.83 eprover: CPU time limit exceeded, terminating
% 178.85/162.85 eprover: CPU time limit exceeded, terminating
% 181.08/164.86 eprover: CPU time limit exceeded, terminating
% 183.33/166.87 eprover: CPU time limit exceeded, terminating
% 185.48/168.89 eprover: CPU time limit exceeded, terminating
% 187.76/170.90 eprover: CPU time limit exceeded, terminating
% 189.93/172.91 eprover: CPU time limit exceeded, terminating
% 192.11/174.92 eprover: CPU time limit exceeded, terminating
% 194.38/176.93 eprover: CPU time limit exceeded, terminating
% 196.57/178.94 eprover: CPU time limit exceeded, terminating
% 198.79/180.95 eprover: CPU time limit exceeded, terminating
% 201.00/182.96 eprover: CPU time limit exceeded, terminating
% 203.19/184.98 eprover: CPU time limit exceeded, terminating
% 205.36/186.99 eprover: CPU time limit exceeded, terminating
% 207.59/189.00 eprover: CPU time limit exceeded, terminating
% 209.83/191.01 eprover: CPU time limit exceeded, terminating
% 211.98/193.02 eprover: CPU time limit exceeded, terminating
% 214.27/195.04 eprover: CPU time limit exceeded, terminating
% 216.42/197.05 eprover: CPU time limit exceeded, terminating
% 218.70/199.06 eprover: CPU time limit exceeded, terminating
% 220.87/201.07 eprover: CPU time limit exceeded, terminating
% 223.10/203.09 eprover: CPU time limit exceeded, terminating
% 225.33/205.10 eprover: CPU time limit exceeded, terminating
% 227.49/207.11 eprover: CPU time limit exceeded, terminating
% 229.72/209.12 eprover: CPU time limit exceeded, terminating
% 231.97/211.14 eprover: CPU time limit exceeded, terminating
% 234.11/213.15 eprover: CPU time limit exceeded, terminating
% 236.38/215.16 eprover: CPU time limit exceeded, terminating
% 238.61/217.17 eprover: CPU time limit exceeded, terminating
% 240.78/219.18 eprover: CPU time limit exceeded, terminating
% 243.03/221.20 eprover: CPU time limit exceeded, terminating
% 245.21/223.21 eprover: CPU time limit exceeded, terminating
% 247.42/225.22 eprover: CPU time limit exceeded, terminating
% 249.65/227.23 eprover: CPU time limit exceeded, terminating
% 251.81/229.24 eprover: CPU time limit exceeded, terminating
% 254.08/231.26 eprover: CPU time limit exceeded, terminating
% 256.27/233.27 eprover: CPU time limit exceeded, terminating
% 258.48/235.28 eprover: CPU time limit exceeded, terminating
% 260.68/237.29 eprover: CPU time limit exceeded, terminating
% 262.88/239.30 eprover: CPU time limit exceeded, terminating
% 265.09/241.32 eprover: CPU time limit exceeded, terminating
% 267.33/243.33 eprover: CPU time limit exceeded, terminating
% 269.56/245.34 eprover: CPU time limit exceeded, terminating
% 271.80/247.35 eprover: CPU time limit exceeded, terminating
% 273.98/249.36 eprover: CPU time limit exceeded, terminating
% 276.21/251.38 eprover: CPU time limit exceeded, terminating
% 278.39/253.39 eprover: CPU time limit exceeded, terminating
% 280.61/255.40 eprover: CPU time limit exceeded, terminating
% 282.84/257.41 eprover: CPU time limit exceeded, terminating
% 285.02/259.42 eprover: CPU time limit exceeded, terminating
% 287.25/261.44 eprover: CPU time limit exceeded, terminating
% 289.41/263.45 eprover: CPU time limit exceeded, terminating
% 291.66/265.46 eprover: CPU time limit exceeded, terminating
% 293.86/267.47 eprover: CPU time limit exceeded, terminating
% 296.04/269.48 eprover: CPU time limit exceeded, terminating
% 298.29/271.50 eprover: CPU time limit exceeded, terminating
% 300.08/273.07 eprover: CPU time limit exceeded, terminating
% 300.08/273.09 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------