TSTP Solution File: SWV484+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV484+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:50:14 EDT 2022
% Result : Timeout 285.75s 281.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWV484+1 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n018.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Wed Jun 15 04:17:44 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.77/2.95 eprover: CPU time limit exceeded, terminating
% 4.76/4.98 eprover: CPU time limit exceeded, terminating
% 6.79/7.00 eprover: CPU time limit exceeded, terminating
% 8.85/9.02 eprover: CPU time limit exceeded, terminating
% 10.83/11.03 eprover: CPU time limit exceeded, terminating
% 12.88/13.04 eprover: CPU time limit exceeded, terminating
% 14.90/15.06 eprover: CPU time limit exceeded, terminating
% 16.89/17.08 eprover: CPU time limit exceeded, terminating
% 18.91/19.10 eprover: CPU time limit exceeded, terminating
% 20.96/21.11 eprover: CPU time limit exceeded, terminating
% 22.93/23.12 eprover: CPU time limit exceeded, terminating
% 26.88/25.13 eprover: CPU time limit exceeded, terminating
% 28.97/27.15 eprover: CPU time limit exceeded, terminating
% 30.99/29.16 eprover: CPU time limit exceeded, terminating
% 32.99/31.18 eprover: CPU time limit exceeded, terminating
% 35.01/33.20 eprover: CPU time limit exceeded, terminating
% 37.01/35.21 eprover: CPU time limit exceeded, terminating
% 38.99/37.24 eprover: CPU time limit exceeded, terminating
% 41.07/39.25 eprover: CPU time limit exceeded, terminating
% 43.11/41.27 eprover: CPU time limit exceeded, terminating
% 45.15/43.28 eprover: CPU time limit exceeded, terminating
% 47.12/45.30 eprover: CPU time limit exceeded, terminating
% 49.19/47.31 eprover: CPU time limit exceeded, terminating
% 51.22/49.33 eprover: CPU time limit exceeded, terminating
% 53.24/51.35 eprover: CPU time limit exceeded, terminating
% 55.25/53.36 eprover: CPU time limit exceeded, terminating
% 57.27/55.38 eprover: CPU time limit exceeded, terminating
% 59.29/57.42 eprover: CPU time limit exceeded, terminating
% 61.33/59.43 eprover: CPU time limit exceeded, terminating
% 63.34/61.44 eprover: CPU time limit exceeded, terminating
% 65.35/63.45 eprover: CPU time limit exceeded, terminating
% 67.38/65.47 eprover: CPU time limit exceeded, terminating
% 69.37/67.49 eprover: CPU time limit exceeded, terminating
% 71.38/69.50 eprover: CPU time limit exceeded, terminating
% 73.45/71.51 eprover: CPU time limit exceeded, terminating
% 75.47/73.53 eprover: CPU time limit exceeded, terminating
% 77.50/75.55 eprover: CPU time limit exceeded, terminating
% 79.54/77.56 eprover: CPU time limit exceeded, terminating
% 81.54/79.57 eprover: CPU time limit exceeded, terminating
% 83.53/81.59 eprover: CPU time limit exceeded, terminating
% 85.61/83.60 eprover: CPU time limit exceeded, terminating
% 87.63/85.61 eprover: CPU time limit exceeded, terminating
% 89.65/87.63 eprover: CPU time limit exceeded, terminating
% 91.65/89.64 eprover: CPU time limit exceeded, terminating
% 93.67/91.66 eprover: CPU time limit exceeded, terminating
% 95.69/93.67 eprover: CPU time limit exceeded, terminating
% 97.66/95.69 eprover: CPU time limit exceeded, terminating
% 99.70/97.70 eprover: CPU time limit exceeded, terminating
% 101.79/99.72 eprover: CPU time limit exceeded, terminating
% 103.81/101.74 eprover: CPU time limit exceeded, terminating
% 105.80/103.76 eprover: CPU time limit exceeded, terminating
% 107.80/105.77 eprover: CPU time limit exceeded, terminating
% 109.82/107.79 eprover: CPU time limit exceeded, terminating
% 111.93/109.80 eprover: CPU time limit exceeded, terminating
% 113.92/111.82 eprover: CPU time limit exceeded, terminating
% 115.95/113.84 eprover: CPU time limit exceeded, terminating
% 117.97/115.85 eprover: CPU time limit exceeded, terminating
% 119.95/117.86 eprover: CPU time limit exceeded, terminating
% 121.97/119.88 eprover: CPU time limit exceeded, terminating
% 124.05/121.90 eprover: CPU time limit exceeded, terminating
% 126.07/123.91 eprover: CPU time limit exceeded, terminating
% 128.09/125.93 eprover: CPU time limit exceeded, terminating
% 130.08/127.95 eprover: CPU time limit exceeded, terminating
% 132.13/129.97 eprover: CPU time limit exceeded, terminating
% 134.14/131.99 eprover: CPU time limit exceeded, terminating
% 136.12/134.01 eprover: CPU time limit exceeded, terminating
% 138.16/136.03 eprover: CPU time limit exceeded, terminating
% 140.21/138.05 eprover: CPU time limit exceeded, terminating
% 142.26/140.07 eprover: CPU time limit exceeded, terminating
% 144.23/142.08 eprover: CPU time limit exceeded, terminating
% 146.28/144.10 eprover: CPU time limit exceeded, terminating
% 148.34/146.12 eprover: CPU time limit exceeded, terminating
% 150.35/148.16 eprover: CPU time limit exceeded, terminating
% 152.38/150.18 eprover: CPU time limit exceeded, terminating
% 154.38/152.20 eprover: CPU time limit exceeded, terminating
% 156.39/154.21 eprover: CPU time limit exceeded, terminating
% 158.39/156.23 eprover: CPU time limit exceeded, terminating
% 160.46/158.25 eprover: CPU time limit exceeded, terminating
% 162.50/160.27 eprover: CPU time limit exceeded, terminating
% 164.52/162.28 eprover: CPU time limit exceeded, terminating
% 166.55/164.30 eprover: CPU time limit exceeded, terminating
% 168.52/166.31 eprover: CPU time limit exceeded, terminating
% 170.58/168.33 eprover: CPU time limit exceeded, terminating
% 172.58/170.34 eprover: CPU time limit exceeded, terminating
% 174.60/172.36 eprover: CPU time limit exceeded, terminating
% 176.67/174.37 eprover: CPU time limit exceeded, terminating
% 178.68/176.38 eprover: CPU time limit exceeded, terminating
% 180.67/178.40 eprover: CPU time limit exceeded, terminating
% 182.68/180.42 eprover: CPU time limit exceeded, terminating
% 184.75/182.43 eprover: CPU time limit exceeded, terminating
% 186.77/184.44 eprover: CPU time limit exceeded, terminating
% 188.78/186.45 eprover: CPU time limit exceeded, terminating
% 190.78/188.48 eprover: CPU time limit exceeded, terminating
% 192.81/190.49 eprover: CPU time limit exceeded, terminating
% 194.84/192.50 eprover: CPU time limit exceeded, terminating
% 196.83/194.52 eprover: CPU time limit exceeded, terminating
% 198.89/196.53 eprover: CPU time limit exceeded, terminating
% 200.87/198.54 eprover: CPU time limit exceeded, terminating
% 202.94/200.55 eprover: CPU time limit exceeded, terminating
% 204.94/202.57 eprover: CPU time limit exceeded, terminating
% 206.97/204.58 eprover: CPU time limit exceeded, terminating
% 209.02/206.59 eprover: CPU time limit exceeded, terminating
% 210.97/208.60 eprover: CPU time limit exceeded, terminating
% 213.02/210.61 eprover: CPU time limit exceeded, terminating
% 215.05/212.63 eprover: CPU time limit exceeded, terminating
% 217.06/214.64 eprover: CPU time limit exceeded, terminating
% 219.03/216.65 eprover: CPU time limit exceeded, terminating
% 223.08/218.66 eprover: CPU time limit exceeded, terminating
% 225.14/220.68 eprover: CPU time limit exceeded, terminating
% 227.12/222.69 eprover: CPU time limit exceeded, terminating
% 229.17/224.70 eprover: CPU time limit exceeded, terminating
% 231.20/226.71 eprover: CPU time limit exceeded, terminating
% 233.22/228.73 eprover: CPU time limit exceeded, terminating
% 235.19/230.74 eprover: CPU time limit exceeded, terminating
% 237.20/232.75 eprover: CPU time limit exceeded, terminating
% 239.27/234.76 eprover: CPU time limit exceeded, terminating
% 241.28/236.77 eprover: CPU time limit exceeded, terminating
% 243.34/238.79 eprover: CPU time limit exceeded, terminating
% 245.30/240.80 eprover: CPU time limit exceeded, terminating
% 247.37/242.81 eprover: CPU time limit exceeded, terminating
% 249.41/244.83 eprover: CPU time limit exceeded, terminating
% 251.40/246.84 eprover: CPU time limit exceeded, terminating
% 253.44/248.86 eprover: CPU time limit exceeded, terminating
% 255.44/250.88 eprover: CPU time limit exceeded, terminating
% 257.45/252.89 eprover: CPU time limit exceeded, terminating
% 259.47/254.90 eprover: CPU time limit exceeded, terminating
% 261.53/256.92 eprover: CPU time limit exceeded, terminating
% 263.56/258.94 eprover: CPU time limit exceeded, terminating
% 265.54/260.95 eprover: CPU time limit exceeded, terminating
% 267.59/262.96 eprover: CPU time limit exceeded, terminating
% 269.60/264.98 eprover: CPU time limit exceeded, terminating
% 271.61/266.99 eprover: CPU time limit exceeded, terminating
% 273.61/269.02 eprover: CPU time limit exceeded, terminating
% 275.67/271.03 eprover: CPU time limit exceeded, terminating
% 277.64/273.04 eprover: CPU time limit exceeded, terminating
% 279.74/275.05 eprover: CPU time limit exceeded, terminating
% 281.73/277.07 eprover: CPU time limit exceeded, terminating
% 283.75/279.09 eprover: CPU time limit exceeded, terminating
% 285.75/281.11 eprover: CPU time limit exceeded, terminating
% 287.79/283.12 eprover: CPU time limit exceeded, terminating
% 289.79/285.13 eprover: CPU time limit exceeded, terminating
% 291.83/287.15 eprover: CPU time limit exceeded, terminating
% 293.86/289.16 eprover: CPU time limit exceeded, terminating
% 295.91/291.18 eprover: CPU time limit exceeded, terminating
% 297.92/293.19 eprover: CPU time limit exceeded, terminating
% 299.93/295.21 eprover: CPU time limit exceeded, terminating
% 300.32/295.56 eprover: CPU time limit exceeded, terminating
% 300.32/295.57 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------