TSTP Solution File: HWV083-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV083-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:16 EDT 2022
% Result : Timeout 286.26s 234.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : HWV083-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jun 17 05:07:33 EDT 2022
% 0.12/0.33 % CPUTime :
% 4.83/4.90 eprover: CPU time limit exceeded, terminating
% 9.25/8.89 eprover: CPU time limit exceeded, terminating
% 11.66/10.90 eprover: CPU time limit exceeded, terminating
% 14.09/12.92 eprover: CPU time limit exceeded, terminating
% 16.47/14.93 eprover: CPU time limit exceeded, terminating
% 18.90/16.95 eprover: CPU time limit exceeded, terminating
% 21.36/18.96 eprover: CPU time limit exceeded, terminating
% 23.72/20.97 eprover: CPU time limit exceeded, terminating
% 26.15/22.99 eprover: CPU time limit exceeded, terminating
% 28.70/25.00 eprover: CPU time limit exceeded, terminating
% 31.09/27.01 eprover: CPU time limit exceeded, terminating
% 33.49/29.03 eprover: CPU time limit exceeded, terminating
% 35.94/31.04 eprover: CPU time limit exceeded, terminating
% 38.34/33.05 eprover: CPU time limit exceeded, terminating
% 40.73/35.07 eprover: CPU time limit exceeded, terminating
% 43.20/37.08 eprover: CPU time limit exceeded, terminating
% 45.53/39.09 eprover: CPU time limit exceeded, terminating
% 49.94/41.11 eprover: CPU time limit exceeded, terminating
% 52.51/43.12 eprover: CPU time limit exceeded, terminating
% 54.88/45.13 eprover: CPU time limit exceeded, terminating
% 57.31/47.15 eprover: CPU time limit exceeded, terminating
% 59.73/49.16 eprover: CPU time limit exceeded, terminating
% 62.12/51.17 eprover: CPU time limit exceeded, terminating
% 64.60/53.18 eprover: CPU time limit exceeded, terminating
% 66.93/55.20 eprover: CPU time limit exceeded, terminating
% 69.41/57.21 eprover: CPU time limit exceeded, terminating
% 71.83/59.22 eprover: CPU time limit exceeded, terminating
% 74.25/61.24 eprover: CPU time limit exceeded, terminating
% 76.69/63.25 eprover: CPU time limit exceeded, terminating
% 79.12/65.27 eprover: CPU time limit exceeded, terminating
% 81.50/67.28 eprover: CPU time limit exceeded, terminating
% 83.94/69.30 eprover: CPU time limit exceeded, terminating
% 86.33/71.31 eprover: CPU time limit exceeded, terminating
% 88.75/73.33 eprover: CPU time limit exceeded, terminating
% 91.18/75.34 eprover: CPU time limit exceeded, terminating
% 93.55/77.35 eprover: CPU time limit exceeded, terminating
% 95.97/79.37 eprover: CPU time limit exceeded, terminating
% 98.37/81.38 eprover: CPU time limit exceeded, terminating
% 100.79/83.39 eprover: CPU time limit exceeded, terminating
% 103.24/85.41 eprover: CPU time limit exceeded, terminating
% 105.73/87.42 eprover: CPU time limit exceeded, terminating
% 108.11/89.43 eprover: CPU time limit exceeded, terminating
% 110.54/91.45 eprover: CPU time limit exceeded, terminating
% 112.97/93.46 eprover: CPU time limit exceeded, terminating
% 115.47/95.48 eprover: CPU time limit exceeded, terminating
% 117.82/97.49 eprover: CPU time limit exceeded, terminating
% 120.25/99.51 eprover: CPU time limit exceeded, terminating
% 122.76/101.52 eprover: CPU time limit exceeded, terminating
% 125.17/103.53 eprover: CPU time limit exceeded, terminating
% 127.59/105.55 eprover: CPU time limit exceeded, terminating
% 130.03/107.56 eprover: CPU time limit exceeded, terminating
% 132.41/109.58 eprover: CPU time limit exceeded, terminating
% 134.84/111.59 eprover: CPU time limit exceeded, terminating
% 137.23/113.60 eprover: CPU time limit exceeded, terminating
% 139.75/115.62 eprover: CPU time limit exceeded, terminating
% 142.16/117.63 eprover: CPU time limit exceeded, terminating
% 144.58/119.64 eprover: CPU time limit exceeded, terminating
% 146.99/121.66 eprover: CPU time limit exceeded, terminating
% 149.37/123.67 eprover: CPU time limit exceeded, terminating
% 151.80/125.69 eprover: CPU time limit exceeded, terminating
% 154.30/127.70 eprover: CPU time limit exceeded, terminating
% 156.70/129.71 eprover: CPU time limit exceeded, terminating
% 159.12/131.73 eprover: CPU time limit exceeded, terminating
% 161.55/133.74 eprover: CPU time limit exceeded, terminating
% 163.95/135.75 eprover: CPU time limit exceeded, terminating
% 166.32/137.77 eprover: CPU time limit exceeded, terminating
% 168.80/139.78 eprover: CPU time limit exceeded, terminating
% 171.19/141.79 eprover: CPU time limit exceeded, terminating
% 173.64/143.81 eprover: CPU time limit exceeded, terminating
% 176.07/145.82 eprover: CPU time limit exceeded, terminating
% 178.49/147.83 eprover: CPU time limit exceeded, terminating
% 180.91/149.85 eprover: CPU time limit exceeded, terminating
% 183.30/151.86 eprover: CPU time limit exceeded, terminating
% 185.73/153.87 eprover: CPU time limit exceeded, terminating
% 188.19/155.89 eprover: CPU time limit exceeded, terminating
% 190.60/157.90 eprover: CPU time limit exceeded, terminating
% 193.02/159.91 eprover: CPU time limit exceeded, terminating
% 195.43/161.92 eprover: CPU time limit exceeded, terminating
% 197.86/163.94 eprover: CPU time limit exceeded, terminating
% 200.26/165.95 eprover: CPU time limit exceeded, terminating
% 202.69/167.96 eprover: CPU time limit exceeded, terminating
% 205.12/169.97 eprover: CPU time limit exceeded, terminating
% 207.50/171.98 eprover: CPU time limit exceeded, terminating
% 209.93/174.00 eprover: CPU time limit exceeded, terminating
% 212.31/176.01 eprover: CPU time limit exceeded, terminating
% 214.80/178.02 eprover: CPU time limit exceeded, terminating
% 217.20/180.03 eprover: CPU time limit exceeded, terminating
% 219.56/182.04 eprover: CPU time limit exceeded, terminating
% 221.98/184.06 eprover: CPU time limit exceeded, terminating
% 226.42/186.07 eprover: CPU time limit exceeded, terminating
% 228.83/188.08 eprover: CPU time limit exceeded, terminating
% 231.27/190.10 eprover: CPU time limit exceeded, terminating
% 233.70/192.12 eprover: CPU time limit exceeded, terminating
% 236.10/194.13 eprover: CPU time limit exceeded, terminating
% 238.52/196.14 eprover: CPU time limit exceeded, terminating
% 240.95/198.16 eprover: CPU time limit exceeded, terminating
% 243.37/200.17 eprover: CPU time limit exceeded, terminating
% 245.72/202.19 eprover: CPU time limit exceeded, terminating
% 248.18/204.20 eprover: CPU time limit exceeded, terminating
% 250.62/206.22 eprover: CPU time limit exceeded, terminating
% 253.04/208.23 eprover: CPU time limit exceeded, terminating
% 255.48/210.24 eprover: CPU time limit exceeded, terminating
% 257.83/212.26 eprover: CPU time limit exceeded, terminating
% 260.27/214.27 eprover: CPU time limit exceeded, terminating
% 262.71/216.28 eprover: CPU time limit exceeded, terminating
% 265.04/218.30 eprover: CPU time limit exceeded, terminating
% 267.49/220.31 eprover: CPU time limit exceeded, terminating
% 269.93/222.32 eprover: CPU time limit exceeded, terminating
% 272.28/224.33 eprover: CPU time limit exceeded, terminating
% 274.73/226.35 eprover: CPU time limit exceeded, terminating
% 277.08/228.36 eprover: CPU time limit exceeded, terminating
% 281.42/230.38 eprover: CPU time limit exceeded, terminating
% 283.83/232.39 eprover: CPU time limit exceeded, terminating
% 286.26/234.40 eprover: CPU time limit exceeded, terminating
% 288.71/236.42 eprover: CPU time limit exceeded, terminating
% 291.04/238.43 eprover: CPU time limit exceeded, terminating
% 293.54/240.45 eprover: CPU time limit exceeded, terminating
% 295.96/242.46 eprover: CPU time limit exceeded, terminating
% 298.41/244.47 eprover: CPU time limit exceeded, terminating
% 300.02/245.68 eprover: CPU time limit exceeded, terminating
% 300.02/245.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------