TSTP Solution File: SWV129+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV129+1 : TPTP v8.1.0. Bugfixed v3.3.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:48:44 EDT 2022
% Result : Timeout 286.96s 279.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : SWV129+1 : TPTP v8.1.0. Bugfixed v3.3.0.
% 0.12/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n006.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Tue Jun 14 20:45:26 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.49/3.62 eprover: CPU time limit exceeded, terminating
% 5.53/5.63 eprover: CPU time limit exceeded, terminating
% 7.55/7.64 eprover: CPU time limit exceeded, terminating
% 9.61/9.65 eprover: CPU time limit exceeded, terminating
% 11.69/11.67 eprover: CPU time limit exceeded, terminating
% 13.73/13.68 eprover: CPU time limit exceeded, terminating
% 15.81/15.69 eprover: CPU time limit exceeded, terminating
% 17.87/17.70 eprover: CPU time limit exceeded, terminating
% 19.91/19.71 eprover: CPU time limit exceeded, terminating
% 21.97/21.73 eprover: CPU time limit exceeded, terminating
% 24.02/23.74 eprover: CPU time limit exceeded, terminating
% 26.10/25.75 eprover: CPU time limit exceeded, terminating
% 28.17/27.76 eprover: CPU time limit exceeded, terminating
% 30.25/29.77 eprover: CPU time limit exceeded, terminating
% 32.32/31.79 eprover: CPU time limit exceeded, terminating
% 34.35/33.80 eprover: CPU time limit exceeded, terminating
% 36.42/35.81 eprover: CPU time limit exceeded, terminating
% 38.43/37.82 eprover: CPU time limit exceeded, terminating
% 40.49/39.84 eprover: CPU time limit exceeded, terminating
% 42.58/41.85 eprover: CPU time limit exceeded, terminating
% 44.68/43.86 eprover: CPU time limit exceeded, terminating
% 46.72/45.87 eprover: CPU time limit exceeded, terminating
% 48.80/47.89 eprover: CPU time limit exceeded, terminating
% 50.79/49.90 eprover: CPU time limit exceeded, terminating
% 52.85/51.91 eprover: CPU time limit exceeded, terminating
% 54.93/53.92 eprover: CPU time limit exceeded, terminating
% 56.98/55.93 eprover: CPU time limit exceeded, terminating
% 59.02/57.95 eprover: CPU time limit exceeded, terminating
% 61.06/59.96 eprover: CPU time limit exceeded, terminating
% 63.08/61.97 eprover: CPU time limit exceeded, terminating
% 65.17/63.99 eprover: CPU time limit exceeded, terminating
% 67.23/66.00 eprover: CPU time limit exceeded, terminating
% 69.30/68.01 eprover: CPU time limit exceeded, terminating
% 71.32/70.03 eprover: CPU time limit exceeded, terminating
% 73.41/72.04 eprover: CPU time limit exceeded, terminating
% 75.44/74.05 eprover: CPU time limit exceeded, terminating
% 77.51/76.06 eprover: CPU time limit exceeded, terminating
% 79.61/78.07 eprover: CPU time limit exceeded, terminating
% 81.61/80.09 eprover: CPU time limit exceeded, terminating
% 83.73/82.10 eprover: CPU time limit exceeded, terminating
% 85.79/84.11 eprover: CPU time limit exceeded, terminating
% 87.84/86.12 eprover: CPU time limit exceeded, terminating
% 89.94/88.14 eprover: CPU time limit exceeded, terminating
% 91.94/90.15 eprover: CPU time limit exceeded, terminating
% 94.04/92.16 eprover: CPU time limit exceeded, terminating
% 96.14/94.18 eprover: CPU time limit exceeded, terminating
% 98.16/96.19 eprover: CPU time limit exceeded, terminating
% 100.21/98.20 eprover: CPU time limit exceeded, terminating
% 102.23/100.22 eprover: CPU time limit exceeded, terminating
% 104.35/102.23 eprover: CPU time limit exceeded, terminating
% 106.43/104.24 eprover: CPU time limit exceeded, terminating
% 108.50/106.25 eprover: CPU time limit exceeded, terminating
% 110.54/108.27 eprover: CPU time limit exceeded, terminating
% 112.62/110.28 eprover: CPU time limit exceeded, terminating
% 114.67/112.29 eprover: CPU time limit exceeded, terminating
% 116.77/114.30 eprover: CPU time limit exceeded, terminating
% 118.76/116.31 eprover: CPU time limit exceeded, terminating
% 120.82/118.33 eprover: CPU time limit exceeded, terminating
% 122.93/120.34 eprover: CPU time limit exceeded, terminating
% 124.91/122.35 eprover: CPU time limit exceeded, terminating
% 127.03/124.37 eprover: CPU time limit exceeded, terminating
% 129.10/126.38 eprover: CPU time limit exceeded, terminating
% 131.16/128.39 eprover: CPU time limit exceeded, terminating
% 133.25/130.40 eprover: CPU time limit exceeded, terminating
% 135.26/132.42 eprover: CPU time limit exceeded, terminating
% 137.32/134.43 eprover: CPU time limit exceeded, terminating
% 139.41/136.44 eprover: CPU time limit exceeded, terminating
% 141.42/138.45 eprover: CPU time limit exceeded, terminating
% 143.55/140.46 eprover: CPU time limit exceeded, terminating
% 145.60/142.47 eprover: CPU time limit exceeded, terminating
% 147.65/144.48 eprover: CPU time limit exceeded, terminating
% 149.73/146.49 eprover: CPU time limit exceeded, terminating
% 151.74/148.50 eprover: CPU time limit exceeded, terminating
% 153.84/150.51 eprover: CPU time limit exceeded, terminating
% 155.90/152.53 eprover: CPU time limit exceeded, terminating
% 157.97/154.55 eprover: CPU time limit exceeded, terminating
% 160.00/156.56 eprover: CPU time limit exceeded, terminating
% 162.06/158.57 eprover: CPU time limit exceeded, terminating
% 164.08/160.58 eprover: CPU time limit exceeded, terminating
% 166.17/162.59 eprover: CPU time limit exceeded, terminating
% 168.22/164.60 eprover: CPU time limit exceeded, terminating
% 170.20/166.61 eprover: CPU time limit exceeded, terminating
% 172.28/168.62 eprover: CPU time limit exceeded, terminating
% 174.33/170.63 eprover: CPU time limit exceeded, terminating
% 176.40/172.64 eprover: CPU time limit exceeded, terminating
% 178.47/174.65 eprover: CPU time limit exceeded, terminating
% 180.51/176.66 eprover: CPU time limit exceeded, terminating
% 182.54/178.67 eprover: CPU time limit exceeded, terminating
% 184.61/180.68 eprover: CPU time limit exceeded, terminating
% 186.68/182.69 eprover: CPU time limit exceeded, terminating
% 188.74/184.71 eprover: CPU time limit exceeded, terminating
% 190.75/186.72 eprover: CPU time limit exceeded, terminating
% 192.76/188.73 eprover: CPU time limit exceeded, terminating
% 194.88/190.74 eprover: CPU time limit exceeded, terminating
% 196.86/192.75 eprover: CPU time limit exceeded, terminating
% 198.96/194.76 eprover: CPU time limit exceeded, terminating
% 201.05/196.77 eprover: CPU time limit exceeded, terminating
% 203.06/198.78 eprover: CPU time limit exceeded, terminating
% 205.14/200.79 eprover: CPU time limit exceeded, terminating
% 207.22/202.81 eprover: CPU time limit exceeded, terminating
% 209.23/204.82 eprover: CPU time limit exceeded, terminating
% 211.31/206.83 eprover: CPU time limit exceeded, terminating
% 213.39/208.84 eprover: CPU time limit exceeded, terminating
% 215.37/210.85 eprover: CPU time limit exceeded, terminating
% 217.49/212.86 eprover: CPU time limit exceeded, terminating
% 219.50/214.87 eprover: CPU time limit exceeded, terminating
% 221.56/216.88 eprover: CPU time limit exceeded, terminating
% 223.60/218.89 eprover: CPU time limit exceeded, terminating
% 225.67/220.91 eprover: CPU time limit exceeded, terminating
% 227.75/222.92 eprover: CPU time limit exceeded, terminating
% 229.76/224.93 eprover: CPU time limit exceeded, terminating
% 231.76/226.94 eprover: CPU time limit exceeded, terminating
% 233.91/228.95 eprover: CPU time limit exceeded, terminating
% 235.93/230.97 eprover: CPU time limit exceeded, terminating
% 237.98/232.98 eprover: CPU time limit exceeded, terminating
% 239.99/234.99 eprover: CPU time limit exceeded, terminating
% 242.06/237.00 eprover: CPU time limit exceeded, terminating
% 244.06/239.01 eprover: CPU time limit exceeded, terminating
% 246.17/241.02 eprover: CPU time limit exceeded, terminating
% 248.17/243.03 eprover: CPU time limit exceeded, terminating
% 250.27/245.04 eprover: CPU time limit exceeded, terminating
% 252.31/247.05 eprover: CPU time limit exceeded, terminating
% 254.34/249.06 eprover: CPU time limit exceeded, terminating
% 256.40/251.07 eprover: CPU time limit exceeded, terminating
% 258.44/253.08 eprover: CPU time limit exceeded, terminating
% 262.46/255.10 eprover: CPU time limit exceeded, terminating
% 264.49/257.11 eprover: CPU time limit exceeded, terminating
% 266.55/259.12 eprover: CPU time limit exceeded, terminating
% 268.58/261.13 eprover: CPU time limit exceeded, terminating
% 270.65/263.14 eprover: CPU time limit exceeded, terminating
% 272.69/265.15 eprover: CPU time limit exceeded, terminating
% 274.75/267.16 eprover: CPU time limit exceeded, terminating
% 276.79/269.17 eprover: CPU time limit exceeded, terminating
% 278.82/271.18 eprover: CPU time limit exceeded, terminating
% 280.87/273.19 eprover: CPU time limit exceeded, terminating
% 282.88/275.21 eprover: CPU time limit exceeded, terminating
% 284.93/277.22 eprover: CPU time limit exceeded, terminating
% 286.96/279.23 eprover: CPU time limit exceeded, terminating
% 289.01/281.24 eprover: CPU time limit exceeded, terminating
% 291.06/283.25 eprover: CPU time limit exceeded, terminating
% 293.13/285.26 eprover: CPU time limit exceeded, terminating
% 295.20/287.27 eprover: CPU time limit exceeded, terminating
% 297.25/289.28 eprover: CPU time limit exceeded, terminating
% 299.32/291.29 eprover: CPU time limit exceeded, terminating
% 300.05/291.96 eprover: CPU time limit exceeded, terminating
% 300.05/291.97 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------