TSTP Solution File: CSR203+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR203+1 : TPTP v8.1.0. Released v7.3.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:36:04 EDT 2022
% Result : Timeout 286.34s 259.97s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR203+1 : TPTP v8.1.0. Released v7.3.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n018.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 : Fri Jun 10 05:01:39 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.92/5.99 eprover: CPU time limit exceeded, terminating
% 8.18/8.01 eprover: CPU time limit exceeded, terminating
% 10.38/10.02 eprover: CPU time limit exceeded, terminating
% 12.59/12.03 eprover: CPU time limit exceeded, terminating
% 14.79/14.05 eprover: CPU time limit exceeded, terminating
% 16.95/16.06 eprover: CPU time limit exceeded, terminating
% 19.18/18.07 eprover: CPU time limit exceeded, terminating
% 21.44/20.09 eprover: CPU time limit exceeded, terminating
% 23.66/22.10 eprover: CPU time limit exceeded, terminating
% 25.87/24.11 eprover: CPU time limit exceeded, terminating
% 28.12/26.12 eprover: CPU time limit exceeded, terminating
% 30.32/28.14 eprover: CPU time limit exceeded, terminating
% 32.53/30.15 eprover: CPU time limit exceeded, terminating
% 34.70/32.16 eprover: CPU time limit exceeded, terminating
% 38.89/34.18 eprover: CPU time limit exceeded, terminating
% 41.06/36.19 eprover: CPU time limit exceeded, terminating
% 43.31/38.20 eprover: CPU time limit exceeded, terminating
% 45.54/40.22 eprover: CPU time limit exceeded, terminating
% 47.74/42.23 eprover: CPU time limit exceeded, terminating
% 49.96/44.24 eprover: CPU time limit exceeded, terminating
% 52.18/46.26 eprover: CPU time limit exceeded, terminating
% 54.35/48.27 eprover: CPU time limit exceeded, terminating
% 56.62/50.28 eprover: CPU time limit exceeded, terminating
% 58.83/52.29 eprover: CPU time limit exceeded, terminating
% 61.02/54.30 eprover: CPU time limit exceeded, terminating
% 63.23/56.31 eprover: CPU time limit exceeded, terminating
% 65.44/58.32 eprover: CPU time limit exceeded, terminating
% 67.65/60.34 eprover: CPU time limit exceeded, terminating
% 69.83/62.35 eprover: CPU time limit exceeded, terminating
% 72.06/64.36 eprover: CPU time limit exceeded, terminating
% 74.24/66.38 eprover: CPU time limit exceeded, terminating
% 76.51/68.39 eprover: CPU time limit exceeded, terminating
% 78.66/70.41 eprover: CPU time limit exceeded, terminating
% 80.94/72.43 eprover: CPU time limit exceeded, terminating
% 83.18/74.44 eprover: CPU time limit exceeded, terminating
% 85.34/76.46 eprover: CPU time limit exceeded, terminating
% 87.56/78.47 eprover: CPU time limit exceeded, terminating
% 89.74/80.49 eprover: CPU time limit exceeded, terminating
% 92.01/82.51 eprover: CPU time limit exceeded, terminating
% 94.21/84.52 eprover: CPU time limit exceeded, terminating
% 96.39/86.54 eprover: CPU time limit exceeded, terminating
% 98.61/88.56 eprover: CPU time limit exceeded, terminating
% 100.81/90.57 eprover: CPU time limit exceeded, terminating
% 103.07/92.59 eprover: CPU time limit exceeded, terminating
% 105.20/94.61 eprover: CPU time limit exceeded, terminating
% 107.48/96.62 eprover: CPU time limit exceeded, terminating
% 109.69/98.63 eprover: CPU time limit exceeded, terminating
% 111.86/100.65 eprover: CPU time limit exceeded, terminating
% 114.07/102.67 eprover: CPU time limit exceeded, terminating
% 116.24/104.68 eprover: CPU time limit exceeded, terminating
% 118.52/106.70 eprover: CPU time limit exceeded, terminating
% 120.72/108.72 eprover: CPU time limit exceeded, terminating
% 122.93/110.73 eprover: CPU time limit exceeded, terminating
% 125.12/112.75 eprover: CPU time limit exceeded, terminating
% 127.28/114.76 eprover: CPU time limit exceeded, terminating
% 129.51/116.78 eprover: CPU time limit exceeded, terminating
% 131.77/118.81 eprover: CPU time limit exceeded, terminating
% 133.96/120.82 eprover: CPU time limit exceeded, terminating
% 136.11/122.84 eprover: CPU time limit exceeded, terminating
% 138.33/124.85 eprover: CPU time limit exceeded, terminating
% 140.50/126.86 eprover: CPU time limit exceeded, terminating
% 142.71/128.88 eprover: CPU time limit exceeded, terminating
% 144.92/130.90 eprover: CPU time limit exceeded, terminating
% 147.19/132.91 eprover: CPU time limit exceeded, terminating
% 149.37/134.92 eprover: CPU time limit exceeded, terminating
% 151.55/136.93 eprover: CPU time limit exceeded, terminating
% 153.79/138.95 eprover: CPU time limit exceeded, terminating
% 155.98/140.96 eprover: CPU time limit exceeded, terminating
% 158.17/142.98 eprover: CPU time limit exceeded, terminating
% 160.45/145.00 eprover: CPU time limit exceeded, terminating
% 162.66/147.01 eprover: CPU time limit exceeded, terminating
% 164.86/149.03 eprover: CPU time limit exceeded, terminating
% 167.02/151.05 eprover: CPU time limit exceeded, terminating
% 169.24/153.06 eprover: CPU time limit exceeded, terminating
% 171.45/155.08 eprover: CPU time limit exceeded, terminating
% 173.64/157.10 eprover: CPU time limit exceeded, terminating
% 175.92/159.11 eprover: CPU time limit exceeded, terminating
% 178.15/161.13 eprover: CPU time limit exceeded, terminating
% 180.32/163.14 eprover: CPU time limit exceeded, terminating
% 182.51/165.16 eprover: CPU time limit exceeded, terminating
% 184.70/167.17 eprover: CPU time limit exceeded, terminating
% 186.90/169.19 eprover: CPU time limit exceeded, terminating
% 189.13/171.21 eprover: CPU time limit exceeded, terminating
% 191.40/173.23 eprover: CPU time limit exceeded, terminating
% 193.57/175.25 eprover: CPU time limit exceeded, terminating
% 195.78/177.27 eprover: CPU time limit exceeded, terminating
% 197.95/179.29 eprover: CPU time limit exceeded, terminating
% 200.20/181.31 eprover: CPU time limit exceeded, terminating
% 202.43/183.32 eprover: CPU time limit exceeded, terminating
% 204.62/185.33 eprover: CPU time limit exceeded, terminating
% 206.77/187.35 eprover: CPU time limit exceeded, terminating
% 208.99/189.38 eprover: CPU time limit exceeded, terminating
% 211.20/191.39 eprover: CPU time limit exceeded, terminating
% 213.45/193.41 eprover: CPU time limit exceeded, terminating
% 215.66/195.42 eprover: CPU time limit exceeded, terminating
% 217.85/197.45 eprover: CPU time limit exceeded, terminating
% 220.02/199.47 eprover: CPU time limit exceeded, terminating
% 222.22/201.49 eprover: CPU time limit exceeded, terminating
% 224.40/203.50 eprover: CPU time limit exceeded, terminating
% 226.69/205.52 eprover: CPU time limit exceeded, terminating
% 228.92/207.53 eprover: CPU time limit exceeded, terminating
% 231.10/209.55 eprover: CPU time limit exceeded, terminating
% 233.27/211.56 eprover: CPU time limit exceeded, terminating
% 235.50/213.58 eprover: CPU time limit exceeded, terminating
% 237.70/215.59 eprover: CPU time limit exceeded, terminating
% 239.96/217.61 eprover: CPU time limit exceeded, terminating
% 242.12/219.63 eprover: CPU time limit exceeded, terminating
% 244.32/221.64 eprover: CPU time limit exceeded, terminating
% 246.53/223.67 eprover: CPU time limit exceeded, terminating
% 248.77/225.68 eprover: CPU time limit exceeded, terminating
% 250.96/227.70 eprover: CPU time limit exceeded, terminating
% 253.17/229.72 eprover: CPU time limit exceeded, terminating
% 255.36/231.75 eprover: CPU time limit exceeded, terminating
% 257.52/233.76 eprover: CPU time limit exceeded, terminating
% 259.71/235.77 eprover: CPU time limit exceeded, terminating
% 261.93/237.79 eprover: CPU time limit exceeded, terminating
% 264.21/239.81 eprover: CPU time limit exceeded, terminating
% 266.41/241.83 eprover: CPU time limit exceeded, terminating
% 268.62/243.85 eprover: CPU time limit exceeded, terminating
% 270.80/245.86 eprover: CPU time limit exceeded, terminating
% 273.00/247.88 eprover: CPU time limit exceeded, terminating
% 275.22/249.89 eprover: CPU time limit exceeded, terminating
% 277.47/251.91 eprover: CPU time limit exceeded, terminating
% 279.69/253.93 eprover: CPU time limit exceeded, terminating
% 281.90/255.94 eprover: CPU time limit exceeded, terminating
% 284.09/257.96 eprover: CPU time limit exceeded, terminating
% 286.34/259.97 eprover: CPU time limit exceeded, terminating
% 288.46/261.98 eprover: CPU time limit exceeded, terminating
% 290.70/264.00 eprover: CPU time limit exceeded, terminating
% 292.94/266.01 eprover: CPU time limit exceeded, terminating
% 295.19/268.03 eprover: CPU time limit exceeded, terminating
% 297.37/270.04 eprover: CPU time limit exceeded, terminating
% 299.56/272.05 eprover: CPU time limit exceeded, terminating
% 300.16/272.52 eprover: CPU time limit exceeded, terminating
% 300.16/272.54 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------