TSTP Solution File: CSR115+89 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+89 : TPTP v8.1.0. Released v4.0.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:35:37 EDT 2022
% Result : Timeout 287.52s 267.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : CSR115+89 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n018.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jun 10 22:57:39 EDT 2022
% 0.13/0.33 % CPUTime :
% 3.70/3.79 eprover: CPU time limit exceeded, terminating
% 5.79/5.80 eprover: CPU time limit exceeded, terminating
% 7.98/7.82 eprover: CPU time limit exceeded, terminating
% 10.16/9.83 eprover: CPU time limit exceeded, terminating
% 12.28/11.84 eprover: CPU time limit exceeded, terminating
% 14.46/13.85 eprover: CPU time limit exceeded, terminating
% 16.57/15.86 eprover: CPU time limit exceeded, terminating
% 18.76/17.87 eprover: CPU time limit exceeded, terminating
% 20.96/19.88 eprover: CPU time limit exceeded, terminating
% 23.08/21.89 eprover: CPU time limit exceeded, terminating
% 25.28/23.90 eprover: CPU time limit exceeded, terminating
% 27.44/25.91 eprover: CPU time limit exceeded, terminating
% 29.61/27.93 eprover: CPU time limit exceeded, terminating
% 31.76/29.94 eprover: CPU time limit exceeded, terminating
% 33.99/31.95 eprover: CPU time limit exceeded, terminating
% 36.08/33.96 eprover: CPU time limit exceeded, terminating
% 38.26/35.97 eprover: CPU time limit exceeded, terminating
% 40.45/37.98 eprover: CPU time limit exceeded, terminating
% 42.62/39.99 eprover: CPU time limit exceeded, terminating
% 44.77/42.00 eprover: CPU time limit exceeded, terminating
% 46.95/44.01 eprover: CPU time limit exceeded, terminating
% 49.08/46.02 eprover: CPU time limit exceeded, terminating
% 51.22/48.05 eprover: CPU time limit exceeded, terminating
% 53.39/50.06 eprover: CPU time limit exceeded, terminating
% 55.56/52.08 eprover: CPU time limit exceeded, terminating
% 57.70/54.09 eprover: CPU time limit exceeded, terminating
% 59.92/56.10 eprover: CPU time limit exceeded, terminating
% 62.09/58.12 eprover: CPU time limit exceeded, terminating
% 64.27/60.13 eprover: CPU time limit exceeded, terminating
% 66.36/62.15 eprover: CPU time limit exceeded, terminating
% 68.55/64.17 eprover: CPU time limit exceeded, terminating
% 70.70/66.18 eprover: CPU time limit exceeded, terminating
% 72.84/68.19 eprover: CPU time limit exceeded, terminating
% 75.00/70.20 eprover: CPU time limit exceeded, terminating
% 77.24/72.21 eprover: CPU time limit exceeded, terminating
% 79.40/74.23 eprover: CPU time limit exceeded, terminating
% 81.46/76.24 eprover: CPU time limit exceeded, terminating
% 83.52/78.25 eprover: CPU time limit exceeded, terminating
% 85.68/80.27 eprover: CPU time limit exceeded, terminating
% 87.80/82.28 eprover: CPU time limit exceeded, terminating
% 89.98/84.29 eprover: CPU time limit exceeded, terminating
% 92.15/86.30 eprover: CPU time limit exceeded, terminating
% 94.36/88.32 eprover: CPU time limit exceeded, terminating
% 96.50/90.33 eprover: CPU time limit exceeded, terminating
% 98.63/92.35 eprover: CPU time limit exceeded, terminating
% 100.75/94.36 eprover: CPU time limit exceeded, terminating
% 102.88/96.37 eprover: CPU time limit exceeded, terminating
% 107.01/98.39 eprover: CPU time limit exceeded, terminating
% 109.14/100.40 eprover: CPU time limit exceeded, terminating
% 111.33/102.43 eprover: CPU time limit exceeded, terminating
% 113.50/104.44 eprover: CPU time limit exceeded, terminating
% 115.58/106.45 eprover: CPU time limit exceeded, terminating
% 117.81/108.47 eprover: CPU time limit exceeded, terminating
% 119.95/110.48 eprover: CPU time limit exceeded, terminating
% 122.12/112.50 eprover: CPU time limit exceeded, terminating
% 124.22/114.52 eprover: CPU time limit exceeded, terminating
% 126.40/116.53 eprover: CPU time limit exceeded, terminating
% 128.58/118.55 eprover: CPU time limit exceeded, terminating
% 130.74/120.56 eprover: CPU time limit exceeded, terminating
% 132.86/122.57 eprover: CPU time limit exceeded, terminating
% 135.06/124.58 eprover: CPU time limit exceeded, terminating
% 137.18/126.59 eprover: CPU time limit exceeded, terminating
% 139.34/128.60 eprover: CPU time limit exceeded, terminating
% 141.49/130.61 eprover: CPU time limit exceeded, terminating
% 143.67/132.62 eprover: CPU time limit exceeded, terminating
% 145.82/134.64 eprover: CPU time limit exceeded, terminating
% 147.90/136.65 eprover: CPU time limit exceeded, terminating
% 150.13/138.67 eprover: CPU time limit exceeded, terminating
% 152.27/140.68 eprover: CPU time limit exceeded, terminating
% 154.42/142.69 eprover: CPU time limit exceeded, terminating
% 156.58/144.71 eprover: CPU time limit exceeded, terminating
% 158.74/146.73 eprover: CPU time limit exceeded, terminating
% 160.90/148.74 eprover: CPU time limit exceeded, terminating
% 163.10/150.76 eprover: CPU time limit exceeded, terminating
% 165.21/152.77 eprover: CPU time limit exceeded, terminating
% 167.39/154.78 eprover: CPU time limit exceeded, terminating
% 169.51/156.80 eprover: CPU time limit exceeded, terminating
% 171.67/158.81 eprover: CPU time limit exceeded, terminating
% 173.85/160.82 eprover: CPU time limit exceeded, terminating
% 175.97/162.83 eprover: CPU time limit exceeded, terminating
% 178.16/164.84 eprover: CPU time limit exceeded, terminating
% 180.27/166.86 eprover: CPU time limit exceeded, terminating
% 182.43/168.88 eprover: CPU time limit exceeded, terminating
% 184.61/170.89 eprover: CPU time limit exceeded, terminating
% 186.72/172.90 eprover: CPU time limit exceeded, terminating
% 188.90/174.92 eprover: CPU time limit exceeded, terminating
% 191.07/176.94 eprover: CPU time limit exceeded, terminating
% 193.21/178.95 eprover: CPU time limit exceeded, terminating
% 195.41/180.96 eprover: CPU time limit exceeded, terminating
% 197.56/182.97 eprover: CPU time limit exceeded, terminating
% 199.70/184.98 eprover: CPU time limit exceeded, terminating
% 201.81/187.00 eprover: CPU time limit exceeded, terminating
% 203.99/189.01 eprover: CPU time limit exceeded, terminating
% 206.14/191.02 eprover: CPU time limit exceeded, terminating
% 208.33/193.03 eprover: CPU time limit exceeded, terminating
% 210.42/195.04 eprover: CPU time limit exceeded, terminating
% 212.63/197.06 eprover: CPU time limit exceeded, terminating
% 214.80/199.09 eprover: CPU time limit exceeded, terminating
% 216.95/201.10 eprover: CPU time limit exceeded, terminating
% 219.10/203.12 eprover: CPU time limit exceeded, terminating
% 221.25/205.13 eprover: CPU time limit exceeded, terminating
% 223.37/207.15 eprover: CPU time limit exceeded, terminating
% 225.55/209.16 eprover: CPU time limit exceeded, terminating
% 227.71/211.18 eprover: CPU time limit exceeded, terminating
% 229.86/213.19 eprover: CPU time limit exceeded, terminating
% 231.92/215.20 eprover: CPU time limit exceeded, terminating
% 233.98/217.22 eprover: CPU time limit exceeded, terminating
% 236.15/219.23 eprover: CPU time limit exceeded, terminating
% 238.36/221.24 eprover: CPU time limit exceeded, terminating
% 240.51/223.25 eprover: CPU time limit exceeded, terminating
% 242.64/225.26 eprover: CPU time limit exceeded, terminating
% 244.78/227.27 eprover: CPU time limit exceeded, terminating
% 246.93/229.29 eprover: CPU time limit exceeded, terminating
% 249.09/231.30 eprover: CPU time limit exceeded, terminating
% 251.22/233.31 eprover: CPU time limit exceeded, terminating
% 253.33/235.32 eprover: CPU time limit exceeded, terminating
% 255.38/237.34 eprover: CPU time limit exceeded, terminating
% 257.41/239.35 eprover: CPU time limit exceeded, terminating
% 259.64/241.36 eprover: CPU time limit exceeded, terminating
% 261.79/243.37 eprover: CPU time limit exceeded, terminating
% 263.89/245.38 eprover: CPU time limit exceeded, terminating
% 266.01/247.39 eprover: CPU time limit exceeded, terminating
% 268.18/249.40 eprover: CPU time limit exceeded, terminating
% 270.32/251.41 eprover: CPU time limit exceeded, terminating
% 272.48/253.43 eprover: CPU time limit exceeded, terminating
% 274.64/255.44 eprover: CPU time limit exceeded, terminating
% 276.77/257.45 eprover: CPU time limit exceeded, terminating
% 278.87/259.46 eprover: CPU time limit exceeded, terminating
% 281.07/261.48 eprover: CPU time limit exceeded, terminating
% 283.24/263.50 eprover: CPU time limit exceeded, terminating
% 285.39/265.51 eprover: CPU time limit exceeded, terminating
% 287.52/267.52 eprover: CPU time limit exceeded, terminating
% 289.68/269.54 eprover: CPU time limit exceeded, terminating
% 291.86/271.57 eprover: CPU time limit exceeded, terminating
% 294.05/273.58 eprover: CPU time limit exceeded, terminating
% 296.13/275.60 eprover: CPU time limit exceeded, terminating
% 298.23/277.61 eprover: CPU time limit exceeded, terminating
% 300.02/279.31 eprover: CPU time limit exceeded, terminating
% 300.02/279.33 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------