TSTP Solution File: HWV102+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV102+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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 : Sat Jul 16 16:30:30 EDT 2022
% Result : Timeout 287.50s 249.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : HWV102+1 : TPTP v8.1.0. Released v6.1.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n014.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Thu Jun 16 21:34:20 EDT 2022
% 0.13/0.34 % CPUTime :
% 12.55/12.39 eprover: CPU time limit exceeded, terminating
% 14.87/14.43 eprover: CPU time limit exceeded, terminating
% 17.28/16.45 eprover: CPU time limit exceeded, terminating
% 19.59/18.47 eprover: CPU time limit exceeded, terminating
% 21.96/20.49 eprover: CPU time limit exceeded, terminating
% 24.30/22.51 eprover: CPU time limit exceeded, terminating
% 26.67/24.53 eprover: CPU time limit exceeded, terminating
% 28.95/26.55 eprover: CPU time limit exceeded, terminating
% 31.37/28.57 eprover: CPU time limit exceeded, terminating
% 33.72/30.59 eprover: CPU time limit exceeded, terminating
% 36.09/32.61 eprover: CPU time limit exceeded, terminating
% 38.46/34.64 eprover: CPU time limit exceeded, terminating
% 40.81/36.66 eprover: CPU time limit exceeded, terminating
% 43.18/38.68 eprover: CPU time limit exceeded, terminating
% 45.53/40.70 eprover: CPU time limit exceeded, terminating
% 47.88/42.72 eprover: CPU time limit exceeded, terminating
% 50.22/44.74 eprover: CPU time limit exceeded, terminating
% 52.63/46.76 eprover: CPU time limit exceeded, terminating
% 54.95/48.78 eprover: CPU time limit exceeded, terminating
% 57.29/50.80 eprover: CPU time limit exceeded, terminating
% 59.68/52.82 eprover: CPU time limit exceeded, terminating
% 62.06/54.84 eprover: CPU time limit exceeded, terminating
% 64.39/56.86 eprover: CPU time limit exceeded, terminating
% 66.78/58.88 eprover: CPU time limit exceeded, terminating
% 69.09/60.90 eprover: CPU time limit exceeded, terminating
% 71.41/62.92 eprover: CPU time limit exceeded, terminating
% 73.79/64.94 eprover: CPU time limit exceeded, terminating
% 76.15/66.97 eprover: CPU time limit exceeded, terminating
% 78.51/68.99 eprover: CPU time limit exceeded, terminating
% 80.78/71.01 eprover: CPU time limit exceeded, terminating
% 83.15/73.03 eprover: CPU time limit exceeded, terminating
% 85.51/75.05 eprover: CPU time limit exceeded, terminating
% 87.85/77.07 eprover: CPU time limit exceeded, terminating
% 90.18/79.09 eprover: CPU time limit exceeded, terminating
% 92.54/81.11 eprover: CPU time limit exceeded, terminating
% 94.86/83.13 eprover: CPU time limit exceeded, terminating
% 97.25/85.15 eprover: CPU time limit exceeded, terminating
% 99.58/87.18 eprover: CPU time limit exceeded, terminating
% 101.99/89.20 eprover: CPU time limit exceeded, terminating
% 104.27/91.22 eprover: CPU time limit exceeded, terminating
% 106.61/93.24 eprover: CPU time limit exceeded, terminating
% 109.01/95.26 eprover: CPU time limit exceeded, terminating
% 111.38/97.28 eprover: CPU time limit exceeded, terminating
% 113.70/99.30 eprover: CPU time limit exceeded, terminating
% 116.02/101.32 eprover: CPU time limit exceeded, terminating
% 118.44/103.35 eprover: CPU time limit exceeded, terminating
% 120.71/105.37 eprover: CPU time limit exceeded, terminating
% 123.12/107.39 eprover: CPU time limit exceeded, terminating
% 125.44/109.41 eprover: CPU time limit exceeded, terminating
% 127.82/111.43 eprover: CPU time limit exceeded, terminating
% 130.15/113.45 eprover: CPU time limit exceeded, terminating
% 132.55/115.47 eprover: CPU time limit exceeded, terminating
% 134.84/117.49 eprover: CPU time limit exceeded, terminating
% 137.18/119.52 eprover: CPU time limit exceeded, terminating
% 139.55/121.54 eprover: CPU time limit exceeded, terminating
% 141.91/123.56 eprover: CPU time limit exceeded, terminating
% 144.25/125.58 eprover: CPU time limit exceeded, terminating
% 146.57/127.60 eprover: CPU time limit exceeded, terminating
% 148.92/129.62 eprover: CPU time limit exceeded, terminating
% 151.29/131.64 eprover: CPU time limit exceeded, terminating
% 153.62/133.67 eprover: CPU time limit exceeded, terminating
% 155.96/135.69 eprover: CPU time limit exceeded, terminating
% 158.34/137.71 eprover: CPU time limit exceeded, terminating
% 160.61/139.73 eprover: CPU time limit exceeded, terminating
% 162.91/141.75 eprover: CPU time limit exceeded, terminating
% 165.28/143.77 eprover: CPU time limit exceeded, terminating
% 167.60/145.79 eprover: CPU time limit exceeded, terminating
% 169.94/147.81 eprover: CPU time limit exceeded, terminating
% 172.31/149.83 eprover: CPU time limit exceeded, terminating
% 174.69/151.85 eprover: CPU time limit exceeded, terminating
% 177.03/153.88 eprover: CPU time limit exceeded, terminating
% 179.35/155.90 eprover: CPU time limit exceeded, terminating
% 181.72/157.92 eprover: CPU time limit exceeded, terminating
% 183.98/159.95 eprover: CPU time limit exceeded, terminating
% 186.41/161.97 eprover: CPU time limit exceeded, terminating
% 188.77/164.00 eprover: CPU time limit exceeded, terminating
% 191.07/166.02 eprover: CPU time limit exceeded, terminating
% 193.35/168.05 eprover: CPU time limit exceeded, terminating
% 195.78/170.07 eprover: CPU time limit exceeded, terminating
% 198.10/172.09 eprover: CPU time limit exceeded, terminating
% 200.43/174.12 eprover: CPU time limit exceeded, terminating
% 202.76/176.14 eprover: CPU time limit exceeded, terminating
% 205.16/178.17 eprover: CPU time limit exceeded, terminating
% 207.52/180.19 eprover: CPU time limit exceeded, terminating
% 209.90/182.21 eprover: CPU time limit exceeded, terminating
% 212.19/184.24 eprover: CPU time limit exceeded, terminating
% 214.61/186.26 eprover: CPU time limit exceeded, terminating
% 216.93/188.29 eprover: CPU time limit exceeded, terminating
% 219.28/190.31 eprover: CPU time limit exceeded, terminating
% 221.68/192.34 eprover: CPU time limit exceeded, terminating
% 224.03/194.36 eprover: CPU time limit exceeded, terminating
% 226.36/196.39 eprover: CPU time limit exceeded, terminating
% 228.71/198.41 eprover: CPU time limit exceeded, terminating
% 231.10/200.43 eprover: CPU time limit exceeded, terminating
% 233.34/202.46 eprover: CPU time limit exceeded, terminating
% 235.69/204.48 eprover: CPU time limit exceeded, terminating
% 238.02/206.50 eprover: CPU time limit exceeded, terminating
% 240.38/208.53 eprover: CPU time limit exceeded, terminating
% 242.80/210.55 eprover: CPU time limit exceeded, terminating
% 245.11/212.58 eprover: CPU time limit exceeded, terminating
% 247.50/214.60 eprover: CPU time limit exceeded, terminating
% 249.81/216.63 eprover: CPU time limit exceeded, terminating
% 252.17/218.65 eprover: CPU time limit exceeded, terminating
% 254.57/220.67 eprover: CPU time limit exceeded, terminating
% 256.88/222.70 eprover: CPU time limit exceeded, terminating
% 259.21/224.72 eprover: CPU time limit exceeded, terminating
% 261.62/226.75 eprover: CPU time limit exceeded, terminating
% 263.97/228.77 eprover: CPU time limit exceeded, terminating
% 266.29/230.79 eprover: CPU time limit exceeded, terminating
% 268.69/232.82 eprover: CPU time limit exceeded, terminating
% 271.01/234.84 eprover: CPU time limit exceeded, terminating
% 273.36/236.87 eprover: CPU time limit exceeded, terminating
% 275.71/238.89 eprover: CPU time limit exceeded, terminating
% 278.12/240.92 eprover: CPU time limit exceeded, terminating
% 280.41/242.94 eprover: CPU time limit exceeded, terminating
% 282.77/244.97 eprover: CPU time limit exceeded, terminating
% 285.16/246.99 eprover: CPU time limit exceeded, terminating
% 287.50/249.01 eprover: CPU time limit exceeded, terminating
% 289.85/251.04 eprover: CPU time limit exceeded, terminating
% 292.21/253.06 eprover: CPU time limit exceeded, terminating
% 294.55/255.08 eprover: CPU time limit exceeded, terminating
% 296.89/257.11 eprover: CPU time limit exceeded, terminating
% 299.25/259.13 eprover: CPU time limit exceeded, terminating
% 300.02/259.68 eprover: CPU time limit exceeded, terminating
% 300.02/259.70 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------