TSTP Solution File: CSR061+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR061+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:42 EDT 2022
% Result : Timeout 287.47s 212.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR061+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n018.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 10 07:36:39 EDT 2022
% 0.13/0.35 % CPUTime :
% 14.85/14.51 eprover: CPU time limit exceeded, terminating
% 17.56/16.53 eprover: CPU time limit exceeded, terminating
% 20.35/18.56 eprover: CPU time limit exceeded, terminating
% 23.16/20.58 eprover: CPU time limit exceeded, terminating
% 25.92/22.60 eprover: CPU time limit exceeded, terminating
% 28.70/24.62 eprover: CPU time limit exceeded, terminating
% 31.51/26.64 eprover: CPU time limit exceeded, terminating
% 34.25/28.66 eprover: CPU time limit exceeded, terminating
% 37.07/30.68 eprover: CPU time limit exceeded, terminating
% 39.78/32.70 eprover: CPU time limit exceeded, terminating
% 42.44/34.73 eprover: CPU time limit exceeded, terminating
% 45.20/36.75 eprover: CPU time limit exceeded, terminating
% 48.03/38.78 eprover: CPU time limit exceeded, terminating
% 50.78/40.80 eprover: CPU time limit exceeded, terminating
% 53.51/42.82 eprover: CPU time limit exceeded, terminating
% 56.43/44.84 eprover: CPU time limit exceeded, terminating
% 59.18/46.86 eprover: CPU time limit exceeded, terminating
% 61.78/48.88 eprover: CPU time limit exceeded, terminating
% 64.54/50.90 eprover: CPU time limit exceeded, terminating
% 67.32/52.92 eprover: CPU time limit exceeded, terminating
% 70.05/54.95 eprover: CPU time limit exceeded, terminating
% 72.78/56.97 eprover: CPU time limit exceeded, terminating
% 75.47/58.99 eprover: CPU time limit exceeded, terminating
% 78.23/61.02 eprover: CPU time limit exceeded, terminating
% 80.99/63.04 eprover: CPU time limit exceeded, terminating
% 83.77/65.06 eprover: CPU time limit exceeded, terminating
% 86.48/67.08 eprover: CPU time limit exceeded, terminating
% 89.21/69.10 eprover: CPU time limit exceeded, terminating
% 91.94/71.13 eprover: CPU time limit exceeded, terminating
% 94.72/73.16 eprover: CPU time limit exceeded, terminating
% 97.46/75.19 eprover: CPU time limit exceeded, terminating
% 100.16/77.21 eprover: CPU time limit exceeded, terminating
% 102.85/79.23 eprover: CPU time limit exceeded, terminating
% 105.60/81.26 eprover: CPU time limit exceeded, terminating
% 108.19/83.29 eprover: CPU time limit exceeded, terminating
% 110.95/85.31 eprover: CPU time limit exceeded, terminating
% 113.74/87.33 eprover: CPU time limit exceeded, terminating
% 116.38/89.35 eprover: CPU time limit exceeded, terminating
% 119.15/91.39 eprover: CPU time limit exceeded, terminating
% 121.89/93.42 eprover: CPU time limit exceeded, terminating
% 126.59/95.47 eprover: CPU time limit exceeded, terminating
% 129.25/97.49 eprover: CPU time limit exceeded, terminating
% 131.96/99.52 eprover: CPU time limit exceeded, terminating
% 134.74/101.54 eprover: CPU time limit exceeded, terminating
% 137.54/103.56 eprover: CPU time limit exceeded, terminating
% 140.25/105.58 eprover: CPU time limit exceeded, terminating
% 143.00/107.60 eprover: CPU time limit exceeded, terminating
% 145.78/109.62 eprover: CPU time limit exceeded, terminating
% 148.50/111.65 eprover: CPU time limit exceeded, terminating
% 151.27/113.67 eprover: CPU time limit exceeded, terminating
% 154.00/115.69 eprover: CPU time limit exceeded, terminating
% 156.75/117.71 eprover: CPU time limit exceeded, terminating
% 159.50/119.73 eprover: CPU time limit exceeded, terminating
% 162.26/121.75 eprover: CPU time limit exceeded, terminating
% 165.00/123.78 eprover: CPU time limit exceeded, terminating
% 167.69/125.80 eprover: CPU time limit exceeded, terminating
% 170.41/127.82 eprover: CPU time limit exceeded, terminating
% 173.16/129.84 eprover: CPU time limit exceeded, terminating
% 175.91/131.86 eprover: CPU time limit exceeded, terminating
% 178.64/133.89 eprover: CPU time limit exceeded, terminating
% 181.32/135.91 eprover: CPU time limit exceeded, terminating
% 184.10/137.93 eprover: CPU time limit exceeded, terminating
% 188.80/139.95 eprover: CPU time limit exceeded, terminating
% 191.53/141.97 eprover: CPU time limit exceeded, terminating
% 194.23/143.99 eprover: CPU time limit exceeded, terminating
% 196.99/146.01 eprover: CPU time limit exceeded, terminating
% 199.70/148.04 eprover: CPU time limit exceeded, terminating
% 202.65/150.07 eprover: CPU time limit exceeded, terminating
% 205.30/152.10 eprover: CPU time limit exceeded, terminating
% 208.08/154.12 eprover: CPU time limit exceeded, terminating
% 210.83/156.14 eprover: CPU time limit exceeded, terminating
% 213.55/158.16 eprover: CPU time limit exceeded, terminating
% 216.30/160.18 eprover: CPU time limit exceeded, terminating
% 219.09/162.21 eprover: CPU time limit exceeded, terminating
% 221.77/164.22 eprover: CPU time limit exceeded, terminating
% 224.56/166.25 eprover: CPU time limit exceeded, terminating
% 227.25/168.28 eprover: CPU time limit exceeded, terminating
% 229.94/170.30 eprover: CPU time limit exceeded, terminating
% 232.69/172.32 eprover: CPU time limit exceeded, terminating
% 235.41/174.34 eprover: CPU time limit exceeded, terminating
% 238.20/176.36 eprover: CPU time limit exceeded, terminating
% 240.92/178.39 eprover: CPU time limit exceeded, terminating
% 243.64/180.41 eprover: CPU time limit exceeded, terminating
% 246.41/182.43 eprover: CPU time limit exceeded, terminating
% 249.15/184.45 eprover: CPU time limit exceeded, terminating
% 251.89/186.48 eprover: CPU time limit exceeded, terminating
% 254.61/188.50 eprover: CPU time limit exceeded, terminating
% 257.33/190.52 eprover: CPU time limit exceeded, terminating
% 260.10/192.54 eprover: CPU time limit exceeded, terminating
% 262.85/194.56 eprover: CPU time limit exceeded, terminating
% 265.55/196.59 eprover: CPU time limit exceeded, terminating
% 268.26/198.61 eprover: CPU time limit exceeded, terminating
% 271.06/200.63 eprover: CPU time limit exceeded, terminating
% 273.76/202.65 eprover: CPU time limit exceeded, terminating
% 276.57/204.68 eprover: CPU time limit exceeded, terminating
% 279.25/206.70 eprover: CPU time limit exceeded, terminating
% 282.05/208.72 eprover: CPU time limit exceeded, terminating
% 284.76/210.74 eprover: CPU time limit exceeded, terminating
% 287.47/212.77 eprover: CPU time limit exceeded, terminating
% 290.24/214.80 eprover: CPU time limit exceeded, terminating
% 292.95/216.82 eprover: CPU time limit exceeded, terminating
% 295.73/218.86 eprover: CPU time limit exceeded, terminating
% 298.45/220.88 eprover: CPU time limit exceeded, terminating
% 300.14/222.05 eprover: CPU time limit exceeded, terminating
% 300.14/222.07 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------