TSTP Solution File: CSR064+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR064+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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 : Fri Jul 15 03:34:44 EDT 2022
% Result : Timeout 286.13s 216.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR064+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n025.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 : Sat Jun 11 06:34:22 EDT 2022
% 0.13/0.34 % CPUTime :
% 15.01/14.34 eprover: CPU time limit exceeded, terminating
% 17.67/16.37 eprover: CPU time limit exceeded, terminating
% 20.45/18.39 eprover: CPU time limit exceeded, terminating
% 23.25/20.41 eprover: CPU time limit exceeded, terminating
% 26.03/22.43 eprover: CPU time limit exceeded, terminating
% 28.79/24.45 eprover: CPU time limit exceeded, terminating
% 31.48/26.47 eprover: CPU time limit exceeded, terminating
% 34.21/28.49 eprover: CPU time limit exceeded, terminating
% 36.97/30.51 eprover: CPU time limit exceeded, terminating
% 39.76/32.53 eprover: CPU time limit exceeded, terminating
% 42.45/34.55 eprover: CPU time limit exceeded, terminating
% 45.11/36.57 eprover: CPU time limit exceeded, terminating
% 47.92/38.59 eprover: CPU time limit exceeded, terminating
% 50.67/40.61 eprover: CPU time limit exceeded, terminating
% 53.32/42.63 eprover: CPU time limit exceeded, terminating
% 56.09/44.65 eprover: CPU time limit exceeded, terminating
% 58.81/46.67 eprover: CPU time limit exceeded, terminating
% 61.58/48.69 eprover: CPU time limit exceeded, terminating
% 64.20/50.71 eprover: CPU time limit exceeded, terminating
% 67.00/52.73 eprover: CPU time limit exceeded, terminating
% 69.68/54.75 eprover: CPU time limit exceeded, terminating
% 72.42/56.77 eprover: CPU time limit exceeded, terminating
% 75.18/58.79 eprover: CPU time limit exceeded, terminating
% 77.81/60.81 eprover: CPU time limit exceeded, terminating
% 80.43/62.82 eprover: CPU time limit exceeded, terminating
% 83.10/64.84 eprover: CPU time limit exceeded, terminating
% 85.92/66.87 eprover: CPU time limit exceeded, terminating
% 88.57/68.89 eprover: CPU time limit exceeded, terminating
% 91.31/70.91 eprover: CPU time limit exceeded, terminating
% 94.11/72.93 eprover: CPU time limit exceeded, terminating
% 96.85/74.95 eprover: CPU time limit exceeded, terminating
% 99.58/76.98 eprover: CPU time limit exceeded, terminating
% 102.39/79.00 eprover: CPU time limit exceeded, terminating
% 105.10/81.02 eprover: CPU time limit exceeded, terminating
% 107.81/83.04 eprover: CPU time limit exceeded, terminating
% 110.56/85.06 eprover: CPU time limit exceeded, terminating
% 113.34/87.08 eprover: CPU time limit exceeded, terminating
% 116.06/89.10 eprover: CPU time limit exceeded, terminating
% 118.78/91.12 eprover: CPU time limit exceeded, terminating
% 121.46/93.14 eprover: CPU time limit exceeded, terminating
% 124.14/95.17 eprover: CPU time limit exceeded, terminating
% 126.82/97.19 eprover: CPU time limit exceeded, terminating
% 129.56/99.21 eprover: CPU time limit exceeded, terminating
% 132.30/101.23 eprover: CPU time limit exceeded, terminating
% 135.02/103.25 eprover: CPU time limit exceeded, terminating
% 137.66/105.27 eprover: CPU time limit exceeded, terminating
% 140.34/107.29 eprover: CPU time limit exceeded, terminating
% 143.07/109.31 eprover: CPU time limit exceeded, terminating
% 145.75/111.33 eprover: CPU time limit exceeded, terminating
% 148.40/113.36 eprover: CPU time limit exceeded, terminating
% 151.13/115.38 eprover: CPU time limit exceeded, terminating
% 153.82/117.40 eprover: CPU time limit exceeded, terminating
% 156.56/119.42 eprover: CPU time limit exceeded, terminating
% 159.24/121.44 eprover: CPU time limit exceeded, terminating
% 161.90/123.46 eprover: CPU time limit exceeded, terminating
% 164.64/125.59 eprover: CPU time limit exceeded, terminating
% 167.36/127.61 eprover: CPU time limit exceeded, terminating
% 169.99/129.63 eprover: CPU time limit exceeded, terminating
% 172.70/131.65 eprover: CPU time limit exceeded, terminating
% 175.40/133.67 eprover: CPU time limit exceeded, terminating
% 178.08/135.69 eprover: CPU time limit exceeded, terminating
% 180.85/137.71 eprover: CPU time limit exceeded, terminating
% 183.52/139.73 eprover: CPU time limit exceeded, terminating
% 186.22/141.75 eprover: CPU time limit exceeded, terminating
% 188.91/143.77 eprover: CPU time limit exceeded, terminating
% 191.62/145.80 eprover: CPU time limit exceeded, terminating
% 194.36/147.82 eprover: CPU time limit exceeded, terminating
% 197.05/149.84 eprover: CPU time limit exceeded, terminating
% 199.71/151.86 eprover: CPU time limit exceeded, terminating
% 202.41/153.88 eprover: CPU time limit exceeded, terminating
% 205.15/155.90 eprover: CPU time limit exceeded, terminating
% 207.82/157.92 eprover: CPU time limit exceeded, terminating
% 210.51/159.95 eprover: CPU time limit exceeded, terminating
% 213.19/161.97 eprover: CPU time limit exceeded, terminating
% 215.89/163.99 eprover: CPU time limit exceeded, terminating
% 218.70/166.01 eprover: CPU time limit exceeded, terminating
% 221.40/168.03 eprover: CPU time limit exceeded, terminating
% 224.06/170.06 eprover: CPU time limit exceeded, terminating
% 226.80/172.08 eprover: CPU time limit exceeded, terminating
% 229.49/174.10 eprover: CPU time limit exceeded, terminating
% 232.17/176.12 eprover: CPU time limit exceeded, terminating
% 234.86/178.14 eprover: CPU time limit exceeded, terminating
% 237.52/180.16 eprover: CPU time limit exceeded, terminating
% 240.21/182.18 eprover: CPU time limit exceeded, terminating
% 242.96/184.21 eprover: CPU time limit exceeded, terminating
% 245.63/186.23 eprover: CPU time limit exceeded, terminating
% 248.31/188.25 eprover: CPU time limit exceeded, terminating
% 251.02/190.27 eprover: CPU time limit exceeded, terminating
% 253.68/192.29 eprover: CPU time limit exceeded, terminating
% 256.42/194.31 eprover: CPU time limit exceeded, terminating
% 259.12/196.33 eprover: CPU time limit exceeded, terminating
% 261.83/198.35 eprover: CPU time limit exceeded, terminating
% 264.56/200.38 eprover: CPU time limit exceeded, terminating
% 267.24/202.40 eprover: CPU time limit exceeded, terminating
% 269.95/204.42 eprover: CPU time limit exceeded, terminating
% 272.62/206.44 eprover: CPU time limit exceeded, terminating
% 275.33/208.46 eprover: CPU time limit exceeded, terminating
% 277.98/210.48 eprover: CPU time limit exceeded, terminating
% 280.76/212.50 eprover: CPU time limit exceeded, terminating
% 283.45/214.52 eprover: CPU time limit exceeded, terminating
% 286.13/216.54 eprover: CPU time limit exceeded, terminating
% 288.78/218.57 eprover: CPU time limit exceeded, terminating
% 291.49/220.59 eprover: CPU time limit exceeded, terminating
% 294.25/222.61 eprover: CPU time limit exceeded, terminating
% 296.93/224.63 eprover: CPU time limit exceeded, terminating
% 299.62/226.65 eprover: CPU time limit exceeded, terminating
% 300.42/227.20 eprover: CPU time limit exceeded, terminating
% 300.42/227.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------