TSTP Solution File: HWV090+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV090+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:20 EDT 2022
% Result : Timeout 287.49s 214.93s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : HWV090+1 : TPTP v8.1.0. Released v6.1.0.
% 0.06/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n025.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 17 01:19:56 EDT 2022
% 0.13/0.35 % CPUTime :
% 41.55/40.85 eprover: CPU time limit exceeded, terminating
% 44.45/42.95 eprover: CPU time limit exceeded, terminating
% 47.31/45.00 eprover: CPU time limit exceeded, terminating
% 50.30/47.05 eprover: CPU time limit exceeded, terminating
% 53.29/49.09 eprover: CPU time limit exceeded, terminating
% 56.19/51.14 eprover: CPU time limit exceeded, terminating
% 59.04/53.19 eprover: CPU time limit exceeded, terminating
% 61.98/55.24 eprover: CPU time limit exceeded, terminating
% 64.93/57.28 eprover: CPU time limit exceeded, terminating
% 67.78/59.33 eprover: CPU time limit exceeded, terminating
% 70.62/61.38 eprover: CPU time limit exceeded, terminating
% 73.61/63.43 eprover: CPU time limit exceeded, terminating
% 76.43/65.48 eprover: CPU time limit exceeded, terminating
% 79.41/67.53 eprover: CPU time limit exceeded, terminating
% 82.29/69.57 eprover: CPU time limit exceeded, terminating
% 85.23/71.62 eprover: CPU time limit exceeded, terminating
% 88.05/73.67 eprover: CPU time limit exceeded, terminating
% 91.01/75.72 eprover: CPU time limit exceeded, terminating
% 93.83/77.76 eprover: CPU time limit exceeded, terminating
% 96.79/79.81 eprover: CPU time limit exceeded, terminating
% 99.66/81.86 eprover: CPU time limit exceeded, terminating
% 102.56/83.91 eprover: CPU time limit exceeded, terminating
% 105.40/85.95 eprover: CPU time limit exceeded, terminating
% 108.35/88.00 eprover: CPU time limit exceeded, terminating
% 111.10/90.05 eprover: CPU time limit exceeded, terminating
% 113.94/92.09 eprover: CPU time limit exceeded, terminating
% 116.83/94.14 eprover: CPU time limit exceeded, terminating
% 119.76/96.19 eprover: CPU time limit exceeded, terminating
% 122.60/98.24 eprover: CPU time limit exceeded, terminating
% 125.52/100.28 eprover: CPU time limit exceeded, terminating
% 128.42/102.33 eprover: CPU time limit exceeded, terminating
% 131.27/104.38 eprover: CPU time limit exceeded, terminating
% 134.20/106.43 eprover: CPU time limit exceeded, terminating
% 137.05/108.47 eprover: CPU time limit exceeded, terminating
% 140.02/110.52 eprover: CPU time limit exceeded, terminating
% 142.85/112.57 eprover: CPU time limit exceeded, terminating
% 145.79/114.61 eprover: CPU time limit exceeded, terminating
% 148.66/116.66 eprover: CPU time limit exceeded, terminating
% 151.61/118.71 eprover: CPU time limit exceeded, terminating
% 154.44/120.75 eprover: CPU time limit exceeded, terminating
% 157.39/122.80 eprover: CPU time limit exceeded, terminating
% 160.22/124.85 eprover: CPU time limit exceeded, terminating
% 163.07/126.90 eprover: CPU time limit exceeded, terminating
% 166.03/128.95 eprover: CPU time limit exceeded, terminating
% 168.87/130.99 eprover: CPU time limit exceeded, terminating
% 171.77/133.04 eprover: CPU time limit exceeded, terminating
% 174.63/135.09 eprover: CPU time limit exceeded, terminating
% 177.48/137.13 eprover: CPU time limit exceeded, terminating
% 180.34/139.18 eprover: CPU time limit exceeded, terminating
% 183.22/141.23 eprover: CPU time limit exceeded, terminating
% 186.10/143.28 eprover: CPU time limit exceeded, terminating
% 189.00/145.33 eprover: CPU time limit exceeded, terminating
% 191.81/147.37 eprover: CPU time limit exceeded, terminating
% 194.77/149.42 eprover: CPU time limit exceeded, terminating
% 197.59/151.47 eprover: CPU time limit exceeded, terminating
% 200.53/153.52 eprover: CPU time limit exceeded, terminating
% 203.34/155.56 eprover: CPU time limit exceeded, terminating
% 206.27/157.61 eprover: CPU time limit exceeded, terminating
% 209.15/159.66 eprover: CPU time limit exceeded, terminating
% 212.01/161.71 eprover: CPU time limit exceeded, terminating
% 214.94/163.76 eprover: CPU time limit exceeded, terminating
% 217.87/165.81 eprover: CPU time limit exceeded, terminating
% 220.68/167.85 eprover: CPU time limit exceeded, terminating
% 223.65/169.90 eprover: CPU time limit exceeded, terminating
% 226.55/171.95 eprover: CPU time limit exceeded, terminating
% 229.41/173.99 eprover: CPU time limit exceeded, terminating
% 232.34/176.04 eprover: CPU time limit exceeded, terminating
% 235.27/178.09 eprover: CPU time limit exceeded, terminating
% 238.11/180.14 eprover: CPU time limit exceeded, terminating
% 241.00/182.18 eprover: CPU time limit exceeded, terminating
% 243.94/184.22 eprover: CPU time limit exceeded, terminating
% 246.83/186.27 eprover: CPU time limit exceeded, terminating
% 249.74/188.32 eprover: CPU time limit exceeded, terminating
% 252.64/190.36 eprover: CPU time limit exceeded, terminating
% 255.56/192.41 eprover: CPU time limit exceeded, terminating
% 258.46/194.46 eprover: CPU time limit exceeded, terminating
% 261.38/196.50 eprover: CPU time limit exceeded, terminating
% 264.20/198.55 eprover: CPU time limit exceeded, terminating
% 267.14/200.60 eprover: CPU time limit exceeded, terminating
% 270.02/202.65 eprover: CPU time limit exceeded, terminating
% 272.82/204.70 eprover: CPU time limit exceeded, terminating
% 275.80/206.74 eprover: CPU time limit exceeded, terminating
% 278.74/208.79 eprover: CPU time limit exceeded, terminating
% 281.68/210.84 eprover: CPU time limit exceeded, terminating
% 284.56/212.89 eprover: CPU time limit exceeded, terminating
% 287.49/214.93 eprover: CPU time limit exceeded, terminating
% 290.45/216.98 eprover: CPU time limit exceeded, terminating
% 293.39/219.03 eprover: CPU time limit exceeded, terminating
% 296.21/221.07 eprover: CPU time limit exceeded, terminating
% 299.18/223.12 eprover: CPU time limit exceeded, terminating
% 300.04/223.71 eprover: CPU time limit exceeded, terminating
% 300.04/223.72 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------