TSTP Solution File: MSC024+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : MSC024+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:22 EDT 2022
% Result : Timeout 286.84s 282.93s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : MSC024+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n012.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jul 1 15:42:02 EDT 2022
% 0.12/0.33 % CPUTime :
% 33.74/33.89 eprover: CPU time limit exceeded, terminating
% 35.82/35.90 eprover: CPU time limit exceeded, terminating
% 37.87/37.91 eprover: CPU time limit exceeded, terminating
% 39.88/39.92 eprover: CPU time limit exceeded, terminating
% 41.93/41.93 eprover: CPU time limit exceeded, terminating
% 43.96/43.93 eprover: CPU time limit exceeded, terminating
% 46.01/45.94 eprover: CPU time limit exceeded, terminating
% 48.05/47.95 eprover: CPU time limit exceeded, terminating
% 50.10/49.96 eprover: CPU time limit exceeded, terminating
% 52.14/51.97 eprover: CPU time limit exceeded, terminating
% 54.17/53.98 eprover: CPU time limit exceeded, terminating
% 56.24/55.99 eprover: CPU time limit exceeded, terminating
% 58.23/57.99 eprover: CPU time limit exceeded, terminating
% 60.27/60.00 eprover: CPU time limit exceeded, terminating
% 62.35/62.01 eprover: CPU time limit exceeded, terminating
% 64.40/64.02 eprover: CPU time limit exceeded, terminating
% 66.40/66.03 eprover: CPU time limit exceeded, terminating
% 68.47/68.04 eprover: CPU time limit exceeded, terminating
% 70.52/70.05 eprover: CPU time limit exceeded, terminating
% 72.49/72.06 eprover: CPU time limit exceeded, terminating
% 74.58/74.06 eprover: CPU time limit exceeded, terminating
% 76.61/76.07 eprover: CPU time limit exceeded, terminating
% 78.67/78.08 eprover: CPU time limit exceeded, terminating
% 80.73/80.09 eprover: CPU time limit exceeded, terminating
% 82.78/82.10 eprover: CPU time limit exceeded, terminating
% 84.81/84.11 eprover: CPU time limit exceeded, terminating
% 86.84/86.12 eprover: CPU time limit exceeded, terminating
% 88.88/88.12 eprover: CPU time limit exceeded, terminating
% 90.95/90.13 eprover: CPU time limit exceeded, terminating
% 92.98/92.14 eprover: CPU time limit exceeded, terminating
% 95.00/94.15 eprover: CPU time limit exceeded, terminating
% 97.03/96.16 eprover: CPU time limit exceeded, terminating
% 99.09/98.17 eprover: CPU time limit exceeded, terminating
% 101.10/100.17 eprover: CPU time limit exceeded, terminating
% 103.13/102.18 eprover: CPU time limit exceeded, terminating
% 105.22/104.19 eprover: CPU time limit exceeded, terminating
% 107.27/106.20 eprover: CPU time limit exceeded, terminating
% 109.30/108.21 eprover: CPU time limit exceeded, terminating
% 111.32/110.21 eprover: CPU time limit exceeded, terminating
% 113.33/112.22 eprover: CPU time limit exceeded, terminating
% 115.39/114.23 eprover: CPU time limit exceeded, terminating
% 117.45/116.24 eprover: CPU time limit exceeded, terminating
% 119.51/118.25 eprover: CPU time limit exceeded, terminating
% 121.57/120.26 eprover: CPU time limit exceeded, terminating
% 123.55/122.27 eprover: CPU time limit exceeded, terminating
% 125.61/124.27 eprover: CPU time limit exceeded, terminating
% 127.69/126.28 eprover: CPU time limit exceeded, terminating
% 129.70/128.29 eprover: CPU time limit exceeded, terminating
% 131.71/130.30 eprover: CPU time limit exceeded, terminating
% 133.79/132.31 eprover: CPU time limit exceeded, terminating
% 135.81/134.32 eprover: CPU time limit exceeded, terminating
% 137.88/136.32 eprover: CPU time limit exceeded, terminating
% 139.88/138.33 eprover: CPU time limit exceeded, terminating
% 141.92/140.34 eprover: CPU time limit exceeded, terminating
% 143.95/142.35 eprover: CPU time limit exceeded, terminating
% 146.05/144.36 eprover: CPU time limit exceeded, terminating
% 148.02/146.36 eprover: CPU time limit exceeded, terminating
% 150.12/148.37 eprover: CPU time limit exceeded, terminating
% 152.15/150.38 eprover: CPU time limit exceeded, terminating
% 154.19/152.39 eprover: CPU time limit exceeded, terminating
% 156.22/154.40 eprover: CPU time limit exceeded, terminating
% 158.23/156.41 eprover: CPU time limit exceeded, terminating
% 160.31/158.41 eprover: CPU time limit exceeded, terminating
% 162.33/160.42 eprover: CPU time limit exceeded, terminating
% 164.36/162.43 eprover: CPU time limit exceeded, terminating
% 166.40/164.44 eprover: CPU time limit exceeded, terminating
% 168.45/166.45 eprover: CPU time limit exceeded, terminating
% 170.53/168.45 eprover: CPU time limit exceeded, terminating
% 172.50/170.46 eprover: CPU time limit exceeded, terminating
% 174.59/172.47 eprover: CPU time limit exceeded, terminating
% 176.63/174.48 eprover: CPU time limit exceeded, terminating
% 178.65/176.49 eprover: CPU time limit exceeded, terminating
% 180.74/178.50 eprover: CPU time limit exceeded, terminating
% 182.70/180.51 eprover: CPU time limit exceeded, terminating
% 184.83/182.51 eprover: CPU time limit exceeded, terminating
% 186.87/184.52 eprover: CPU time limit exceeded, terminating
% 188.91/186.53 eprover: CPU time limit exceeded, terminating
% 190.94/188.54 eprover: CPU time limit exceeded, terminating
% 192.97/190.55 eprover: CPU time limit exceeded, terminating
% 195.04/192.56 eprover: CPU time limit exceeded, terminating
% 197.04/194.56 eprover: CPU time limit exceeded, terminating
% 199.11/196.57 eprover: CPU time limit exceeded, terminating
% 201.15/198.58 eprover: CPU time limit exceeded, terminating
% 203.14/200.59 eprover: CPU time limit exceeded, terminating
% 205.20/202.60 eprover: CPU time limit exceeded, terminating
% 207.26/204.60 eprover: CPU time limit exceeded, terminating
% 209.29/206.61 eprover: CPU time limit exceeded, terminating
% 211.33/208.62 eprover: CPU time limit exceeded, terminating
% 213.35/210.63 eprover: CPU time limit exceeded, terminating
% 215.37/212.64 eprover: CPU time limit exceeded, terminating
% 217.44/214.65 eprover: CPU time limit exceeded, terminating
% 219.52/216.65 eprover: CPU time limit exceeded, terminating
% 221.48/218.66 eprover: CPU time limit exceeded, terminating
% 223.60/220.67 eprover: CPU time limit exceeded, terminating
% 225.62/222.68 eprover: CPU time limit exceeded, terminating
% 227.66/224.69 eprover: CPU time limit exceeded, terminating
% 229.69/226.69 eprover: CPU time limit exceeded, terminating
% 231.78/228.70 eprover: CPU time limit exceeded, terminating
% 233.81/230.71 eprover: CPU time limit exceeded, terminating
% 235.81/232.72 eprover: CPU time limit exceeded, terminating
% 237.88/234.73 eprover: CPU time limit exceeded, terminating
% 239.93/236.74 eprover: CPU time limit exceeded, terminating
% 241.90/238.75 eprover: CPU time limit exceeded, terminating
% 244.02/240.75 eprover: CPU time limit exceeded, terminating
% 246.02/242.76 eprover: CPU time limit exceeded, terminating
% 248.09/244.77 eprover: CPU time limit exceeded, terminating
% 250.14/246.78 eprover: CPU time limit exceeded, terminating
% 252.17/248.79 eprover: CPU time limit exceeded, terminating
% 254.19/250.79 eprover: CPU time limit exceeded, terminating
% 256.25/252.80 eprover: CPU time limit exceeded, terminating
% 258.28/254.81 eprover: CPU time limit exceeded, terminating
% 260.28/256.82 eprover: CPU time limit exceeded, terminating
% 262.39/258.83 eprover: CPU time limit exceeded, terminating
% 264.37/260.83 eprover: CPU time limit exceeded, terminating
% 266.44/262.84 eprover: CPU time limit exceeded, terminating
% 268.51/264.85 eprover: CPU time limit exceeded, terminating
% 270.54/266.86 eprover: CPU time limit exceeded, terminating
% 272.59/268.87 eprover: CPU time limit exceeded, terminating
% 274.64/270.87 eprover: CPU time limit exceeded, terminating
% 276.63/272.88 eprover: CPU time limit exceeded, terminating
% 278.71/274.89 eprover: CPU time limit exceeded, terminating
% 280.75/276.90 eprover: CPU time limit exceeded, terminating
% 282.80/278.91 eprover: CPU time limit exceeded, terminating
% 284.80/280.92 eprover: CPU time limit exceeded, terminating
% 286.84/282.93 eprover: CPU time limit exceeded, terminating
% 288.90/284.93 eprover: CPU time limit exceeded, terminating
% 290.95/286.94 eprover: CPU time limit exceeded, terminating
% 292.94/288.95 eprover: CPU time limit exceeded, terminating
% 295.02/290.96 eprover: CPU time limit exceeded, terminating
% 297.05/292.97 eprover: CPU time limit exceeded, terminating
% 299.11/294.98 eprover: CPU time limit exceeded, terminating
% 300.08/295.88 eprover: CPU time limit exceeded, terminating
% 300.08/295.89 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------