TSTP Solution File: HWV122-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV122-1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:47 EDT 2022
% Result : Timeout 287.66s 236.69s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.13 % Problem : HWV122-1 : TPTP v8.1.0. Released v6.1.0.
% 0.11/0.15 % Command : run_infinox %s
% 0.13/0.36 % Computer : n020.cluster.edu
% 0.13/0.36 % Model : x86_64 x86_64
% 0.13/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.36 % Memory : 8042.1875MB
% 0.13/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.36 % CPULimit : 300
% 0.13/0.36 % WCLimit : 600
% 0.13/0.36 % DateTime : Thu Jun 16 22:23:34 EDT 2022
% 0.13/0.36 % CPUTime :
% 12.78/12.41 eprover: CPU time limit exceeded, terminating
% 15.23/14.44 eprover: CPU time limit exceeded, terminating
% 17.67/16.46 eprover: CPU time limit exceeded, terminating
% 20.24/18.48 eprover: CPU time limit exceeded, terminating
% 22.74/20.50 eprover: CPU time limit exceeded, terminating
% 25.20/22.52 eprover: CPU time limit exceeded, terminating
% 27.74/24.54 eprover: CPU time limit exceeded, terminating
% 30.17/26.56 eprover: CPU time limit exceeded, terminating
% 32.72/28.58 eprover: CPU time limit exceeded, terminating
% 35.10/30.60 eprover: CPU time limit exceeded, terminating
% 37.68/32.62 eprover: CPU time limit exceeded, terminating
% 40.15/34.64 eprover: CPU time limit exceeded, terminating
% 42.60/36.66 eprover: CPU time limit exceeded, terminating
% 45.08/38.68 eprover: CPU time limit exceeded, terminating
% 47.60/40.70 eprover: CPU time limit exceeded, terminating
% 50.09/42.72 eprover: CPU time limit exceeded, terminating
% 52.54/44.74 eprover: CPU time limit exceeded, terminating
% 55.03/46.77 eprover: CPU time limit exceeded, terminating
% 57.50/48.79 eprover: CPU time limit exceeded, terminating
% 59.96/50.81 eprover: CPU time limit exceeded, terminating
% 62.47/52.83 eprover: CPU time limit exceeded, terminating
% 64.92/54.85 eprover: CPU time limit exceeded, terminating
% 67.37/56.87 eprover: CPU time limit exceeded, terminating
% 69.86/58.89 eprover: CPU time limit exceeded, terminating
% 72.37/60.91 eprover: CPU time limit exceeded, terminating
% 74.87/62.93 eprover: CPU time limit exceeded, terminating
% 77.31/64.95 eprover: CPU time limit exceeded, terminating
% 79.79/66.97 eprover: CPU time limit exceeded, terminating
% 82.32/68.99 eprover: CPU time limit exceeded, terminating
% 84.78/71.02 eprover: CPU time limit exceeded, terminating
% 87.25/73.04 eprover: CPU time limit exceeded, terminating
% 89.70/75.06 eprover: CPU time limit exceeded, terminating
% 92.15/77.08 eprover: CPU time limit exceeded, terminating
% 94.68/79.10 eprover: CPU time limit exceeded, terminating
% 97.15/81.12 eprover: CPU time limit exceeded, terminating
% 99.65/83.14 eprover: CPU time limit exceeded, terminating
% 102.12/85.16 eprover: CPU time limit exceeded, terminating
% 104.54/87.18 eprover: CPU time limit exceeded, terminating
% 107.10/89.20 eprover: CPU time limit exceeded, terminating
% 109.58/91.22 eprover: CPU time limit exceeded, terminating
% 112.06/93.24 eprover: CPU time limit exceeded, terminating
% 114.48/95.26 eprover: CPU time limit exceeded, terminating
% 116.95/97.28 eprover: CPU time limit exceeded, terminating
% 119.43/99.30 eprover: CPU time limit exceeded, terminating
% 122.00/101.32 eprover: CPU time limit exceeded, terminating
% 124.45/103.34 eprover: CPU time limit exceeded, terminating
% 126.91/105.36 eprover: CPU time limit exceeded, terminating
% 129.39/107.39 eprover: CPU time limit exceeded, terminating
% 131.93/109.41 eprover: CPU time limit exceeded, terminating
% 134.37/111.43 eprover: CPU time limit exceeded, terminating
% 136.85/113.45 eprover: CPU time limit exceeded, terminating
% 139.31/115.47 eprover: CPU time limit exceeded, terminating
% 141.84/117.49 eprover: CPU time limit exceeded, terminating
% 144.28/119.51 eprover: CPU time limit exceeded, terminating
% 146.77/121.53 eprover: CPU time limit exceeded, terminating
% 149.22/123.55 eprover: CPU time limit exceeded, terminating
% 151.73/125.57 eprover: CPU time limit exceeded, terminating
% 154.12/127.59 eprover: CPU time limit exceeded, terminating
% 156.65/129.61 eprover: CPU time limit exceeded, terminating
% 159.13/131.63 eprover: CPU time limit exceeded, terminating
% 161.56/133.65 eprover: CPU time limit exceeded, terminating
% 164.04/135.67 eprover: CPU time limit exceeded, terminating
% 166.55/137.69 eprover: CPU time limit exceeded, terminating
% 168.95/139.71 eprover: CPU time limit exceeded, terminating
% 171.49/141.73 eprover: CPU time limit exceeded, terminating
% 173.96/143.75 eprover: CPU time limit exceeded, terminating
% 176.37/145.78 eprover: CPU time limit exceeded, terminating
% 178.86/147.80 eprover: CPU time limit exceeded, terminating
% 181.31/149.82 eprover: CPU time limit exceeded, terminating
% 183.74/151.84 eprover: CPU time limit exceeded, terminating
% 186.24/153.86 eprover: CPU time limit exceeded, terminating
% 188.78/155.88 eprover: CPU time limit exceeded, terminating
% 191.17/157.90 eprover: CPU time limit exceeded, terminating
% 193.70/159.92 eprover: CPU time limit exceeded, terminating
% 196.13/161.94 eprover: CPU time limit exceeded, terminating
% 198.65/163.96 eprover: CPU time limit exceeded, terminating
% 201.13/165.98 eprover: CPU time limit exceeded, terminating
% 203.63/168.00 eprover: CPU time limit exceeded, terminating
% 206.05/170.02 eprover: CPU time limit exceeded, terminating
% 208.53/172.04 eprover: CPU time limit exceeded, terminating
% 210.95/174.07 eprover: CPU time limit exceeded, terminating
% 213.45/176.09 eprover: CPU time limit exceeded, terminating
% 215.92/178.11 eprover: CPU time limit exceeded, terminating
% 218.45/180.13 eprover: CPU time limit exceeded, terminating
% 220.92/182.15 eprover: CPU time limit exceeded, terminating
% 223.34/184.17 eprover: CPU time limit exceeded, terminating
% 225.87/186.19 eprover: CPU time limit exceeded, terminating
% 228.34/188.21 eprover: CPU time limit exceeded, terminating
% 230.80/190.23 eprover: CPU time limit exceeded, terminating
% 233.25/192.25 eprover: CPU time limit exceeded, terminating
% 235.72/194.27 eprover: CPU time limit exceeded, terminating
% 238.23/196.29 eprover: CPU time limit exceeded, terminating
% 240.69/198.31 eprover: CPU time limit exceeded, terminating
% 243.18/200.33 eprover: CPU time limit exceeded, terminating
% 245.63/202.35 eprover: CPU time limit exceeded, terminating
% 248.09/204.37 eprover: CPU time limit exceeded, terminating
% 250.54/206.39 eprover: CPU time limit exceeded, terminating
% 253.08/208.41 eprover: CPU time limit exceeded, terminating
% 255.55/210.43 eprover: CPU time limit exceeded, terminating
% 258.04/212.45 eprover: CPU time limit exceeded, terminating
% 260.47/214.48 eprover: CPU time limit exceeded, terminating
% 263.00/216.50 eprover: CPU time limit exceeded, terminating
% 265.42/218.51 eprover: CPU time limit exceeded, terminating
% 267.91/220.53 eprover: CPU time limit exceeded, terminating
% 270.39/222.55 eprover: CPU time limit exceeded, terminating
% 272.83/224.57 eprover: CPU time limit exceeded, terminating
% 275.37/226.59 eprover: CPU time limit exceeded, terminating
% 277.83/228.61 eprover: CPU time limit exceeded, terminating
% 280.33/230.63 eprover: CPU time limit exceeded, terminating
% 282.73/232.65 eprover: CPU time limit exceeded, terminating
% 285.20/234.67 eprover: CPU time limit exceeded, terminating
% 287.66/236.69 eprover: CPU time limit exceeded, terminating
% 290.18/238.71 eprover: CPU time limit exceeded, terminating
% 292.64/240.73 eprover: CPU time limit exceeded, terminating
% 295.14/242.75 eprover: CPU time limit exceeded, terminating
% 297.62/244.78 eprover: CPU time limit exceeded, terminating
% 300.05/246.73 eprover: CPU time limit exceeded, terminating
% 300.05/246.74 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------