TSTP Solution File: SWV626-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV626-1 : TPTP v8.1.0. Released v4.1.0.
% 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 : Wed Jul 20 18:51:05 EDT 2022
% Result : Timeout 287.66s 278.78s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWV626-1 : TPTP v8.1.0. Released v4.1.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n006.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 : Wed Jun 15 18:28:56 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.87/3.07 eprover: CPU time limit exceeded, terminating
% 4.97/5.08 eprover: CPU time limit exceeded, terminating
% 7.06/7.09 eprover: CPU time limit exceeded, terminating
% 9.07/9.11 eprover: CPU time limit exceeded, terminating
% 11.16/11.12 eprover: CPU time limit exceeded, terminating
% 13.21/13.13 eprover: CPU time limit exceeded, terminating
% 15.27/15.14 eprover: CPU time limit exceeded, terminating
% 17.35/17.15 eprover: CPU time limit exceeded, terminating
% 19.44/19.17 eprover: CPU time limit exceeded, terminating
% 21.45/21.18 eprover: CPU time limit exceeded, terminating
% 23.53/23.19 eprover: CPU time limit exceeded, terminating
% 25.61/25.20 eprover: CPU time limit exceeded, terminating
% 27.70/27.21 eprover: CPU time limit exceeded, terminating
% 29.77/29.23 eprover: CPU time limit exceeded, terminating
% 31.82/31.24 eprover: CPU time limit exceeded, terminating
% 33.90/33.25 eprover: CPU time limit exceeded, terminating
% 35.94/35.26 eprover: CPU time limit exceeded, terminating
% 38.01/37.27 eprover: CPU time limit exceeded, terminating
% 40.10/39.29 eprover: CPU time limit exceeded, terminating
% 42.11/41.30 eprover: CPU time limit exceeded, terminating
% 44.18/43.31 eprover: CPU time limit exceeded, terminating
% 46.29/45.32 eprover: CPU time limit exceeded, terminating
% 48.35/47.33 eprover: CPU time limit exceeded, terminating
% 50.43/49.35 eprover: CPU time limit exceeded, terminating
% 52.43/51.36 eprover: CPU time limit exceeded, terminating
% 54.55/53.37 eprover: CPU time limit exceeded, terminating
% 56.64/55.38 eprover: CPU time limit exceeded, terminating
% 58.65/57.39 eprover: CPU time limit exceeded, terminating
% 60.75/59.41 eprover: CPU time limit exceeded, terminating
% 62.75/61.42 eprover: CPU time limit exceeded, terminating
% 64.84/63.43 eprover: CPU time limit exceeded, terminating
% 66.96/65.44 eprover: CPU time limit exceeded, terminating
% 69.03/67.45 eprover: CPU time limit exceeded, terminating
% 71.09/69.47 eprover: CPU time limit exceeded, terminating
% 73.16/71.48 eprover: CPU time limit exceeded, terminating
% 75.19/73.49 eprover: CPU time limit exceeded, terminating
% 77.28/75.50 eprover: CPU time limit exceeded, terminating
% 79.35/77.51 eprover: CPU time limit exceeded, terminating
% 81.37/79.53 eprover: CPU time limit exceeded, terminating
% 83.40/81.54 eprover: CPU time limit exceeded, terminating
% 85.53/83.55 eprover: CPU time limit exceeded, terminating
% 87.60/85.56 eprover: CPU time limit exceeded, terminating
% 89.63/87.57 eprover: CPU time limit exceeded, terminating
% 91.70/89.59 eprover: CPU time limit exceeded, terminating
% 93.82/91.60 eprover: CPU time limit exceeded, terminating
% 95.85/93.61 eprover: CPU time limit exceeded, terminating
% 97.89/95.62 eprover: CPU time limit exceeded, terminating
% 99.96/97.63 eprover: CPU time limit exceeded, terminating
% 102.04/99.64 eprover: CPU time limit exceeded, terminating
% 104.12/101.66 eprover: CPU time limit exceeded, terminating
% 106.15/103.67 eprover: CPU time limit exceeded, terminating
% 108.25/105.68 eprover: CPU time limit exceeded, terminating
% 110.29/107.69 eprover: CPU time limit exceeded, terminating
% 112.40/109.72 eprover: CPU time limit exceeded, terminating
% 114.38/111.73 eprover: CPU time limit exceeded, terminating
% 116.48/113.74 eprover: CPU time limit exceeded, terminating
% 118.56/115.75 eprover: CPU time limit exceeded, terminating
% 120.65/117.76 eprover: CPU time limit exceeded, terminating
% 122.69/119.78 eprover: CPU time limit exceeded, terminating
% 124.75/121.79 eprover: CPU time limit exceeded, terminating
% 126.85/123.80 eprover: CPU time limit exceeded, terminating
% 128.87/125.81 eprover: CPU time limit exceeded, terminating
% 130.96/127.82 eprover: CPU time limit exceeded, terminating
% 133.03/129.83 eprover: CPU time limit exceeded, terminating
% 135.05/131.85 eprover: CPU time limit exceeded, terminating
% 137.13/133.86 eprover: CPU time limit exceeded, terminating
% 139.20/135.87 eprover: CPU time limit exceeded, terminating
% 141.28/137.88 eprover: CPU time limit exceeded, terminating
% 143.34/139.89 eprover: CPU time limit exceeded, terminating
% 145.42/141.90 eprover: CPU time limit exceeded, terminating
% 147.44/143.91 eprover: CPU time limit exceeded, terminating
% 149.48/145.93 eprover: CPU time limit exceeded, terminating
% 151.59/147.94 eprover: CPU time limit exceeded, terminating
% 153.66/149.95 eprover: CPU time limit exceeded, terminating
% 155.72/151.96 eprover: CPU time limit exceeded, terminating
% 157.77/153.97 eprover: CPU time limit exceeded, terminating
% 159.84/155.98 eprover: CPU time limit exceeded, terminating
% 161.86/157.99 eprover: CPU time limit exceeded, terminating
% 163.95/160.00 eprover: CPU time limit exceeded, terminating
% 166.05/162.01 eprover: CPU time limit exceeded, terminating
% 168.08/164.03 eprover: CPU time limit exceeded, terminating
% 170.12/166.04 eprover: CPU time limit exceeded, terminating
% 172.18/168.05 eprover: CPU time limit exceeded, terminating
% 174.28/170.06 eprover: CPU time limit exceeded, terminating
% 176.36/172.08 eprover: CPU time limit exceeded, terminating
% 178.44/174.09 eprover: CPU time limit exceeded, terminating
% 180.46/176.10 eprover: CPU time limit exceeded, terminating
% 182.56/178.11 eprover: CPU time limit exceeded, terminating
% 184.61/180.13 eprover: CPU time limit exceeded, terminating
% 186.72/182.14 eprover: CPU time limit exceeded, terminating
% 188.76/184.16 eprover: CPU time limit exceeded, terminating
% 190.83/186.17 eprover: CPU time limit exceeded, terminating
% 192.87/188.18 eprover: CPU time limit exceeded, terminating
% 194.93/190.19 eprover: CPU time limit exceeded, terminating
% 197.00/192.21 eprover: CPU time limit exceeded, terminating
% 199.04/194.22 eprover: CPU time limit exceeded, terminating
% 201.13/196.23 eprover: CPU time limit exceeded, terminating
% 203.16/198.24 eprover: CPU time limit exceeded, terminating
% 205.27/200.26 eprover: CPU time limit exceeded, terminating
% 207.30/202.27 eprover: CPU time limit exceeded, terminating
% 209.39/204.28 eprover: CPU time limit exceeded, terminating
% 211.40/206.30 eprover: CPU time limit exceeded, terminating
% 213.53/208.31 eprover: CPU time limit exceeded, terminating
% 215.55/210.32 eprover: CPU time limit exceeded, terminating
% 217.59/212.33 eprover: CPU time limit exceeded, terminating
% 219.65/214.35 eprover: CPU time limit exceeded, terminating
% 221.76/216.36 eprover: CPU time limit exceeded, terminating
% 223.80/218.37 eprover: CPU time limit exceeded, terminating
% 225.85/220.39 eprover: CPU time limit exceeded, terminating
% 227.95/222.40 eprover: CPU time limit exceeded, terminating
% 230.02/224.41 eprover: CPU time limit exceeded, terminating
% 232.04/226.43 eprover: CPU time limit exceeded, terminating
% 234.15/228.44 eprover: CPU time limit exceeded, terminating
% 236.15/230.45 eprover: CPU time limit exceeded, terminating
% 238.21/232.47 eprover: CPU time limit exceeded, terminating
% 240.31/234.48 eprover: CPU time limit exceeded, terminating
% 242.35/236.49 eprover: CPU time limit exceeded, terminating
% 244.46/238.51 eprover: CPU time limit exceeded, terminating
% 246.52/240.52 eprover: CPU time limit exceeded, terminating
% 248.57/242.54 eprover: CPU time limit exceeded, terminating
% 250.66/244.55 eprover: CPU time limit exceeded, terminating
% 252.65/246.56 eprover: CPU time limit exceeded, terminating
% 254.79/248.58 eprover: CPU time limit exceeded, terminating
% 256.78/250.59 eprover: CPU time limit exceeded, terminating
% 258.91/252.61 eprover: CPU time limit exceeded, terminating
% 260.96/254.62 eprover: CPU time limit exceeded, terminating
% 263.02/256.63 eprover: CPU time limit exceeded, terminating
% 265.07/258.65 eprover: CPU time limit exceeded, terminating
% 267.14/260.66 eprover: CPU time limit exceeded, terminating
% 269.15/262.67 eprover: CPU time limit exceeded, terminating
% 271.24/264.69 eprover: CPU time limit exceeded, terminating
% 273.34/266.70 eprover: CPU time limit exceeded, terminating
% 275.35/268.72 eprover: CPU time limit exceeded, terminating
% 277.43/270.73 eprover: CPU time limit exceeded, terminating
% 279.53/272.74 eprover: CPU time limit exceeded, terminating
% 281.55/274.75 eprover: CPU time limit exceeded, terminating
% 285.57/276.77 eprover: CPU time limit exceeded, terminating
% 287.66/278.78 eprover: CPU time limit exceeded, terminating
% 289.68/280.79 eprover: CPU time limit exceeded, terminating
% 291.77/282.81 eprover: CPU time limit exceeded, terminating
% 293.77/284.82 eprover: CPU time limit exceeded, terminating
% 295.88/286.83 eprover: CPU time limit exceeded, terminating
% 297.94/288.84 eprover: CPU time limit exceeded, terminating
% 299.96/290.86 eprover: CPU time limit exceeded, terminating
% 300.07/290.89 eprover: CPU time limit exceeded, terminating
% 300.07/290.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------