TSTP Solution File: CSR305+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR305+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:16 EDT 2022
% Result : Timeout 286.45s 261.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : CSR305+1 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.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 01:25:51 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.83/5.85 eprover: CPU time limit exceeded, terminating
% 7.99/7.86 eprover: CPU time limit exceeded, terminating
% 10.22/9.87 eprover: CPU time limit exceeded, terminating
% 12.39/11.89 eprover: CPU time limit exceeded, terminating
% 14.69/13.90 eprover: CPU time limit exceeded, terminating
% 16.82/15.91 eprover: CPU time limit exceeded, terminating
% 19.12/17.93 eprover: CPU time limit exceeded, terminating
% 21.29/19.94 eprover: CPU time limit exceeded, terminating
% 23.48/21.95 eprover: CPU time limit exceeded, terminating
% 25.70/23.97 eprover: CPU time limit exceeded, terminating
% 27.90/25.98 eprover: CPU time limit exceeded, terminating
% 30.12/27.99 eprover: CPU time limit exceeded, terminating
% 32.34/30.00 eprover: CPU time limit exceeded, terminating
% 34.63/32.01 eprover: CPU time limit exceeded, terminating
% 36.83/34.02 eprover: CPU time limit exceeded, terminating
% 38.99/36.03 eprover: CPU time limit exceeded, terminating
% 41.20/38.05 eprover: CPU time limit exceeded, terminating
% 43.38/40.06 eprover: CPU time limit exceeded, terminating
% 45.60/42.07 eprover: CPU time limit exceeded, terminating
% 47.87/44.09 eprover: CPU time limit exceeded, terminating
% 50.01/46.10 eprover: CPU time limit exceeded, terminating
% 52.31/48.11 eprover: CPU time limit exceeded, terminating
% 54.51/50.13 eprover: CPU time limit exceeded, terminating
% 56.70/52.14 eprover: CPU time limit exceeded, terminating
% 58.89/54.15 eprover: CPU time limit exceeded, terminating
% 61.08/56.16 eprover: CPU time limit exceeded, terminating
% 63.30/58.17 eprover: CPU time limit exceeded, terminating
% 65.57/60.19 eprover: CPU time limit exceeded, terminating
% 67.76/62.20 eprover: CPU time limit exceeded, terminating
% 69.91/64.21 eprover: CPU time limit exceeded, terminating
% 72.20/66.22 eprover: CPU time limit exceeded, terminating
% 74.38/68.23 eprover: CPU time limit exceeded, terminating
% 76.58/70.25 eprover: CPU time limit exceeded, terminating
% 78.82/72.26 eprover: CPU time limit exceeded, terminating
% 80.96/74.27 eprover: CPU time limit exceeded, terminating
% 83.20/76.28 eprover: CPU time limit exceeded, terminating
% 85.46/78.29 eprover: CPU time limit exceeded, terminating
% 87.67/80.31 eprover: CPU time limit exceeded, terminating
% 89.80/82.32 eprover: CPU time limit exceeded, terminating
% 92.07/84.33 eprover: CPU time limit exceeded, terminating
% 94.29/86.34 eprover: CPU time limit exceeded, terminating
% 96.46/88.35 eprover: CPU time limit exceeded, terminating
% 98.69/90.37 eprover: CPU time limit exceeded, terminating
% 100.93/92.38 eprover: CPU time limit exceeded, terminating
% 103.14/94.40 eprover: CPU time limit exceeded, terminating
% 105.28/96.41 eprover: CPU time limit exceeded, terminating
% 107.51/98.42 eprover: CPU time limit exceeded, terminating
% 109.75/100.44 eprover: CPU time limit exceeded, terminating
% 111.91/102.45 eprover: CPU time limit exceeded, terminating
% 114.14/104.46 eprover: CPU time limit exceeded, terminating
% 116.30/106.47 eprover: CPU time limit exceeded, terminating
% 118.50/108.48 eprover: CPU time limit exceeded, terminating
% 120.72/110.49 eprover: CPU time limit exceeded, terminating
% 122.97/112.51 eprover: CPU time limit exceeded, terminating
% 125.09/114.52 eprover: CPU time limit exceeded, terminating
% 127.33/116.53 eprover: CPU time limit exceeded, terminating
% 129.55/118.55 eprover: CPU time limit exceeded, terminating
% 131.78/120.56 eprover: CPU time limit exceeded, terminating
% 133.95/122.57 eprover: CPU time limit exceeded, terminating
% 136.18/124.59 eprover: CPU time limit exceeded, terminating
% 138.34/126.60 eprover: CPU time limit exceeded, terminating
% 140.58/128.61 eprover: CPU time limit exceeded, terminating
% 142.81/130.63 eprover: CPU time limit exceeded, terminating
% 145.03/132.64 eprover: CPU time limit exceeded, terminating
% 147.23/134.65 eprover: CPU time limit exceeded, terminating
% 149.44/136.67 eprover: CPU time limit exceeded, terminating
% 151.68/138.68 eprover: CPU time limit exceeded, terminating
% 153.86/140.69 eprover: CPU time limit exceeded, terminating
% 156.06/142.70 eprover: CPU time limit exceeded, terminating
% 158.26/144.72 eprover: CPU time limit exceeded, terminating
% 160.46/146.73 eprover: CPU time limit exceeded, terminating
% 162.72/148.74 eprover: CPU time limit exceeded, terminating
% 164.87/150.75 eprover: CPU time limit exceeded, terminating
% 167.11/152.77 eprover: CPU time limit exceeded, terminating
% 169.32/154.78 eprover: CPU time limit exceeded, terminating
% 171.47/156.79 eprover: CPU time limit exceeded, terminating
% 173.74/158.81 eprover: CPU time limit exceeded, terminating
% 175.86/160.82 eprover: CPU time limit exceeded, terminating
% 178.16/162.83 eprover: CPU time limit exceeded, terminating
% 180.32/164.85 eprover: CPU time limit exceeded, terminating
% 182.55/166.86 eprover: CPU time limit exceeded, terminating
% 184.75/168.87 eprover: CPU time limit exceeded, terminating
% 186.97/170.89 eprover: CPU time limit exceeded, terminating
% 189.17/172.90 eprover: CPU time limit exceeded, terminating
% 191.40/174.91 eprover: CPU time limit exceeded, terminating
% 193.57/176.92 eprover: CPU time limit exceeded, terminating
% 195.81/178.93 eprover: CPU time limit exceeded, terminating
% 197.98/180.95 eprover: CPU time limit exceeded, terminating
% 200.25/182.96 eprover: CPU time limit exceeded, terminating
% 202.45/184.97 eprover: CPU time limit exceeded, terminating
% 204.63/186.99 eprover: CPU time limit exceeded, terminating
% 206.83/189.00 eprover: CPU time limit exceeded, terminating
% 209.10/191.01 eprover: CPU time limit exceeded, terminating
% 211.26/193.03 eprover: CPU time limit exceeded, terminating
% 213.51/195.04 eprover: CPU time limit exceeded, terminating
% 215.72/197.05 eprover: CPU time limit exceeded, terminating
% 217.91/199.07 eprover: CPU time limit exceeded, terminating
% 220.14/201.08 eprover: CPU time limit exceeded, terminating
% 222.33/203.09 eprover: CPU time limit exceeded, terminating
% 224.53/205.10 eprover: CPU time limit exceeded, terminating
% 226.72/207.12 eprover: CPU time limit exceeded, terminating
% 228.92/209.13 eprover: CPU time limit exceeded, terminating
% 231.21/211.15 eprover: CPU time limit exceeded, terminating
% 233.42/213.16 eprover: CPU time limit exceeded, terminating
% 235.55/215.17 eprover: CPU time limit exceeded, terminating
% 237.85/217.18 eprover: CPU time limit exceeded, terminating
% 240.05/219.20 eprover: CPU time limit exceeded, terminating
% 242.25/221.21 eprover: CPU time limit exceeded, terminating
% 244.48/223.22 eprover: CPU time limit exceeded, terminating
% 246.67/225.23 eprover: CPU time limit exceeded, terminating
% 248.87/227.25 eprover: CPU time limit exceeded, terminating
% 251.04/229.26 eprover: CPU time limit exceeded, terminating
% 253.29/231.27 eprover: CPU time limit exceeded, terminating
% 255.53/233.29 eprover: CPU time limit exceeded, terminating
% 257.75/235.30 eprover: CPU time limit exceeded, terminating
% 259.95/237.31 eprover: CPU time limit exceeded, terminating
% 262.17/239.33 eprover: CPU time limit exceeded, terminating
% 264.39/241.34 eprover: CPU time limit exceeded, terminating
% 266.55/243.36 eprover: CPU time limit exceeded, terminating
% 268.76/245.37 eprover: CPU time limit exceeded, terminating
% 270.98/247.38 eprover: CPU time limit exceeded, terminating
% 273.21/249.40 eprover: CPU time limit exceeded, terminating
% 275.41/251.41 eprover: CPU time limit exceeded, terminating
% 277.62/253.42 eprover: CPU time limit exceeded, terminating
% 279.80/255.44 eprover: CPU time limit exceeded, terminating
% 282.06/257.45 eprover: CPU time limit exceeded, terminating
% 284.21/259.46 eprover: CPU time limit exceeded, terminating
% 286.45/261.47 eprover: CPU time limit exceeded, terminating
% 288.70/263.49 eprover: CPU time limit exceeded, terminating
% 290.84/265.50 eprover: CPU time limit exceeded, terminating
% 293.07/267.51 eprover: CPU time limit exceeded, terminating
% 295.31/269.53 eprover: CPU time limit exceeded, terminating
% 297.47/271.54 eprover: CPU time limit exceeded, terminating
% 299.71/273.56 eprover: CPU time limit exceeded, terminating
% 300.02/273.85 eprover: CPU time limit exceeded, terminating
% 300.02/273.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------