TSTP Solution File: SWV599-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV599-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:00 EDT 2022
% Result : Timeout 286.02s 282.78s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : SWV599-1 : TPTP v8.1.0. Released v4.1.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.15/0.36 % Computer : n011.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Thu Jun 16 06:22:51 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.54/2.80 eprover: CPU time limit exceeded, terminating
% 4.66/4.83 eprover: CPU time limit exceeded, terminating
% 6.69/6.84 eprover: CPU time limit exceeded, terminating
% 8.74/8.86 eprover: CPU time limit exceeded, terminating
% 10.73/10.87 eprover: CPU time limit exceeded, terminating
% 12.83/12.89 eprover: CPU time limit exceeded, terminating
% 14.86/14.91 eprover: CPU time limit exceeded, terminating
% 16.90/16.92 eprover: CPU time limit exceeded, terminating
% 18.93/18.94 eprover: CPU time limit exceeded, terminating
% 20.94/20.95 eprover: CPU time limit exceeded, terminating
% 23.00/22.97 eprover: CPU time limit exceeded, terminating
% 24.99/24.98 eprover: CPU time limit exceeded, terminating
% 27.07/27.00 eprover: CPU time limit exceeded, terminating
% 29.16/29.01 eprover: CPU time limit exceeded, terminating
% 31.17/31.02 eprover: CPU time limit exceeded, terminating
% 33.21/33.04 eprover: CPU time limit exceeded, terminating
% 35.20/35.05 eprover: CPU time limit exceeded, terminating
% 37.27/37.07 eprover: CPU time limit exceeded, terminating
% 39.28/39.08 eprover: CPU time limit exceeded, terminating
% 41.30/41.09 eprover: CPU time limit exceeded, terminating
% 43.42/43.11 eprover: CPU time limit exceeded, terminating
% 45.46/45.13 eprover: CPU time limit exceeded, terminating
% 47.47/47.15 eprover: CPU time limit exceeded, terminating
% 49.49/49.17 eprover: CPU time limit exceeded, terminating
% 51.58/51.19 eprover: CPU time limit exceeded, terminating
% 53.62/53.21 eprover: CPU time limit exceeded, terminating
% 55.61/55.23 eprover: CPU time limit exceeded, terminating
% 57.72/57.26 eprover: CPU time limit exceeded, terminating
% 59.75/59.28 eprover: CPU time limit exceeded, terminating
% 61.75/61.29 eprover: CPU time limit exceeded, terminating
% 63.81/63.31 eprover: CPU time limit exceeded, terminating
% 65.83/65.32 eprover: CPU time limit exceeded, terminating
% 67.88/67.33 eprover: CPU time limit exceeded, terminating
% 69.94/69.35 eprover: CPU time limit exceeded, terminating
% 71.98/71.36 eprover: CPU time limit exceeded, terminating
% 74.01/73.37 eprover: CPU time limit exceeded, terminating
% 76.03/75.39 eprover: CPU time limit exceeded, terminating
% 78.07/77.40 eprover: CPU time limit exceeded, terminating
% 80.14/79.41 eprover: CPU time limit exceeded, terminating
% 82.15/81.43 eprover: CPU time limit exceeded, terminating
% 84.14/83.44 eprover: CPU time limit exceeded, terminating
% 86.23/85.45 eprover: CPU time limit exceeded, terminating
% 88.24/87.47 eprover: CPU time limit exceeded, terminating
% 90.32/89.48 eprover: CPU time limit exceeded, terminating
% 92.36/91.49 eprover: CPU time limit exceeded, terminating
% 94.40/93.51 eprover: CPU time limit exceeded, terminating
% 96.40/95.52 eprover: CPU time limit exceeded, terminating
% 98.43/97.53 eprover: CPU time limit exceeded, terminating
% 100.51/99.55 eprover: CPU time limit exceeded, terminating
% 102.54/101.56 eprover: CPU time limit exceeded, terminating
% 104.60/103.57 eprover: CPU time limit exceeded, terminating
% 106.61/105.58 eprover: CPU time limit exceeded, terminating
% 108.58/107.60 eprover: CPU time limit exceeded, terminating
% 110.64/109.61 eprover: CPU time limit exceeded, terminating
% 112.74/111.62 eprover: CPU time limit exceeded, terminating
% 114.74/113.64 eprover: CPU time limit exceeded, terminating
% 116.80/115.65 eprover: CPU time limit exceeded, terminating
% 118.77/117.66 eprover: CPU time limit exceeded, terminating
% 120.86/119.68 eprover: CPU time limit exceeded, terminating
% 122.87/121.69 eprover: CPU time limit exceeded, terminating
% 124.96/123.70 eprover: CPU time limit exceeded, terminating
% 127.00/125.71 eprover: CPU time limit exceeded, terminating
% 129.02/127.73 eprover: CPU time limit exceeded, terminating
% 131.08/129.74 eprover: CPU time limit exceeded, terminating
% 133.08/131.75 eprover: CPU time limit exceeded, terminating
% 135.16/133.77 eprover: CPU time limit exceeded, terminating
% 137.19/135.78 eprover: CPU time limit exceeded, terminating
% 139.24/137.80 eprover: CPU time limit exceeded, terminating
% 141.24/139.81 eprover: CPU time limit exceeded, terminating
% 143.25/141.82 eprover: CPU time limit exceeded, terminating
% 145.36/143.84 eprover: CPU time limit exceeded, terminating
% 147.41/145.85 eprover: CPU time limit exceeded, terminating
% 149.42/147.86 eprover: CPU time limit exceeded, terminating
% 151.46/149.88 eprover: CPU time limit exceeded, terminating
% 153.47/151.89 eprover: CPU time limit exceeded, terminating
% 155.57/153.90 eprover: CPU time limit exceeded, terminating
% 157.60/155.92 eprover: CPU time limit exceeded, terminating
% 159.59/157.93 eprover: CPU time limit exceeded, terminating
% 161.64/159.94 eprover: CPU time limit exceeded, terminating
% 163.70/161.95 eprover: CPU time limit exceeded, terminating
% 165.74/163.97 eprover: CPU time limit exceeded, terminating
% 167.75/165.98 eprover: CPU time limit exceeded, terminating
% 169.83/167.99 eprover: CPU time limit exceeded, terminating
% 171.82/170.01 eprover: CPU time limit exceeded, terminating
% 173.90/172.02 eprover: CPU time limit exceeded, terminating
% 175.95/174.04 eprover: CPU time limit exceeded, terminating
% 177.93/176.05 eprover: CPU time limit exceeded, terminating
% 180.01/178.06 eprover: CPU time limit exceeded, terminating
% 182.03/180.08 eprover: CPU time limit exceeded, terminating
% 184.08/182.09 eprover: CPU time limit exceeded, terminating
% 186.14/184.10 eprover: CPU time limit exceeded, terminating
% 188.19/186.12 eprover: CPU time limit exceeded, terminating
% 190.15/188.13 eprover: CPU time limit exceeded, terminating
% 192.25/190.15 eprover: CPU time limit exceeded, terminating
% 194.29/192.16 eprover: CPU time limit exceeded, terminating
% 196.29/194.18 eprover: CPU time limit exceeded, terminating
% 198.35/196.19 eprover: CPU time limit exceeded, terminating
% 200.41/198.21 eprover: CPU time limit exceeded, terminating
% 202.42/200.22 eprover: CPU time limit exceeded, terminating
% 204.43/202.23 eprover: CPU time limit exceeded, terminating
% 206.52/204.25 eprover: CPU time limit exceeded, terminating
% 208.56/206.26 eprover: CPU time limit exceeded, terminating
% 210.53/208.27 eprover: CPU time limit exceeded, terminating
% 212.63/210.29 eprover: CPU time limit exceeded, terminating
% 214.71/212.30 eprover: CPU time limit exceeded, terminating
% 216.74/214.31 eprover: CPU time limit exceeded, terminating
% 218.71/216.33 eprover: CPU time limit exceeded, terminating
% 220.77/218.34 eprover: CPU time limit exceeded, terminating
% 222.83/220.35 eprover: CPU time limit exceeded, terminating
% 224.85/222.36 eprover: CPU time limit exceeded, terminating
% 226.92/224.38 eprover: CPU time limit exceeded, terminating
% 228.90/226.39 eprover: CPU time limit exceeded, terminating
% 231.00/228.41 eprover: CPU time limit exceeded, terminating
% 232.98/230.43 eprover: CPU time limit exceeded, terminating
% 235.08/232.44 eprover: CPU time limit exceeded, terminating
% 237.09/234.45 eprover: CPU time limit exceeded, terminating
% 239.08/236.47 eprover: CPU time limit exceeded, terminating
% 241.20/238.48 eprover: CPU time limit exceeded, terminating
% 243.24/240.49 eprover: CPU time limit exceeded, terminating
% 245.28/242.50 eprover: CPU time limit exceeded, terminating
% 247.28/244.52 eprover: CPU time limit exceeded, terminating
% 249.33/246.53 eprover: CPU time limit exceeded, terminating
% 251.39/248.55 eprover: CPU time limit exceeded, terminating
% 253.39/250.56 eprover: CPU time limit exceeded, terminating
% 255.47/252.58 eprover: CPU time limit exceeded, terminating
% 257.47/254.59 eprover: CPU time limit exceeded, terminating
% 259.48/256.60 eprover: CPU time limit exceeded, terminating
% 261.60/258.61 eprover: CPU time limit exceeded, terminating
% 263.61/260.63 eprover: CPU time limit exceeded, terminating
% 265.61/262.64 eprover: CPU time limit exceeded, terminating
% 267.64/264.65 eprover: CPU time limit exceeded, terminating
% 269.69/266.67 eprover: CPU time limit exceeded, terminating
% 271.77/268.68 eprover: CPU time limit exceeded, terminating
% 273.77/270.69 eprover: CPU time limit exceeded, terminating
% 275.79/272.71 eprover: CPU time limit exceeded, terminating
% 277.91/274.72 eprover: CPU time limit exceeded, terminating
% 279.94/276.74 eprover: CPU time limit exceeded, terminating
% 281.93/278.75 eprover: CPU time limit exceeded, terminating
% 283.97/280.76 eprover: CPU time limit exceeded, terminating
% 286.02/282.78 eprover: CPU time limit exceeded, terminating
% 288.10/284.79 eprover: CPU time limit exceeded, terminating
% 290.11/286.80 eprover: CPU time limit exceeded, terminating
% 292.17/288.82 eprover: CPU time limit exceeded, terminating
% 294.19/290.83 eprover: CPU time limit exceeded, terminating
% 296.23/292.85 eprover: CPU time limit exceeded, terminating
% 298.26/294.86 eprover: CPU time limit exceeded, terminating
% 300.06/296.60 eprover: CPU time limit exceeded, terminating
% 300.06/296.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------