TSTP Solution File: SEU444+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU444+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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 : Tue Jul 19 10:14:12 EDT 2022
% Result : Timeout 285.83s 260.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU444+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n003.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sun Jun 19 21:20:44 EDT 2022
% 0.12/0.34 % CPUTime :
% 17.01/16.96 eprover: CPU time limit exceeded, terminating
% 19.23/18.97 eprover: CPU time limit exceeded, terminating
% 21.43/20.98 eprover: CPU time limit exceeded, terminating
% 23.61/23.00 eprover: CPU time limit exceeded, terminating
% 25.86/25.01 eprover: CPU time limit exceeded, terminating
% 28.09/27.02 eprover: CPU time limit exceeded, terminating
% 30.31/29.03 eprover: CPU time limit exceeded, terminating
% 32.55/31.04 eprover: CPU time limit exceeded, terminating
% 34.73/33.05 eprover: CPU time limit exceeded, terminating
% 37.01/35.06 eprover: CPU time limit exceeded, terminating
% 39.21/37.08 eprover: CPU time limit exceeded, terminating
% 41.44/39.09 eprover: CPU time limit exceeded, terminating
% 43.63/41.10 eprover: CPU time limit exceeded, terminating
% 45.83/43.11 eprover: CPU time limit exceeded, terminating
% 48.07/45.12 eprover: CPU time limit exceeded, terminating
% 50.29/47.13 eprover: CPU time limit exceeded, terminating
% 52.56/49.14 eprover: CPU time limit exceeded, terminating
% 54.77/51.15 eprover: CPU time limit exceeded, terminating
% 57.01/53.16 eprover: CPU time limit exceeded, terminating
% 59.17/55.17 eprover: CPU time limit exceeded, terminating
% 61.41/57.18 eprover: CPU time limit exceeded, terminating
% 63.64/59.19 eprover: CPU time limit exceeded, terminating
% 65.86/61.20 eprover: CPU time limit exceeded, terminating
% 68.05/63.21 eprover: CPU time limit exceeded, terminating
% 70.33/65.23 eprover: CPU time limit exceeded, terminating
% 72.50/67.24 eprover: CPU time limit exceeded, terminating
% 74.76/69.25 eprover: CPU time limit exceeded, terminating
% 76.97/71.26 eprover: CPU time limit exceeded, terminating
% 79.21/73.27 eprover: CPU time limit exceeded, terminating
% 81.43/75.28 eprover: CPU time limit exceeded, terminating
% 83.62/77.30 eprover: CPU time limit exceeded, terminating
% 85.86/79.31 eprover: CPU time limit exceeded, terminating
% 88.04/81.32 eprover: CPU time limit exceeded, terminating
% 90.27/83.33 eprover: CPU time limit exceeded, terminating
% 92.46/85.34 eprover: CPU time limit exceeded, terminating
% 94.73/87.35 eprover: CPU time limit exceeded, terminating
% 96.92/89.36 eprover: CPU time limit exceeded, terminating
% 99.16/91.37 eprover: CPU time limit exceeded, terminating
% 101.35/93.39 eprover: CPU time limit exceeded, terminating
% 103.60/95.40 eprover: CPU time limit exceeded, terminating
% 105.76/97.41 eprover: CPU time limit exceeded, terminating
% 108.05/99.43 eprover: CPU time limit exceeded, terminating
% 110.20/101.44 eprover: CPU time limit exceeded, terminating
% 112.41/103.46 eprover: CPU time limit exceeded, terminating
% 114.67/105.47 eprover: CPU time limit exceeded, terminating
% 116.90/107.47 eprover: CPU time limit exceeded, terminating
% 119.16/109.49 eprover: CPU time limit exceeded, terminating
% 121.36/111.50 eprover: CPU time limit exceeded, terminating
% 123.52/113.51 eprover: CPU time limit exceeded, terminating
% 125.76/115.52 eprover: CPU time limit exceeded, terminating
% 128.00/117.53 eprover: CPU time limit exceeded, terminating
% 130.22/119.54 eprover: CPU time limit exceeded, terminating
% 132.43/121.55 eprover: CPU time limit exceeded, terminating
% 134.62/123.56 eprover: CPU time limit exceeded, terminating
% 136.86/125.57 eprover: CPU time limit exceeded, terminating
% 139.11/127.58 eprover: CPU time limit exceeded, terminating
% 141.35/129.60 eprover: CPU time limit exceeded, terminating
% 143.56/131.61 eprover: CPU time limit exceeded, terminating
% 145.72/133.62 eprover: CPU time limit exceeded, terminating
% 148.02/135.63 eprover: CPU time limit exceeded, terminating
% 150.21/137.65 eprover: CPU time limit exceeded, terminating
% 152.43/139.66 eprover: CPU time limit exceeded, terminating
% 154.69/141.67 eprover: CPU time limit exceeded, terminating
% 156.91/143.68 eprover: CPU time limit exceeded, terminating
% 159.11/145.69 eprover: CPU time limit exceeded, terminating
% 161.34/147.70 eprover: CPU time limit exceeded, terminating
% 163.51/149.71 eprover: CPU time limit exceeded, terminating
% 165.76/151.72 eprover: CPU time limit exceeded, terminating
% 167.95/153.73 eprover: CPU time limit exceeded, terminating
% 170.21/155.75 eprover: CPU time limit exceeded, terminating
% 172.41/157.76 eprover: CPU time limit exceeded, terminating
% 174.67/159.77 eprover: CPU time limit exceeded, terminating
% 176.88/161.78 eprover: CPU time limit exceeded, terminating
% 179.11/163.79 eprover: CPU time limit exceeded, terminating
% 181.31/165.80 eprover: CPU time limit exceeded, terminating
% 183.57/167.81 eprover: CPU time limit exceeded, terminating
% 185.74/169.82 eprover: CPU time limit exceeded, terminating
% 187.91/171.83 eprover: CPU time limit exceeded, terminating
% 190.22/173.84 eprover: CPU time limit exceeded, terminating
% 192.43/175.86 eprover: CPU time limit exceeded, terminating
% 194.62/177.87 eprover: CPU time limit exceeded, terminating
% 196.83/179.88 eprover: CPU time limit exceeded, terminating
% 199.06/181.89 eprover: CPU time limit exceeded, terminating
% 201.28/183.90 eprover: CPU time limit exceeded, terminating
% 203.49/185.91 eprover: CPU time limit exceeded, terminating
% 205.75/187.93 eprover: CPU time limit exceeded, terminating
% 207.99/189.94 eprover: CPU time limit exceeded, terminating
% 210.25/191.95 eprover: CPU time limit exceeded, terminating
% 212.46/193.96 eprover: CPU time limit exceeded, terminating
% 214.69/195.98 eprover: CPU time limit exceeded, terminating
% 216.86/197.99 eprover: CPU time limit exceeded, terminating
% 219.13/200.00 eprover: CPU time limit exceeded, terminating
% 221.34/202.01 eprover: CPU time limit exceeded, terminating
% 223.57/204.03 eprover: CPU time limit exceeded, terminating
% 225.79/206.04 eprover: CPU time limit exceeded, terminating
% 227.97/208.05 eprover: CPU time limit exceeded, terminating
% 230.26/210.06 eprover: CPU time limit exceeded, terminating
% 232.45/212.08 eprover: CPU time limit exceeded, terminating
% 234.70/214.09 eprover: CPU time limit exceeded, terminating
% 236.88/216.10 eprover: CPU time limit exceeded, terminating
% 239.07/218.11 eprover: CPU time limit exceeded, terminating
% 241.34/220.13 eprover: CPU time limit exceeded, terminating
% 243.54/222.14 eprover: CPU time limit exceeded, terminating
% 245.80/224.15 eprover: CPU time limit exceeded, terminating
% 248.03/226.16 eprover: CPU time limit exceeded, terminating
% 250.22/228.18 eprover: CPU time limit exceeded, terminating
% 252.44/230.19 eprover: CPU time limit exceeded, terminating
% 254.66/232.20 eprover: CPU time limit exceeded, terminating
% 256.86/234.21 eprover: CPU time limit exceeded, terminating
% 259.07/236.23 eprover: CPU time limit exceeded, terminating
% 261.39/238.24 eprover: CPU time limit exceeded, terminating
% 263.64/240.25 eprover: CPU time limit exceeded, terminating
% 265.85/242.26 eprover: CPU time limit exceeded, terminating
% 268.06/244.28 eprover: CPU time limit exceeded, terminating
% 270.27/246.29 eprover: CPU time limit exceeded, terminating
% 272.50/248.30 eprover: CPU time limit exceeded, terminating
% 274.70/250.32 eprover: CPU time limit exceeded, terminating
% 276.92/252.33 eprover: CPU time limit exceeded, terminating
% 279.19/254.35 eprover: CPU time limit exceeded, terminating
% 281.40/256.37 eprover: CPU time limit exceeded, terminating
% 283.65/258.38 eprover: CPU time limit exceeded, terminating
% 285.83/260.39 eprover: CPU time limit exceeded, terminating
% 288.07/262.41 eprover: CPU time limit exceeded, terminating
% 290.32/264.42 eprover: CPU time limit exceeded, terminating
% 292.49/266.43 eprover: CPU time limit exceeded, terminating
% 294.77/268.44 eprover: CPU time limit exceeded, terminating
% 297.01/270.46 eprover: CPU time limit exceeded, terminating
% 299.23/272.47 eprover: CPU time limit exceeded, terminating
% 300.04/273.18 eprover: CPU time limit exceeded, terminating
% 300.04/273.19 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------