TSTP Solution File: CSR279+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR279+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:13 EDT 2022
% Result : Timeout 287.43s 261.57s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR279+1 : TPTP v8.1.0. Released v7.3.0.
% 0.10/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 20:43:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.93/5.94 eprover: CPU time limit exceeded, terminating
% 8.15/7.95 eprover: CPU time limit exceeded, terminating
% 10.31/9.97 eprover: CPU time limit exceeded, terminating
% 12.53/11.98 eprover: CPU time limit exceeded, terminating
% 14.71/13.99 eprover: CPU time limit exceeded, terminating
% 16.98/16.00 eprover: CPU time limit exceeded, terminating
% 19.22/18.01 eprover: CPU time limit exceeded, terminating
% 21.40/20.03 eprover: CPU time limit exceeded, terminating
% 23.61/22.04 eprover: CPU time limit exceeded, terminating
% 25.85/24.05 eprover: CPU time limit exceeded, terminating
% 28.05/26.06 eprover: CPU time limit exceeded, terminating
% 30.24/28.08 eprover: CPU time limit exceeded, terminating
% 32.45/30.09 eprover: CPU time limit exceeded, terminating
% 34.72/32.10 eprover: CPU time limit exceeded, terminating
% 36.96/34.11 eprover: CPU time limit exceeded, terminating
% 39.14/36.13 eprover: CPU time limit exceeded, terminating
% 41.36/38.14 eprover: CPU time limit exceeded, terminating
% 43.58/40.15 eprover: CPU time limit exceeded, terminating
% 45.77/42.16 eprover: CPU time limit exceeded, terminating
% 47.99/44.17 eprover: CPU time limit exceeded, terminating
% 50.21/46.19 eprover: CPU time limit exceeded, terminating
% 52.46/48.20 eprover: CPU time limit exceeded, terminating
% 54.60/50.21 eprover: CPU time limit exceeded, terminating
% 56.86/52.22 eprover: CPU time limit exceeded, terminating
% 59.10/54.24 eprover: CPU time limit exceeded, terminating
% 61.33/56.25 eprover: CPU time limit exceeded, terminating
% 63.52/58.26 eprover: CPU time limit exceeded, terminating
% 65.74/60.27 eprover: CPU time limit exceeded, terminating
% 67.98/62.28 eprover: CPU time limit exceeded, terminating
% 70.19/64.30 eprover: CPU time limit exceeded, terminating
% 72.31/66.31 eprover: CPU time limit exceeded, terminating
% 74.57/68.32 eprover: CPU time limit exceeded, terminating
% 76.81/70.33 eprover: CPU time limit exceeded, terminating
% 79.00/72.35 eprover: CPU time limit exceeded, terminating
% 81.29/74.36 eprover: CPU time limit exceeded, terminating
% 83.46/76.37 eprover: CPU time limit exceeded, terminating
% 85.69/78.38 eprover: CPU time limit exceeded, terminating
% 87.93/80.40 eprover: CPU time limit exceeded, terminating
% 90.11/82.41 eprover: CPU time limit exceeded, terminating
% 92.36/84.42 eprover: CPU time limit exceeded, terminating
% 94.55/86.43 eprover: CPU time limit exceeded, terminating
% 96.75/88.45 eprover: CPU time limit exceeded, terminating
% 98.96/90.46 eprover: CPU time limit exceeded, terminating
% 101.19/92.47 eprover: CPU time limit exceeded, terminating
% 103.34/94.49 eprover: CPU time limit exceeded, terminating
% 105.65/96.50 eprover: CPU time limit exceeded, terminating
% 107.86/98.51 eprover: CPU time limit exceeded, terminating
% 110.06/100.53 eprover: CPU time limit exceeded, terminating
% 112.25/102.54 eprover: CPU time limit exceeded, terminating
% 114.50/104.55 eprover: CPU time limit exceeded, terminating
% 116.65/106.56 eprover: CPU time limit exceeded, terminating
% 118.89/108.58 eprover: CPU time limit exceeded, terminating
% 121.18/110.59 eprover: CPU time limit exceeded, terminating
% 123.30/112.60 eprover: CPU time limit exceeded, terminating
% 125.57/114.62 eprover: CPU time limit exceeded, terminating
% 127.78/116.63 eprover: CPU time limit exceeded, terminating
% 129.99/118.64 eprover: CPU time limit exceeded, terminating
% 132.25/120.65 eprover: CPU time limit exceeded, terminating
% 134.41/122.67 eprover: CPU time limit exceeded, terminating
% 136.68/124.68 eprover: CPU time limit exceeded, terminating
% 138.89/126.69 eprover: CPU time limit exceeded, terminating
% 141.12/128.70 eprover: CPU time limit exceeded, terminating
% 143.29/130.72 eprover: CPU time limit exceeded, terminating
% 145.47/132.73 eprover: CPU time limit exceeded, terminating
% 147.78/134.74 eprover: CPU time limit exceeded, terminating
% 149.97/136.76 eprover: CPU time limit exceeded, terminating
% 152.18/138.77 eprover: CPU time limit exceeded, terminating
% 154.43/140.78 eprover: CPU time limit exceeded, terminating
% 156.56/142.79 eprover: CPU time limit exceeded, terminating
% 158.85/144.81 eprover: CPU time limit exceeded, terminating
% 161.06/146.82 eprover: CPU time limit exceeded, terminating
% 163.20/148.83 eprover: CPU time limit exceeded, terminating
% 165.47/150.85 eprover: CPU time limit exceeded, terminating
% 167.65/152.86 eprover: CPU time limit exceeded, terminating
% 169.94/154.87 eprover: CPU time limit exceeded, terminating
% 172.14/156.88 eprover: CPU time limit exceeded, terminating
% 174.32/158.90 eprover: CPU time limit exceeded, terminating
% 176.54/160.91 eprover: CPU time limit exceeded, terminating
% 178.81/162.92 eprover: CPU time limit exceeded, terminating
% 180.97/164.93 eprover: CPU time limit exceeded, terminating
% 183.23/166.95 eprover: CPU time limit exceeded, terminating
% 185.46/168.96 eprover: CPU time limit exceeded, terminating
% 187.65/170.97 eprover: CPU time limit exceeded, terminating
% 189.87/172.98 eprover: CPU time limit exceeded, terminating
% 192.05/175.00 eprover: CPU time limit exceeded, terminating
% 194.29/177.02 eprover: CPU time limit exceeded, terminating
% 196.52/179.03 eprover: CPU time limit exceeded, terminating
% 198.71/181.04 eprover: CPU time limit exceeded, terminating
% 200.97/183.06 eprover: CPU time limit exceeded, terminating
% 203.17/185.07 eprover: CPU time limit exceeded, terminating
% 205.36/187.08 eprover: CPU time limit exceeded, terminating
% 207.62/189.09 eprover: CPU time limit exceeded, terminating
% 209.77/191.11 eprover: CPU time limit exceeded, terminating
% 212.01/193.12 eprover: CPU time limit exceeded, terminating
% 214.25/195.13 eprover: CPU time limit exceeded, terminating
% 216.41/197.15 eprover: CPU time limit exceeded, terminating
% 218.69/199.16 eprover: CPU time limit exceeded, terminating
% 220.84/201.17 eprover: CPU time limit exceeded, terminating
% 223.10/203.19 eprover: CPU time limit exceeded, terminating
% 225.38/205.20 eprover: CPU time limit exceeded, terminating
% 227.61/207.21 eprover: CPU time limit exceeded, terminating
% 229.77/209.22 eprover: CPU time limit exceeded, terminating
% 232.00/211.24 eprover: CPU time limit exceeded, terminating
% 234.19/213.25 eprover: CPU time limit exceeded, terminating
% 236.42/215.26 eprover: CPU time limit exceeded, terminating
% 238.67/217.27 eprover: CPU time limit exceeded, terminating
% 240.85/219.29 eprover: CPU time limit exceeded, terminating
% 243.10/221.30 eprover: CPU time limit exceeded, terminating
% 245.27/223.31 eprover: CPU time limit exceeded, terminating
% 247.50/225.33 eprover: CPU time limit exceeded, terminating
% 249.75/227.34 eprover: CPU time limit exceeded, terminating
% 251.98/229.35 eprover: CPU time limit exceeded, terminating
% 254.15/231.37 eprover: CPU time limit exceeded, terminating
% 256.38/233.38 eprover: CPU time limit exceeded, terminating
% 258.56/235.39 eprover: CPU time limit exceeded, terminating
% 260.81/237.41 eprover: CPU time limit exceeded, terminating
% 263.05/239.42 eprover: CPU time limit exceeded, terminating
% 265.28/241.43 eprover: CPU time limit exceeded, terminating
% 267.40/243.45 eprover: CPU time limit exceeded, terminating
% 269.67/245.46 eprover: CPU time limit exceeded, terminating
% 271.91/247.47 eprover: CPU time limit exceeded, terminating
% 274.09/249.49 eprover: CPU time limit exceeded, terminating
% 276.33/251.50 eprover: CPU time limit exceeded, terminating
% 278.54/253.51 eprover: CPU time limit exceeded, terminating
% 280.77/255.53 eprover: CPU time limit exceeded, terminating
% 282.99/257.54 eprover: CPU time limit exceeded, terminating
% 285.23/259.55 eprover: CPU time limit exceeded, terminating
% 287.43/261.57 eprover: CPU time limit exceeded, terminating
% 289.65/263.58 eprover: CPU time limit exceeded, terminating
% 291.85/265.59 eprover: CPU time limit exceeded, terminating
% 294.08/267.61 eprover: CPU time limit exceeded, terminating
% 296.29/269.62 eprover: CPU time limit exceeded, terminating
% 298.53/271.64 eprover: CPU time limit exceeded, terminating
% 300.01/272.89 eprover: CPU time limit exceeded, terminating
% 300.01/272.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------