TSTP Solution File: LAT287+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT287+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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 : Sun Jul 17 05:13:49 EDT 2022
% Result : Timeout 285.74s 250.69s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT287+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.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 : Wed Jun 29 17:48:45 EDT 2022
% 0.13/0.34 % CPUTime :
% 21.30/21.15 eprover: CPU time limit exceeded, terminating
% 23.64/23.16 eprover: CPU time limit exceeded, terminating
% 25.95/25.18 eprover: CPU time limit exceeded, terminating
% 28.23/27.19 eprover: CPU time limit exceeded, terminating
% 30.57/29.20 eprover: CPU time limit exceeded, terminating
% 32.86/31.22 eprover: CPU time limit exceeded, terminating
% 35.21/33.23 eprover: CPU time limit exceeded, terminating
% 37.55/35.24 eprover: CPU time limit exceeded, terminating
% 39.87/37.26 eprover: CPU time limit exceeded, terminating
% 42.13/39.27 eprover: CPU time limit exceeded, terminating
% 44.47/41.28 eprover: CPU time limit exceeded, terminating
% 46.82/43.30 eprover: CPU time limit exceeded, terminating
% 49.13/45.31 eprover: CPU time limit exceeded, terminating
% 51.44/47.32 eprover: CPU time limit exceeded, terminating
% 53.72/49.33 eprover: CPU time limit exceeded, terminating
% 56.08/51.35 eprover: CPU time limit exceeded, terminating
% 58.38/53.36 eprover: CPU time limit exceeded, terminating
% 60.75/55.37 eprover: CPU time limit exceeded, terminating
% 63.06/57.39 eprover: CPU time limit exceeded, terminating
% 65.39/59.40 eprover: CPU time limit exceeded, terminating
% 67.74/61.41 eprover: CPU time limit exceeded, terminating
% 70.01/63.43 eprover: CPU time limit exceeded, terminating
% 72.41/65.44 eprover: CPU time limit exceeded, terminating
% 74.75/67.45 eprover: CPU time limit exceeded, terminating
% 77.10/69.47 eprover: CPU time limit exceeded, terminating
% 79.40/71.48 eprover: CPU time limit exceeded, terminating
% 81.73/73.49 eprover: CPU time limit exceeded, terminating
% 84.02/75.50 eprover: CPU time limit exceeded, terminating
% 86.34/77.52 eprover: CPU time limit exceeded, terminating
% 88.68/79.53 eprover: CPU time limit exceeded, terminating
% 90.93/81.54 eprover: CPU time limit exceeded, terminating
% 93.30/83.56 eprover: CPU time limit exceeded, terminating
% 95.65/85.57 eprover: CPU time limit exceeded, terminating
% 97.93/87.58 eprover: CPU time limit exceeded, terminating
% 100.27/89.60 eprover: CPU time limit exceeded, terminating
% 102.61/91.61 eprover: CPU time limit exceeded, terminating
% 104.93/93.62 eprover: CPU time limit exceeded, terminating
% 107.18/95.64 eprover: CPU time limit exceeded, terminating
% 109.50/97.65 eprover: CPU time limit exceeded, terminating
% 111.86/99.66 eprover: CPU time limit exceeded, terminating
% 114.19/101.67 eprover: CPU time limit exceeded, terminating
% 116.53/103.69 eprover: CPU time limit exceeded, terminating
% 118.82/105.70 eprover: CPU time limit exceeded, terminating
% 121.15/107.71 eprover: CPU time limit exceeded, terminating
% 123.44/109.73 eprover: CPU time limit exceeded, terminating
% 125.80/111.74 eprover: CPU time limit exceeded, terminating
% 128.13/113.75 eprover: CPU time limit exceeded, terminating
% 130.45/115.77 eprover: CPU time limit exceeded, terminating
% 132.74/117.78 eprover: CPU time limit exceeded, terminating
% 135.10/119.79 eprover: CPU time limit exceeded, terminating
% 137.41/121.81 eprover: CPU time limit exceeded, terminating
% 139.69/123.82 eprover: CPU time limit exceeded, terminating
% 142.04/125.83 eprover: CPU time limit exceeded, terminating
% 144.37/127.85 eprover: CPU time limit exceeded, terminating
% 146.64/129.86 eprover: CPU time limit exceeded, terminating
% 149.01/131.87 eprover: CPU time limit exceeded, terminating
% 151.30/133.89 eprover: CPU time limit exceeded, terminating
% 153.57/135.90 eprover: CPU time limit exceeded, terminating
% 155.92/137.91 eprover: CPU time limit exceeded, terminating
% 158.18/139.93 eprover: CPU time limit exceeded, terminating
% 160.57/141.94 eprover: CPU time limit exceeded, terminating
% 162.89/143.95 eprover: CPU time limit exceeded, terminating
% 165.17/145.97 eprover: CPU time limit exceeded, terminating
% 167.53/147.98 eprover: CPU time limit exceeded, terminating
% 169.80/149.99 eprover: CPU time limit exceeded, terminating
% 172.11/152.01 eprover: CPU time limit exceeded, terminating
% 174.40/154.02 eprover: CPU time limit exceeded, terminating
% 176.78/156.04 eprover: CPU time limit exceeded, terminating
% 179.08/158.05 eprover: CPU time limit exceeded, terminating
% 181.40/160.07 eprover: CPU time limit exceeded, terminating
% 183.74/162.08 eprover: CPU time limit exceeded, terminating
% 186.01/164.09 eprover: CPU time limit exceeded, terminating
% 188.32/166.12 eprover: CPU time limit exceeded, terminating
% 190.61/168.14 eprover: CPU time limit exceeded, terminating
% 192.99/170.15 eprover: CPU time limit exceeded, terminating
% 195.30/172.16 eprover: CPU time limit exceeded, terminating
% 197.61/174.18 eprover: CPU time limit exceeded, terminating
% 199.93/176.19 eprover: CPU time limit exceeded, terminating
% 202.24/178.20 eprover: CPU time limit exceeded, terminating
% 204.61/180.21 eprover: CPU time limit exceeded, terminating
% 206.91/182.23 eprover: CPU time limit exceeded, terminating
% 209.17/184.24 eprover: CPU time limit exceeded, terminating
% 211.54/186.26 eprover: CPU time limit exceeded, terminating
% 213.86/188.27 eprover: CPU time limit exceeded, terminating
% 216.18/190.28 eprover: CPU time limit exceeded, terminating
% 218.50/192.30 eprover: CPU time limit exceeded, terminating
% 220.79/194.31 eprover: CPU time limit exceeded, terminating
% 223.10/196.32 eprover: CPU time limit exceeded, terminating
% 225.38/198.34 eprover: CPU time limit exceeded, terminating
% 227.78/200.35 eprover: CPU time limit exceeded, terminating
% 230.09/202.36 eprover: CPU time limit exceeded, terminating
% 232.41/204.38 eprover: CPU time limit exceeded, terminating
% 234.72/206.39 eprover: CPU time limit exceeded, terminating
% 237.06/208.41 eprover: CPU time limit exceeded, terminating
% 239.36/210.42 eprover: CPU time limit exceeded, terminating
% 241.64/212.43 eprover: CPU time limit exceeded, terminating
% 244.03/214.45 eprover: CPU time limit exceeded, terminating
% 246.34/216.46 eprover: CPU time limit exceeded, terminating
% 248.61/218.48 eprover: CPU time limit exceeded, terminating
% 250.94/220.49 eprover: CPU time limit exceeded, terminating
% 253.29/222.50 eprover: CPU time limit exceeded, terminating
% 255.61/224.52 eprover: CPU time limit exceeded, terminating
% 257.92/226.53 eprover: CPU time limit exceeded, terminating
% 260.24/228.54 eprover: CPU time limit exceeded, terminating
% 262.54/230.56 eprover: CPU time limit exceeded, terminating
% 264.90/232.57 eprover: CPU time limit exceeded, terminating
% 267.19/234.58 eprover: CPU time limit exceeded, terminating
% 269.52/236.60 eprover: CPU time limit exceeded, terminating
% 271.83/238.61 eprover: CPU time limit exceeded, terminating
% 274.11/240.62 eprover: CPU time limit exceeded, terminating
% 276.45/242.64 eprover: CPU time limit exceeded, terminating
% 278.81/244.65 eprover: CPU time limit exceeded, terminating
% 281.10/246.67 eprover: CPU time limit exceeded, terminating
% 283.44/248.68 eprover: CPU time limit exceeded, terminating
% 285.74/250.69 eprover: CPU time limit exceeded, terminating
% 288.03/252.71 eprover: CPU time limit exceeded, terminating
% 290.35/254.72 eprover: CPU time limit exceeded, terminating
% 292.71/256.73 eprover: CPU time limit exceeded, terminating
% 294.98/258.75 eprover: CPU time limit exceeded, terminating
% 297.36/260.76 eprover: CPU time limit exceeded, terminating
% 299.68/262.77 eprover: CPU time limit exceeded, terminating
% 300.19/263.19 eprover: CPU time limit exceeded, terminating
% 300.19/263.20 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------