TSTP Solution File: CSR030+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR030+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:34:19 EDT 2022
% Result : Timeout 286.32s 217.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : CSR030+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.30 % Computer : n032.cluster.edu
% 0.11/0.30 % Model : x86_64 x86_64
% 0.11/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.30 % Memory : 8042.1875MB
% 0.11/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.30 % CPULimit : 300
% 0.11/0.30 % WCLimit : 600
% 0.11/0.30 % DateTime : Fri Jun 10 20:49:24 EDT 2022
% 0.11/0.30 % CPUTime :
% 15.52/15.21 eprover: CPU time limit exceeded, terminating
% 18.23/17.23 eprover: CPU time limit exceeded, terminating
% 20.93/19.25 eprover: CPU time limit exceeded, terminating
% 23.73/21.27 eprover: CPU time limit exceeded, terminating
% 26.45/23.29 eprover: CPU time limit exceeded, terminating
% 29.17/25.31 eprover: CPU time limit exceeded, terminating
% 31.89/27.33 eprover: CPU time limit exceeded, terminating
% 34.51/29.36 eprover: CPU time limit exceeded, terminating
% 37.30/31.38 eprover: CPU time limit exceeded, terminating
% 40.08/33.40 eprover: CPU time limit exceeded, terminating
% 42.68/35.42 eprover: CPU time limit exceeded, terminating
% 45.44/37.44 eprover: CPU time limit exceeded, terminating
% 48.13/39.46 eprover: CPU time limit exceeded, terminating
% 50.91/41.48 eprover: CPU time limit exceeded, terminating
% 53.55/43.50 eprover: CPU time limit exceeded, terminating
% 56.34/45.52 eprover: CPU time limit exceeded, terminating
% 59.02/47.55 eprover: CPU time limit exceeded, terminating
% 61.70/49.57 eprover: CPU time limit exceeded, terminating
% 64.47/51.58 eprover: CPU time limit exceeded, terminating
% 67.13/53.60 eprover: CPU time limit exceeded, terminating
% 69.74/55.62 eprover: CPU time limit exceeded, terminating
% 72.36/57.64 eprover: CPU time limit exceeded, terminating
% 75.08/59.66 eprover: CPU time limit exceeded, terminating
% 77.76/61.68 eprover: CPU time limit exceeded, terminating
% 80.44/63.70 eprover: CPU time limit exceeded, terminating
% 83.23/65.72 eprover: CPU time limit exceeded, terminating
% 85.96/67.74 eprover: CPU time limit exceeded, terminating
% 88.70/69.76 eprover: CPU time limit exceeded, terminating
% 91.34/71.78 eprover: CPU time limit exceeded, terminating
% 94.11/73.80 eprover: CPU time limit exceeded, terminating
% 96.77/75.82 eprover: CPU time limit exceeded, terminating
% 99.45/77.84 eprover: CPU time limit exceeded, terminating
% 102.12/79.86 eprover: CPU time limit exceeded, terminating
% 104.85/81.88 eprover: CPU time limit exceeded, terminating
% 107.59/83.90 eprover: CPU time limit exceeded, terminating
% 110.34/85.92 eprover: CPU time limit exceeded, terminating
% 113.03/87.94 eprover: CPU time limit exceeded, terminating
% 115.70/89.96 eprover: CPU time limit exceeded, terminating
% 118.46/91.98 eprover: CPU time limit exceeded, terminating
% 121.14/94.00 eprover: CPU time limit exceeded, terminating
% 123.95/96.02 eprover: CPU time limit exceeded, terminating
% 126.65/98.04 eprover: CPU time limit exceeded, terminating
% 129.33/100.06 eprover: CPU time limit exceeded, terminating
% 132.07/102.08 eprover: CPU time limit exceeded, terminating
% 134.79/104.10 eprover: CPU time limit exceeded, terminating
% 137.56/106.12 eprover: CPU time limit exceeded, terminating
% 140.24/108.14 eprover: CPU time limit exceeded, terminating
% 142.97/110.16 eprover: CPU time limit exceeded, terminating
% 145.74/112.18 eprover: CPU time limit exceeded, terminating
% 148.37/114.20 eprover: CPU time limit exceeded, terminating
% 151.10/116.22 eprover: CPU time limit exceeded, terminating
% 153.86/118.25 eprover: CPU time limit exceeded, terminating
% 156.53/120.27 eprover: CPU time limit exceeded, terminating
% 159.32/122.29 eprover: CPU time limit exceeded, terminating
% 162.05/124.31 eprover: CPU time limit exceeded, terminating
% 164.77/126.33 eprover: CPU time limit exceeded, terminating
% 167.40/128.35 eprover: CPU time limit exceeded, terminating
% 170.12/130.38 eprover: CPU time limit exceeded, terminating
% 172.74/132.40 eprover: CPU time limit exceeded, terminating
% 175.55/134.42 eprover: CPU time limit exceeded, terminating
% 178.27/136.44 eprover: CPU time limit exceeded, terminating
% 180.90/138.46 eprover: CPU time limit exceeded, terminating
% 183.65/140.48 eprover: CPU time limit exceeded, terminating
% 186.35/142.51 eprover: CPU time limit exceeded, terminating
% 189.11/144.53 eprover: CPU time limit exceeded, terminating
% 191.77/146.55 eprover: CPU time limit exceeded, terminating
% 194.49/148.57 eprover: CPU time limit exceeded, terminating
% 197.25/150.59 eprover: CPU time limit exceeded, terminating
% 199.80/152.61 eprover: CPU time limit exceeded, terminating
% 202.50/154.63 eprover: CPU time limit exceeded, terminating
% 205.23/156.65 eprover: CPU time limit exceeded, terminating
% 207.96/158.68 eprover: CPU time limit exceeded, terminating
% 210.68/160.70 eprover: CPU time limit exceeded, terminating
% 213.38/162.72 eprover: CPU time limit exceeded, terminating
% 215.95/164.74 eprover: CPU time limit exceeded, terminating
% 218.68/166.76 eprover: CPU time limit exceeded, terminating
% 221.41/168.78 eprover: CPU time limit exceeded, terminating
% 224.10/170.80 eprover: CPU time limit exceeded, terminating
% 226.78/172.82 eprover: CPU time limit exceeded, terminating
% 229.48/174.84 eprover: CPU time limit exceeded, terminating
% 232.18/176.85 eprover: CPU time limit exceeded, terminating
% 234.85/178.87 eprover: CPU time limit exceeded, terminating
% 237.56/180.89 eprover: CPU time limit exceeded, terminating
% 240.33/182.91 eprover: CPU time limit exceeded, terminating
% 243.04/184.93 eprover: CPU time limit exceeded, terminating
% 245.65/186.95 eprover: CPU time limit exceeded, terminating
% 248.38/188.97 eprover: CPU time limit exceeded, terminating
% 251.12/190.98 eprover: CPU time limit exceeded, terminating
% 253.86/193.00 eprover: CPU time limit exceeded, terminating
% 256.55/195.02 eprover: CPU time limit exceeded, terminating
% 259.28/197.03 eprover: CPU time limit exceeded, terminating
% 261.93/199.05 eprover: CPU time limit exceeded, terminating
% 264.64/201.07 eprover: CPU time limit exceeded, terminating
% 267.33/203.09 eprover: CPU time limit exceeded, terminating
% 270.06/205.11 eprover: CPU time limit exceeded, terminating
% 272.81/207.13 eprover: CPU time limit exceeded, terminating
% 275.53/209.15 eprover: CPU time limit exceeded, terminating
% 278.18/211.17 eprover: CPU time limit exceeded, terminating
% 280.91/213.19 eprover: CPU time limit exceeded, terminating
% 283.60/215.21 eprover: CPU time limit exceeded, terminating
% 286.32/217.23 eprover: CPU time limit exceeded, terminating
% 289.03/219.24 eprover: CPU time limit exceeded, terminating
% 291.69/221.26 eprover: CPU time limit exceeded, terminating
% 294.43/223.28 eprover: CPU time limit exceeded, terminating
% 297.18/225.30 eprover: CPU time limit exceeded, terminating
% 299.84/227.32 eprover: CPU time limit exceeded, terminating
% 300.52/227.83 eprover: CPU time limit exceeded, terminating
% 300.52/227.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------