TSTP Solution File: CSR116+16 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+16 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:35:39 EDT 2022
% Result : Timeout 287.86s 267.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.14 % Problem : CSR116+16 : TPTP v8.1.0. Released v4.0.0.
% 0.09/0.15 % Command : run_infinox %s
% 0.15/0.37 % Computer : n007.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 600
% 0.15/0.37 % DateTime : Sat Jun 11 13:18:37 EDT 2022
% 0.15/0.37 % CPUTime :
% 3.69/3.78 eprover: CPU time limit exceeded, terminating
% 5.88/5.80 eprover: CPU time limit exceeded, terminating
% 8.07/7.82 eprover: CPU time limit exceeded, terminating
% 10.16/9.83 eprover: CPU time limit exceeded, terminating
% 12.37/11.85 eprover: CPU time limit exceeded, terminating
% 14.54/13.87 eprover: CPU time limit exceeded, terminating
% 16.65/15.89 eprover: CPU time limit exceeded, terminating
% 18.84/17.91 eprover: CPU time limit exceeded, terminating
% 21.07/19.93 eprover: CPU time limit exceeded, terminating
% 23.23/21.94 eprover: CPU time limit exceeded, terminating
% 25.37/23.96 eprover: CPU time limit exceeded, terminating
% 27.56/25.98 eprover: CPU time limit exceeded, terminating
% 29.72/28.00 eprover: CPU time limit exceeded, terminating
% 31.89/30.01 eprover: CPU time limit exceeded, terminating
% 34.09/32.03 eprover: CPU time limit exceeded, terminating
% 36.25/34.05 eprover: CPU time limit exceeded, terminating
% 38.35/36.07 eprover: CPU time limit exceeded, terminating
% 40.62/38.09 eprover: CPU time limit exceeded, terminating
% 42.71/40.11 eprover: CPU time limit exceeded, terminating
% 44.98/42.13 eprover: CPU time limit exceeded, terminating
% 47.13/44.14 eprover: CPU time limit exceeded, terminating
% 49.26/46.16 eprover: CPU time limit exceeded, terminating
% 51.40/48.18 eprover: CPU time limit exceeded, terminating
% 53.68/50.20 eprover: CPU time limit exceeded, terminating
% 55.83/52.21 eprover: CPU time limit exceeded, terminating
% 58.03/54.23 eprover: CPU time limit exceeded, terminating
% 60.15/56.25 eprover: CPU time limit exceeded, terminating
% 62.33/58.27 eprover: CPU time limit exceeded, terminating
% 64.47/60.29 eprover: CPU time limit exceeded, terminating
% 66.71/62.31 eprover: CPU time limit exceeded, terminating
% 68.86/64.33 eprover: CPU time limit exceeded, terminating
% 71.02/66.34 eprover: CPU time limit exceeded, terminating
% 73.17/68.36 eprover: CPU time limit exceeded, terminating
% 75.36/70.38 eprover: CPU time limit exceeded, terminating
% 77.57/72.40 eprover: CPU time limit exceeded, terminating
% 79.75/74.42 eprover: CPU time limit exceeded, terminating
% 81.79/76.43 eprover: CPU time limit exceeded, terminating
% 83.90/78.45 eprover: CPU time limit exceeded, terminating
% 86.05/80.47 eprover: CPU time limit exceeded, terminating
% 88.19/82.49 eprover: CPU time limit exceeded, terminating
% 90.42/84.51 eprover: CPU time limit exceeded, terminating
% 92.58/86.52 eprover: CPU time limit exceeded, terminating
% 94.74/88.54 eprover: CPU time limit exceeded, terminating
% 96.88/90.56 eprover: CPU time limit exceeded, terminating
% 99.06/92.58 eprover: CPU time limit exceeded, terminating
% 101.27/94.60 eprover: CPU time limit exceeded, terminating
% 103.42/96.61 eprover: CPU time limit exceeded, terminating
% 105.61/98.63 eprover: CPU time limit exceeded, terminating
% 107.74/100.64 eprover: CPU time limit exceeded, terminating
% 109.85/102.66 eprover: CPU time limit exceeded, terminating
% 112.00/104.67 eprover: CPU time limit exceeded, terminating
% 114.22/106.68 eprover: CPU time limit exceeded, terminating
% 116.29/108.69 eprover: CPU time limit exceeded, terminating
% 118.52/110.71 eprover: CPU time limit exceeded, terminating
% 120.67/112.72 eprover: CPU time limit exceeded, terminating
% 122.81/114.73 eprover: CPU time limit exceeded, terminating
% 124.96/116.75 eprover: CPU time limit exceeded, terminating
% 127.09/118.76 eprover: CPU time limit exceeded, terminating
% 129.25/120.77 eprover: CPU time limit exceeded, terminating
% 131.37/122.78 eprover: CPU time limit exceeded, terminating
% 133.59/124.79 eprover: CPU time limit exceeded, terminating
% 135.72/126.81 eprover: CPU time limit exceeded, terminating
% 137.87/128.82 eprover: CPU time limit exceeded, terminating
% 140.05/130.83 eprover: CPU time limit exceeded, terminating
% 142.14/132.84 eprover: CPU time limit exceeded, terminating
% 144.27/134.85 eprover: CPU time limit exceeded, terminating
% 146.47/136.87 eprover: CPU time limit exceeded, terminating
% 148.61/138.88 eprover: CPU time limit exceeded, terminating
% 150.83/140.89 eprover: CPU time limit exceeded, terminating
% 152.92/142.90 eprover: CPU time limit exceeded, terminating
% 155.14/144.91 eprover: CPU time limit exceeded, terminating
% 157.28/146.93 eprover: CPU time limit exceeded, terminating
% 159.42/148.94 eprover: CPU time limit exceeded, terminating
% 161.52/150.95 eprover: CPU time limit exceeded, terminating
% 165.63/152.96 eprover: CPU time limit exceeded, terminating
% 167.81/154.97 eprover: CPU time limit exceeded, terminating
% 169.95/156.99 eprover: CPU time limit exceeded, terminating
% 172.12/159.00 eprover: CPU time limit exceeded, terminating
% 174.30/161.01 eprover: CPU time limit exceeded, terminating
% 176.41/163.02 eprover: CPU time limit exceeded, terminating
% 178.51/165.03 eprover: CPU time limit exceeded, terminating
% 180.72/167.05 eprover: CPU time limit exceeded, terminating
% 182.83/169.06 eprover: CPU time limit exceeded, terminating
% 185.02/171.07 eprover: CPU time limit exceeded, terminating
% 187.12/173.08 eprover: CPU time limit exceeded, terminating
% 189.32/175.10 eprover: CPU time limit exceeded, terminating
% 191.50/177.11 eprover: CPU time limit exceeded, terminating
% 193.58/179.12 eprover: CPU time limit exceeded, terminating
% 195.77/181.13 eprover: CPU time limit exceeded, terminating
% 197.96/183.14 eprover: CPU time limit exceeded, terminating
% 200.12/185.16 eprover: CPU time limit exceeded, terminating
% 202.23/187.17 eprover: CPU time limit exceeded, terminating
% 204.41/189.18 eprover: CPU time limit exceeded, terminating
% 206.54/191.19 eprover: CPU time limit exceeded, terminating
% 208.72/193.20 eprover: CPU time limit exceeded, terminating
% 210.89/195.22 eprover: CPU time limit exceeded, terminating
% 213.07/197.23 eprover: CPU time limit exceeded, terminating
% 215.21/199.24 eprover: CPU time limit exceeded, terminating
% 217.30/201.25 eprover: CPU time limit exceeded, terminating
% 219.47/203.26 eprover: CPU time limit exceeded, terminating
% 221.66/205.28 eprover: CPU time limit exceeded, terminating
% 223.77/207.29 eprover: CPU time limit exceeded, terminating
% 225.96/209.30 eprover: CPU time limit exceeded, terminating
% 228.15/211.31 eprover: CPU time limit exceeded, terminating
% 230.31/213.32 eprover: CPU time limit exceeded, terminating
% 232.37/215.34 eprover: CPU time limit exceeded, terminating
% 234.42/217.35 eprover: CPU time limit exceeded, terminating
% 236.60/219.36 eprover: CPU time limit exceeded, terminating
% 238.76/221.37 eprover: CPU time limit exceeded, terminating
% 240.91/223.39 eprover: CPU time limit exceeded, terminating
% 243.08/225.40 eprover: CPU time limit exceeded, terminating
% 245.22/227.41 eprover: CPU time limit exceeded, terminating
% 247.37/229.43 eprover: CPU time limit exceeded, terminating
% 249.50/231.44 eprover: CPU time limit exceeded, terminating
% 251.69/233.45 eprover: CPU time limit exceeded, terminating
% 253.76/235.46 eprover: CPU time limit exceeded, terminating
% 255.79/237.48 eprover: CPU time limit exceeded, terminating
% 257.84/239.49 eprover: CPU time limit exceeded, terminating
% 259.98/241.50 eprover: CPU time limit exceeded, terminating
% 262.15/243.52 eprover: CPU time limit exceeded, terminating
% 264.35/245.54 eprover: CPU time limit exceeded, terminating
% 266.34/247.56 eprover: CPU time limit exceeded, terminating
% 268.46/249.57 eprover: CPU time limit exceeded, terminating
% 270.64/251.58 eprover: CPU time limit exceeded, terminating
% 272.81/253.59 eprover: CPU time limit exceeded, terminating
% 275.02/255.61 eprover: CPU time limit exceeded, terminating
% 277.13/257.63 eprover: CPU time limit exceeded, terminating
% 279.26/259.65 eprover: CPU time limit exceeded, terminating
% 281.38/261.66 eprover: CPU time limit exceeded, terminating
% 283.49/263.67 eprover: CPU time limit exceeded, terminating
% 285.63/265.69 eprover: CPU time limit exceeded, terminating
% 287.86/267.70 eprover: CPU time limit exceeded, terminating
% 289.98/269.72 eprover: CPU time limit exceeded, terminating
% 292.11/271.73 eprover: CPU time limit exceeded, terminating
% 294.21/273.75 eprover: CPU time limit exceeded, terminating
% 296.30/275.76 eprover: CPU time limit exceeded, terminating
% 298.38/277.78 eprover: CPU time limit exceeded, terminating
% 300.05/279.31 eprover: CPU time limit exceeded, terminating
% 300.05/279.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------