TSTP Solution File: HWV068-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV068-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:10 EDT 2022
% Result : Timeout 286.57s 216.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : HWV068-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n006.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 00:29:56 EDT 2022
% 0.13/0.35 % CPUTime :
% 20.65/20.16 eprover: CPU time limit exceeded, terminating
% 23.80/22.53 eprover: CPU time limit exceeded, terminating
% 26.50/24.56 eprover: CPU time limit exceeded, terminating
% 29.16/26.58 eprover: CPU time limit exceeded, terminating
% 31.94/28.60 eprover: CPU time limit exceeded, terminating
% 34.71/30.63 eprover: CPU time limit exceeded, terminating
% 37.47/32.65 eprover: CPU time limit exceeded, terminating
% 40.15/34.68 eprover: CPU time limit exceeded, terminating
% 42.91/36.70 eprover: CPU time limit exceeded, terminating
% 45.68/38.73 eprover: CPU time limit exceeded, terminating
% 48.38/40.75 eprover: CPU time limit exceeded, terminating
% 51.12/42.78 eprover: CPU time limit exceeded, terminating
% 53.92/44.80 eprover: CPU time limit exceeded, terminating
% 56.65/46.83 eprover: CPU time limit exceeded, terminating
% 59.44/48.85 eprover: CPU time limit exceeded, terminating
% 62.15/50.88 eprover: CPU time limit exceeded, terminating
% 64.93/52.90 eprover: CPU time limit exceeded, terminating
% 67.65/54.93 eprover: CPU time limit exceeded, terminating
% 70.42/56.95 eprover: CPU time limit exceeded, terminating
% 73.09/58.98 eprover: CPU time limit exceeded, terminating
% 75.90/61.00 eprover: CPU time limit exceeded, terminating
% 78.65/63.03 eprover: CPU time limit exceeded, terminating
% 81.38/65.05 eprover: CPU time limit exceeded, terminating
% 84.15/67.08 eprover: CPU time limit exceeded, terminating
% 86.90/69.10 eprover: CPU time limit exceeded, terminating
% 89.56/71.13 eprover: CPU time limit exceeded, terminating
% 92.32/73.15 eprover: CPU time limit exceeded, terminating
% 95.00/75.18 eprover: CPU time limit exceeded, terminating
% 97.77/77.20 eprover: CPU time limit exceeded, terminating
% 100.50/79.23 eprover: CPU time limit exceeded, terminating
% 103.24/81.25 eprover: CPU time limit exceeded, terminating
% 105.94/83.28 eprover: CPU time limit exceeded, terminating
% 108.73/85.30 eprover: CPU time limit exceeded, terminating
% 111.41/87.33 eprover: CPU time limit exceeded, terminating
% 114.15/89.35 eprover: CPU time limit exceeded, terminating
% 116.93/91.38 eprover: CPU time limit exceeded, terminating
% 119.67/93.40 eprover: CPU time limit exceeded, terminating
% 122.39/95.43 eprover: CPU time limit exceeded, terminating
% 125.18/97.45 eprover: CPU time limit exceeded, terminating
% 127.90/99.48 eprover: CPU time limit exceeded, terminating
% 130.59/101.50 eprover: CPU time limit exceeded, terminating
% 133.30/103.53 eprover: CPU time limit exceeded, terminating
% 136.04/105.55 eprover: CPU time limit exceeded, terminating
% 138.77/107.58 eprover: CPU time limit exceeded, terminating
% 141.53/109.60 eprover: CPU time limit exceeded, terminating
% 144.26/111.63 eprover: CPU time limit exceeded, terminating
% 146.96/113.65 eprover: CPU time limit exceeded, terminating
% 149.72/115.68 eprover: CPU time limit exceeded, terminating
% 152.44/117.70 eprover: CPU time limit exceeded, terminating
% 155.19/119.73 eprover: CPU time limit exceeded, terminating
% 157.93/121.75 eprover: CPU time limit exceeded, terminating
% 160.64/123.78 eprover: CPU time limit exceeded, terminating
% 163.39/125.80 eprover: CPU time limit exceeded, terminating
% 166.12/127.83 eprover: CPU time limit exceeded, terminating
% 168.89/129.85 eprover: CPU time limit exceeded, terminating
% 171.61/131.88 eprover: CPU time limit exceeded, terminating
% 174.29/133.90 eprover: CPU time limit exceeded, terminating
% 177.05/135.93 eprover: CPU time limit exceeded, terminating
% 179.84/137.96 eprover: CPU time limit exceeded, terminating
% 182.57/139.98 eprover: CPU time limit exceeded, terminating
% 185.31/142.01 eprover: CPU time limit exceeded, terminating
% 188.00/144.03 eprover: CPU time limit exceeded, terminating
% 190.77/146.06 eprover: CPU time limit exceeded, terminating
% 193.49/148.08 eprover: CPU time limit exceeded, terminating
% 196.24/150.11 eprover: CPU time limit exceeded, terminating
% 198.97/152.13 eprover: CPU time limit exceeded, terminating
% 201.72/154.16 eprover: CPU time limit exceeded, terminating
% 204.43/156.18 eprover: CPU time limit exceeded, terminating
% 207.19/158.21 eprover: CPU time limit exceeded, terminating
% 209.96/160.23 eprover: CPU time limit exceeded, terminating
% 212.67/162.26 eprover: CPU time limit exceeded, terminating
% 215.41/164.28 eprover: CPU time limit exceeded, terminating
% 218.09/166.31 eprover: CPU time limit exceeded, terminating
% 220.84/168.33 eprover: CPU time limit exceeded, terminating
% 223.66/170.36 eprover: CPU time limit exceeded, terminating
% 226.40/172.38 eprover: CPU time limit exceeded, terminating
% 229.11/174.41 eprover: CPU time limit exceeded, terminating
% 231.88/176.43 eprover: CPU time limit exceeded, terminating
% 234.59/178.46 eprover: CPU time limit exceeded, terminating
% 237.37/180.48 eprover: CPU time limit exceeded, terminating
% 240.07/182.51 eprover: CPU time limit exceeded, terminating
% 242.82/184.53 eprover: CPU time limit exceeded, terminating
% 245.50/186.56 eprover: CPU time limit exceeded, terminating
% 248.27/188.58 eprover: CPU time limit exceeded, terminating
% 251.03/190.61 eprover: CPU time limit exceeded, terminating
% 253.77/192.64 eprover: CPU time limit exceeded, terminating
% 256.50/194.66 eprover: CPU time limit exceeded, terminating
% 259.25/196.69 eprover: CPU time limit exceeded, terminating
% 262.00/198.71 eprover: CPU time limit exceeded, terminating
% 264.68/200.74 eprover: CPU time limit exceeded, terminating
% 267.37/202.76 eprover: CPU time limit exceeded, terminating
% 270.20/204.79 eprover: CPU time limit exceeded, terminating
% 272.84/206.81 eprover: CPU time limit exceeded, terminating
% 275.63/208.84 eprover: CPU time limit exceeded, terminating
% 278.38/210.86 eprover: CPU time limit exceeded, terminating
% 281.11/212.89 eprover: CPU time limit exceeded, terminating
% 283.81/214.91 eprover: CPU time limit exceeded, terminating
% 286.57/216.94 eprover: CPU time limit exceeded, terminating
% 289.24/218.96 eprover: CPU time limit exceeded, terminating
% 292.02/220.99 eprover: CPU time limit exceeded, terminating
% 294.82/223.01 eprover: CPU time limit exceeded, terminating
% 297.55/225.04 eprover: CPU time limit exceeded, terminating
% 300.03/226.83 eprover: CPU time limit exceeded, terminating
% 300.03/226.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------