TSTP Solution File: SWW296+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW296+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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 00:24:34 EDT 2022
% Result : Timeout 287.92s 244.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.14 % Problem : SWW296+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n021.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Mon Jun 6 03:22:35 EDT 2022
% 0.14/0.36 % CPUTime :
% 59.52/59.16 eprover: CPU time limit exceeded, terminating
% 61.96/61.18 eprover: CPU time limit exceeded, terminating
% 64.46/63.20 eprover: CPU time limit exceeded, terminating
% 66.93/65.22 eprover: CPU time limit exceeded, terminating
% 69.40/67.24 eprover: CPU time limit exceeded, terminating
% 71.83/69.26 eprover: CPU time limit exceeded, terminating
% 74.35/71.28 eprover: CPU time limit exceeded, terminating
% 76.85/73.30 eprover: CPU time limit exceeded, terminating
% 79.41/75.32 eprover: CPU time limit exceeded, terminating
% 81.96/77.33 eprover: CPU time limit exceeded, terminating
% 84.40/79.35 eprover: CPU time limit exceeded, terminating
% 86.94/81.37 eprover: CPU time limit exceeded, terminating
% 89.34/83.39 eprover: CPU time limit exceeded, terminating
% 91.91/85.41 eprover: CPU time limit exceeded, terminating
% 94.40/87.43 eprover: CPU time limit exceeded, terminating
% 96.91/89.44 eprover: CPU time limit exceeded, terminating
% 99.37/91.46 eprover: CPU time limit exceeded, terminating
% 101.90/93.48 eprover: CPU time limit exceeded, terminating
% 104.39/95.50 eprover: CPU time limit exceeded, terminating
% 106.85/97.52 eprover: CPU time limit exceeded, terminating
% 109.36/99.54 eprover: CPU time limit exceeded, terminating
% 111.79/101.56 eprover: CPU time limit exceeded, terminating
% 114.38/103.58 eprover: CPU time limit exceeded, terminating
% 116.86/105.60 eprover: CPU time limit exceeded, terminating
% 119.33/107.62 eprover: CPU time limit exceeded, terminating
% 121.78/109.64 eprover: CPU time limit exceeded, terminating
% 124.26/111.66 eprover: CPU time limit exceeded, terminating
% 126.71/113.67 eprover: CPU time limit exceeded, terminating
% 129.18/115.69 eprover: CPU time limit exceeded, terminating
% 131.65/117.71 eprover: CPU time limit exceeded, terminating
% 134.17/119.73 eprover: CPU time limit exceeded, terminating
% 136.58/121.75 eprover: CPU time limit exceeded, terminating
% 139.09/123.77 eprover: CPU time limit exceeded, terminating
% 141.65/125.79 eprover: CPU time limit exceeded, terminating
% 144.10/127.81 eprover: CPU time limit exceeded, terminating
% 146.57/129.82 eprover: CPU time limit exceeded, terminating
% 149.06/131.84 eprover: CPU time limit exceeded, terminating
% 151.53/133.86 eprover: CPU time limit exceeded, terminating
% 154.02/135.88 eprover: CPU time limit exceeded, terminating
% 156.49/137.90 eprover: CPU time limit exceeded, terminating
% 159.03/139.92 eprover: CPU time limit exceeded, terminating
% 161.53/141.94 eprover: CPU time limit exceeded, terminating
% 163.96/143.96 eprover: CPU time limit exceeded, terminating
% 166.47/145.98 eprover: CPU time limit exceeded, terminating
% 168.95/148.00 eprover: CPU time limit exceeded, terminating
% 171.44/150.02 eprover: CPU time limit exceeded, terminating
% 173.90/152.04 eprover: CPU time limit exceeded, terminating
% 176.33/154.05 eprover: CPU time limit exceeded, terminating
% 178.80/156.07 eprover: CPU time limit exceeded, terminating
% 181.34/158.09 eprover: CPU time limit exceeded, terminating
% 183.81/160.11 eprover: CPU time limit exceeded, terminating
% 186.24/162.13 eprover: CPU time limit exceeded, terminating
% 188.73/164.15 eprover: CPU time limit exceeded, terminating
% 191.17/166.17 eprover: CPU time limit exceeded, terminating
% 193.65/168.19 eprover: CPU time limit exceeded, terminating
% 196.22/170.21 eprover: CPU time limit exceeded, terminating
% 198.70/172.23 eprover: CPU time limit exceeded, terminating
% 201.19/174.25 eprover: CPU time limit exceeded, terminating
% 203.65/176.26 eprover: CPU time limit exceeded, terminating
% 206.05/178.28 eprover: CPU time limit exceeded, terminating
% 208.61/180.30 eprover: CPU time limit exceeded, terminating
% 211.12/182.32 eprover: CPU time limit exceeded, terminating
% 213.59/184.34 eprover: CPU time limit exceeded, terminating
% 216.01/186.36 eprover: CPU time limit exceeded, terminating
% 218.49/188.38 eprover: CPU time limit exceeded, terminating
% 221.06/190.40 eprover: CPU time limit exceeded, terminating
% 223.53/192.42 eprover: CPU time limit exceeded, terminating
% 226.00/194.44 eprover: CPU time limit exceeded, terminating
% 228.45/196.46 eprover: CPU time limit exceeded, terminating
% 230.96/198.48 eprover: CPU time limit exceeded, terminating
% 233.42/200.50 eprover: CPU time limit exceeded, terminating
% 235.91/202.52 eprover: CPU time limit exceeded, terminating
% 238.36/204.53 eprover: CPU time limit exceeded, terminating
% 240.79/206.55 eprover: CPU time limit exceeded, terminating
% 243.25/208.57 eprover: CPU time limit exceeded, terminating
% 245.71/210.59 eprover: CPU time limit exceeded, terminating
% 248.23/212.61 eprover: CPU time limit exceeded, terminating
% 250.71/214.63 eprover: CPU time limit exceeded, terminating
% 253.18/216.65 eprover: CPU time limit exceeded, terminating
% 255.69/218.67 eprover: CPU time limit exceeded, terminating
% 258.20/220.69 eprover: CPU time limit exceeded, terminating
% 260.65/222.71 eprover: CPU time limit exceeded, terminating
% 263.13/224.73 eprover: CPU time limit exceeded, terminating
% 265.56/226.75 eprover: CPU time limit exceeded, terminating
% 268.03/228.77 eprover: CPU time limit exceeded, terminating
% 270.48/230.79 eprover: CPU time limit exceeded, terminating
% 272.96/232.80 eprover: CPU time limit exceeded, terminating
% 275.49/234.82 eprover: CPU time limit exceeded, terminating
% 278.00/236.84 eprover: CPU time limit exceeded, terminating
% 280.45/238.86 eprover: CPU time limit exceeded, terminating
% 282.88/240.88 eprover: CPU time limit exceeded, terminating
% 285.38/242.90 eprover: CPU time limit exceeded, terminating
% 287.92/244.92 eprover: CPU time limit exceeded, terminating
% 290.40/246.94 eprover: CPU time limit exceeded, terminating
% 292.84/248.96 eprover: CPU time limit exceeded, terminating
% 295.30/250.98 eprover: CPU time limit exceeded, terminating
% 297.79/253.00 eprover: CPU time limit exceeded, terminating
% 300.08/254.79 eprover: CPU time limit exceeded, terminating
% 300.08/254.81 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------