TSTP Solution File: SWW470+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW470+7 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : Thu Jul 21 00:24:52 EDT 2022
% Result : Timeout 286.01s 263.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWW470+7 : TPTP v8.1.0. Released v5.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 : Sat Jun 4 18:23:44 EDT 2022
% 0.13/0.34 % CPUTime :
% 7.35/7.38 eprover: CPU time limit exceeded, terminating
% 9.50/9.39 eprover: CPU time limit exceeded, terminating
% 11.72/11.40 eprover: CPU time limit exceeded, terminating
% 13.87/13.41 eprover: CPU time limit exceeded, terminating
% 16.04/15.43 eprover: CPU time limit exceeded, terminating
% 18.24/17.44 eprover: CPU time limit exceeded, terminating
% 20.42/19.45 eprover: CPU time limit exceeded, terminating
% 22.54/21.47 eprover: CPU time limit exceeded, terminating
% 24.79/23.48 eprover: CPU time limit exceeded, terminating
% 26.95/25.49 eprover: CPU time limit exceeded, terminating
% 29.07/27.50 eprover: CPU time limit exceeded, terminating
% 31.30/29.52 eprover: CPU time limit exceeded, terminating
% 33.47/31.53 eprover: CPU time limit exceeded, terminating
% 35.64/33.54 eprover: CPU time limit exceeded, terminating
% 37.79/35.56 eprover: CPU time limit exceeded, terminating
% 39.98/37.57 eprover: CPU time limit exceeded, terminating
% 42.15/39.58 eprover: CPU time limit exceeded, terminating
% 44.35/41.60 eprover: CPU time limit exceeded, terminating
% 46.52/43.61 eprover: CPU time limit exceeded, terminating
% 48.72/45.62 eprover: CPU time limit exceeded, terminating
% 50.92/47.63 eprover: CPU time limit exceeded, terminating
% 53.08/49.65 eprover: CPU time limit exceeded, terminating
% 55.26/51.66 eprover: CPU time limit exceeded, terminating
% 57.44/53.67 eprover: CPU time limit exceeded, terminating
% 59.64/55.69 eprover: CPU time limit exceeded, terminating
% 61.79/57.70 eprover: CPU time limit exceeded, terminating
% 64.00/59.71 eprover: CPU time limit exceeded, terminating
% 66.15/61.73 eprover: CPU time limit exceeded, terminating
% 68.34/63.74 eprover: CPU time limit exceeded, terminating
% 70.48/65.75 eprover: CPU time limit exceeded, terminating
% 72.71/67.77 eprover: CPU time limit exceeded, terminating
% 74.86/69.78 eprover: CPU time limit exceeded, terminating
% 77.02/71.79 eprover: CPU time limit exceeded, terminating
% 79.27/73.81 eprover: CPU time limit exceeded, terminating
% 81.44/75.82 eprover: CPU time limit exceeded, terminating
% 83.62/77.83 eprover: CPU time limit exceeded, terminating
% 85.77/79.84 eprover: CPU time limit exceeded, terminating
% 87.96/81.86 eprover: CPU time limit exceeded, terminating
% 90.13/83.87 eprover: CPU time limit exceeded, terminating
% 92.28/85.88 eprover: CPU time limit exceeded, terminating
% 94.54/87.90 eprover: CPU time limit exceeded, terminating
% 96.62/89.91 eprover: CPU time limit exceeded, terminating
% 98.89/91.92 eprover: CPU time limit exceeded, terminating
% 101.04/93.94 eprover: CPU time limit exceeded, terminating
% 103.19/95.95 eprover: CPU time limit exceeded, terminating
% 105.39/97.96 eprover: CPU time limit exceeded, terminating
% 107.57/99.98 eprover: CPU time limit exceeded, terminating
% 109.69/101.99 eprover: CPU time limit exceeded, terminating
% 111.99/104.00 eprover: CPU time limit exceeded, terminating
% 114.18/106.01 eprover: CPU time limit exceeded, terminating
% 116.34/108.03 eprover: CPU time limit exceeded, terminating
% 118.47/110.04 eprover: CPU time limit exceeded, terminating
% 120.64/112.05 eprover: CPU time limit exceeded, terminating
% 122.83/114.07 eprover: CPU time limit exceeded, terminating
% 125.07/116.08 eprover: CPU time limit exceeded, terminating
% 127.18/118.09 eprover: CPU time limit exceeded, terminating
% 129.43/120.11 eprover: CPU time limit exceeded, terminating
% 131.57/122.12 eprover: CPU time limit exceeded, terminating
% 133.78/124.13 eprover: CPU time limit exceeded, terminating
% 135.95/126.15 eprover: CPU time limit exceeded, terminating
% 138.09/128.16 eprover: CPU time limit exceeded, terminating
% 140.29/130.17 eprover: CPU time limit exceeded, terminating
% 142.43/132.18 eprover: CPU time limit exceeded, terminating
% 146.54/134.20 eprover: CPU time limit exceeded, terminating
% 148.75/136.21 eprover: CPU time limit exceeded, terminating
% 150.95/138.22 eprover: CPU time limit exceeded, terminating
% 153.08/140.24 eprover: CPU time limit exceeded, terminating
% 155.29/142.25 eprover: CPU time limit exceeded, terminating
% 157.44/144.26 eprover: CPU time limit exceeded, terminating
% 159.64/146.28 eprover: CPU time limit exceeded, terminating
% 161.77/148.29 eprover: CPU time limit exceeded, terminating
% 164.04/150.30 eprover: CPU time limit exceeded, terminating
% 166.19/152.32 eprover: CPU time limit exceeded, terminating
% 168.40/154.33 eprover: CPU time limit exceeded, terminating
% 170.51/156.34 eprover: CPU time limit exceeded, terminating
% 172.72/158.36 eprover: CPU time limit exceeded, terminating
% 174.93/160.37 eprover: CPU time limit exceeded, terminating
% 177.06/162.38 eprover: CPU time limit exceeded, terminating
% 179.30/164.40 eprover: CPU time limit exceeded, terminating
% 181.43/166.41 eprover: CPU time limit exceeded, terminating
% 183.68/168.43 eprover: CPU time limit exceeded, terminating
% 185.82/170.44 eprover: CPU time limit exceeded, terminating
% 187.97/172.45 eprover: CPU time limit exceeded, terminating
% 190.17/174.47 eprover: CPU time limit exceeded, terminating
% 192.34/176.48 eprover: CPU time limit exceeded, terminating
% 194.57/178.49 eprover: CPU time limit exceeded, terminating
% 196.74/180.51 eprover: CPU time limit exceeded, terminating
% 198.93/182.52 eprover: CPU time limit exceeded, terminating
% 201.11/184.54 eprover: CPU time limit exceeded, terminating
% 203.23/186.55 eprover: CPU time limit exceeded, terminating
% 205.42/188.57 eprover: CPU time limit exceeded, terminating
% 207.65/190.58 eprover: CPU time limit exceeded, terminating
% 209.76/192.59 eprover: CPU time limit exceeded, terminating
% 212.01/194.61 eprover: CPU time limit exceeded, terminating
% 214.19/196.62 eprover: CPU time limit exceeded, terminating
% 216.38/198.64 eprover: CPU time limit exceeded, terminating
% 218.51/200.65 eprover: CPU time limit exceeded, terminating
% 220.74/202.66 eprover: CPU time limit exceeded, terminating
% 222.85/204.68 eprover: CPU time limit exceeded, terminating
% 225.09/206.69 eprover: CPU time limit exceeded, terminating
% 227.30/208.70 eprover: CPU time limit exceeded, terminating
% 229.44/210.72 eprover: CPU time limit exceeded, terminating
% 231.64/212.73 eprover: CPU time limit exceeded, terminating
% 233.77/214.74 eprover: CPU time limit exceeded, terminating
% 235.98/216.76 eprover: CPU time limit exceeded, terminating
% 238.12/218.77 eprover: CPU time limit exceeded, terminating
% 240.31/220.78 eprover: CPU time limit exceeded, terminating
% 242.46/222.80 eprover: CPU time limit exceeded, terminating
% 244.68/224.81 eprover: CPU time limit exceeded, terminating
% 246.89/226.82 eprover: CPU time limit exceeded, terminating
% 249.00/228.84 eprover: CPU time limit exceeded, terminating
% 251.22/230.85 eprover: CPU time limit exceeded, terminating
% 253.37/232.86 eprover: CPU time limit exceeded, terminating
% 255.57/234.88 eprover: CPU time limit exceeded, terminating
% 257.71/236.89 eprover: CPU time limit exceeded, terminating
% 259.97/238.90 eprover: CPU time limit exceeded, terminating
% 262.15/240.92 eprover: CPU time limit exceeded, terminating
% 264.29/242.93 eprover: CPU time limit exceeded, terminating
% 266.48/244.94 eprover: CPU time limit exceeded, terminating
% 268.64/246.96 eprover: CPU time limit exceeded, terminating
% 270.83/248.97 eprover: CPU time limit exceeded, terminating
% 273.03/250.98 eprover: CPU time limit exceeded, terminating
% 275.14/252.99 eprover: CPU time limit exceeded, terminating
% 277.36/255.00 eprover: CPU time limit exceeded, terminating
% 279.57/257.02 eprover: CPU time limit exceeded, terminating
% 281.69/259.03 eprover: CPU time limit exceeded, terminating
% 283.91/261.04 eprover: CPU time limit exceeded, terminating
% 286.01/263.05 eprover: CPU time limit exceeded, terminating
% 288.25/265.07 eprover: CPU time limit exceeded, terminating
% 290.38/267.08 eprover: CPU time limit exceeded, terminating
% 292.59/269.09 eprover: CPU time limit exceeded, terminating
% 294.79/271.10 eprover: CPU time limit exceeded, terminating
% 296.89/273.12 eprover: CPU time limit exceeded, terminating
% 299.12/275.13 eprover: CPU time limit exceeded, terminating
% 300.04/275.90 eprover: CPU time limit exceeded, terminating
% 300.04/275.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------