TSTP Solution File: SWV567-1.013 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV567-1.013 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:52 EDT 2022
% Result : Timeout 285.81s 267.84s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWV567-1.013 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n015.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 : Thu Jun 16 05:26:11 EDT 2022
% 0.13/0.34 % CPUTime :
% 50.99/50.95 eprover: CPU time limit exceeded, terminating
% 53.18/53.00 eprover: CPU time limit exceeded, terminating
% 55.33/55.04 eprover: CPU time limit exceeded, terminating
% 57.62/57.07 eprover: CPU time limit exceeded, terminating
% 59.80/59.14 eprover: CPU time limit exceeded, terminating
% 61.99/61.18 eprover: CPU time limit exceeded, terminating
% 64.22/63.21 eprover: CPU time limit exceeded, terminating
% 66.36/65.24 eprover: CPU time limit exceeded, terminating
% 68.67/67.28 eprover: CPU time limit exceeded, terminating
% 70.87/69.31 eprover: CPU time limit exceeded, terminating
% 73.04/71.34 eprover: CPU time limit exceeded, terminating
% 75.20/73.36 eprover: CPU time limit exceeded, terminating
% 77.39/75.40 eprover: CPU time limit exceeded, terminating
% 79.62/77.43 eprover: CPU time limit exceeded, terminating
% 81.80/79.46 eprover: CPU time limit exceeded, terminating
% 83.92/81.49 eprover: CPU time limit exceeded, terminating
% 86.16/83.51 eprover: CPU time limit exceeded, terminating
% 88.31/85.53 eprover: CPU time limit exceeded, terminating
% 90.51/87.56 eprover: CPU time limit exceeded, terminating
% 92.73/89.59 eprover: CPU time limit exceeded, terminating
% 94.94/91.61 eprover: CPU time limit exceeded, terminating
% 97.15/93.64 eprover: CPU time limit exceeded, terminating
% 99.28/95.67 eprover: CPU time limit exceeded, terminating
% 101.47/97.70 eprover: CPU time limit exceeded, terminating
% 103.66/99.72 eprover: CPU time limit exceeded, terminating
% 105.89/101.75 eprover: CPU time limit exceeded, terminating
% 108.09/103.78 eprover: CPU time limit exceeded, terminating
% 110.23/105.81 eprover: CPU time limit exceeded, terminating
% 112.47/107.83 eprover: CPU time limit exceeded, terminating
% 114.65/109.86 eprover: CPU time limit exceeded, terminating
% 116.83/111.89 eprover: CPU time limit exceeded, terminating
% 119.02/113.92 eprover: CPU time limit exceeded, terminating
% 121.27/115.94 eprover: CPU time limit exceeded, terminating
% 123.46/117.97 eprover: CPU time limit exceeded, terminating
% 125.62/120.00 eprover: CPU time limit exceeded, terminating
% 127.84/122.03 eprover: CPU time limit exceeded, terminating
% 130.00/124.04 eprover: CPU time limit exceeded, terminating
% 132.22/126.07 eprover: CPU time limit exceeded, terminating
% 134.42/128.10 eprover: CPU time limit exceeded, terminating
% 136.55/130.13 eprover: CPU time limit exceeded, terminating
% 138.81/132.16 eprover: CPU time limit exceeded, terminating
% 140.99/134.18 eprover: CPU time limit exceeded, terminating
% 143.15/136.21 eprover: CPU time limit exceeded, terminating
% 145.31/138.24 eprover: CPU time limit exceeded, terminating
% 147.55/140.27 eprover: CPU time limit exceeded, terminating
% 149.77/142.30 eprover: CPU time limit exceeded, terminating
% 151.94/144.32 eprover: CPU time limit exceeded, terminating
% 154.11/146.35 eprover: CPU time limit exceeded, terminating
% 156.32/148.38 eprover: CPU time limit exceeded, terminating
% 158.52/150.40 eprover: CPU time limit exceeded, terminating
% 160.70/152.44 eprover: CPU time limit exceeded, terminating
% 162.94/154.46 eprover: CPU time limit exceeded, terminating
% 165.11/156.49 eprover: CPU time limit exceeded, terminating
% 167.31/158.52 eprover: CPU time limit exceeded, terminating
% 169.51/160.54 eprover: CPU time limit exceeded, terminating
% 171.69/162.57 eprover: CPU time limit exceeded, terminating
% 173.89/164.60 eprover: CPU time limit exceeded, terminating
% 176.07/166.63 eprover: CPU time limit exceeded, terminating
% 178.29/168.66 eprover: CPU time limit exceeded, terminating
% 180.46/170.68 eprover: CPU time limit exceeded, terminating
% 182.63/172.71 eprover: CPU time limit exceeded, terminating
% 184.87/174.74 eprover: CPU time limit exceeded, terminating
% 187.04/176.76 eprover: CPU time limit exceeded, terminating
% 189.22/178.79 eprover: CPU time limit exceeded, terminating
% 191.41/180.82 eprover: CPU time limit exceeded, terminating
% 193.57/182.84 eprover: CPU time limit exceeded, terminating
% 195.83/184.87 eprover: CPU time limit exceeded, terminating
% 198.01/186.90 eprover: CPU time limit exceeded, terminating
% 200.23/188.93 eprover: CPU time limit exceeded, terminating
% 202.42/190.95 eprover: CPU time limit exceeded, terminating
% 204.60/192.98 eprover: CPU time limit exceeded, terminating
% 206.78/195.00 eprover: CPU time limit exceeded, terminating
% 208.98/197.03 eprover: CPU time limit exceeded, terminating
% 211.19/199.06 eprover: CPU time limit exceeded, terminating
% 213.35/201.08 eprover: CPU time limit exceeded, terminating
% 215.56/203.10 eprover: CPU time limit exceeded, terminating
% 217.77/205.13 eprover: CPU time limit exceeded, terminating
% 219.91/207.15 eprover: CPU time limit exceeded, terminating
% 222.15/209.18 eprover: CPU time limit exceeded, terminating
% 224.35/211.20 eprover: CPU time limit exceeded, terminating
% 226.53/213.22 eprover: CPU time limit exceeded, terminating
% 228.69/215.25 eprover: CPU time limit exceeded, terminating
% 230.96/217.27 eprover: CPU time limit exceeded, terminating
% 233.12/219.29 eprover: CPU time limit exceeded, terminating
% 235.30/221.32 eprover: CPU time limit exceeded, terminating
% 237.52/223.34 eprover: CPU time limit exceeded, terminating
% 239.66/225.37 eprover: CPU time limit exceeded, terminating
% 241.91/227.39 eprover: CPU time limit exceeded, terminating
% 244.11/229.41 eprover: CPU time limit exceeded, terminating
% 246.22/231.43 eprover: CPU time limit exceeded, terminating
% 248.49/233.46 eprover: CPU time limit exceeded, terminating
% 250.70/235.48 eprover: CPU time limit exceeded, terminating
% 252.88/237.50 eprover: CPU time limit exceeded, terminating
% 255.09/239.52 eprover: CPU time limit exceeded, terminating
% 257.28/241.55 eprover: CPU time limit exceeded, terminating
% 259.43/243.57 eprover: CPU time limit exceeded, terminating
% 261.63/245.59 eprover: CPU time limit exceeded, terminating
% 263.84/247.62 eprover: CPU time limit exceeded, terminating
% 266.06/249.64 eprover: CPU time limit exceeded, terminating
% 268.26/251.66 eprover: CPU time limit exceeded, terminating
% 270.40/253.68 eprover: CPU time limit exceeded, terminating
% 272.61/255.70 eprover: CPU time limit exceeded, terminating
% 274.84/257.73 eprover: CPU time limit exceeded, terminating
% 277.02/259.75 eprover: CPU time limit exceeded, terminating
% 279.23/261.77 eprover: CPU time limit exceeded, terminating
% 281.43/263.79 eprover: CPU time limit exceeded, terminating
% 283.57/265.82 eprover: CPU time limit exceeded, terminating
% 285.81/267.84 eprover: CPU time limit exceeded, terminating
% 287.94/269.86 eprover: CPU time limit exceeded, terminating
% 290.17/271.88 eprover: CPU time limit exceeded, terminating
% 292.36/273.90 eprover: CPU time limit exceeded, terminating
% 294.56/275.93 eprover: CPU time limit exceeded, terminating
% 296.71/277.95 eprover: CPU time limit exceeded, terminating
% 298.94/279.97 eprover: CPU time limit exceeded, terminating
% 300.08/280.92 eprover: CPU time limit exceeded, terminating
% 300.08/280.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------