TSTP Solution File: SWB104+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB104+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : Tue Jul 19 19:04:44 EDT 2022
% Result : Timeout 287.18s 280.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : SWB104+1 : TPTP v8.1.0. Released v5.2.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n026.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Wed Jun 1 10:58:27 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.84/3.00 eprover: CPU time limit exceeded, terminating
% 4.88/5.01 eprover: CPU time limit exceeded, terminating
% 6.92/7.02 eprover: CPU time limit exceeded, terminating
% 8.94/9.03 eprover: CPU time limit exceeded, terminating
% 10.95/11.05 eprover: CPU time limit exceeded, terminating
% 12.99/13.06 eprover: CPU time limit exceeded, terminating
% 14.98/15.07 eprover: CPU time limit exceeded, terminating
% 17.02/17.08 eprover: CPU time limit exceeded, terminating
% 19.07/19.09 eprover: CPU time limit exceeded, terminating
% 21.15/21.10 eprover: CPU time limit exceeded, terminating
% 23.18/23.11 eprover: CPU time limit exceeded, terminating
% 25.20/25.12 eprover: CPU time limit exceeded, terminating
% 27.26/27.13 eprover: CPU time limit exceeded, terminating
% 29.26/29.14 eprover: CPU time limit exceeded, terminating
% 31.30/31.15 eprover: CPU time limit exceeded, terminating
% 33.33/33.16 eprover: CPU time limit exceeded, terminating
% 35.35/35.17 eprover: CPU time limit exceeded, terminating
% 37.38/37.18 eprover: CPU time limit exceeded, terminating
% 39.39/39.19 eprover: CPU time limit exceeded, terminating
% 41.44/41.20 eprover: CPU time limit exceeded, terminating
% 43.54/43.21 eprover: CPU time limit exceeded, terminating
% 45.57/45.23 eprover: CPU time limit exceeded, terminating
% 47.62/47.24 eprover: CPU time limit exceeded, terminating
% 49.59/49.25 eprover: CPU time limit exceeded, terminating
% 51.67/51.26 eprover: CPU time limit exceeded, terminating
% 53.67/53.27 eprover: CPU time limit exceeded, terminating
% 55.73/55.28 eprover: CPU time limit exceeded, terminating
% 57.77/57.29 eprover: CPU time limit exceeded, terminating
% 59.76/59.30 eprover: CPU time limit exceeded, terminating
% 61.85/61.31 eprover: CPU time limit exceeded, terminating
% 63.83/63.38 eprover: CPU time limit exceeded, terminating
% 65.93/65.39 eprover: CPU time limit exceeded, terminating
% 67.90/67.40 eprover: CPU time limit exceeded, terminating
% 69.98/69.41 eprover: CPU time limit exceeded, terminating
% 73.92/71.42 eprover: CPU time limit exceeded, terminating
% 76.02/73.43 eprover: CPU time limit exceeded, terminating
% 78.05/75.44 eprover: CPU time limit exceeded, terminating
% 80.05/77.45 eprover: CPU time limit exceeded, terminating
% 82.07/79.46 eprover: CPU time limit exceeded, terminating
% 84.06/81.47 eprover: CPU time limit exceeded, terminating
% 88.09/83.48 eprover: CPU time limit exceeded, terminating
% 90.19/85.49 eprover: CPU time limit exceeded, terminating
% 92.23/87.51 eprover: CPU time limit exceeded, terminating
% 94.25/89.52 eprover: CPU time limit exceeded, terminating
% 96.26/91.53 eprover: CPU time limit exceeded, terminating
% 98.27/93.56 eprover: CPU time limit exceeded, terminating
% 100.31/95.57 eprover: CPU time limit exceeded, terminating
% 102.40/97.59 eprover: CPU time limit exceeded, terminating
% 104.40/99.60 eprover: CPU time limit exceeded, terminating
% 106.44/101.63 eprover: CPU time limit exceeded, terminating
% 108.40/103.66 eprover: CPU time limit exceeded, terminating
% 110.48/105.67 eprover: CPU time limit exceeded, terminating
% 112.46/107.68 eprover: CPU time limit exceeded, terminating
% 114.52/109.69 eprover: CPU time limit exceeded, terminating
% 116.56/111.70 eprover: CPU time limit exceeded, terminating
% 118.54/113.71 eprover: CPU time limit exceeded, terminating
% 120.63/115.72 eprover: CPU time limit exceeded, terminating
% 122.68/117.73 eprover: CPU time limit exceeded, terminating
% 124.67/119.73 eprover: CPU time limit exceeded, terminating
% 126.75/121.74 eprover: CPU time limit exceeded, terminating
% 128.70/123.75 eprover: CPU time limit exceeded, terminating
% 130.79/125.76 eprover: CPU time limit exceeded, terminating
% 132.75/127.77 eprover: CPU time limit exceeded, terminating
% 134.86/129.78 eprover: CPU time limit exceeded, terminating
% 136.81/131.79 eprover: CPU time limit exceeded, terminating
% 138.88/133.83 eprover: CPU time limit exceeded, terminating
% 140.89/135.84 eprover: CPU time limit exceeded, terminating
% 142.94/137.84 eprover: CPU time limit exceeded, terminating
% 144.95/139.86 eprover: CPU time limit exceeded, terminating
% 146.96/141.87 eprover: CPU time limit exceeded, terminating
% 149.05/143.89 eprover: CPU time limit exceeded, terminating
% 150.98/145.89 eprover: CPU time limit exceeded, terminating
% 153.10/147.90 eprover: CPU time limit exceeded, terminating
% 155.10/149.91 eprover: CPU time limit exceeded, terminating
% 157.14/151.92 eprover: CPU time limit exceeded, terminating
% 159.17/153.93 eprover: CPU time limit exceeded, terminating
% 161.16/155.94 eprover: CPU time limit exceeded, terminating
% 163.19/157.94 eprover: CPU time limit exceeded, terminating
% 165.22/159.96 eprover: CPU time limit exceeded, terminating
% 167.22/161.97 eprover: CPU time limit exceeded, terminating
% 169.28/163.97 eprover: CPU time limit exceeded, terminating
% 171.26/165.99 eprover: CPU time limit exceeded, terminating
% 173.34/168.02 eprover: CPU time limit exceeded, terminating
% 175.37/170.03 eprover: CPU time limit exceeded, terminating
% 177.39/172.06 eprover: CPU time limit exceeded, terminating
% 179.41/174.08 eprover: CPU time limit exceeded, terminating
% 181.42/176.09 eprover: CPU time limit exceeded, terminating
% 183.53/178.10 eprover: CPU time limit exceeded, terminating
% 185.55/180.11 eprover: CPU time limit exceeded, terminating
% 187.61/182.12 eprover: CPU time limit exceeded, terminating
% 189.58/184.14 eprover: CPU time limit exceeded, terminating
% 191.63/186.15 eprover: CPU time limit exceeded, terminating
% 193.64/188.16 eprover: CPU time limit exceeded, terminating
% 195.65/190.19 eprover: CPU time limit exceeded, terminating
% 197.73/192.22 eprover: CPU time limit exceeded, terminating
% 199.75/194.23 eprover: CPU time limit exceeded, terminating
% 201.82/196.27 eprover: CPU time limit exceeded, terminating
% 203.76/198.28 eprover: CPU time limit exceeded, terminating
% 205.88/200.30 eprover: CPU time limit exceeded, terminating
% 207.86/202.33 eprover: CPU time limit exceeded, terminating
% 209.91/204.35 eprover: CPU time limit exceeded, terminating
% 211.95/206.36 eprover: CPU time limit exceeded, terminating
% 213.93/208.38 eprover: CPU time limit exceeded, terminating
% 215.99/210.39 eprover: CPU time limit exceeded, terminating
% 218.07/212.40 eprover: CPU time limit exceeded, terminating
% 220.11/214.42 eprover: CPU time limit exceeded, terminating
% 222.15/216.43 eprover: CPU time limit exceeded, terminating
% 224.13/218.44 eprover: CPU time limit exceeded, terminating
% 226.18/220.45 eprover: CPU time limit exceeded, terminating
% 228.19/222.46 eprover: CPU time limit exceeded, terminating
% 230.20/224.47 eprover: CPU time limit exceeded, terminating
% 232.22/226.48 eprover: CPU time limit exceeded, terminating
% 234.25/228.49 eprover: CPU time limit exceeded, terminating
% 236.36/230.50 eprover: CPU time limit exceeded, terminating
% 238.40/232.51 eprover: CPU time limit exceeded, terminating
% 240.43/234.52 eprover: CPU time limit exceeded, terminating
% 242.45/236.53 eprover: CPU time limit exceeded, terminating
% 244.45/238.55 eprover: CPU time limit exceeded, terminating
% 246.47/240.56 eprover: CPU time limit exceeded, terminating
% 248.54/242.57 eprover: CPU time limit exceeded, terminating
% 250.54/244.58 eprover: CPU time limit exceeded, terminating
% 252.58/246.59 eprover: CPU time limit exceeded, terminating
% 254.69/248.60 eprover: CPU time limit exceeded, terminating
% 256.73/250.61 eprover: CPU time limit exceeded, terminating
% 258.76/252.62 eprover: CPU time limit exceeded, terminating
% 260.76/254.63 eprover: CPU time limit exceeded, terminating
% 262.77/256.65 eprover: CPU time limit exceeded, terminating
% 264.83/258.66 eprover: CPU time limit exceeded, terminating
% 266.83/260.67 eprover: CPU time limit exceeded, terminating
% 268.93/262.68 eprover: CPU time limit exceeded, terminating
% 270.90/264.69 eprover: CPU time limit exceeded, terminating
% 272.98/266.70 eprover: CPU time limit exceeded, terminating
% 275.03/268.72 eprover: CPU time limit exceeded, terminating
% 277.04/270.73 eprover: CPU time limit exceeded, terminating
% 279.09/272.74 eprover: CPU time limit exceeded, terminating
% 281.07/274.75 eprover: CPU time limit exceeded, terminating
% 283.14/276.76 eprover: CPU time limit exceeded, terminating
% 285.24/278.77 eprover: CPU time limit exceeded, terminating
% 287.18/280.79 eprover: CPU time limit exceeded, terminating
% 289.22/282.80 eprover: CPU time limit exceeded, terminating
% 291.23/284.81 eprover: CPU time limit exceeded, terminating
% 293.38/286.82 eprover: CPU time limit exceeded, terminating
% 295.36/288.83 eprover: CPU time limit exceeded, terminating
% 297.41/290.84 eprover: CPU time limit exceeded, terminating
% 299.44/292.85 eprover: CPU time limit exceeded, terminating
% 300.15/293.51 eprover: CPU time limit exceeded, terminating
% 300.15/293.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------