TSTP Solution File: CSR116+12 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+12 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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 286.56s 267.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR116+12 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n027.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 : Sat Jun 11 05:29:14 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.79/3.86 eprover: CPU time limit exceeded, terminating
% 5.96/5.88 eprover: CPU time limit exceeded, terminating
% 8.16/7.90 eprover: CPU time limit exceeded, terminating
% 10.23/9.91 eprover: CPU time limit exceeded, terminating
% 12.42/11.93 eprover: CPU time limit exceeded, terminating
% 14.63/13.94 eprover: CPU time limit exceeded, terminating
% 16.73/15.96 eprover: CPU time limit exceeded, terminating
% 18.92/17.98 eprover: CPU time limit exceeded, terminating
% 21.12/19.99 eprover: CPU time limit exceeded, terminating
% 23.23/22.00 eprover: CPU time limit exceeded, terminating
% 25.35/24.02 eprover: CPU time limit exceeded, terminating
% 27.57/26.04 eprover: CPU time limit exceeded, terminating
% 29.76/28.05 eprover: CPU time limit exceeded, terminating
% 31.98/30.07 eprover: CPU time limit exceeded, terminating
% 34.06/32.08 eprover: CPU time limit exceeded, terminating
% 36.26/34.09 eprover: CPU time limit exceeded, terminating
% 38.38/36.11 eprover: CPU time limit exceeded, terminating
% 40.57/38.12 eprover: CPU time limit exceeded, terminating
% 42.74/40.14 eprover: CPU time limit exceeded, terminating
% 44.92/42.15 eprover: CPU time limit exceeded, terminating
% 47.11/44.16 eprover: CPU time limit exceeded, terminating
% 49.26/46.17 eprover: CPU time limit exceeded, terminating
% 51.38/48.19 eprover: CPU time limit exceeded, terminating
% 53.57/50.20 eprover: CPU time limit exceeded, terminating
% 55.81/52.22 eprover: CPU time limit exceeded, terminating
% 57.90/54.23 eprover: CPU time limit exceeded, terminating
% 60.09/56.24 eprover: CPU time limit exceeded, terminating
% 62.17/58.26 eprover: CPU time limit exceeded, terminating
% 64.40/60.28 eprover: CPU time limit exceeded, terminating
% 66.56/62.30 eprover: CPU time limit exceeded, terminating
% 68.68/64.32 eprover: CPU time limit exceeded, terminating
% 70.87/66.33 eprover: CPU time limit exceeded, terminating
% 73.04/68.35 eprover: CPU time limit exceeded, terminating
% 75.20/70.36 eprover: CPU time limit exceeded, terminating
% 77.33/72.38 eprover: CPU time limit exceeded, terminating
% 79.57/74.39 eprover: CPU time limit exceeded, terminating
% 81.66/76.40 eprover: CPU time limit exceeded, terminating
% 83.74/78.42 eprover: CPU time limit exceeded, terminating
% 85.86/80.44 eprover: CPU time limit exceeded, terminating
% 87.99/82.46 eprover: CPU time limit exceeded, terminating
% 90.16/84.47 eprover: CPU time limit exceeded, terminating
% 92.32/86.49 eprover: CPU time limit exceeded, terminating
% 94.46/88.50 eprover: CPU time limit exceeded, terminating
% 96.70/90.52 eprover: CPU time limit exceeded, terminating
% 98.86/92.53 eprover: CPU time limit exceeded, terminating
% 101.03/94.55 eprover: CPU time limit exceeded, terminating
% 103.20/96.57 eprover: CPU time limit exceeded, terminating
% 105.34/98.58 eprover: CPU time limit exceeded, terminating
% 107.55/100.60 eprover: CPU time limit exceeded, terminating
% 109.73/102.64 eprover: CPU time limit exceeded, terminating
% 111.84/104.65 eprover: CPU time limit exceeded, terminating
% 114.04/106.67 eprover: CPU time limit exceeded, terminating
% 116.18/108.68 eprover: CPU time limit exceeded, terminating
% 118.41/110.70 eprover: CPU time limit exceeded, terminating
% 120.57/112.71 eprover: CPU time limit exceeded, terminating
% 122.73/114.73 eprover: CPU time limit exceeded, terminating
% 124.84/116.74 eprover: CPU time limit exceeded, terminating
% 127.01/118.76 eprover: CPU time limit exceeded, terminating
% 129.16/120.78 eprover: CPU time limit exceeded, terminating
% 131.39/122.79 eprover: CPU time limit exceeded, terminating
% 133.54/124.81 eprover: CPU time limit exceeded, terminating
% 135.72/126.82 eprover: CPU time limit exceeded, terminating
% 137.86/128.84 eprover: CPU time limit exceeded, terminating
% 140.00/130.85 eprover: CPU time limit exceeded, terminating
% 142.13/132.87 eprover: CPU time limit exceeded, terminating
% 144.30/134.88 eprover: CPU time limit exceeded, terminating
% 146.53/136.90 eprover: CPU time limit exceeded, terminating
% 148.67/138.92 eprover: CPU time limit exceeded, terminating
% 150.80/140.93 eprover: CPU time limit exceeded, terminating
% 153.00/142.94 eprover: CPU time limit exceeded, terminating
% 155.13/144.96 eprover: CPU time limit exceeded, terminating
% 157.30/146.97 eprover: CPU time limit exceeded, terminating
% 159.51/149.00 eprover: CPU time limit exceeded, terminating
% 161.58/151.01 eprover: CPU time limit exceeded, terminating
% 163.86/153.03 eprover: CPU time limit exceeded, terminating
% 166.01/155.04 eprover: CPU time limit exceeded, terminating
% 168.17/157.06 eprover: CPU time limit exceeded, terminating
% 170.32/159.07 eprover: CPU time limit exceeded, terminating
% 172.53/161.09 eprover: CPU time limit exceeded, terminating
% 174.71/163.11 eprover: CPU time limit exceeded, terminating
% 176.87/165.12 eprover: CPU time limit exceeded, terminating
% 178.99/167.14 eprover: CPU time limit exceeded, terminating
% 181.16/169.16 eprover: CPU time limit exceeded, terminating
% 183.35/171.17 eprover: CPU time limit exceeded, terminating
% 185.45/173.18 eprover: CPU time limit exceeded, terminating
% 187.69/175.20 eprover: CPU time limit exceeded, terminating
% 189.86/177.21 eprover: CPU time limit exceeded, terminating
% 191.99/179.22 eprover: CPU time limit exceeded, terminating
% 194.16/181.24 eprover: CPU time limit exceeded, terminating
% 196.26/183.25 eprover: CPU time limit exceeded, terminating
% 198.42/185.28 eprover: CPU time limit exceeded, terminating
% 200.55/187.29 eprover: CPU time limit exceeded, terminating
% 202.75/189.30 eprover: CPU time limit exceeded, terminating
% 204.93/191.32 eprover: CPU time limit exceeded, terminating
% 207.09/193.33 eprover: CPU time limit exceeded, terminating
% 209.23/195.35 eprover: CPU time limit exceeded, terminating
% 211.40/197.37 eprover: CPU time limit exceeded, terminating
% 213.56/199.38 eprover: CPU time limit exceeded, terminating
% 215.76/201.40 eprover: CPU time limit exceeded, terminating
% 217.93/203.42 eprover: CPU time limit exceeded, terminating
% 220.11/205.43 eprover: CPU time limit exceeded, terminating
% 222.22/207.45 eprover: CPU time limit exceeded, terminating
% 224.41/209.46 eprover: CPU time limit exceeded, terminating
% 226.55/211.48 eprover: CPU time limit exceeded, terminating
% 228.76/213.50 eprover: CPU time limit exceeded, terminating
% 230.86/215.52 eprover: CPU time limit exceeded, terminating
% 232.90/217.53 eprover: CPU time limit exceeded, terminating
% 235.07/219.55 eprover: CPU time limit exceeded, terminating
% 237.22/221.56 eprover: CPU time limit exceeded, terminating
% 239.35/223.57 eprover: CPU time limit exceeded, terminating
% 241.54/225.59 eprover: CPU time limit exceeded, terminating
% 243.68/227.60 eprover: CPU time limit exceeded, terminating
% 245.91/229.61 eprover: CPU time limit exceeded, terminating
% 248.01/231.63 eprover: CPU time limit exceeded, terminating
% 250.18/233.65 eprover: CPU time limit exceeded, terminating
% 252.25/235.66 eprover: CPU time limit exceeded, terminating
% 254.27/237.68 eprover: CPU time limit exceeded, terminating
% 256.43/239.70 eprover: CPU time limit exceeded, terminating
% 258.58/241.72 eprover: CPU time limit exceeded, terminating
% 260.74/243.73 eprover: CPU time limit exceeded, terminating
% 262.84/245.75 eprover: CPU time limit exceeded, terminating
% 264.92/247.76 eprover: CPU time limit exceeded, terminating
% 267.12/249.78 eprover: CPU time limit exceeded, terminating
% 269.27/251.80 eprover: CPU time limit exceeded, terminating
% 271.41/253.82 eprover: CPU time limit exceeded, terminating
% 273.59/255.83 eprover: CPU time limit exceeded, terminating
% 275.77/257.84 eprover: CPU time limit exceeded, terminating
% 277.92/259.88 eprover: CPU time limit exceeded, terminating
% 280.07/261.90 eprover: CPU time limit exceeded, terminating
% 282.20/263.92 eprover: CPU time limit exceeded, terminating
% 284.38/265.94 eprover: CPU time limit exceeded, terminating
% 286.56/267.95 eprover: CPU time limit exceeded, terminating
% 288.72/269.97 eprover: CPU time limit exceeded, terminating
% 290.88/272.02 eprover: CPU time limit exceeded, terminating
% 293.06/274.03 eprover: CPU time limit exceeded, terminating
% 295.20/276.04 eprover: CPU time limit exceeded, terminating
% 297.28/278.06 eprover: CPU time limit exceeded, terminating
% 299.38/280.07 eprover: CPU time limit exceeded, terminating
% 300.02/280.65 eprover: CPU time limit exceeded, terminating
% 300.02/280.68 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------