TSTP Solution File: PUZ056-2.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ056-2.020 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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 : Mon Jul 18 18:12:37 EDT 2022
% Result : Timeout 285.86s 239.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : PUZ056-2.020 : TPTP v8.1.0. Released v3.5.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.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 : Sun May 29 00:24:53 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.60/5.43 eprover: CPU time limit exceeded, terminating
% 8.01/7.47 eprover: CPU time limit exceeded, terminating
% 10.51/9.51 eprover: CPU time limit exceeded, terminating
% 12.95/11.55 eprover: CPU time limit exceeded, terminating
% 15.33/13.57 eprover: CPU time limit exceeded, terminating
% 17.84/15.61 eprover: CPU time limit exceeded, terminating
% 20.24/17.67 eprover: CPU time limit exceeded, terminating
% 22.71/19.71 eprover: CPU time limit exceeded, terminating
% 25.14/21.76 eprover: CPU time limit exceeded, terminating
% 27.49/23.80 eprover: CPU time limit exceeded, terminating
% 29.97/25.83 eprover: CPU time limit exceeded, terminating
% 32.31/27.87 eprover: CPU time limit exceeded, terminating
% 34.75/29.91 eprover: CPU time limit exceeded, terminating
% 37.20/31.94 eprover: CPU time limit exceeded, terminating
% 39.66/33.98 eprover: CPU time limit exceeded, terminating
% 42.14/36.04 eprover: CPU time limit exceeded, terminating
% 44.52/38.08 eprover: CPU time limit exceeded, terminating
% 47.01/40.12 eprover: CPU time limit exceeded, terminating
% 49.41/42.15 eprover: CPU time limit exceeded, terminating
% 51.84/44.18 eprover: CPU time limit exceeded, terminating
% 54.35/46.22 eprover: CPU time limit exceeded, terminating
% 56.73/48.25 eprover: CPU time limit exceeded, terminating
% 59.20/50.27 eprover: CPU time limit exceeded, terminating
% 61.68/52.31 eprover: CPU time limit exceeded, terminating
% 64.09/54.34 eprover: CPU time limit exceeded, terminating
% 66.51/56.36 eprover: CPU time limit exceeded, terminating
% 68.98/58.39 eprover: CPU time limit exceeded, terminating
% 71.39/60.46 eprover: CPU time limit exceeded, terminating
% 73.89/62.49 eprover: CPU time limit exceeded, terminating
% 76.33/64.53 eprover: CPU time limit exceeded, terminating
% 78.72/66.57 eprover: CPU time limit exceeded, terminating
% 81.19/68.61 eprover: CPU time limit exceeded, terminating
% 83.62/70.65 eprover: CPU time limit exceeded, terminating
% 86.03/72.69 eprover: CPU time limit exceeded, terminating
% 88.52/74.73 eprover: CPU time limit exceeded, terminating
% 90.92/76.75 eprover: CPU time limit exceeded, terminating
% 93.33/78.79 eprover: CPU time limit exceeded, terminating
% 95.83/80.82 eprover: CPU time limit exceeded, terminating
% 98.23/82.84 eprover: CPU time limit exceeded, terminating
% 100.65/84.88 eprover: CPU time limit exceeded, terminating
% 103.13/86.92 eprover: CPU time limit exceeded, terminating
% 105.51/88.95 eprover: CPU time limit exceeded, terminating
% 108.00/90.98 eprover: CPU time limit exceeded, terminating
% 110.36/93.04 eprover: CPU time limit exceeded, terminating
% 112.69/95.08 eprover: CPU time limit exceeded, terminating
% 115.17/97.14 eprover: CPU time limit exceeded, terminating
% 117.50/99.19 eprover: CPU time limit exceeded, terminating
% 119.99/101.22 eprover: CPU time limit exceeded, terminating
% 122.44/103.25 eprover: CPU time limit exceeded, terminating
% 124.83/105.29 eprover: CPU time limit exceeded, terminating
% 127.26/107.33 eprover: CPU time limit exceeded, terminating
% 129.59/109.38 eprover: CPU time limit exceeded, terminating
% 132.02/111.44 eprover: CPU time limit exceeded, terminating
% 134.52/113.48 eprover: CPU time limit exceeded, terminating
% 137.02/115.52 eprover: CPU time limit exceeded, terminating
% 139.39/117.55 eprover: CPU time limit exceeded, terminating
% 141.86/119.60 eprover: CPU time limit exceeded, terminating
% 144.33/121.63 eprover: CPU time limit exceeded, terminating
% 146.72/123.67 eprover: CPU time limit exceeded, terminating
% 149.29/125.73 eprover: CPU time limit exceeded, terminating
% 151.73/127.77 eprover: CPU time limit exceeded, terminating
% 154.19/129.81 eprover: CPU time limit exceeded, terminating
% 156.54/131.84 eprover: CPU time limit exceeded, terminating
% 158.92/133.92 eprover: CPU time limit exceeded, terminating
% 161.35/135.95 eprover: CPU time limit exceeded, terminating
% 163.81/137.99 eprover: CPU time limit exceeded, terminating
% 166.24/140.02 eprover: CPU time limit exceeded, terminating
% 168.58/142.05 eprover: CPU time limit exceeded, terminating
% 171.04/144.08 eprover: CPU time limit exceeded, terminating
% 173.57/146.12 eprover: CPU time limit exceeded, terminating
% 175.97/148.15 eprover: CPU time limit exceeded, terminating
% 178.39/150.18 eprover: CPU time limit exceeded, terminating
% 180.82/152.21 eprover: CPU time limit exceeded, terminating
% 183.25/154.24 eprover: CPU time limit exceeded, terminating
% 185.72/156.28 eprover: CPU time limit exceeded, terminating
% 188.09/158.31 eprover: CPU time limit exceeded, terminating
% 190.55/160.34 eprover: CPU time limit exceeded, terminating
% 192.98/162.36 eprover: CPU time limit exceeded, terminating
% 195.40/164.39 eprover: CPU time limit exceeded, terminating
% 197.89/166.42 eprover: CPU time limit exceeded, terminating
% 200.29/168.45 eprover: CPU time limit exceeded, terminating
% 202.73/170.48 eprover: CPU time limit exceeded, terminating
% 205.17/172.50 eprover: CPU time limit exceeded, terminating
% 207.60/174.53 eprover: CPU time limit exceeded, terminating
% 210.01/176.56 eprover: CPU time limit exceeded, terminating
% 212.49/178.59 eprover: CPU time limit exceeded, terminating
% 214.90/180.62 eprover: CPU time limit exceeded, terminating
% 217.35/182.65 eprover: CPU time limit exceeded, terminating
% 219.78/184.68 eprover: CPU time limit exceeded, terminating
% 222.24/186.70 eprover: CPU time limit exceeded, terminating
% 224.66/188.73 eprover: CPU time limit exceeded, terminating
% 227.11/190.77 eprover: CPU time limit exceeded, terminating
% 229.51/192.81 eprover: CPU time limit exceeded, terminating
% 231.97/194.85 eprover: CPU time limit exceeded, terminating
% 234.44/196.88 eprover: CPU time limit exceeded, terminating
% 236.82/198.92 eprover: CPU time limit exceeded, terminating
% 239.26/200.96 eprover: CPU time limit exceeded, terminating
% 241.75/202.99 eprover: CPU time limit exceeded, terminating
% 244.18/205.03 eprover: CPU time limit exceeded, terminating
% 246.57/207.07 eprover: CPU time limit exceeded, terminating
% 249.03/209.10 eprover: CPU time limit exceeded, terminating
% 251.45/211.14 eprover: CPU time limit exceeded, terminating
% 253.95/213.17 eprover: CPU time limit exceeded, terminating
% 256.43/215.21 eprover: CPU time limit exceeded, terminating
% 258.83/217.24 eprover: CPU time limit exceeded, terminating
% 261.33/219.28 eprover: CPU time limit exceeded, terminating
% 263.76/221.31 eprover: CPU time limit exceeded, terminating
% 266.21/223.34 eprover: CPU time limit exceeded, terminating
% 268.71/225.37 eprover: CPU time limit exceeded, terminating
% 271.14/227.41 eprover: CPU time limit exceeded, terminating
% 273.62/229.45 eprover: CPU time limit exceeded, terminating
% 276.07/231.48 eprover: CPU time limit exceeded, terminating
% 278.48/233.52 eprover: CPU time limit exceeded, terminating
% 280.88/235.56 eprover: CPU time limit exceeded, terminating
% 283.42/237.59 eprover: CPU time limit exceeded, terminating
% 285.86/239.63 eprover: CPU time limit exceeded, terminating
% 288.28/241.67 eprover: CPU time limit exceeded, terminating
% 290.69/243.70 eprover: CPU time limit exceeded, terminating
% 293.13/245.73 eprover: CPU time limit exceeded, terminating
% 295.56/247.77 eprover: CPU time limit exceeded, terminating
% 298.01/249.80 eprover: CPU time limit exceeded, terminating
% 300.05/251.40 eprover: CPU time limit exceeded, terminating
% 300.05/251.42 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------