TSTP Solution File: CSR217+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR217+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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:05 EDT 2022
% Result : Timeout 286.41s 259.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.11 % Problem : CSR217+1 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n010.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 14:51:55 EDT 2022
% 0.18/0.33 % CPUTime :
% 5.90/5.95 eprover: CPU time limit exceeded, terminating
% 8.11/7.97 eprover: CPU time limit exceeded, terminating
% 10.37/9.98 eprover: CPU time limit exceeded, terminating
% 12.50/11.99 eprover: CPU time limit exceeded, terminating
% 14.69/14.01 eprover: CPU time limit exceeded, terminating
% 16.97/16.02 eprover: CPU time limit exceeded, terminating
% 19.15/18.04 eprover: CPU time limit exceeded, terminating
% 21.36/20.06 eprover: CPU time limit exceeded, terminating
% 23.58/22.07 eprover: CPU time limit exceeded, terminating
% 25.74/24.09 eprover: CPU time limit exceeded, terminating
% 28.09/26.10 eprover: CPU time limit exceeded, terminating
% 30.31/28.12 eprover: CPU time limit exceeded, terminating
% 32.47/30.13 eprover: CPU time limit exceeded, terminating
% 34.73/32.14 eprover: CPU time limit exceeded, terminating
% 36.87/34.16 eprover: CPU time limit exceeded, terminating
% 39.10/36.17 eprover: CPU time limit exceeded, terminating
% 41.35/38.19 eprover: CPU time limit exceeded, terminating
% 43.54/40.20 eprover: CPU time limit exceeded, terminating
% 45.73/42.22 eprover: CPU time limit exceeded, terminating
% 48.00/44.24 eprover: CPU time limit exceeded, terminating
% 50.22/46.25 eprover: CPU time limit exceeded, terminating
% 52.41/48.27 eprover: CPU time limit exceeded, terminating
% 54.59/50.29 eprover: CPU time limit exceeded, terminating
% 56.85/52.30 eprover: CPU time limit exceeded, terminating
% 59.06/54.32 eprover: CPU time limit exceeded, terminating
% 61.24/56.33 eprover: CPU time limit exceeded, terminating
% 63.48/58.34 eprover: CPU time limit exceeded, terminating
% 65.62/60.36 eprover: CPU time limit exceeded, terminating
% 67.88/62.37 eprover: CPU time limit exceeded, terminating
% 70.09/64.41 eprover: CPU time limit exceeded, terminating
% 72.28/66.42 eprover: CPU time limit exceeded, terminating
% 74.48/68.43 eprover: CPU time limit exceeded, terminating
% 76.68/70.45 eprover: CPU time limit exceeded, terminating
% 78.95/72.47 eprover: CPU time limit exceeded, terminating
% 81.18/74.48 eprover: CPU time limit exceeded, terminating
% 83.36/76.53 eprover: CPU time limit exceeded, terminating
% 85.58/78.55 eprover: CPU time limit exceeded, terminating
% 87.80/80.57 eprover: CPU time limit exceeded, terminating
% 90.00/82.58 eprover: CPU time limit exceeded, terminating
% 92.19/84.59 eprover: CPU time limit exceeded, terminating
% 94.41/86.61 eprover: CPU time limit exceeded, terminating
% 96.60/88.62 eprover: CPU time limit exceeded, terminating
% 98.83/90.64 eprover: CPU time limit exceeded, terminating
% 101.02/92.65 eprover: CPU time limit exceeded, terminating
% 103.21/94.66 eprover: CPU time limit exceeded, terminating
% 105.41/96.67 eprover: CPU time limit exceeded, terminating
% 107.64/98.68 eprover: CPU time limit exceeded, terminating
% 109.82/100.69 eprover: CPU time limit exceeded, terminating
% 112.03/102.70 eprover: CPU time limit exceeded, terminating
% 114.24/104.71 eprover: CPU time limit exceeded, terminating
% 116.42/106.73 eprover: CPU time limit exceeded, terminating
% 118.72/108.75 eprover: CPU time limit exceeded, terminating
% 120.92/110.76 eprover: CPU time limit exceeded, terminating
% 123.17/112.78 eprover: CPU time limit exceeded, terminating
% 125.40/114.79 eprover: CPU time limit exceeded, terminating
% 127.52/116.80 eprover: CPU time limit exceeded, terminating
% 129.76/118.81 eprover: CPU time limit exceeded, terminating
% 131.89/120.83 eprover: CPU time limit exceeded, terminating
% 134.13/122.84 eprover: CPU time limit exceeded, terminating
% 136.35/124.85 eprover: CPU time limit exceeded, terminating
% 138.58/126.86 eprover: CPU time limit exceeded, terminating
% 140.78/128.87 eprover: CPU time limit exceeded, terminating
% 142.95/130.88 eprover: CPU time limit exceeded, terminating
% 145.20/132.89 eprover: CPU time limit exceeded, terminating
% 147.35/134.90 eprover: CPU time limit exceeded, terminating
% 149.60/136.91 eprover: CPU time limit exceeded, terminating
% 151.81/138.93 eprover: CPU time limit exceeded, terminating
% 153.95/140.94 eprover: CPU time limit exceeded, terminating
% 156.20/142.95 eprover: CPU time limit exceeded, terminating
% 158.42/144.96 eprover: CPU time limit exceeded, terminating
% 160.60/146.97 eprover: CPU time limit exceeded, terminating
% 162.84/148.98 eprover: CPU time limit exceeded, terminating
% 165.01/151.00 eprover: CPU time limit exceeded, terminating
% 167.21/153.01 eprover: CPU time limit exceeded, terminating
% 169.41/155.02 eprover: CPU time limit exceeded, terminating
% 171.61/157.03 eprover: CPU time limit exceeded, terminating
% 173.87/159.04 eprover: CPU time limit exceeded, terminating
% 176.09/161.06 eprover: CPU time limit exceeded, terminating
% 178.26/163.07 eprover: CPU time limit exceeded, terminating
% 180.50/165.08 eprover: CPU time limit exceeded, terminating
% 182.68/167.10 eprover: CPU time limit exceeded, terminating
% 184.92/169.11 eprover: CPU time limit exceeded, terminating
% 187.10/171.12 eprover: CPU time limit exceeded, terminating
% 189.37/173.14 eprover: CPU time limit exceeded, terminating
% 191.57/175.15 eprover: CPU time limit exceeded, terminating
% 193.77/177.16 eprover: CPU time limit exceeded, terminating
% 195.96/179.17 eprover: CPU time limit exceeded, terminating
% 198.17/181.18 eprover: CPU time limit exceeded, terminating
% 200.34/183.20 eprover: CPU time limit exceeded, terminating
% 202.57/185.21 eprover: CPU time limit exceeded, terminating
% 204.79/187.22 eprover: CPU time limit exceeded, terminating
% 206.99/189.23 eprover: CPU time limit exceeded, terminating
% 209.16/191.24 eprover: CPU time limit exceeded, terminating
% 211.43/193.25 eprover: CPU time limit exceeded, terminating
% 213.63/195.27 eprover: CPU time limit exceeded, terminating
% 215.83/197.28 eprover: CPU time limit exceeded, terminating
% 218.07/199.29 eprover: CPU time limit exceeded, terminating
% 220.23/201.30 eprover: CPU time limit exceeded, terminating
% 222.49/203.31 eprover: CPU time limit exceeded, terminating
% 224.70/205.33 eprover: CPU time limit exceeded, terminating
% 226.87/207.34 eprover: CPU time limit exceeded, terminating
% 229.08/209.35 eprover: CPU time limit exceeded, terminating
% 231.29/211.36 eprover: CPU time limit exceeded, terminating
% 233.49/213.37 eprover: CPU time limit exceeded, terminating
% 235.70/215.38 eprover: CPU time limit exceeded, terminating
% 237.93/217.40 eprover: CPU time limit exceeded, terminating
% 240.09/219.41 eprover: CPU time limit exceeded, terminating
% 242.29/221.42 eprover: CPU time limit exceeded, terminating
% 244.49/223.43 eprover: CPU time limit exceeded, terminating
% 246.77/225.45 eprover: CPU time limit exceeded, terminating
% 248.97/227.46 eprover: CPU time limit exceeded, terminating
% 251.17/229.47 eprover: CPU time limit exceeded, terminating
% 253.39/231.48 eprover: CPU time limit exceeded, terminating
% 255.61/233.50 eprover: CPU time limit exceeded, terminating
% 257.83/235.51 eprover: CPU time limit exceeded, terminating
% 260.08/237.52 eprover: CPU time limit exceeded, terminating
% 262.28/239.53 eprover: CPU time limit exceeded, terminating
% 264.49/241.54 eprover: CPU time limit exceeded, terminating
% 266.68/243.55 eprover: CPU time limit exceeded, terminating
% 268.88/245.57 eprover: CPU time limit exceeded, terminating
% 271.12/247.58 eprover: CPU time limit exceeded, terminating
% 273.32/249.59 eprover: CPU time limit exceeded, terminating
% 275.49/251.60 eprover: CPU time limit exceeded, terminating
% 279.71/253.61 eprover: CPU time limit exceeded, terminating
% 281.93/255.63 eprover: CPU time limit exceeded, terminating
% 284.16/257.64 eprover: CPU time limit exceeded, terminating
% 286.41/259.65 eprover: CPU time limit exceeded, terminating
% 288.63/261.67 eprover: CPU time limit exceeded, terminating
% 290.82/263.68 eprover: CPU time limit exceeded, terminating
% 293.05/265.69 eprover: CPU time limit exceeded, terminating
% 295.22/267.70 eprover: CPU time limit exceeded, terminating
% 297.46/269.72 eprover: CPU time limit exceeded, terminating
% 299.62/271.73 eprover: CPU time limit exceeded, terminating
% 300.03/272.05 eprover: CPU time limit exceeded, terminating
% 300.03/272.06 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------