TSTP Solution File: SYN910-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SYN910-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n016.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 : Thu Jul 21 07:08:22 EDT 2022
% Result : Timeout 286.68s 280.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SYN910-1 : TPTP v8.1.0. Released v2.5.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n016.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jul 11 17:23:43 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.77/2.94 eprover: CPU time limit exceeded, terminating
% 4.82/4.96 eprover: CPU time limit exceeded, terminating
% 6.82/6.97 eprover: CPU time limit exceeded, terminating
% 8.85/8.99 eprover: CPU time limit exceeded, terminating
% 10.92/11.00 eprover: CPU time limit exceeded, terminating
% 12.97/13.01 eprover: CPU time limit exceeded, terminating
% 15.00/15.03 eprover: CPU time limit exceeded, terminating
% 17.10/17.04 eprover: CPU time limit exceeded, terminating
% 19.07/19.06 eprover: CPU time limit exceeded, terminating
% 21.09/21.07 eprover: CPU time limit exceeded, terminating
% 23.15/23.08 eprover: CPU time limit exceeded, terminating
% 25.26/25.09 eprover: CPU time limit exceeded, terminating
% 27.29/27.11 eprover: CPU time limit exceeded, terminating
% 29.30/29.12 eprover: CPU time limit exceeded, terminating
% 31.39/31.14 eprover: CPU time limit exceeded, terminating
% 33.45/33.15 eprover: CPU time limit exceeded, terminating
% 35.47/35.17 eprover: CPU time limit exceeded, terminating
% 37.51/37.18 eprover: CPU time limit exceeded, terminating
% 39.52/39.19 eprover: CPU time limit exceeded, terminating
% 41.62/41.21 eprover: CPU time limit exceeded, terminating
% 43.59/43.22 eprover: CPU time limit exceeded, terminating
% 45.64/45.24 eprover: CPU time limit exceeded, terminating
% 47.70/47.25 eprover: CPU time limit exceeded, terminating
% 49.79/49.27 eprover: CPU time limit exceeded, terminating
% 51.76/51.28 eprover: CPU time limit exceeded, terminating
% 53.86/53.30 eprover: CPU time limit exceeded, terminating
% 55.92/55.31 eprover: CPU time limit exceeded, terminating
% 57.96/57.32 eprover: CPU time limit exceeded, terminating
% 59.98/59.34 eprover: CPU time limit exceeded, terminating
% 62.01/61.35 eprover: CPU time limit exceeded, terminating
% 64.07/63.37 eprover: CPU time limit exceeded, terminating
% 66.13/65.38 eprover: CPU time limit exceeded, terminating
% 70.16/67.40 eprover: CPU time limit exceeded, terminating
% 72.19/69.41 eprover: CPU time limit exceeded, terminating
% 74.22/71.43 eprover: CPU time limit exceeded, terminating
% 76.27/73.44 eprover: CPU time limit exceeded, terminating
% 78.30/75.46 eprover: CPU time limit exceeded, terminating
% 80.36/77.47 eprover: CPU time limit exceeded, terminating
% 82.43/79.49 eprover: CPU time limit exceeded, terminating
% 84.42/81.50 eprover: CPU time limit exceeded, terminating
% 86.51/83.51 eprover: CPU time limit exceeded, terminating
% 88.58/85.53 eprover: CPU time limit exceeded, terminating
% 90.55/87.54 eprover: CPU time limit exceeded, terminating
% 92.64/89.56 eprover: CPU time limit exceeded, terminating
% 94.69/91.57 eprover: CPU time limit exceeded, terminating
% 96.70/93.59 eprover: CPU time limit exceeded, terminating
% 98.79/95.61 eprover: CPU time limit exceeded, terminating
% 100.77/97.62 eprover: CPU time limit exceeded, terminating
% 102.82/99.63 eprover: CPU time limit exceeded, terminating
% 104.89/101.65 eprover: CPU time limit exceeded, terminating
% 106.88/103.66 eprover: CPU time limit exceeded, terminating
% 108.95/105.68 eprover: CPU time limit exceeded, terminating
% 111.03/107.69 eprover: CPU time limit exceeded, terminating
% 113.03/109.71 eprover: CPU time limit exceeded, terminating
% 115.14/111.72 eprover: CPU time limit exceeded, terminating
% 117.18/113.73 eprover: CPU time limit exceeded, terminating
% 119.20/115.75 eprover: CPU time limit exceeded, terminating
% 121.25/117.76 eprover: CPU time limit exceeded, terminating
% 123.32/119.78 eprover: CPU time limit exceeded, terminating
% 125.30/121.79 eprover: CPU time limit exceeded, terminating
% 127.37/123.81 eprover: CPU time limit exceeded, terminating
% 129.42/125.82 eprover: CPU time limit exceeded, terminating
% 131.47/127.84 eprover: CPU time limit exceeded, terminating
% 133.51/129.85 eprover: CPU time limit exceeded, terminating
% 135.55/131.87 eprover: CPU time limit exceeded, terminating
% 137.57/133.88 eprover: CPU time limit exceeded, terminating
% 139.63/135.90 eprover: CPU time limit exceeded, terminating
% 141.69/137.91 eprover: CPU time limit exceeded, terminating
% 143.75/139.93 eprover: CPU time limit exceeded, terminating
% 145.81/141.94 eprover: CPU time limit exceeded, terminating
% 147.79/143.96 eprover: CPU time limit exceeded, terminating
% 149.82/145.97 eprover: CPU time limit exceeded, terminating
% 151.87/147.98 eprover: CPU time limit exceeded, terminating
% 153.97/150.00 eprover: CPU time limit exceeded, terminating
% 156.03/152.02 eprover: CPU time limit exceeded, terminating
% 158.03/154.03 eprover: CPU time limit exceeded, terminating
% 160.09/156.05 eprover: CPU time limit exceeded, terminating
% 162.10/158.06 eprover: CPU time limit exceeded, terminating
% 164.19/160.07 eprover: CPU time limit exceeded, terminating
% 166.15/162.09 eprover: CPU time limit exceeded, terminating
% 168.27/164.10 eprover: CPU time limit exceeded, terminating
% 170.32/166.11 eprover: CPU time limit exceeded, terminating
% 172.36/168.13 eprover: CPU time limit exceeded, terminating
% 174.39/170.14 eprover: CPU time limit exceeded, terminating
% 176.38/172.16 eprover: CPU time limit exceeded, terminating
% 178.42/174.17 eprover: CPU time limit exceeded, terminating
% 180.46/176.19 eprover: CPU time limit exceeded, terminating
% 182.57/178.21 eprover: CPU time limit exceeded, terminating
% 184.62/180.22 eprover: CPU time limit exceeded, terminating
% 186.62/182.24 eprover: CPU time limit exceeded, terminating
% 188.66/184.25 eprover: CPU time limit exceeded, terminating
% 190.74/186.27 eprover: CPU time limit exceeded, terminating
% 192.74/188.28 eprover: CPU time limit exceeded, terminating
% 194.84/190.29 eprover: CPU time limit exceeded, terminating
% 196.80/192.31 eprover: CPU time limit exceeded, terminating
% 198.93/194.32 eprover: CPU time limit exceeded, terminating
% 200.97/196.34 eprover: CPU time limit exceeded, terminating
% 203.01/198.35 eprover: CPU time limit exceeded, terminating
% 205.00/200.37 eprover: CPU time limit exceeded, terminating
% 207.07/202.38 eprover: CPU time limit exceeded, terminating
% 209.15/204.39 eprover: CPU time limit exceeded, terminating
% 211.19/206.41 eprover: CPU time limit exceeded, terminating
% 213.19/208.42 eprover: CPU time limit exceeded, terminating
% 215.24/210.44 eprover: CPU time limit exceeded, terminating
% 217.28/212.45 eprover: CPU time limit exceeded, terminating
% 219.32/214.46 eprover: CPU time limit exceeded, terminating
% 221.41/216.48 eprover: CPU time limit exceeded, terminating
% 223.37/218.49 eprover: CPU time limit exceeded, terminating
% 225.48/220.51 eprover: CPU time limit exceeded, terminating
% 227.53/222.52 eprover: CPU time limit exceeded, terminating
% 229.52/224.53 eprover: CPU time limit exceeded, terminating
% 231.58/226.55 eprover: CPU time limit exceeded, terminating
% 233.62/228.56 eprover: CPU time limit exceeded, terminating
% 235.62/230.58 eprover: CPU time limit exceeded, terminating
% 237.75/232.59 eprover: CPU time limit exceeded, terminating
% 239.70/234.60 eprover: CPU time limit exceeded, terminating
% 241.84/236.62 eprover: CPU time limit exceeded, terminating
% 243.85/238.63 eprover: CPU time limit exceeded, terminating
% 245.88/240.64 eprover: CPU time limit exceeded, terminating
% 247.93/242.66 eprover: CPU time limit exceeded, terminating
% 249.92/244.67 eprover: CPU time limit exceeded, terminating
% 251.99/246.68 eprover: CPU time limit exceeded, terminating
% 254.08/248.69 eprover: CPU time limit exceeded, terminating
% 256.11/250.71 eprover: CPU time limit exceeded, terminating
% 258.15/252.72 eprover: CPU time limit exceeded, terminating
% 260.14/254.73 eprover: CPU time limit exceeded, terminating
% 262.19/256.75 eprover: CPU time limit exceeded, terminating
% 264.20/258.76 eprover: CPU time limit exceeded, terminating
% 266.26/260.78 eprover: CPU time limit exceeded, terminating
% 268.36/262.79 eprover: CPU time limit exceeded, terminating
% 270.30/264.80 eprover: CPU time limit exceeded, terminating
% 272.44/266.82 eprover: CPU time limit exceeded, terminating
% 274.42/268.83 eprover: CPU time limit exceeded, terminating
% 276.51/270.84 eprover: CPU time limit exceeded, terminating
% 278.52/272.85 eprover: CPU time limit exceeded, terminating
% 280.54/274.87 eprover: CPU time limit exceeded, terminating
% 282.62/276.89 eprover: CPU time limit exceeded, terminating
% 284.66/278.90 eprover: CPU time limit exceeded, terminating
% 286.68/280.91 eprover: CPU time limit exceeded, terminating
% 288.74/282.92 eprover: CPU time limit exceeded, terminating
% 290.74/284.93 eprover: CPU time limit exceeded, terminating
% 292.79/286.95 eprover: CPU time limit exceeded, terminating
% 294.81/288.96 eprover: CPU time limit exceeded, terminating
% 296.90/290.97 eprover: CPU time limit exceeded, terminating
% 298.87/292.99 eprover: CPU time limit exceeded, terminating
% 300.07/294.09 eprover: CPU time limit exceeded, terminating
% 300.07/294.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------