TSTP Solution File: NUM739+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM739+4 : TPTP v8.1.0. Released v7.3.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 : Mon Jul 18 10:40:12 EDT 2022
% Result : Timeout 286.10s 277.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : NUM739+4 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n021.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 : Thu Jul 7 14:44:34 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.49/3.63 eprover: CPU time limit exceeded, terminating
% 5.55/5.64 eprover: CPU time limit exceeded, terminating
% 7.64/7.65 eprover: CPU time limit exceeded, terminating
% 9.64/9.66 eprover: CPU time limit exceeded, terminating
% 11.73/11.67 eprover: CPU time limit exceeded, terminating
% 13.76/13.68 eprover: CPU time limit exceeded, terminating
% 15.87/15.69 eprover: CPU time limit exceeded, terminating
% 17.94/17.70 eprover: CPU time limit exceeded, terminating
% 20.01/19.71 eprover: CPU time limit exceeded, terminating
% 22.07/21.72 eprover: CPU time limit exceeded, terminating
% 24.13/23.73 eprover: CPU time limit exceeded, terminating
% 26.18/25.74 eprover: CPU time limit exceeded, terminating
% 28.22/27.75 eprover: CPU time limit exceeded, terminating
% 30.27/29.76 eprover: CPU time limit exceeded, terminating
% 32.34/31.77 eprover: CPU time limit exceeded, terminating
% 34.47/33.78 eprover: CPU time limit exceeded, terminating
% 36.53/35.79 eprover: CPU time limit exceeded, terminating
% 38.59/37.80 eprover: CPU time limit exceeded, terminating
% 40.66/39.81 eprover: CPU time limit exceeded, terminating
% 42.70/41.82 eprover: CPU time limit exceeded, terminating
% 44.76/43.83 eprover: CPU time limit exceeded, terminating
% 46.83/45.84 eprover: CPU time limit exceeded, terminating
% 48.88/47.85 eprover: CPU time limit exceeded, terminating
% 50.92/49.86 eprover: CPU time limit exceeded, terminating
% 52.99/51.87 eprover: CPU time limit exceeded, terminating
% 55.04/53.88 eprover: CPU time limit exceeded, terminating
% 57.16/55.89 eprover: CPU time limit exceeded, terminating
% 59.23/57.90 eprover: CPU time limit exceeded, terminating
% 61.29/59.91 eprover: CPU time limit exceeded, terminating
% 63.37/61.92 eprover: CPU time limit exceeded, terminating
% 65.38/63.93 eprover: CPU time limit exceeded, terminating
% 67.46/65.94 eprover: CPU time limit exceeded, terminating
% 69.52/67.95 eprover: CPU time limit exceeded, terminating
% 71.56/69.96 eprover: CPU time limit exceeded, terminating
% 73.63/71.97 eprover: CPU time limit exceeded, terminating
% 75.71/73.98 eprover: CPU time limit exceeded, terminating
% 77.82/75.99 eprover: CPU time limit exceeded, terminating
% 79.86/78.00 eprover: CPU time limit exceeded, terminating
% 81.93/80.01 eprover: CPU time limit exceeded, terminating
% 84.00/82.02 eprover: CPU time limit exceeded, terminating
% 86.03/84.03 eprover: CPU time limit exceeded, terminating
% 88.08/86.04 eprover: CPU time limit exceeded, terminating
% 90.18/88.05 eprover: CPU time limit exceeded, terminating
% 92.20/90.06 eprover: CPU time limit exceeded, terminating
% 94.25/92.07 eprover: CPU time limit exceeded, terminating
% 96.32/94.08 eprover: CPU time limit exceeded, terminating
% 98.44/96.09 eprover: CPU time limit exceeded, terminating
% 100.50/98.10 eprover: CPU time limit exceeded, terminating
% 102.58/100.11 eprover: CPU time limit exceeded, terminating
% 104.61/102.12 eprover: CPU time limit exceeded, terminating
% 106.67/104.13 eprover: CPU time limit exceeded, terminating
% 108.73/106.14 eprover: CPU time limit exceeded, terminating
% 110.77/108.15 eprover: CPU time limit exceeded, terminating
% 112.84/110.17 eprover: CPU time limit exceeded, terminating
% 114.87/112.18 eprover: CPU time limit exceeded, terminating
% 117.00/114.19 eprover: CPU time limit exceeded, terminating
% 121.03/116.21 eprover: CPU time limit exceeded, terminating
% 123.10/118.22 eprover: CPU time limit exceeded, terminating
% 125.17/120.23 eprover: CPU time limit exceeded, terminating
% 127.20/122.25 eprover: CPU time limit exceeded, terminating
% 129.24/124.27 eprover: CPU time limit exceeded, terminating
% 131.29/126.28 eprover: CPU time limit exceeded, terminating
% 133.39/128.29 eprover: CPU time limit exceeded, terminating
% 135.51/130.30 eprover: CPU time limit exceeded, terminating
% 137.55/132.31 eprover: CPU time limit exceeded, terminating
% 139.62/134.32 eprover: CPU time limit exceeded, terminating
% 141.64/136.33 eprover: CPU time limit exceeded, terminating
% 143.70/138.34 eprover: CPU time limit exceeded, terminating
% 145.75/140.35 eprover: CPU time limit exceeded, terminating
% 147.80/142.36 eprover: CPU time limit exceeded, terminating
% 149.85/144.37 eprover: CPU time limit exceeded, terminating
% 151.91/146.38 eprover: CPU time limit exceeded, terminating
% 153.98/148.39 eprover: CPU time limit exceeded, terminating
% 156.15/150.40 eprover: CPU time limit exceeded, terminating
% 158.20/152.41 eprover: CPU time limit exceeded, terminating
% 160.26/154.42 eprover: CPU time limit exceeded, terminating
% 162.31/156.43 eprover: CPU time limit exceeded, terminating
% 164.37/158.44 eprover: CPU time limit exceeded, terminating
% 166.43/160.45 eprover: CPU time limit exceeded, terminating
% 168.47/162.46 eprover: CPU time limit exceeded, terminating
% 170.54/164.47 eprover: CPU time limit exceeded, terminating
% 172.58/166.48 eprover: CPU time limit exceeded, terminating
% 174.72/168.49 eprover: CPU time limit exceeded, terminating
% 176.67/170.50 eprover: CPU time limit exceeded, terminating
% 178.83/172.51 eprover: CPU time limit exceeded, terminating
% 180.90/174.52 eprover: CPU time limit exceeded, terminating
% 182.95/176.53 eprover: CPU time limit exceeded, terminating
% 185.00/178.54 eprover: CPU time limit exceeded, terminating
% 187.06/180.55 eprover: CPU time limit exceeded, terminating
% 189.11/182.56 eprover: CPU time limit exceeded, terminating
% 191.14/184.57 eprover: CPU time limit exceeded, terminating
% 193.22/186.58 eprover: CPU time limit exceeded, terminating
% 195.27/188.59 eprover: CPU time limit exceeded, terminating
% 197.34/190.60 eprover: CPU time limit exceeded, terminating
% 199.44/192.61 eprover: CPU time limit exceeded, terminating
% 201.53/194.62 eprover: CPU time limit exceeded, terminating
% 203.57/196.63 eprover: CPU time limit exceeded, terminating
% 205.62/198.64 eprover: CPU time limit exceeded, terminating
% 207.68/200.65 eprover: CPU time limit exceeded, terminating
% 209.73/202.66 eprover: CPU time limit exceeded, terminating
% 211.79/204.67 eprover: CPU time limit exceeded, terminating
% 213.85/206.68 eprover: CPU time limit exceeded, terminating
% 215.98/208.70 eprover: CPU time limit exceeded, terminating
% 218.04/210.71 eprover: CPU time limit exceeded, terminating
% 220.11/212.72 eprover: CPU time limit exceeded, terminating
% 222.15/214.74 eprover: CPU time limit exceeded, terminating
% 224.17/216.75 eprover: CPU time limit exceeded, terminating
% 226.25/218.76 eprover: CPU time limit exceeded, terminating
% 228.29/220.77 eprover: CPU time limit exceeded, terminating
% 230.44/222.79 eprover: CPU time limit exceeded, terminating
% 232.40/224.80 eprover: CPU time limit exceeded, terminating
% 234.55/226.82 eprover: CPU time limit exceeded, terminating
% 236.59/228.84 eprover: CPU time limit exceeded, terminating
% 238.61/230.85 eprover: CPU time limit exceeded, terminating
% 240.64/232.86 eprover: CPU time limit exceeded, terminating
% 242.75/234.87 eprover: CPU time limit exceeded, terminating
% 244.86/236.89 eprover: CPU time limit exceeded, terminating
% 246.85/238.90 eprover: CPU time limit exceeded, terminating
% 248.95/240.92 eprover: CPU time limit exceeded, terminating
% 251.00/242.93 eprover: CPU time limit exceeded, terminating
% 253.08/244.95 eprover: CPU time limit exceeded, terminating
% 255.17/246.97 eprover: CPU time limit exceeded, terminating
% 257.15/248.98 eprover: CPU time limit exceeded, terminating
% 259.30/250.99 eprover: CPU time limit exceeded, terminating
% 261.33/253.00 eprover: CPU time limit exceeded, terminating
% 263.39/255.01 eprover: CPU time limit exceeded, terminating
% 265.47/257.03 eprover: CPU time limit exceeded, terminating
% 267.54/259.05 eprover: CPU time limit exceeded, terminating
% 269.61/261.07 eprover: CPU time limit exceeded, terminating
% 271.66/263.08 eprover: CPU time limit exceeded, terminating
% 273.68/265.09 eprover: CPU time limit exceeded, terminating
% 275.77/267.11 eprover: CPU time limit exceeded, terminating
% 277.84/269.13 eprover: CPU time limit exceeded, terminating
% 279.92/271.13 eprover: CPU time limit exceeded, terminating
% 281.97/273.15 eprover: CPU time limit exceeded, terminating
% 283.97/275.16 eprover: CPU time limit exceeded, terminating
% 286.10/277.17 eprover: CPU time limit exceeded, terminating
% 288.17/279.19 eprover: CPU time limit exceeded, terminating
% 290.23/281.20 eprover: CPU time limit exceeded, terminating
% 292.29/283.22 eprover: CPU time limit exceeded, terminating
% 294.37/285.24 eprover: CPU time limit exceeded, terminating
% 296.34/287.25 eprover: CPU time limit exceeded, terminating
% 298.46/289.25 eprover: CPU time limit exceeded, terminating
% 300.01/290.72 eprover: CPU time limit exceeded, terminating
% 300.01/290.74 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------