TSTP Solution File: MSC015-1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : MSC015-1.015 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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 : Sun Jul 17 22:45:17 EDT 2022
% Result : Timeout 287.21s 283.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : MSC015-1.015 : TPTP v8.1.0. Released v3.5.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n015.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 Jul 1 16:09:43 EDT 2022
% 0.13/0.33 % CPUTime :
% 2.27/2.51 eprover: CPU time limit exceeded, terminating
% 4.38/4.54 eprover: CPU time limit exceeded, terminating
% 6.42/6.56 eprover: CPU time limit exceeded, terminating
% 8.41/8.58 eprover: CPU time limit exceeded, terminating
% 10.47/10.60 eprover: CPU time limit exceeded, terminating
% 12.46/12.62 eprover: CPU time limit exceeded, terminating
% 14.56/14.64 eprover: CPU time limit exceeded, terminating
% 16.60/16.66 eprover: CPU time limit exceeded, terminating
% 18.63/18.68 eprover: CPU time limit exceeded, terminating
% 20.63/20.70 eprover: CPU time limit exceeded, terminating
% 22.69/22.72 eprover: CPU time limit exceeded, terminating
% 24.76/24.75 eprover: CPU time limit exceeded, terminating
% 26.81/26.77 eprover: CPU time limit exceeded, terminating
% 28.82/28.79 eprover: CPU time limit exceeded, terminating
% 30.88/30.81 eprover: CPU time limit exceeded, terminating
% 32.85/32.83 eprover: CPU time limit exceeded, terminating
% 34.90/34.85 eprover: CPU time limit exceeded, terminating
% 36.99/36.87 eprover: CPU time limit exceeded, terminating
% 39.01/38.88 eprover: CPU time limit exceeded, terminating
% 41.02/40.90 eprover: CPU time limit exceeded, terminating
% 43.05/42.92 eprover: CPU time limit exceeded, terminating
% 45.12/44.94 eprover: CPU time limit exceeded, terminating
% 47.14/46.96 eprover: CPU time limit exceeded, terminating
% 49.14/48.98 eprover: CPU time limit exceeded, terminating
% 51.19/50.99 eprover: CPU time limit exceeded, terminating
% 53.21/53.02 eprover: CPU time limit exceeded, terminating
% 55.23/55.04 eprover: CPU time limit exceeded, terminating
% 59.23/57.06 eprover: CPU time limit exceeded, terminating
% 61.25/59.08 eprover: CPU time limit exceeded, terminating
% 63.32/61.10 eprover: CPU time limit exceeded, terminating
% 65.36/63.12 eprover: CPU time limit exceeded, terminating
% 67.38/65.14 eprover: CPU time limit exceeded, terminating
% 69.44/67.16 eprover: CPU time limit exceeded, terminating
% 71.44/69.18 eprover: CPU time limit exceeded, terminating
% 73.49/71.20 eprover: CPU time limit exceeded, terminating
% 75.47/73.22 eprover: CPU time limit exceeded, terminating
% 77.57/75.24 eprover: CPU time limit exceeded, terminating
% 79.62/77.26 eprover: CPU time limit exceeded, terminating
% 81.66/79.28 eprover: CPU time limit exceeded, terminating
% 83.66/81.30 eprover: CPU time limit exceeded, terminating
% 85.72/83.32 eprover: CPU time limit exceeded, terminating
% 87.69/85.34 eprover: CPU time limit exceeded, terminating
% 89.70/87.35 eprover: CPU time limit exceeded, terminating
% 91.80/89.37 eprover: CPU time limit exceeded, terminating
% 93.83/91.39 eprover: CPU time limit exceeded, terminating
% 95.88/93.41 eprover: CPU time limit exceeded, terminating
% 97.92/95.44 eprover: CPU time limit exceeded, terminating
% 99.93/97.46 eprover: CPU time limit exceeded, terminating
% 101.99/99.48 eprover: CPU time limit exceeded, terminating
% 104.00/101.50 eprover: CPU time limit exceeded, terminating
% 106.00/103.52 eprover: CPU time limit exceeded, terminating
% 108.08/105.54 eprover: CPU time limit exceeded, terminating
% 110.15/107.56 eprover: CPU time limit exceeded, terminating
% 112.19/109.58 eprover: CPU time limit exceeded, terminating
% 114.20/111.59 eprover: CPU time limit exceeded, terminating
% 116.26/113.61 eprover: CPU time limit exceeded, terminating
% 118.22/115.63 eprover: CPU time limit exceeded, terminating
% 120.26/117.65 eprover: CPU time limit exceeded, terminating
% 122.36/119.67 eprover: CPU time limit exceeded, terminating
% 124.41/121.69 eprover: CPU time limit exceeded, terminating
% 126.44/123.71 eprover: CPU time limit exceeded, terminating
% 128.45/125.73 eprover: CPU time limit exceeded, terminating
% 130.48/127.75 eprover: CPU time limit exceeded, terminating
% 132.56/129.77 eprover: CPU time limit exceeded, terminating
% 134.55/131.79 eprover: CPU time limit exceeded, terminating
% 136.57/133.81 eprover: CPU time limit exceeded, terminating
% 138.64/135.83 eprover: CPU time limit exceeded, terminating
% 140.69/137.85 eprover: CPU time limit exceeded, terminating
% 142.74/139.86 eprover: CPU time limit exceeded, terminating
% 144.75/141.88 eprover: CPU time limit exceeded, terminating
% 146.78/143.90 eprover: CPU time limit exceeded, terminating
% 148.79/145.92 eprover: CPU time limit exceeded, terminating
% 150.88/147.94 eprover: CPU time limit exceeded, terminating
% 152.89/149.96 eprover: CPU time limit exceeded, terminating
% 154.93/151.98 eprover: CPU time limit exceeded, terminating
% 156.98/154.00 eprover: CPU time limit exceeded, terminating
% 159.02/156.01 eprover: CPU time limit exceeded, terminating
% 161.01/158.03 eprover: CPU time limit exceeded, terminating
% 163.06/160.05 eprover: CPU time limit exceeded, terminating
% 165.07/162.06 eprover: CPU time limit exceeded, terminating
% 167.12/164.08 eprover: CPU time limit exceeded, terminating
% 169.14/166.10 eprover: CPU time limit exceeded, terminating
% 171.22/168.11 eprover: CPU time limit exceeded, terminating
% 173.22/170.13 eprover: CPU time limit exceeded, terminating
% 175.27/172.15 eprover: CPU time limit exceeded, terminating
% 177.32/174.17 eprover: CPU time limit exceeded, terminating
% 179.32/176.18 eprover: CPU time limit exceeded, terminating
% 181.38/178.20 eprover: CPU time limit exceeded, terminating
% 183.36/180.22 eprover: CPU time limit exceeded, terminating
% 185.40/182.23 eprover: CPU time limit exceeded, terminating
% 187.46/184.26 eprover: CPU time limit exceeded, terminating
% 189.50/186.28 eprover: CPU time limit exceeded, terminating
% 191.56/188.30 eprover: CPU time limit exceeded, terminating
% 193.59/190.32 eprover: CPU time limit exceeded, terminating
% 195.62/192.34 eprover: CPU time limit exceeded, terminating
% 197.68/194.36 eprover: CPU time limit exceeded, terminating
% 199.71/196.39 eprover: CPU time limit exceeded, terminating
% 201.69/198.41 eprover: CPU time limit exceeded, terminating
% 203.76/200.43 eprover: CPU time limit exceeded, terminating
% 205.83/202.45 eprover: CPU time limit exceeded, terminating
% 207.88/204.47 eprover: CPU time limit exceeded, terminating
% 209.87/206.49 eprover: CPU time limit exceeded, terminating
% 211.93/208.51 eprover: CPU time limit exceeded, terminating
% 213.91/210.53 eprover: CPU time limit exceeded, terminating
% 216.00/212.55 eprover: CPU time limit exceeded, terminating
% 218.02/214.57 eprover: CPU time limit exceeded, terminating
% 220.09/216.59 eprover: CPU time limit exceeded, terminating
% 222.09/218.60 eprover: CPU time limit exceeded, terminating
% 224.16/220.62 eprover: CPU time limit exceeded, terminating
% 226.15/222.65 eprover: CPU time limit exceeded, terminating
% 228.22/224.67 eprover: CPU time limit exceeded, terminating
% 230.27/226.69 eprover: CPU time limit exceeded, terminating
% 232.33/228.71 eprover: CPU time limit exceeded, terminating
% 234.29/230.73 eprover: CPU time limit exceeded, terminating
% 236.36/232.75 eprover: CPU time limit exceeded, terminating
% 238.43/234.77 eprover: CPU time limit exceeded, terminating
% 240.38/236.79 eprover: CPU time limit exceeded, terminating
% 242.48/238.81 eprover: CPU time limit exceeded, terminating
% 244.52/240.83 eprover: CPU time limit exceeded, terminating
% 246.55/242.85 eprover: CPU time limit exceeded, terminating
% 248.58/244.87 eprover: CPU time limit exceeded, terminating
% 250.63/246.89 eprover: CPU time limit exceeded, terminating
% 252.66/248.90 eprover: CPU time limit exceeded, terminating
% 254.68/250.92 eprover: CPU time limit exceeded, terminating
% 256.70/252.94 eprover: CPU time limit exceeded, terminating
% 258.76/254.96 eprover: CPU time limit exceeded, terminating
% 260.82/256.98 eprover: CPU time limit exceeded, terminating
% 262.82/259.00 eprover: CPU time limit exceeded, terminating
% 264.86/261.02 eprover: CPU time limit exceeded, terminating
% 266.91/263.04 eprover: CPU time limit exceeded, terminating
% 268.92/265.05 eprover: CPU time limit exceeded, terminating
% 270.94/267.07 eprover: CPU time limit exceeded, terminating
% 273.01/269.09 eprover: CPU time limit exceeded, terminating
% 275.03/271.11 eprover: CPU time limit exceeded, terminating
% 277.08/273.13 eprover: CPU time limit exceeded, terminating
% 279.12/275.15 eprover: CPU time limit exceeded, terminating
% 281.07/277.17 eprover: CPU time limit exceeded, terminating
% 283.16/279.19 eprover: CPU time limit exceeded, terminating
% 285.21/281.21 eprover: CPU time limit exceeded, terminating
% 287.21/283.22 eprover: CPU time limit exceeded, terminating
% 289.29/285.24 eprover: CPU time limit exceeded, terminating
% 291.28/287.26 eprover: CPU time limit exceeded, terminating
% 293.34/289.28 eprover: CPU time limit exceeded, terminating
% 295.39/291.29 eprover: CPU time limit exceeded, terminating
% 297.38/293.31 eprover: CPU time limit exceeded, terminating
% 299.37/295.32 eprover: CPU time limit exceeded, terminating
% 300.09/295.95 eprover: CPU time limit exceeded, terminating
% 300.09/295.96 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------