TSTP Solution File: CSR185+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR185+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:01 EDT 2022
% Result : Timeout 286.29s 259.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR185+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n029.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Thu Jun 9 22:14:22 EDT 2022
% 0.13/0.34 % CPUTime :
% 6.04/6.01 eprover: CPU time limit exceeded, terminating
% 8.20/8.02 eprover: CPU time limit exceeded, terminating
% 10.40/10.03 eprover: CPU time limit exceeded, terminating
% 12.62/12.04 eprover: CPU time limit exceeded, terminating
% 14.80/14.05 eprover: CPU time limit exceeded, terminating
% 17.01/16.06 eprover: CPU time limit exceeded, terminating
% 19.22/18.08 eprover: CPU time limit exceeded, terminating
% 21.48/20.09 eprover: CPU time limit exceeded, terminating
% 23.70/22.10 eprover: CPU time limit exceeded, terminating
% 25.90/24.11 eprover: CPU time limit exceeded, terminating
% 28.11/26.12 eprover: CPU time limit exceeded, terminating
% 30.34/28.13 eprover: CPU time limit exceeded, terminating
% 32.53/30.14 eprover: CPU time limit exceeded, terminating
% 34.75/32.15 eprover: CPU time limit exceeded, terminating
% 36.96/34.16 eprover: CPU time limit exceeded, terminating
% 39.14/36.18 eprover: CPU time limit exceeded, terminating
% 41.35/38.19 eprover: CPU time limit exceeded, terminating
% 43.56/40.20 eprover: CPU time limit exceeded, terminating
% 45.82/42.21 eprover: CPU time limit exceeded, terminating
% 48.05/44.22 eprover: CPU time limit exceeded, terminating
% 50.23/46.23 eprover: CPU time limit exceeded, terminating
% 52.45/48.24 eprover: CPU time limit exceeded, terminating
% 54.65/50.26 eprover: CPU time limit exceeded, terminating
% 56.87/52.27 eprover: CPU time limit exceeded, terminating
% 59.03/54.28 eprover: CPU time limit exceeded, terminating
% 61.24/56.29 eprover: CPU time limit exceeded, terminating
% 63.45/58.30 eprover: CPU time limit exceeded, terminating
% 65.74/60.31 eprover: CPU time limit exceeded, terminating
% 67.91/62.32 eprover: CPU time limit exceeded, terminating
% 70.12/64.34 eprover: CPU time limit exceeded, terminating
% 72.34/66.35 eprover: CPU time limit exceeded, terminating
% 74.53/68.36 eprover: CPU time limit exceeded, terminating
% 76.72/70.37 eprover: CPU time limit exceeded, terminating
% 78.92/72.38 eprover: CPU time limit exceeded, terminating
% 81.18/74.39 eprover: CPU time limit exceeded, terminating
% 83.40/76.41 eprover: CPU time limit exceeded, terminating
% 85.61/78.42 eprover: CPU time limit exceeded, terminating
% 87.83/80.43 eprover: CPU time limit exceeded, terminating
% 89.99/82.44 eprover: CPU time limit exceeded, terminating
% 92.19/84.45 eprover: CPU time limit exceeded, terminating
% 94.40/86.46 eprover: CPU time limit exceeded, terminating
% 96.65/88.48 eprover: CPU time limit exceeded, terminating
% 98.86/90.49 eprover: CPU time limit exceeded, terminating
% 101.06/92.50 eprover: CPU time limit exceeded, terminating
% 103.26/94.51 eprover: CPU time limit exceeded, terminating
% 105.48/96.52 eprover: CPU time limit exceeded, terminating
% 107.70/98.53 eprover: CPU time limit exceeded, terminating
% 109.87/100.55 eprover: CPU time limit exceeded, terminating
% 112.08/102.56 eprover: CPU time limit exceeded, terminating
% 114.27/104.57 eprover: CPU time limit exceeded, terminating
% 116.45/106.58 eprover: CPU time limit exceeded, terminating
% 118.75/108.59 eprover: CPU time limit exceeded, terminating
% 120.88/110.61 eprover: CPU time limit exceeded, terminating
% 125.07/112.62 eprover: CPU time limit exceeded, terminating
% 127.26/114.63 eprover: CPU time limit exceeded, terminating
% 129.48/116.64 eprover: CPU time limit exceeded, terminating
% 131.68/118.65 eprover: CPU time limit exceeded, terminating
% 133.85/120.67 eprover: CPU time limit exceeded, terminating
% 136.05/122.68 eprover: CPU time limit exceeded, terminating
% 138.28/124.69 eprover: CPU time limit exceeded, terminating
% 140.54/126.70 eprover: CPU time limit exceeded, terminating
% 142.74/128.71 eprover: CPU time limit exceeded, terminating
% 144.92/130.73 eprover: CPU time limit exceeded, terminating
% 147.12/132.74 eprover: CPU time limit exceeded, terminating
% 149.30/134.75 eprover: CPU time limit exceeded, terminating
% 151.54/136.76 eprover: CPU time limit exceeded, terminating
% 153.71/138.78 eprover: CPU time limit exceeded, terminating
% 155.95/140.79 eprover: CPU time limit exceeded, terminating
% 158.21/142.80 eprover: CPU time limit exceeded, terminating
% 160.42/144.81 eprover: CPU time limit exceeded, terminating
% 162.61/146.82 eprover: CPU time limit exceeded, terminating
% 164.84/148.83 eprover: CPU time limit exceeded, terminating
% 166.99/150.85 eprover: CPU time limit exceeded, terminating
% 169.23/152.86 eprover: CPU time limit exceeded, terminating
% 171.46/154.87 eprover: CPU time limit exceeded, terminating
% 173.63/156.88 eprover: CPU time limit exceeded, terminating
% 175.88/158.89 eprover: CPU time limit exceeded, terminating
% 178.04/160.91 eprover: CPU time limit exceeded, terminating
% 180.29/162.92 eprover: CPU time limit exceeded, terminating
% 182.52/164.93 eprover: CPU time limit exceeded, terminating
% 184.72/166.94 eprover: CPU time limit exceeded, terminating
% 186.90/168.95 eprover: CPU time limit exceeded, terminating
% 189.09/170.96 eprover: CPU time limit exceeded, terminating
% 191.36/172.97 eprover: CPU time limit exceeded, terminating
% 193.49/174.99 eprover: CPU time limit exceeded, terminating
% 195.77/177.00 eprover: CPU time limit exceeded, terminating
% 197.97/179.01 eprover: CPU time limit exceeded, terminating
% 200.18/181.02 eprover: CPU time limit exceeded, terminating
% 202.36/183.03 eprover: CPU time limit exceeded, terminating
% 204.59/185.05 eprover: CPU time limit exceeded, terminating
% 206.77/187.06 eprover: CPU time limit exceeded, terminating
% 209.00/189.07 eprover: CPU time limit exceeded, terminating
% 211.20/191.08 eprover: CPU time limit exceeded, terminating
% 213.44/193.09 eprover: CPU time limit exceeded, terminating
% 215.64/195.10 eprover: CPU time limit exceeded, terminating
% 217.83/197.11 eprover: CPU time limit exceeded, terminating
% 219.99/199.12 eprover: CPU time limit exceeded, terminating
% 222.21/201.13 eprover: CPU time limit exceeded, terminating
% 224.44/203.15 eprover: CPU time limit exceeded, terminating
% 226.61/205.16 eprover: CPU time limit exceeded, terminating
% 228.83/207.17 eprover: CPU time limit exceeded, terminating
% 231.11/209.18 eprover: CPU time limit exceeded, terminating
% 233.23/211.20 eprover: CPU time limit exceeded, terminating
% 235.51/213.21 eprover: CPU time limit exceeded, terminating
% 237.71/215.22 eprover: CPU time limit exceeded, terminating
% 239.88/217.23 eprover: CPU time limit exceeded, terminating
% 242.11/219.25 eprover: CPU time limit exceeded, terminating
% 244.28/221.26 eprover: CPU time limit exceeded, terminating
% 246.53/223.27 eprover: CPU time limit exceeded, terminating
% 248.73/225.28 eprover: CPU time limit exceeded, terminating
% 250.94/227.29 eprover: CPU time limit exceeded, terminating
% 253.08/229.30 eprover: CPU time limit exceeded, terminating
% 255.33/231.31 eprover: CPU time limit exceeded, terminating
% 257.49/233.32 eprover: CPU time limit exceeded, terminating
% 259.74/235.34 eprover: CPU time limit exceeded, terminating
% 261.96/237.35 eprover: CPU time limit exceeded, terminating
% 264.12/239.36 eprover: CPU time limit exceeded, terminating
% 266.33/241.37 eprover: CPU time limit exceeded, terminating
% 268.60/243.38 eprover: CPU time limit exceeded, terminating
% 270.75/245.39 eprover: CPU time limit exceeded, terminating
% 273.00/247.40 eprover: CPU time limit exceeded, terminating
% 275.16/249.42 eprover: CPU time limit exceeded, terminating
% 277.40/251.43 eprover: CPU time limit exceeded, terminating
% 279.63/253.44 eprover: CPU time limit exceeded, terminating
% 281.81/255.45 eprover: CPU time limit exceeded, terminating
% 284.05/257.46 eprover: CPU time limit exceeded, terminating
% 286.29/259.47 eprover: CPU time limit exceeded, terminating
% 288.42/261.48 eprover: CPU time limit exceeded, terminating
% 290.69/263.49 eprover: CPU time limit exceeded, terminating
% 292.83/265.50 eprover: CPU time limit exceeded, terminating
% 295.10/267.52 eprover: CPU time limit exceeded, terminating
% 297.31/269.53 eprover: CPU time limit exceeded, terminating
% 299.51/271.54 eprover: CPU time limit exceeded, terminating
% 300.10/272.02 eprover: CPU time limit exceeded, terminating
% 300.10/272.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------