TSTP Solution File: HWV097+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV097+1 : TPTP v8.1.0. Released v6.1.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 : Sat Jul 16 16:30:26 EDT 2022
% Result : Timeout 287.82s 241.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : HWV097+1 : TPTP v8.1.0. Released v6.1.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n003.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jun 17 09:04:42 EDT 2022
% 0.14/0.34 % CPUTime :
% 18.45/18.16 eprover: CPU time limit exceeded, terminating
% 20.85/20.21 eprover: CPU time limit exceeded, terminating
% 23.31/22.23 eprover: CPU time limit exceeded, terminating
% 25.77/24.26 eprover: CPU time limit exceeded, terminating
% 28.24/26.29 eprover: CPU time limit exceeded, terminating
% 30.67/28.32 eprover: CPU time limit exceeded, terminating
% 33.12/30.34 eprover: CPU time limit exceeded, terminating
% 35.56/32.37 eprover: CPU time limit exceeded, terminating
% 38.04/34.42 eprover: CPU time limit exceeded, terminating
% 40.52/36.45 eprover: CPU time limit exceeded, terminating
% 43.01/38.49 eprover: CPU time limit exceeded, terminating
% 45.44/40.53 eprover: CPU time limit exceeded, terminating
% 47.95/42.56 eprover: CPU time limit exceeded, terminating
% 50.45/44.59 eprover: CPU time limit exceeded, terminating
% 52.96/46.62 eprover: CPU time limit exceeded, terminating
% 55.38/48.65 eprover: CPU time limit exceeded, terminating
% 57.88/50.68 eprover: CPU time limit exceeded, terminating
% 60.43/52.71 eprover: CPU time limit exceeded, terminating
% 62.88/54.74 eprover: CPU time limit exceeded, terminating
% 65.36/56.77 eprover: CPU time limit exceeded, terminating
% 67.89/58.79 eprover: CPU time limit exceeded, terminating
% 70.38/60.83 eprover: CPU time limit exceeded, terminating
% 72.82/62.85 eprover: CPU time limit exceeded, terminating
% 75.28/64.88 eprover: CPU time limit exceeded, terminating
% 77.78/66.91 eprover: CPU time limit exceeded, terminating
% 80.23/68.94 eprover: CPU time limit exceeded, terminating
% 82.68/70.96 eprover: CPU time limit exceeded, terminating
% 85.15/72.99 eprover: CPU time limit exceeded, terminating
% 87.60/75.01 eprover: CPU time limit exceeded, terminating
% 89.92/77.04 eprover: CPU time limit exceeded, terminating
% 92.38/79.06 eprover: CPU time limit exceeded, terminating
% 94.85/81.08 eprover: CPU time limit exceeded, terminating
% 97.22/83.11 eprover: CPU time limit exceeded, terminating
% 99.71/85.14 eprover: CPU time limit exceeded, terminating
% 102.18/87.17 eprover: CPU time limit exceeded, terminating
% 104.62/89.20 eprover: CPU time limit exceeded, terminating
% 107.07/91.23 eprover: CPU time limit exceeded, terminating
% 109.58/93.25 eprover: CPU time limit exceeded, terminating
% 112.01/95.28 eprover: CPU time limit exceeded, terminating
% 114.49/97.31 eprover: CPU time limit exceeded, terminating
% 116.86/99.33 eprover: CPU time limit exceeded, terminating
% 119.36/101.37 eprover: CPU time limit exceeded, terminating
% 121.80/103.40 eprover: CPU time limit exceeded, terminating
% 124.27/105.42 eprover: CPU time limit exceeded, terminating
% 126.67/107.45 eprover: CPU time limit exceeded, terminating
% 129.12/109.48 eprover: CPU time limit exceeded, terminating
% 131.61/111.51 eprover: CPU time limit exceeded, terminating
% 134.05/113.54 eprover: CPU time limit exceeded, terminating
% 136.43/115.57 eprover: CPU time limit exceeded, terminating
% 138.90/117.60 eprover: CPU time limit exceeded, terminating
% 141.30/119.62 eprover: CPU time limit exceeded, terminating
% 143.75/121.65 eprover: CPU time limit exceeded, terminating
% 146.12/123.68 eprover: CPU time limit exceeded, terminating
% 148.64/125.70 eprover: CPU time limit exceeded, terminating
% 151.00/127.73 eprover: CPU time limit exceeded, terminating
% 153.50/129.77 eprover: CPU time limit exceeded, terminating
% 155.99/131.80 eprover: CPU time limit exceeded, terminating
% 158.39/133.82 eprover: CPU time limit exceeded, terminating
% 160.80/135.84 eprover: CPU time limit exceeded, terminating
% 163.28/137.89 eprover: CPU time limit exceeded, terminating
% 165.62/139.91 eprover: CPU time limit exceeded, terminating
% 168.21/141.94 eprover: CPU time limit exceeded, terminating
% 170.64/143.97 eprover: CPU time limit exceeded, terminating
% 173.04/146.00 eprover: CPU time limit exceeded, terminating
% 175.52/148.03 eprover: CPU time limit exceeded, terminating
% 177.94/150.05 eprover: CPU time limit exceeded, terminating
% 180.42/152.08 eprover: CPU time limit exceeded, terminating
% 182.76/154.11 eprover: CPU time limit exceeded, terminating
% 185.25/156.13 eprover: CPU time limit exceeded, terminating
% 187.69/158.16 eprover: CPU time limit exceeded, terminating
% 190.19/160.18 eprover: CPU time limit exceeded, terminating
% 192.63/162.21 eprover: CPU time limit exceeded, terminating
% 195.08/164.24 eprover: CPU time limit exceeded, terminating
% 197.56/166.26 eprover: CPU time limit exceeded, terminating
% 199.99/168.29 eprover: CPU time limit exceeded, terminating
% 202.39/170.32 eprover: CPU time limit exceeded, terminating
% 204.84/172.34 eprover: CPU time limit exceeded, terminating
% 207.31/174.37 eprover: CPU time limit exceeded, terminating
% 209.75/176.40 eprover: CPU time limit exceeded, terminating
% 212.18/178.43 eprover: CPU time limit exceeded, terminating
% 214.69/180.45 eprover: CPU time limit exceeded, terminating
% 217.19/182.48 eprover: CPU time limit exceeded, terminating
% 219.60/184.51 eprover: CPU time limit exceeded, terminating
% 222.15/186.54 eprover: CPU time limit exceeded, terminating
% 224.57/188.57 eprover: CPU time limit exceeded, terminating
% 226.96/190.59 eprover: CPU time limit exceeded, terminating
% 229.43/192.62 eprover: CPU time limit exceeded, terminating
% 231.91/194.66 eprover: CPU time limit exceeded, terminating
% 234.22/196.68 eprover: CPU time limit exceeded, terminating
% 236.64/198.71 eprover: CPU time limit exceeded, terminating
% 239.14/200.74 eprover: CPU time limit exceeded, terminating
% 241.59/202.77 eprover: CPU time limit exceeded, terminating
% 244.01/204.80 eprover: CPU time limit exceeded, terminating
% 246.40/206.82 eprover: CPU time limit exceeded, terminating
% 248.90/208.85 eprover: CPU time limit exceeded, terminating
% 251.35/210.87 eprover: CPU time limit exceeded, terminating
% 253.78/212.91 eprover: CPU time limit exceeded, terminating
% 256.24/214.94 eprover: CPU time limit exceeded, terminating
% 258.62/216.96 eprover: CPU time limit exceeded, terminating
% 261.09/218.99 eprover: CPU time limit exceeded, terminating
% 263.49/221.02 eprover: CPU time limit exceeded, terminating
% 265.96/223.05 eprover: CPU time limit exceeded, terminating
% 268.37/225.08 eprover: CPU time limit exceeded, terminating
% 270.79/227.10 eprover: CPU time limit exceeded, terminating
% 273.20/229.13 eprover: CPU time limit exceeded, terminating
% 275.68/231.16 eprover: CPU time limit exceeded, terminating
% 278.10/233.19 eprover: CPU time limit exceeded, terminating
% 280.54/235.21 eprover: CPU time limit exceeded, terminating
% 283.01/237.24 eprover: CPU time limit exceeded, terminating
% 285.43/239.27 eprover: CPU time limit exceeded, terminating
% 287.82/241.30 eprover: CPU time limit exceeded, terminating
% 290.29/243.33 eprover: CPU time limit exceeded, terminating
% 292.65/245.36 eprover: CPU time limit exceeded, terminating
% 295.11/247.39 eprover: CPU time limit exceeded, terminating
% 297.48/249.42 eprover: CPU time limit exceeded, terminating
% 299.93/251.45 eprover: CPU time limit exceeded, terminating
% 300.27/251.76 eprover: CPU time limit exceeded, terminating
% 300.27/251.78 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------