TSTP Solution File: CSR199+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR199+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:03 EDT 2022
% Result : Timeout 285.96s 261.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR199+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n028.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 06:29:03 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.78/5.84 eprover: CPU time limit exceeded, terminating
% 8.01/7.86 eprover: CPU time limit exceeded, terminating
% 10.18/9.87 eprover: CPU time limit exceeded, terminating
% 12.46/11.88 eprover: CPU time limit exceeded, terminating
% 14.67/13.89 eprover: CPU time limit exceeded, terminating
% 16.87/15.90 eprover: CPU time limit exceeded, terminating
% 19.10/17.91 eprover: CPU time limit exceeded, terminating
% 21.30/19.93 eprover: CPU time limit exceeded, terminating
% 23.49/21.94 eprover: CPU time limit exceeded, terminating
% 25.66/23.95 eprover: CPU time limit exceeded, terminating
% 27.90/25.96 eprover: CPU time limit exceeded, terminating
% 30.12/27.97 eprover: CPU time limit exceeded, terminating
% 32.34/29.98 eprover: CPU time limit exceeded, terminating
% 34.52/31.99 eprover: CPU time limit exceeded, terminating
% 36.76/34.01 eprover: CPU time limit exceeded, terminating
% 38.93/36.04 eprover: CPU time limit exceeded, terminating
% 41.16/38.05 eprover: CPU time limit exceeded, terminating
% 43.32/40.08 eprover: CPU time limit exceeded, terminating
% 45.53/42.09 eprover: CPU time limit exceeded, terminating
% 47.80/44.11 eprover: CPU time limit exceeded, terminating
% 50.03/46.12 eprover: CPU time limit exceeded, terminating
% 52.23/48.14 eprover: CPU time limit exceeded, terminating
% 54.41/50.16 eprover: CPU time limit exceeded, terminating
% 56.62/52.17 eprover: CPU time limit exceeded, terminating
% 58.87/54.22 eprover: CPU time limit exceeded, terminating
% 61.03/56.23 eprover: CPU time limit exceeded, terminating
% 63.21/58.25 eprover: CPU time limit exceeded, terminating
% 65.43/60.27 eprover: CPU time limit exceeded, terminating
% 67.71/62.29 eprover: CPU time limit exceeded, terminating
% 69.88/64.33 eprover: CPU time limit exceeded, terminating
% 72.10/66.35 eprover: CPU time limit exceeded, terminating
% 74.26/68.37 eprover: CPU time limit exceeded, terminating
% 76.48/70.39 eprover: CPU time limit exceeded, terminating
% 78.66/72.40 eprover: CPU time limit exceeded, terminating
% 80.94/74.42 eprover: CPU time limit exceeded, terminating
% 83.10/76.43 eprover: CPU time limit exceeded, terminating
% 85.31/78.45 eprover: CPU time limit exceeded, terminating
% 87.54/80.51 eprover: CPU time limit exceeded, terminating
% 89.75/82.53 eprover: CPU time limit exceeded, terminating
% 91.93/84.55 eprover: CPU time limit exceeded, terminating
% 94.15/86.57 eprover: CPU time limit exceeded, terminating
% 96.35/88.59 eprover: CPU time limit exceeded, terminating
% 98.58/90.63 eprover: CPU time limit exceeded, terminating
% 100.81/92.65 eprover: CPU time limit exceeded, terminating
% 103.05/94.68 eprover: CPU time limit exceeded, terminating
% 105.15/96.70 eprover: CPU time limit exceeded, terminating
% 107.45/98.72 eprover: CPU time limit exceeded, terminating
% 109.63/100.74 eprover: CPU time limit exceeded, terminating
% 111.82/102.76 eprover: CPU time limit exceeded, terminating
% 114.07/104.78 eprover: CPU time limit exceeded, terminating
% 116.20/106.80 eprover: CPU time limit exceeded, terminating
% 118.45/108.82 eprover: CPU time limit exceeded, terminating
% 120.64/110.85 eprover: CPU time limit exceeded, terminating
% 122.83/112.88 eprover: CPU time limit exceeded, terminating
% 125.08/114.89 eprover: CPU time limit exceeded, terminating
% 127.29/116.92 eprover: CPU time limit exceeded, terminating
% 129.47/118.95 eprover: CPU time limit exceeded, terminating
% 131.66/120.96 eprover: CPU time limit exceeded, terminating
% 133.93/122.99 eprover: CPU time limit exceeded, terminating
% 136.14/125.01 eprover: CPU time limit exceeded, terminating
% 138.34/127.02 eprover: CPU time limit exceeded, terminating
% 140.50/129.03 eprover: CPU time limit exceeded, terminating
% 142.73/131.05 eprover: CPU time limit exceeded, terminating
% 144.90/133.07 eprover: CPU time limit exceeded, terminating
% 147.11/135.08 eprover: CPU time limit exceeded, terminating
% 149.39/137.10 eprover: CPU time limit exceeded, terminating
% 151.59/139.12 eprover: CPU time limit exceeded, terminating
% 153.77/141.13 eprover: CPU time limit exceeded, terminating
% 155.98/143.15 eprover: CPU time limit exceeded, terminating
% 158.18/145.16 eprover: CPU time limit exceeded, terminating
% 160.36/147.18 eprover: CPU time limit exceeded, terminating
% 162.59/149.19 eprover: CPU time limit exceeded, terminating
% 164.80/151.21 eprover: CPU time limit exceeded, terminating
% 167.01/153.22 eprover: CPU time limit exceeded, terminating
% 169.19/155.23 eprover: CPU time limit exceeded, terminating
% 171.36/157.25 eprover: CPU time limit exceeded, terminating
% 173.57/159.26 eprover: CPU time limit exceeded, terminating
% 175.80/161.27 eprover: CPU time limit exceeded, terminating
% 177.95/163.28 eprover: CPU time limit exceeded, terminating
% 180.18/165.29 eprover: CPU time limit exceeded, terminating
% 182.43/167.31 eprover: CPU time limit exceeded, terminating
% 184.61/169.32 eprover: CPU time limit exceeded, terminating
% 186.81/171.33 eprover: CPU time limit exceeded, terminating
% 189.02/173.34 eprover: CPU time limit exceeded, terminating
% 191.18/175.35 eprover: CPU time limit exceeded, terminating
% 193.39/177.36 eprover: CPU time limit exceeded, terminating
% 195.59/179.37 eprover: CPU time limit exceeded, terminating
% 197.83/181.40 eprover: CPU time limit exceeded, terminating
% 200.03/183.41 eprover: CPU time limit exceeded, terminating
% 202.23/185.42 eprover: CPU time limit exceeded, terminating
% 204.38/187.43 eprover: CPU time limit exceeded, terminating
% 206.60/189.44 eprover: CPU time limit exceeded, terminating
% 208.78/191.45 eprover: CPU time limit exceeded, terminating
% 210.98/193.46 eprover: CPU time limit exceeded, terminating
% 213.20/195.47 eprover: CPU time limit exceeded, terminating
% 215.38/197.48 eprover: CPU time limit exceeded, terminating
% 217.63/199.49 eprover: CPU time limit exceeded, terminating
% 219.85/201.50 eprover: CPU time limit exceeded, terminating
% 222.02/203.51 eprover: CPU time limit exceeded, terminating
% 224.23/205.52 eprover: CPU time limit exceeded, terminating
% 226.42/207.53 eprover: CPU time limit exceeded, terminating
% 228.62/209.55 eprover: CPU time limit exceeded, terminating
% 230.81/211.56 eprover: CPU time limit exceeded, terminating
% 233.04/213.57 eprover: CPU time limit exceeded, terminating
% 235.27/215.58 eprover: CPU time limit exceeded, terminating
% 237.49/217.59 eprover: CPU time limit exceeded, terminating
% 239.66/219.60 eprover: CPU time limit exceeded, terminating
% 241.89/221.61 eprover: CPU time limit exceeded, terminating
% 244.06/223.62 eprover: CPU time limit exceeded, terminating
% 246.28/225.63 eprover: CPU time limit exceeded, terminating
% 248.50/227.64 eprover: CPU time limit exceeded, terminating
% 250.64/229.66 eprover: CPU time limit exceeded, terminating
% 252.90/231.67 eprover: CPU time limit exceeded, terminating
% 255.03/233.68 eprover: CPU time limit exceeded, terminating
% 257.27/235.69 eprover: CPU time limit exceeded, terminating
% 259.53/237.70 eprover: CPU time limit exceeded, terminating
% 261.73/239.71 eprover: CPU time limit exceeded, terminating
% 263.94/241.72 eprover: CPU time limit exceeded, terminating
% 266.12/243.73 eprover: CPU time limit exceeded, terminating
% 268.35/245.74 eprover: CPU time limit exceeded, terminating
% 270.49/247.75 eprover: CPU time limit exceeded, terminating
% 272.74/249.76 eprover: CPU time limit exceeded, terminating
% 274.96/251.78 eprover: CPU time limit exceeded, terminating
% 277.13/253.79 eprover: CPU time limit exceeded, terminating
% 279.37/255.80 eprover: CPU time limit exceeded, terminating
% 281.59/257.81 eprover: CPU time limit exceeded, terminating
% 283.79/259.82 eprover: CPU time limit exceeded, terminating
% 285.96/261.83 eprover: CPU time limit exceeded, terminating
% 288.19/263.84 eprover: CPU time limit exceeded, terminating
% 290.37/265.85 eprover: CPU time limit exceeded, terminating
% 292.58/267.86 eprover: CPU time limit exceeded, terminating
% 294.82/269.87 eprover: CPU time limit exceeded, terminating
% 297.00/271.89 eprover: CPU time limit exceeded, terminating
% 299.23/273.90 eprover: CPU time limit exceeded, terminating
% 300.04/274.59 eprover: CPU time limit exceeded, terminating
% 300.04/274.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------