TSTP Solution File: SWB004+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB004+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:31 EDT 2022
% Result : Timeout 286.03s 282.89s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : SWB004+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n023.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 : Wed Jun 1 15:03:56 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.93/3.14 eprover: CPU time limit exceeded, terminating
% 4.97/5.15 eprover: CPU time limit exceeded, terminating
% 6.96/7.16 eprover: CPU time limit exceeded, terminating
% 9.02/9.17 eprover: CPU time limit exceeded, terminating
% 11.04/11.18 eprover: CPU time limit exceeded, terminating
% 13.05/13.18 eprover: CPU time limit exceeded, terminating
% 15.16/15.19 eprover: CPU time limit exceeded, terminating
% 17.19/17.20 eprover: CPU time limit exceeded, terminating
% 19.21/19.21 eprover: CPU time limit exceeded, terminating
% 21.22/21.22 eprover: CPU time limit exceeded, terminating
% 23.27/23.23 eprover: CPU time limit exceeded, terminating
% 25.26/25.24 eprover: CPU time limit exceeded, terminating
% 27.28/27.25 eprover: CPU time limit exceeded, terminating
% 29.32/29.26 eprover: CPU time limit exceeded, terminating
% 31.37/31.27 eprover: CPU time limit exceeded, terminating
% 33.37/33.29 eprover: CPU time limit exceeded, terminating
% 35.48/35.30 eprover: CPU time limit exceeded, terminating
% 37.50/37.31 eprover: CPU time limit exceeded, terminating
% 39.53/39.34 eprover: CPU time limit exceeded, terminating
% 41.51/41.35 eprover: CPU time limit exceeded, terminating
% 43.57/43.37 eprover: CPU time limit exceeded, terminating
% 45.66/45.39 eprover: CPU time limit exceeded, terminating
% 47.70/47.41 eprover: CPU time limit exceeded, terminating
% 49.75/49.43 eprover: CPU time limit exceeded, terminating
% 51.74/51.44 eprover: CPU time limit exceeded, terminating
% 53.78/53.46 eprover: CPU time limit exceeded, terminating
% 55.81/55.48 eprover: CPU time limit exceeded, terminating
% 57.82/57.49 eprover: CPU time limit exceeded, terminating
% 59.91/59.51 eprover: CPU time limit exceeded, terminating
% 61.94/61.52 eprover: CPU time limit exceeded, terminating
% 63.97/63.53 eprover: CPU time limit exceeded, terminating
% 65.96/65.55 eprover: CPU time limit exceeded, terminating
% 68.04/67.56 eprover: CPU time limit exceeded, terminating
% 70.10/69.57 eprover: CPU time limit exceeded, terminating
% 72.10/71.58 eprover: CPU time limit exceeded, terminating
% 74.19/73.59 eprover: CPU time limit exceeded, terminating
% 76.23/75.60 eprover: CPU time limit exceeded, terminating
% 78.26/77.62 eprover: CPU time limit exceeded, terminating
% 80.24/79.63 eprover: CPU time limit exceeded, terminating
% 82.27/81.64 eprover: CPU time limit exceeded, terminating
% 84.35/83.66 eprover: CPU time limit exceeded, terminating
% 86.40/85.67 eprover: CPU time limit exceeded, terminating
% 88.40/87.68 eprover: CPU time limit exceeded, terminating
% 90.45/89.70 eprover: CPU time limit exceeded, terminating
% 92.52/91.71 eprover: CPU time limit exceeded, terminating
% 94.52/93.72 eprover: CPU time limit exceeded, terminating
% 96.57/95.73 eprover: CPU time limit exceeded, terminating
% 98.64/97.75 eprover: CPU time limit exceeded, terminating
% 100.67/99.76 eprover: CPU time limit exceeded, terminating
% 102.69/101.77 eprover: CPU time limit exceeded, terminating
% 104.75/103.78 eprover: CPU time limit exceeded, terminating
% 106.76/105.80 eprover: CPU time limit exceeded, terminating
% 108.79/107.81 eprover: CPU time limit exceeded, terminating
% 110.85/109.82 eprover: CPU time limit exceeded, terminating
% 112.85/111.83 eprover: CPU time limit exceeded, terminating
% 114.93/113.84 eprover: CPU time limit exceeded, terminating
% 116.92/115.86 eprover: CPU time limit exceeded, terminating
% 118.99/117.87 eprover: CPU time limit exceeded, terminating
% 121.02/119.88 eprover: CPU time limit exceeded, terminating
% 123.01/121.89 eprover: CPU time limit exceeded, terminating
% 125.11/123.91 eprover: CPU time limit exceeded, terminating
% 127.16/125.92 eprover: CPU time limit exceeded, terminating
% 129.15/127.93 eprover: CPU time limit exceeded, terminating
% 131.23/129.94 eprover: CPU time limit exceeded, terminating
% 133.21/131.96 eprover: CPU time limit exceeded, terminating
% 135.30/133.97 eprover: CPU time limit exceeded, terminating
% 137.34/135.98 eprover: CPU time limit exceeded, terminating
% 139.36/137.99 eprover: CPU time limit exceeded, terminating
% 141.37/140.01 eprover: CPU time limit exceeded, terminating
% 143.37/142.02 eprover: CPU time limit exceeded, terminating
% 145.46/144.03 eprover: CPU time limit exceeded, terminating
% 147.46/146.04 eprover: CPU time limit exceeded, terminating
% 149.56/148.06 eprover: CPU time limit exceeded, terminating
% 151.54/150.07 eprover: CPU time limit exceeded, terminating
% 153.62/152.08 eprover: CPU time limit exceeded, terminating
% 155.62/154.09 eprover: CPU time limit exceeded, terminating
% 157.67/156.11 eprover: CPU time limit exceeded, terminating
% 159.75/158.12 eprover: CPU time limit exceeded, terminating
% 161.77/160.13 eprover: CPU time limit exceeded, terminating
% 163.74/162.14 eprover: CPU time limit exceeded, terminating
% 165.82/164.16 eprover: CPU time limit exceeded, terminating
% 167.88/166.17 eprover: CPU time limit exceeded, terminating
% 169.90/168.18 eprover: CPU time limit exceeded, terminating
% 171.94/170.19 eprover: CPU time limit exceeded, terminating
% 173.98/172.20 eprover: CPU time limit exceeded, terminating
% 176.02/174.22 eprover: CPU time limit exceeded, terminating
% 178.07/176.23 eprover: CPU time limit exceeded, terminating
% 180.12/178.24 eprover: CPU time limit exceeded, terminating
% 182.17/180.26 eprover: CPU time limit exceeded, terminating
% 184.16/182.27 eprover: CPU time limit exceeded, terminating
% 186.21/184.29 eprover: CPU time limit exceeded, terminating
% 188.29/186.30 eprover: CPU time limit exceeded, terminating
% 190.32/188.31 eprover: CPU time limit exceeded, terminating
% 192.30/190.32 eprover: CPU time limit exceeded, terminating
% 194.37/192.34 eprover: CPU time limit exceeded, terminating
% 196.34/194.35 eprover: CPU time limit exceeded, terminating
% 198.46/196.36 eprover: CPU time limit exceeded, terminating
% 200.48/198.37 eprover: CPU time limit exceeded, terminating
% 202.54/200.38 eprover: CPU time limit exceeded, terminating
% 204.55/202.39 eprover: CPU time limit exceeded, terminating
% 206.57/204.41 eprover: CPU time limit exceeded, terminating
% 208.64/206.42 eprover: CPU time limit exceeded, terminating
% 210.63/208.43 eprover: CPU time limit exceeded, terminating
% 212.72/210.44 eprover: CPU time limit exceeded, terminating
% 214.75/212.46 eprover: CPU time limit exceeded, terminating
% 216.80/214.47 eprover: CPU time limit exceeded, terminating
% 218.82/216.48 eprover: CPU time limit exceeded, terminating
% 220.85/218.49 eprover: CPU time limit exceeded, terminating
% 222.87/220.51 eprover: CPU time limit exceeded, terminating
% 224.89/222.52 eprover: CPU time limit exceeded, terminating
% 226.98/224.53 eprover: CPU time limit exceeded, terminating
% 228.91/226.55 eprover: CPU time limit exceeded, terminating
% 231.04/228.56 eprover: CPU time limit exceeded, terminating
% 233.09/230.58 eprover: CPU time limit exceeded, terminating
% 235.09/232.59 eprover: CPU time limit exceeded, terminating
% 237.15/234.60 eprover: CPU time limit exceeded, terminating
% 239.21/236.61 eprover: CPU time limit exceeded, terminating
% 241.23/238.62 eprover: CPU time limit exceeded, terminating
% 243.22/240.64 eprover: CPU time limit exceeded, terminating
% 245.23/242.65 eprover: CPU time limit exceeded, terminating
% 247.35/244.66 eprover: CPU time limit exceeded, terminating
% 249.36/246.67 eprover: CPU time limit exceeded, terminating
% 251.43/248.68 eprover: CPU time limit exceeded, terminating
% 253.41/250.70 eprover: CPU time limit exceeded, terminating
% 255.51/252.71 eprover: CPU time limit exceeded, terminating
% 257.47/254.72 eprover: CPU time limit exceeded, terminating
% 259.55/256.73 eprover: CPU time limit exceeded, terminating
% 261.59/258.75 eprover: CPU time limit exceeded, terminating
% 263.67/260.76 eprover: CPU time limit exceeded, terminating
% 265.69/262.77 eprover: CPU time limit exceeded, terminating
% 267.71/264.78 eprover: CPU time limit exceeded, terminating
% 269.74/266.80 eprover: CPU time limit exceeded, terminating
% 271.77/268.81 eprover: CPU time limit exceeded, terminating
% 273.79/270.82 eprover: CPU time limit exceeded, terminating
% 275.84/272.83 eprover: CPU time limit exceeded, terminating
% 277.90/274.84 eprover: CPU time limit exceeded, terminating
% 279.91/276.86 eprover: CPU time limit exceeded, terminating
% 281.95/278.87 eprover: CPU time limit exceeded, terminating
% 283.99/280.88 eprover: CPU time limit exceeded, terminating
% 286.03/282.89 eprover: CPU time limit exceeded, terminating
% 288.11/284.91 eprover: CPU time limit exceeded, terminating
% 290.08/286.92 eprover: CPU time limit exceeded, terminating
% 292.18/288.93 eprover: CPU time limit exceeded, terminating
% 294.17/290.94 eprover: CPU time limit exceeded, terminating
% 296.24/292.96 eprover: CPU time limit exceeded, terminating
% 298.29/294.97 eprover: CPU time limit exceeded, terminating
% 300.02/296.67 eprover: CPU time limit exceeded, terminating
% 300.02/296.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------