TSTP Solution File: MSC015-1.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : MSC015-1.020 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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 285.91s 239.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : MSC015-1.020 : TPTP v8.1.0. Released v3.5.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.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 : Fri Jul 1 16:06:14 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.39/5.20 eprover: CPU time limit exceeded, terminating
% 7.91/7.24 eprover: CPU time limit exceeded, terminating
% 10.31/9.28 eprover: CPU time limit exceeded, terminating
% 12.73/11.31 eprover: CPU time limit exceeded, terminating
% 15.20/13.35 eprover: CPU time limit exceeded, terminating
% 17.69/15.39 eprover: CPU time limit exceeded, terminating
% 20.17/17.43 eprover: CPU time limit exceeded, terminating
% 22.53/19.47 eprover: CPU time limit exceeded, terminating
% 25.01/21.50 eprover: CPU time limit exceeded, terminating
% 27.44/23.54 eprover: CPU time limit exceeded, terminating
% 29.95/25.57 eprover: CPU time limit exceeded, terminating
% 32.37/27.61 eprover: CPU time limit exceeded, terminating
% 34.81/29.65 eprover: CPU time limit exceeded, terminating
% 37.29/31.69 eprover: CPU time limit exceeded, terminating
% 39.73/33.72 eprover: CPU time limit exceeded, terminating
% 42.16/35.76 eprover: CPU time limit exceeded, terminating
% 44.65/37.79 eprover: CPU time limit exceeded, terminating
% 47.06/39.83 eprover: CPU time limit exceeded, terminating
% 49.55/41.86 eprover: CPU time limit exceeded, terminating
% 51.99/43.89 eprover: CPU time limit exceeded, terminating
% 54.42/45.93 eprover: CPU time limit exceeded, terminating
% 56.90/47.96 eprover: CPU time limit exceeded, terminating
% 59.32/49.99 eprover: CPU time limit exceeded, terminating
% 61.70/52.02 eprover: CPU time limit exceeded, terminating
% 64.25/54.06 eprover: CPU time limit exceeded, terminating
% 66.71/56.10 eprover: CPU time limit exceeded, terminating
% 69.10/58.14 eprover: CPU time limit exceeded, terminating
% 71.58/60.17 eprover: CPU time limit exceeded, terminating
% 73.99/62.21 eprover: CPU time limit exceeded, terminating
% 76.47/64.25 eprover: CPU time limit exceeded, terminating
% 78.87/66.29 eprover: CPU time limit exceeded, terminating
% 81.34/68.32 eprover: CPU time limit exceeded, terminating
% 83.76/70.36 eprover: CPU time limit exceeded, terminating
% 86.21/72.41 eprover: CPU time limit exceeded, terminating
% 88.66/74.45 eprover: CPU time limit exceeded, terminating
% 91.05/76.49 eprover: CPU time limit exceeded, terminating
% 93.48/78.53 eprover: CPU time limit exceeded, terminating
% 95.93/80.57 eprover: CPU time limit exceeded, terminating
% 98.39/82.60 eprover: CPU time limit exceeded, terminating
% 100.88/84.64 eprover: CPU time limit exceeded, terminating
% 103.29/86.68 eprover: CPU time limit exceeded, terminating
% 105.78/88.71 eprover: CPU time limit exceeded, terminating
% 108.23/90.75 eprover: CPU time limit exceeded, terminating
% 110.67/92.78 eprover: CPU time limit exceeded, terminating
% 113.11/94.83 eprover: CPU time limit exceeded, terminating
% 115.49/96.87 eprover: CPU time limit exceeded, terminating
% 117.97/98.90 eprover: CPU time limit exceeded, terminating
% 120.36/100.94 eprover: CPU time limit exceeded, terminating
% 122.80/102.98 eprover: CPU time limit exceeded, terminating
% 125.29/105.02 eprover: CPU time limit exceeded, terminating
% 127.68/107.06 eprover: CPU time limit exceeded, terminating
% 130.12/109.10 eprover: CPU time limit exceeded, terminating
% 132.61/111.13 eprover: CPU time limit exceeded, terminating
% 135.01/113.17 eprover: CPU time limit exceeded, terminating
% 137.50/115.20 eprover: CPU time limit exceeded, terminating
% 139.91/117.24 eprover: CPU time limit exceeded, terminating
% 142.25/119.26 eprover: CPU time limit exceeded, terminating
% 144.71/121.30 eprover: CPU time limit exceeded, terminating
% 147.19/123.35 eprover: CPU time limit exceeded, terminating
% 149.61/125.39 eprover: CPU time limit exceeded, terminating
% 152.07/127.43 eprover: CPU time limit exceeded, terminating
% 154.50/129.46 eprover: CPU time limit exceeded, terminating
% 156.98/131.50 eprover: CPU time limit exceeded, terminating
% 159.40/133.52 eprover: CPU time limit exceeded, terminating
% 161.77/135.56 eprover: CPU time limit exceeded, terminating
% 164.25/137.59 eprover: CPU time limit exceeded, terminating
% 166.64/139.63 eprover: CPU time limit exceeded, terminating
% 169.07/141.68 eprover: CPU time limit exceeded, terminating
% 171.52/143.70 eprover: CPU time limit exceeded, terminating
% 173.98/145.74 eprover: CPU time limit exceeded, terminating
% 176.36/147.78 eprover: CPU time limit exceeded, terminating
% 178.86/149.80 eprover: CPU time limit exceeded, terminating
% 181.24/151.84 eprover: CPU time limit exceeded, terminating
% 183.67/153.87 eprover: CPU time limit exceeded, terminating
% 186.08/155.90 eprover: CPU time limit exceeded, terminating
% 188.55/157.94 eprover: CPU time limit exceeded, terminating
% 190.99/159.97 eprover: CPU time limit exceeded, terminating
% 193.45/162.00 eprover: CPU time limit exceeded, terminating
% 195.85/164.04 eprover: CPU time limit exceeded, terminating
% 198.20/166.07 eprover: CPU time limit exceeded, terminating
% 200.69/168.10 eprover: CPU time limit exceeded, terminating
% 203.11/170.13 eprover: CPU time limit exceeded, terminating
% 205.56/172.17 eprover: CPU time limit exceeded, terminating
% 207.99/174.20 eprover: CPU time limit exceeded, terminating
% 210.39/176.23 eprover: CPU time limit exceeded, terminating
% 212.86/178.27 eprover: CPU time limit exceeded, terminating
% 215.23/180.31 eprover: CPU time limit exceeded, terminating
% 217.74/182.35 eprover: CPU time limit exceeded, terminating
% 220.17/184.38 eprover: CPU time limit exceeded, terminating
% 222.62/186.41 eprover: CPU time limit exceeded, terminating
% 225.06/188.45 eprover: CPU time limit exceeded, terminating
% 227.45/190.50 eprover: CPU time limit exceeded, terminating
% 229.94/192.54 eprover: CPU time limit exceeded, terminating
% 232.39/194.58 eprover: CPU time limit exceeded, terminating
% 234.76/196.62 eprover: CPU time limit exceeded, terminating
% 237.24/198.66 eprover: CPU time limit exceeded, terminating
% 239.69/200.70 eprover: CPU time limit exceeded, terminating
% 242.11/202.74 eprover: CPU time limit exceeded, terminating
% 244.57/204.77 eprover: CPU time limit exceeded, terminating
% 246.96/206.80 eprover: CPU time limit exceeded, terminating
% 249.38/208.84 eprover: CPU time limit exceeded, terminating
% 251.88/210.88 eprover: CPU time limit exceeded, terminating
% 254.32/212.92 eprover: CPU time limit exceeded, terminating
% 256.70/214.94 eprover: CPU time limit exceeded, terminating
% 259.13/216.98 eprover: CPU time limit exceeded, terminating
% 261.61/219.01 eprover: CPU time limit exceeded, terminating
% 264.01/221.05 eprover: CPU time limit exceeded, terminating
% 266.45/223.09 eprover: CPU time limit exceeded, terminating
% 268.93/225.13 eprover: CPU time limit exceeded, terminating
% 271.34/227.17 eprover: CPU time limit exceeded, terminating
% 273.80/229.21 eprover: CPU time limit exceeded, terminating
% 276.21/231.26 eprover: CPU time limit exceeded, terminating
% 278.65/233.30 eprover: CPU time limit exceeded, terminating
% 281.02/235.34 eprover: CPU time limit exceeded, terminating
% 283.48/237.38 eprover: CPU time limit exceeded, terminating
% 285.91/239.42 eprover: CPU time limit exceeded, terminating
% 288.39/241.46 eprover: CPU time limit exceeded, terminating
% 290.82/243.49 eprover: CPU time limit exceeded, terminating
% 293.16/245.52 eprover: CPU time limit exceeded, terminating
% 295.68/247.56 eprover: CPU time limit exceeded, terminating
% 298.06/249.61 eprover: CPU time limit exceeded, terminating
% 300.09/251.16 eprover: CPU time limit exceeded, terminating
% 300.09/251.17 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------