TSTP Solution File: CSR041+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR041+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:27 EDT 2022
% Result : Timeout 287.36s 217.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : CSR041+4 : TPTP v8.1.0. Released v3.4.0.
% 0.13/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n024.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Thu Jun 9 20:38:19 EDT 2022
% 0.14/0.35 % CPUTime :
% 15.46/14.83 eprover: CPU time limit exceeded, terminating
% 18.08/16.85 eprover: CPU time limit exceeded, terminating
% 20.84/18.87 eprover: CPU time limit exceeded, terminating
% 23.64/20.89 eprover: CPU time limit exceeded, terminating
% 26.38/22.91 eprover: CPU time limit exceeded, terminating
% 29.13/24.94 eprover: CPU time limit exceeded, terminating
% 31.64/26.96 eprover: CPU time limit exceeded, terminating
% 34.23/28.97 eprover: CPU time limit exceeded, terminating
% 37.07/30.99 eprover: CPU time limit exceeded, terminating
% 39.85/33.01 eprover: CPU time limit exceeded, terminating
% 42.49/35.03 eprover: CPU time limit exceeded, terminating
% 45.14/37.05 eprover: CPU time limit exceeded, terminating
% 47.91/39.07 eprover: CPU time limit exceeded, terminating
% 50.69/41.09 eprover: CPU time limit exceeded, terminating
% 53.31/43.11 eprover: CPU time limit exceeded, terminating
% 56.07/45.13 eprover: CPU time limit exceeded, terminating
% 58.76/47.15 eprover: CPU time limit exceeded, terminating
% 61.48/49.17 eprover: CPU time limit exceeded, terminating
% 64.18/51.19 eprover: CPU time limit exceeded, terminating
% 66.96/53.21 eprover: CPU time limit exceeded, terminating
% 69.66/55.23 eprover: CPU time limit exceeded, terminating
% 72.35/57.25 eprover: CPU time limit exceeded, terminating
% 75.10/59.27 eprover: CPU time limit exceeded, terminating
% 77.77/61.30 eprover: CPU time limit exceeded, terminating
% 80.58/63.32 eprover: CPU time limit exceeded, terminating
% 83.27/65.34 eprover: CPU time limit exceeded, terminating
% 86.05/67.36 eprover: CPU time limit exceeded, terminating
% 88.72/69.38 eprover: CPU time limit exceeded, terminating
% 91.48/71.40 eprover: CPU time limit exceeded, terminating
% 94.17/73.42 eprover: CPU time limit exceeded, terminating
% 96.87/75.44 eprover: CPU time limit exceeded, terminating
% 99.60/77.45 eprover: CPU time limit exceeded, terminating
% 102.26/79.47 eprover: CPU time limit exceeded, terminating
% 105.01/81.49 eprover: CPU time limit exceeded, terminating
% 107.66/83.51 eprover: CPU time limit exceeded, terminating
% 110.42/85.53 eprover: CPU time limit exceeded, terminating
% 113.11/87.55 eprover: CPU time limit exceeded, terminating
% 115.90/89.57 eprover: CPU time limit exceeded, terminating
% 118.63/91.60 eprover: CPU time limit exceeded, terminating
% 121.35/93.61 eprover: CPU time limit exceeded, terminating
% 124.03/95.64 eprover: CPU time limit exceeded, terminating
% 126.80/97.66 eprover: CPU time limit exceeded, terminating
% 129.47/99.68 eprover: CPU time limit exceeded, terminating
% 132.23/101.70 eprover: CPU time limit exceeded, terminating
% 135.01/103.73 eprover: CPU time limit exceeded, terminating
% 137.68/105.75 eprover: CPU time limit exceeded, terminating
% 140.45/107.77 eprover: CPU time limit exceeded, terminating
% 143.12/109.79 eprover: CPU time limit exceeded, terminating
% 145.89/111.81 eprover: CPU time limit exceeded, terminating
% 148.63/113.84 eprover: CPU time limit exceeded, terminating
% 151.29/115.86 eprover: CPU time limit exceeded, terminating
% 154.03/117.88 eprover: CPU time limit exceeded, terminating
% 156.79/119.90 eprover: CPU time limit exceeded, terminating
% 159.48/121.93 eprover: CPU time limit exceeded, terminating
% 162.19/123.94 eprover: CPU time limit exceeded, terminating
% 164.90/125.96 eprover: CPU time limit exceeded, terminating
% 167.63/127.98 eprover: CPU time limit exceeded, terminating
% 170.33/130.01 eprover: CPU time limit exceeded, terminating
% 173.09/132.03 eprover: CPU time limit exceeded, terminating
% 175.80/134.05 eprover: CPU time limit exceeded, terminating
% 178.50/136.07 eprover: CPU time limit exceeded, terminating
% 181.14/138.10 eprover: CPU time limit exceeded, terminating
% 183.91/140.12 eprover: CPU time limit exceeded, terminating
% 186.64/142.14 eprover: CPU time limit exceeded, terminating
% 189.36/144.16 eprover: CPU time limit exceeded, terminating
% 192.07/146.18 eprover: CPU time limit exceeded, terminating
% 194.77/148.20 eprover: CPU time limit exceeded, terminating
% 197.48/150.22 eprover: CPU time limit exceeded, terminating
% 200.24/152.24 eprover: CPU time limit exceeded, terminating
% 202.91/154.26 eprover: CPU time limit exceeded, terminating
% 205.61/156.29 eprover: CPU time limit exceeded, terminating
% 208.39/158.31 eprover: CPU time limit exceeded, terminating
% 211.11/160.33 eprover: CPU time limit exceeded, terminating
% 213.84/162.35 eprover: CPU time limit exceeded, terminating
% 216.53/164.38 eprover: CPU time limit exceeded, terminating
% 219.33/166.39 eprover: CPU time limit exceeded, terminating
% 222.03/168.42 eprover: CPU time limit exceeded, terminating
% 224.78/170.44 eprover: CPU time limit exceeded, terminating
% 227.46/172.46 eprover: CPU time limit exceeded, terminating
% 230.19/174.49 eprover: CPU time limit exceeded, terminating
% 232.96/176.51 eprover: CPU time limit exceeded, terminating
% 235.66/178.55 eprover: CPU time limit exceeded, terminating
% 238.40/180.58 eprover: CPU time limit exceeded, terminating
% 241.17/182.64 eprover: CPU time limit exceeded, terminating
% 243.85/184.67 eprover: CPU time limit exceeded, terminating
% 246.44/186.69 eprover: CPU time limit exceeded, terminating
% 249.27/188.71 eprover: CPU time limit exceeded, terminating
% 251.99/190.74 eprover: CPU time limit exceeded, terminating
% 254.59/192.76 eprover: CPU time limit exceeded, terminating
% 257.32/194.78 eprover: CPU time limit exceeded, terminating
% 260.15/196.80 eprover: CPU time limit exceeded, terminating
% 262.86/198.82 eprover: CPU time limit exceeded, terminating
% 265.54/200.84 eprover: CPU time limit exceeded, terminating
% 268.27/202.88 eprover: CPU time limit exceeded, terminating
% 270.98/204.90 eprover: CPU time limit exceeded, terminating
% 273.80/206.92 eprover: CPU time limit exceeded, terminating
% 276.52/208.94 eprover: CPU time limit exceeded, terminating
% 279.24/210.96 eprover: CPU time limit exceeded, terminating
% 281.97/212.99 eprover: CPU time limit exceeded, terminating
% 284.64/215.01 eprover: CPU time limit exceeded, terminating
% 287.36/217.03 eprover: CPU time limit exceeded, terminating
% 290.13/219.06 eprover: CPU time limit exceeded, terminating
% 292.84/221.08 eprover: CPU time limit exceeded, terminating
% 295.63/223.10 eprover: CPU time limit exceeded, terminating
% 298.35/225.12 eprover: CPU time limit exceeded, terminating
% 300.11/226.32 eprover: CPU time limit exceeded, terminating
% 300.11/226.33 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------