TSTP Solution File: HWV115-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV115-1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:41 EDT 2022
% Result : Timeout 286.74s 272.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : HWV115-1 : TPTP v8.1.0. Released v6.1.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n028.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Thu Jun 16 20:23:42 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.23/4.33 eprover: CPU time limit exceeded, terminating
% 6.39/6.35 eprover: CPU time limit exceeded, terminating
% 8.51/8.37 eprover: CPU time limit exceeded, terminating
% 10.67/10.38 eprover: CPU time limit exceeded, terminating
% 12.72/12.39 eprover: CPU time limit exceeded, terminating
% 14.85/14.41 eprover: CPU time limit exceeded, terminating
% 16.99/16.42 eprover: CPU time limit exceeded, terminating
% 19.11/18.43 eprover: CPU time limit exceeded, terminating
% 21.25/20.44 eprover: CPU time limit exceeded, terminating
% 23.34/22.46 eprover: CPU time limit exceeded, terminating
% 25.50/24.47 eprover: CPU time limit exceeded, terminating
% 27.57/26.48 eprover: CPU time limit exceeded, terminating
% 29.72/28.50 eprover: CPU time limit exceeded, terminating
% 31.89/30.51 eprover: CPU time limit exceeded, terminating
% 34.01/32.53 eprover: CPU time limit exceeded, terminating
% 36.09/34.54 eprover: CPU time limit exceeded, terminating
% 38.22/36.55 eprover: CPU time limit exceeded, terminating
% 40.30/38.56 eprover: CPU time limit exceeded, terminating
% 42.48/40.58 eprover: CPU time limit exceeded, terminating
% 44.66/42.59 eprover: CPU time limit exceeded, terminating
% 46.72/44.61 eprover: CPU time limit exceeded, terminating
% 48.90/46.62 eprover: CPU time limit exceeded, terminating
% 51.00/48.63 eprover: CPU time limit exceeded, terminating
% 53.13/50.65 eprover: CPU time limit exceeded, terminating
% 55.26/52.66 eprover: CPU time limit exceeded, terminating
% 57.36/54.68 eprover: CPU time limit exceeded, terminating
% 59.49/56.69 eprover: CPU time limit exceeded, terminating
% 61.63/58.70 eprover: CPU time limit exceeded, terminating
% 63.77/60.72 eprover: CPU time limit exceeded, terminating
% 65.87/62.73 eprover: CPU time limit exceeded, terminating
% 68.01/64.74 eprover: CPU time limit exceeded, terminating
% 70.16/66.76 eprover: CPU time limit exceeded, terminating
% 72.26/68.77 eprover: CPU time limit exceeded, terminating
% 74.43/70.78 eprover: CPU time limit exceeded, terminating
% 76.50/72.80 eprover: CPU time limit exceeded, terminating
% 78.65/74.81 eprover: CPU time limit exceeded, terminating
% 80.81/76.83 eprover: CPU time limit exceeded, terminating
% 82.86/78.84 eprover: CPU time limit exceeded, terminating
% 85.02/80.85 eprover: CPU time limit exceeded, terminating
% 87.17/82.87 eprover: CPU time limit exceeded, terminating
% 89.25/84.88 eprover: CPU time limit exceeded, terminating
% 91.41/86.90 eprover: CPU time limit exceeded, terminating
% 93.55/88.91 eprover: CPU time limit exceeded, terminating
% 95.65/90.92 eprover: CPU time limit exceeded, terminating
% 97.71/92.93 eprover: CPU time limit exceeded, terminating
% 99.91/94.95 eprover: CPU time limit exceeded, terminating
% 102.03/96.96 eprover: CPU time limit exceeded, terminating
% 104.17/98.97 eprover: CPU time limit exceeded, terminating
% 106.23/100.99 eprover: CPU time limit exceeded, terminating
% 108.41/103.00 eprover: CPU time limit exceeded, terminating
% 110.55/105.01 eprover: CPU time limit exceeded, terminating
% 112.66/107.03 eprover: CPU time limit exceeded, terminating
% 114.77/109.04 eprover: CPU time limit exceeded, terminating
% 116.90/111.05 eprover: CPU time limit exceeded, terminating
% 119.04/113.07 eprover: CPU time limit exceeded, terminating
% 121.19/115.08 eprover: CPU time limit exceeded, terminating
% 123.29/117.10 eprover: CPU time limit exceeded, terminating
% 125.43/119.11 eprover: CPU time limit exceeded, terminating
% 127.54/121.12 eprover: CPU time limit exceeded, terminating
% 129.68/123.14 eprover: CPU time limit exceeded, terminating
% 131.79/125.15 eprover: CPU time limit exceeded, terminating
% 133.94/127.16 eprover: CPU time limit exceeded, terminating
% 136.02/129.18 eprover: CPU time limit exceeded, terminating
% 138.15/131.19 eprover: CPU time limit exceeded, terminating
% 140.29/133.21 eprover: CPU time limit exceeded, terminating
% 142.37/135.22 eprover: CPU time limit exceeded, terminating
% 144.52/137.23 eprover: CPU time limit exceeded, terminating
% 146.69/139.24 eprover: CPU time limit exceeded, terminating
% 148.82/141.26 eprover: CPU time limit exceeded, terminating
% 150.92/143.27 eprover: CPU time limit exceeded, terminating
% 153.07/145.29 eprover: CPU time limit exceeded, terminating
% 155.14/147.30 eprover: CPU time limit exceeded, terminating
% 157.30/149.31 eprover: CPU time limit exceeded, terminating
% 159.36/151.32 eprover: CPU time limit exceeded, terminating
% 161.54/153.34 eprover: CPU time limit exceeded, terminating
% 163.65/155.35 eprover: CPU time limit exceeded, terminating
% 165.73/157.36 eprover: CPU time limit exceeded, terminating
% 167.85/159.37 eprover: CPU time limit exceeded, terminating
% 170.04/161.38 eprover: CPU time limit exceeded, terminating
% 172.09/163.39 eprover: CPU time limit exceeded, terminating
% 174.23/165.40 eprover: CPU time limit exceeded, terminating
% 176.32/167.41 eprover: CPU time limit exceeded, terminating
% 178.54/169.43 eprover: CPU time limit exceeded, terminating
% 180.64/171.44 eprover: CPU time limit exceeded, terminating
% 182.78/173.45 eprover: CPU time limit exceeded, terminating
% 184.85/175.46 eprover: CPU time limit exceeded, terminating
% 187.03/177.48 eprover: CPU time limit exceeded, terminating
% 189.15/179.49 eprover: CPU time limit exceeded, terminating
% 191.20/181.51 eprover: CPU time limit exceeded, terminating
% 193.41/183.52 eprover: CPU time limit exceeded, terminating
% 195.52/185.53 eprover: CPU time limit exceeded, terminating
% 197.65/187.54 eprover: CPU time limit exceeded, terminating
% 199.75/189.56 eprover: CPU time limit exceeded, terminating
% 201.92/191.57 eprover: CPU time limit exceeded, terminating
% 203.96/193.58 eprover: CPU time limit exceeded, terminating
% 206.16/195.59 eprover: CPU time limit exceeded, terminating
% 208.25/197.61 eprover: CPU time limit exceeded, terminating
% 210.37/199.62 eprover: CPU time limit exceeded, terminating
% 212.48/201.63 eprover: CPU time limit exceeded, terminating
% 214.58/203.64 eprover: CPU time limit exceeded, terminating
% 216.68/205.66 eprover: CPU time limit exceeded, terminating
% 218.80/207.67 eprover: CPU time limit exceeded, terminating
% 220.92/209.68 eprover: CPU time limit exceeded, terminating
% 223.09/211.69 eprover: CPU time limit exceeded, terminating
% 225.15/213.71 eprover: CPU time limit exceeded, terminating
% 227.26/215.72 eprover: CPU time limit exceeded, terminating
% 229.45/217.73 eprover: CPU time limit exceeded, terminating
% 231.58/219.74 eprover: CPU time limit exceeded, terminating
% 233.69/221.76 eprover: CPU time limit exceeded, terminating
% 235.85/223.77 eprover: CPU time limit exceeded, terminating
% 237.90/225.79 eprover: CPU time limit exceeded, terminating
% 240.09/227.80 eprover: CPU time limit exceeded, terminating
% 242.21/229.81 eprover: CPU time limit exceeded, terminating
% 244.33/231.82 eprover: CPU time limit exceeded, terminating
% 246.42/233.84 eprover: CPU time limit exceeded, terminating
% 248.55/235.85 eprover: CPU time limit exceeded, terminating
% 250.67/237.86 eprover: CPU time limit exceeded, terminating
% 252.79/239.87 eprover: CPU time limit exceeded, terminating
% 254.90/241.88 eprover: CPU time limit exceeded, terminating
% 257.00/243.90 eprover: CPU time limit exceeded, terminating
% 259.18/245.91 eprover: CPU time limit exceeded, terminating
% 261.23/247.92 eprover: CPU time limit exceeded, terminating
% 263.43/249.94 eprover: CPU time limit exceeded, terminating
% 265.55/251.95 eprover: CPU time limit exceeded, terminating
% 267.60/253.96 eprover: CPU time limit exceeded, terminating
% 269.81/255.98 eprover: CPU time limit exceeded, terminating
% 271.93/257.99 eprover: CPU time limit exceeded, terminating
% 274.04/260.00 eprover: CPU time limit exceeded, terminating
% 276.14/262.01 eprover: CPU time limit exceeded, terminating
% 278.27/264.03 eprover: CPU time limit exceeded, terminating
% 280.37/266.04 eprover: CPU time limit exceeded, terminating
% 282.47/268.06 eprover: CPU time limit exceeded, terminating
% 284.64/270.07 eprover: CPU time limit exceeded, terminating
% 286.74/272.08 eprover: CPU time limit exceeded, terminating
% 288.85/274.09 eprover: CPU time limit exceeded, terminating
% 291.01/276.11 eprover: CPU time limit exceeded, terminating
% 293.14/278.12 eprover: CPU time limit exceeded, terminating
% 295.27/280.13 eprover: CPU time limit exceeded, terminating
% 297.37/282.15 eprover: CPU time limit exceeded, terminating
% 299.51/284.17 eprover: CPU time limit exceeded, terminating
% 300.06/284.63 eprover: CPU time limit exceeded, terminating
% 300.06/284.65 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------