TSTP Solution File: SWW321+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW321+1 : TPTP v8.1.0. Released v5.2.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 : Thu Jul 21 00:24:36 EDT 2022
% Result : Timeout 287.75s 242.96s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SWW321+1 : TPTP v8.1.0. Released v5.2.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n017.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 4 20:01:45 EDT 2022
% 0.12/0.34 % CPUTime :
% 55.62/55.27 eprover: CPU time limit exceeded, terminating
% 58.12/57.28 eprover: CPU time limit exceeded, terminating
% 60.51/59.30 eprover: CPU time limit exceeded, terminating
% 63.01/61.32 eprover: CPU time limit exceeded, terminating
% 65.52/63.33 eprover: CPU time limit exceeded, terminating
% 67.89/65.35 eprover: CPU time limit exceeded, terminating
% 70.39/67.39 eprover: CPU time limit exceeded, terminating
% 72.81/69.41 eprover: CPU time limit exceeded, terminating
% 75.29/71.42 eprover: CPU time limit exceeded, terminating
% 77.81/73.44 eprover: CPU time limit exceeded, terminating
% 80.27/75.46 eprover: CPU time limit exceeded, terminating
% 82.69/77.48 eprover: CPU time limit exceeded, terminating
% 85.18/79.49 eprover: CPU time limit exceeded, terminating
% 87.65/81.51 eprover: CPU time limit exceeded, terminating
% 90.10/83.54 eprover: CPU time limit exceeded, terminating
% 92.57/85.55 eprover: CPU time limit exceeded, terminating
% 94.94/87.57 eprover: CPU time limit exceeded, terminating
% 97.43/89.59 eprover: CPU time limit exceeded, terminating
% 99.91/91.61 eprover: CPU time limit exceeded, terminating
% 102.34/93.63 eprover: CPU time limit exceeded, terminating
% 104.83/95.64 eprover: CPU time limit exceeded, terminating
% 107.23/97.66 eprover: CPU time limit exceeded, terminating
% 109.73/99.67 eprover: CPU time limit exceeded, terminating
% 112.24/101.69 eprover: CPU time limit exceeded, terminating
% 114.68/103.71 eprover: CPU time limit exceeded, terminating
% 117.15/105.73 eprover: CPU time limit exceeded, terminating
% 119.59/107.74 eprover: CPU time limit exceeded, terminating
% 122.06/109.76 eprover: CPU time limit exceeded, terminating
% 124.51/111.78 eprover: CPU time limit exceeded, terminating
% 126.96/113.79 eprover: CPU time limit exceeded, terminating
% 129.44/115.81 eprover: CPU time limit exceeded, terminating
% 131.92/117.83 eprover: CPU time limit exceeded, terminating
% 134.40/119.84 eprover: CPU time limit exceeded, terminating
% 136.89/121.85 eprover: CPU time limit exceeded, terminating
% 139.40/123.87 eprover: CPU time limit exceeded, terminating
% 141.88/125.89 eprover: CPU time limit exceeded, terminating
% 144.33/127.90 eprover: CPU time limit exceeded, terminating
% 146.83/129.92 eprover: CPU time limit exceeded, terminating
% 149.28/131.94 eprover: CPU time limit exceeded, terminating
% 153.73/133.96 eprover: CPU time limit exceeded, terminating
% 156.25/135.97 eprover: CPU time limit exceeded, terminating
% 158.74/137.99 eprover: CPU time limit exceeded, terminating
% 161.17/140.01 eprover: CPU time limit exceeded, terminating
% 163.68/142.03 eprover: CPU time limit exceeded, terminating
% 166.15/144.04 eprover: CPU time limit exceeded, terminating
% 168.64/146.06 eprover: CPU time limit exceeded, terminating
% 171.12/148.08 eprover: CPU time limit exceeded, terminating
% 173.55/150.10 eprover: CPU time limit exceeded, terminating
% 176.06/152.11 eprover: CPU time limit exceeded, terminating
% 178.52/154.13 eprover: CPU time limit exceeded, terminating
% 181.04/156.15 eprover: CPU time limit exceeded, terminating
% 183.54/158.17 eprover: CPU time limit exceeded, terminating
% 186.02/160.19 eprover: CPU time limit exceeded, terminating
% 188.45/162.22 eprover: CPU time limit exceeded, terminating
% 190.95/164.23 eprover: CPU time limit exceeded, terminating
% 193.41/166.25 eprover: CPU time limit exceeded, terminating
% 195.93/168.26 eprover: CPU time limit exceeded, terminating
% 198.35/170.28 eprover: CPU time limit exceeded, terminating
% 200.82/172.30 eprover: CPU time limit exceeded, terminating
% 203.32/174.32 eprover: CPU time limit exceeded, terminating
% 205.74/176.34 eprover: CPU time limit exceeded, terminating
% 208.29/178.36 eprover: CPU time limit exceeded, terminating
% 210.73/180.37 eprover: CPU time limit exceeded, terminating
% 213.23/182.39 eprover: CPU time limit exceeded, terminating
% 215.76/184.41 eprover: CPU time limit exceeded, terminating
% 218.16/186.43 eprover: CPU time limit exceeded, terminating
% 220.70/188.45 eprover: CPU time limit exceeded, terminating
% 223.18/190.47 eprover: CPU time limit exceeded, terminating
% 225.65/192.49 eprover: CPU time limit exceeded, terminating
% 228.17/194.51 eprover: CPU time limit exceeded, terminating
% 230.65/196.52 eprover: CPU time limit exceeded, terminating
% 233.10/198.54 eprover: CPU time limit exceeded, terminating
% 235.57/200.56 eprover: CPU time limit exceeded, terminating
% 238.01/202.58 eprover: CPU time limit exceeded, terminating
% 240.54/204.60 eprover: CPU time limit exceeded, terminating
% 243.02/206.62 eprover: CPU time limit exceeded, terminating
% 245.50/208.63 eprover: CPU time limit exceeded, terminating
% 247.93/210.65 eprover: CPU time limit exceeded, terminating
% 250.46/212.67 eprover: CPU time limit exceeded, terminating
% 252.96/214.69 eprover: CPU time limit exceeded, terminating
% 255.48/216.71 eprover: CPU time limit exceeded, terminating
% 257.97/218.73 eprover: CPU time limit exceeded, terminating
% 260.43/220.75 eprover: CPU time limit exceeded, terminating
% 262.93/222.76 eprover: CPU time limit exceeded, terminating
% 265.45/224.78 eprover: CPU time limit exceeded, terminating
% 267.85/226.80 eprover: CPU time limit exceeded, terminating
% 270.37/228.82 eprover: CPU time limit exceeded, terminating
% 272.91/230.85 eprover: CPU time limit exceeded, terminating
% 275.40/232.86 eprover: CPU time limit exceeded, terminating
% 277.83/234.88 eprover: CPU time limit exceeded, terminating
% 280.36/236.90 eprover: CPU time limit exceeded, terminating
% 282.76/238.92 eprover: CPU time limit exceeded, terminating
% 285.25/240.94 eprover: CPU time limit exceeded, terminating
% 287.75/242.96 eprover: CPU time limit exceeded, terminating
% 290.17/244.98 eprover: CPU time limit exceeded, terminating
% 292.73/247.00 eprover: CPU time limit exceeded, terminating
% 295.21/249.01 eprover: CPU time limit exceeded, terminating
% 297.63/251.03 eprover: CPU time limit exceeded, terminating
% 300.02/252.88 eprover: CPU time limit exceeded, terminating
% 300.02/252.89 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------