TSTP Solution File: CSR216+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR216+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:05 EDT 2022
% Result : Timeout 286.16s 261.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR216+1 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.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 : Fri Jun 10 11:05:54 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.84/5.87 eprover: CPU time limit exceeded, terminating
% 8.03/7.89 eprover: CPU time limit exceeded, terminating
% 10.29/9.90 eprover: CPU time limit exceeded, terminating
% 12.48/11.91 eprover: CPU time limit exceeded, terminating
% 14.66/13.92 eprover: CPU time limit exceeded, terminating
% 16.89/15.93 eprover: CPU time limit exceeded, terminating
% 19.05/17.95 eprover: CPU time limit exceeded, terminating
% 21.27/19.96 eprover: CPU time limit exceeded, terminating
% 23.47/21.97 eprover: CPU time limit exceeded, terminating
% 25.74/23.98 eprover: CPU time limit exceeded, terminating
% 27.99/26.00 eprover: CPU time limit exceeded, terminating
% 30.19/28.01 eprover: CPU time limit exceeded, terminating
% 32.41/30.02 eprover: CPU time limit exceeded, terminating
% 34.57/32.03 eprover: CPU time limit exceeded, terminating
% 36.80/34.05 eprover: CPU time limit exceeded, terminating
% 38.99/36.06 eprover: CPU time limit exceeded, terminating
% 41.20/38.07 eprover: CPU time limit exceeded, terminating
% 43.39/40.09 eprover: CPU time limit exceeded, terminating
% 45.70/42.10 eprover: CPU time limit exceeded, terminating
% 47.93/44.11 eprover: CPU time limit exceeded, terminating
% 50.14/46.13 eprover: CPU time limit exceeded, terminating
% 52.31/48.14 eprover: CPU time limit exceeded, terminating
% 54.54/50.15 eprover: CPU time limit exceeded, terminating
% 56.70/52.16 eprover: CPU time limit exceeded, terminating
% 58.92/54.17 eprover: CPU time limit exceeded, terminating
% 61.11/56.18 eprover: CPU time limit exceeded, terminating
% 63.39/58.20 eprover: CPU time limit exceeded, terminating
% 65.60/60.21 eprover: CPU time limit exceeded, terminating
% 67.81/62.22 eprover: CPU time limit exceeded, terminating
% 70.02/64.24 eprover: CPU time limit exceeded, terminating
% 72.19/66.25 eprover: CPU time limit exceeded, terminating
% 74.39/68.26 eprover: CPU time limit exceeded, terminating
% 76.59/70.27 eprover: CPU time limit exceeded, terminating
% 78.88/72.29 eprover: CPU time limit exceeded, terminating
% 81.02/74.30 eprover: CPU time limit exceeded, terminating
% 83.31/76.31 eprover: CPU time limit exceeded, terminating
% 85.52/78.32 eprover: CPU time limit exceeded, terminating
% 87.70/80.34 eprover: CPU time limit exceeded, terminating
% 89.91/82.35 eprover: CPU time limit exceeded, terminating
% 92.12/84.36 eprover: CPU time limit exceeded, terminating
% 94.29/86.37 eprover: CPU time limit exceeded, terminating
% 96.49/88.38 eprover: CPU time limit exceeded, terminating
% 98.70/90.39 eprover: CPU time limit exceeded, terminating
% 100.98/92.40 eprover: CPU time limit exceeded, terminating
% 103.15/94.42 eprover: CPU time limit exceeded, terminating
% 105.40/96.43 eprover: CPU time limit exceeded, terminating
% 107.59/98.45 eprover: CPU time limit exceeded, terminating
% 109.86/100.47 eprover: CPU time limit exceeded, terminating
% 111.99/102.48 eprover: CPU time limit exceeded, terminating
% 114.16/104.50 eprover: CPU time limit exceeded, terminating
% 116.45/106.51 eprover: CPU time limit exceeded, terminating
% 118.65/108.52 eprover: CPU time limit exceeded, terminating
% 120.86/110.53 eprover: CPU time limit exceeded, terminating
% 123.05/112.54 eprover: CPU time limit exceeded, terminating
% 125.26/114.56 eprover: CPU time limit exceeded, terminating
% 127.51/116.57 eprover: CPU time limit exceeded, terminating
% 129.64/118.58 eprover: CPU time limit exceeded, terminating
% 131.85/120.60 eprover: CPU time limit exceeded, terminating
% 134.15/122.62 eprover: CPU time limit exceeded, terminating
% 136.33/124.63 eprover: CPU time limit exceeded, terminating
% 138.53/126.64 eprover: CPU time limit exceeded, terminating
% 140.71/128.65 eprover: CPU time limit exceeded, terminating
% 142.89/130.67 eprover: CPU time limit exceeded, terminating
% 145.11/132.68 eprover: CPU time limit exceeded, terminating
% 147.29/134.69 eprover: CPU time limit exceeded, terminating
% 149.56/136.71 eprover: CPU time limit exceeded, terminating
% 151.69/138.72 eprover: CPU time limit exceeded, terminating
% 153.87/140.74 eprover: CPU time limit exceeded, terminating
% 156.11/142.75 eprover: CPU time limit exceeded, terminating
% 158.34/144.76 eprover: CPU time limit exceeded, terminating
% 160.48/146.78 eprover: CPU time limit exceeded, terminating
% 162.70/148.79 eprover: CPU time limit exceeded, terminating
% 164.93/150.80 eprover: CPU time limit exceeded, terminating
% 167.13/152.81 eprover: CPU time limit exceeded, terminating
% 169.32/154.83 eprover: CPU time limit exceeded, terminating
% 171.51/156.84 eprover: CPU time limit exceeded, terminating
% 173.75/158.85 eprover: CPU time limit exceeded, terminating
% 175.93/160.87 eprover: CPU time limit exceeded, terminating
% 178.14/162.88 eprover: CPU time limit exceeded, terminating
% 180.30/164.89 eprover: CPU time limit exceeded, terminating
% 182.53/166.90 eprover: CPU time limit exceeded, terminating
% 184.67/168.91 eprover: CPU time limit exceeded, terminating
% 186.93/170.92 eprover: CPU time limit exceeded, terminating
% 189.16/172.94 eprover: CPU time limit exceeded, terminating
% 191.30/174.95 eprover: CPU time limit exceeded, terminating
% 193.52/176.96 eprover: CPU time limit exceeded, terminating
% 195.73/178.98 eprover: CPU time limit exceeded, terminating
% 197.95/180.99 eprover: CPU time limit exceeded, terminating
% 200.11/183.00 eprover: CPU time limit exceeded, terminating
% 202.34/185.02 eprover: CPU time limit exceeded, terminating
% 204.53/187.04 eprover: CPU time limit exceeded, terminating
% 206.79/189.05 eprover: CPU time limit exceeded, terminating
% 208.93/191.07 eprover: CPU time limit exceeded, terminating
% 211.16/193.08 eprover: CPU time limit exceeded, terminating
% 213.37/195.09 eprover: CPU time limit exceeded, terminating
% 215.53/197.10 eprover: CPU time limit exceeded, terminating
% 217.79/199.11 eprover: CPU time limit exceeded, terminating
% 219.92/201.12 eprover: CPU time limit exceeded, terminating
% 222.13/203.14 eprover: CPU time limit exceeded, terminating
% 224.35/205.15 eprover: CPU time limit exceeded, terminating
% 226.57/207.16 eprover: CPU time limit exceeded, terminating
% 228.74/209.18 eprover: CPU time limit exceeded, terminating
% 230.97/211.19 eprover: CPU time limit exceeded, terminating
% 233.17/213.20 eprover: CPU time limit exceeded, terminating
% 235.40/215.22 eprover: CPU time limit exceeded, terminating
% 237.62/217.23 eprover: CPU time limit exceeded, terminating
% 239.81/219.24 eprover: CPU time limit exceeded, terminating
% 242.04/221.25 eprover: CPU time limit exceeded, terminating
% 244.23/223.27 eprover: CPU time limit exceeded, terminating
% 246.45/225.28 eprover: CPU time limit exceeded, terminating
% 248.67/227.29 eprover: CPU time limit exceeded, terminating
% 250.88/229.30 eprover: CPU time limit exceeded, terminating
% 253.07/231.32 eprover: CPU time limit exceeded, terminating
% 255.27/233.33 eprover: CPU time limit exceeded, terminating
% 257.44/235.34 eprover: CPU time limit exceeded, terminating
% 259.67/237.36 eprover: CPU time limit exceeded, terminating
% 261.83/239.37 eprover: CPU time limit exceeded, terminating
% 264.07/241.38 eprover: CPU time limit exceeded, terminating
% 266.28/243.40 eprover: CPU time limit exceeded, terminating
% 268.48/245.41 eprover: CPU time limit exceeded, terminating
% 270.68/247.42 eprover: CPU time limit exceeded, terminating
% 272.86/249.43 eprover: CPU time limit exceeded, terminating
% 275.04/251.45 eprover: CPU time limit exceeded, terminating
% 277.22/253.47 eprover: CPU time limit exceeded, terminating
% 279.42/255.48 eprover: CPU time limit exceeded, terminating
% 281.73/257.50 eprover: CPU time limit exceeded, terminating
% 283.91/259.51 eprover: CPU time limit exceeded, terminating
% 286.16/261.52 eprover: CPU time limit exceeded, terminating
% 288.31/263.53 eprover: CPU time limit exceeded, terminating
% 290.50/265.55 eprover: CPU time limit exceeded, terminating
% 292.68/267.56 eprover: CPU time limit exceeded, terminating
% 294.91/269.57 eprover: CPU time limit exceeded, terminating
% 297.15/271.58 eprover: CPU time limit exceeded, terminating
% 299.35/273.61 eprover: CPU time limit exceeded, terminating
% 300.08/274.23 eprover: CPU time limit exceeded, terminating
% 300.08/274.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------