TSTP Solution File: CSR292+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR292+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:15 EDT 2022
% Result : Timeout 286.87s 261.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR292+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n014.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 16:08:38 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.91/5.91 eprover: CPU time limit exceeded, terminating
% 8.08/7.92 eprover: CPU time limit exceeded, terminating
% 10.28/9.93 eprover: CPU time limit exceeded, terminating
% 12.46/11.94 eprover: CPU time limit exceeded, terminating
% 14.69/13.95 eprover: CPU time limit exceeded, terminating
% 16.88/15.96 eprover: CPU time limit exceeded, terminating
% 19.14/17.97 eprover: CPU time limit exceeded, terminating
% 21.35/19.98 eprover: CPU time limit exceeded, terminating
% 23.57/21.99 eprover: CPU time limit exceeded, terminating
% 25.78/24.01 eprover: CPU time limit exceeded, terminating
% 28.04/26.02 eprover: CPU time limit exceeded, terminating
% 30.16/28.03 eprover: CPU time limit exceeded, terminating
% 32.38/30.04 eprover: CPU time limit exceeded, terminating
% 34.64/32.05 eprover: CPU time limit exceeded, terminating
% 36.81/34.06 eprover: CPU time limit exceeded, terminating
% 39.06/36.07 eprover: CPU time limit exceeded, terminating
% 41.27/38.08 eprover: CPU time limit exceeded, terminating
% 43.46/40.09 eprover: CPU time limit exceeded, terminating
% 45.71/42.11 eprover: CPU time limit exceeded, terminating
% 47.91/44.12 eprover: CPU time limit exceeded, terminating
% 50.18/46.13 eprover: CPU time limit exceeded, terminating
% 52.32/48.14 eprover: CPU time limit exceeded, terminating
% 54.60/50.15 eprover: CPU time limit exceeded, terminating
% 56.79/52.16 eprover: CPU time limit exceeded, terminating
% 59.01/54.17 eprover: CPU time limit exceeded, terminating
% 61.20/56.18 eprover: CPU time limit exceeded, terminating
% 63.41/58.19 eprover: CPU time limit exceeded, terminating
% 65.64/60.20 eprover: CPU time limit exceeded, terminating
% 67.83/62.22 eprover: CPU time limit exceeded, terminating
% 70.07/64.23 eprover: CPU time limit exceeded, terminating
% 72.28/66.24 eprover: CPU time limit exceeded, terminating
% 74.49/68.25 eprover: CPU time limit exceeded, terminating
% 76.69/70.26 eprover: CPU time limit exceeded, terminating
% 78.91/72.27 eprover: CPU time limit exceeded, terminating
% 81.13/74.28 eprover: CPU time limit exceeded, terminating
% 83.35/76.29 eprover: CPU time limit exceeded, terminating
% 85.51/78.31 eprover: CPU time limit exceeded, terminating
% 87.73/80.32 eprover: CPU time limit exceeded, terminating
% 89.94/82.33 eprover: CPU time limit exceeded, terminating
% 92.22/84.34 eprover: CPU time limit exceeded, terminating
% 94.39/86.35 eprover: CPU time limit exceeded, terminating
% 96.63/88.36 eprover: CPU time limit exceeded, terminating
% 98.83/90.38 eprover: CPU time limit exceeded, terminating
% 101.05/92.39 eprover: CPU time limit exceeded, terminating
% 103.28/94.40 eprover: CPU time limit exceeded, terminating
% 105.45/96.41 eprover: CPU time limit exceeded, terminating
% 107.72/98.42 eprover: CPU time limit exceeded, terminating
% 109.94/100.43 eprover: CPU time limit exceeded, terminating
% 112.15/102.45 eprover: CPU time limit exceeded, terminating
% 114.37/104.46 eprover: CPU time limit exceeded, terminating
% 116.58/106.47 eprover: CPU time limit exceeded, terminating
% 118.77/108.48 eprover: CPU time limit exceeded, terminating
% 121.01/110.49 eprover: CPU time limit exceeded, terminating
% 123.19/112.51 eprover: CPU time limit exceeded, terminating
% 125.40/114.52 eprover: CPU time limit exceeded, terminating
% 127.61/116.53 eprover: CPU time limit exceeded, terminating
% 129.87/118.54 eprover: CPU time limit exceeded, terminating
% 132.08/120.55 eprover: CPU time limit exceeded, terminating
% 134.35/122.57 eprover: CPU time limit exceeded, terminating
% 136.57/124.58 eprover: CPU time limit exceeded, terminating
% 138.73/126.59 eprover: CPU time limit exceeded, terminating
% 140.99/128.60 eprover: CPU time limit exceeded, terminating
% 143.17/130.62 eprover: CPU time limit exceeded, terminating
% 145.40/132.63 eprover: CPU time limit exceeded, terminating
% 147.59/134.64 eprover: CPU time limit exceeded, terminating
% 149.86/136.65 eprover: CPU time limit exceeded, terminating
% 152.06/138.66 eprover: CPU time limit exceeded, terminating
% 154.29/140.68 eprover: CPU time limit exceeded, terminating
% 156.46/142.69 eprover: CPU time limit exceeded, terminating
% 158.71/144.70 eprover: CPU time limit exceeded, terminating
% 160.96/146.71 eprover: CPU time limit exceeded, terminating
% 163.13/148.73 eprover: CPU time limit exceeded, terminating
% 165.30/150.74 eprover: CPU time limit exceeded, terminating
% 167.53/152.75 eprover: CPU time limit exceeded, terminating
% 169.81/154.76 eprover: CPU time limit exceeded, terminating
% 171.99/156.77 eprover: CPU time limit exceeded, terminating
% 174.22/158.79 eprover: CPU time limit exceeded, terminating
% 176.46/160.80 eprover: CPU time limit exceeded, terminating
% 178.65/162.81 eprover: CPU time limit exceeded, terminating
% 180.82/164.82 eprover: CPU time limit exceeded, terminating
% 183.07/166.83 eprover: CPU time limit exceeded, terminating
% 185.30/168.85 eprover: CPU time limit exceeded, terminating
% 187.52/170.86 eprover: CPU time limit exceeded, terminating
% 189.74/172.87 eprover: CPU time limit exceeded, terminating
% 191.93/174.88 eprover: CPU time limit exceeded, terminating
% 194.16/176.89 eprover: CPU time limit exceeded, terminating
% 196.34/178.91 eprover: CPU time limit exceeded, terminating
% 198.57/180.92 eprover: CPU time limit exceeded, terminating
% 200.80/182.93 eprover: CPU time limit exceeded, terminating
% 202.98/184.94 eprover: CPU time limit exceeded, terminating
% 205.21/186.96 eprover: CPU time limit exceeded, terminating
% 207.42/188.97 eprover: CPU time limit exceeded, terminating
% 209.64/190.98 eprover: CPU time limit exceeded, terminating
% 211.87/192.99 eprover: CPU time limit exceeded, terminating
% 214.08/195.00 eprover: CPU time limit exceeded, terminating
% 216.23/197.02 eprover: CPU time limit exceeded, terminating
% 218.43/199.04 eprover: CPU time limit exceeded, terminating
% 220.69/201.05 eprover: CPU time limit exceeded, terminating
% 222.93/203.06 eprover: CPU time limit exceeded, terminating
% 225.12/205.07 eprover: CPU time limit exceeded, terminating
% 227.33/207.08 eprover: CPU time limit exceeded, terminating
% 229.51/209.10 eprover: CPU time limit exceeded, terminating
% 231.75/211.11 eprover: CPU time limit exceeded, terminating
% 233.94/213.12 eprover: CPU time limit exceeded, terminating
% 236.11/215.13 eprover: CPU time limit exceeded, terminating
% 238.39/217.14 eprover: CPU time limit exceeded, terminating
% 240.60/219.16 eprover: CPU time limit exceeded, terminating
% 242.77/221.17 eprover: CPU time limit exceeded, terminating
% 245.00/223.18 eprover: CPU time limit exceeded, terminating
% 247.20/225.19 eprover: CPU time limit exceeded, terminating
% 249.42/227.21 eprover: CPU time limit exceeded, terminating
% 251.65/229.22 eprover: CPU time limit exceeded, terminating
% 253.84/231.23 eprover: CPU time limit exceeded, terminating
% 256.07/233.24 eprover: CPU time limit exceeded, terminating
% 258.22/235.25 eprover: CPU time limit exceeded, terminating
% 260.44/237.27 eprover: CPU time limit exceeded, terminating
% 262.69/239.28 eprover: CPU time limit exceeded, terminating
% 264.84/241.29 eprover: CPU time limit exceeded, terminating
% 267.08/243.30 eprover: CPU time limit exceeded, terminating
% 269.23/245.31 eprover: CPU time limit exceeded, terminating
% 271.52/247.32 eprover: CPU time limit exceeded, terminating
% 273.71/249.34 eprover: CPU time limit exceeded, terminating
% 275.88/251.35 eprover: CPU time limit exceeded, terminating
% 278.08/253.36 eprover: CPU time limit exceeded, terminating
% 280.33/255.37 eprover: CPU time limit exceeded, terminating
% 282.49/257.38 eprover: CPU time limit exceeded, terminating
% 284.72/259.39 eprover: CPU time limit exceeded, terminating
% 286.87/261.40 eprover: CPU time limit exceeded, terminating
% 289.12/263.41 eprover: CPU time limit exceeded, terminating
% 291.35/265.42 eprover: CPU time limit exceeded, terminating
% 293.56/267.44 eprover: CPU time limit exceeded, terminating
% 295.74/269.45 eprover: CPU time limit exceeded, terminating
% 297.94/271.46 eprover: CPU time limit exceeded, terminating
% 300.04/273.33 eprover: CPU time limit exceeded, terminating
% 300.04/273.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------