TSTP Solution File: CSR046+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR046+4 : TPTP v8.1.0. Released v3.4.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 : Fri Jul 15 03:34:31 EDT 2022
% Result : Timeout 286.61s 214.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR046+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n017.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 19:00:20 EDT 2022
% 0.12/0.34 % CPUTime :
% 15.17/14.52 eprover: CPU time limit exceeded, terminating
% 17.88/16.54 eprover: CPU time limit exceeded, terminating
% 20.61/18.56 eprover: CPU time limit exceeded, terminating
% 23.40/20.58 eprover: CPU time limit exceeded, terminating
% 26.26/22.60 eprover: CPU time limit exceeded, terminating
% 29.04/24.62 eprover: CPU time limit exceeded, terminating
% 31.70/26.64 eprover: CPU time limit exceeded, terminating
% 34.51/28.66 eprover: CPU time limit exceeded, terminating
% 37.30/30.68 eprover: CPU time limit exceeded, terminating
% 40.12/32.70 eprover: CPU time limit exceeded, terminating
% 42.86/34.72 eprover: CPU time limit exceeded, terminating
% 45.60/36.74 eprover: CPU time limit exceeded, terminating
% 48.40/38.76 eprover: CPU time limit exceeded, terminating
% 51.10/40.78 eprover: CPU time limit exceeded, terminating
% 53.84/42.80 eprover: CPU time limit exceeded, terminating
% 56.64/44.82 eprover: CPU time limit exceeded, terminating
% 59.38/46.84 eprover: CPU time limit exceeded, terminating
% 62.11/48.86 eprover: CPU time limit exceeded, terminating
% 64.80/50.87 eprover: CPU time limit exceeded, terminating
% 67.44/52.89 eprover: CPU time limit exceeded, terminating
% 70.24/54.92 eprover: CPU time limit exceeded, terminating
% 72.95/56.93 eprover: CPU time limit exceeded, terminating
% 75.63/58.95 eprover: CPU time limit exceeded, terminating
% 78.33/60.98 eprover: CPU time limit exceeded, terminating
% 81.10/63.00 eprover: CPU time limit exceeded, terminating
% 83.85/65.02 eprover: CPU time limit exceeded, terminating
% 86.58/67.04 eprover: CPU time limit exceeded, terminating
% 89.29/69.06 eprover: CPU time limit exceeded, terminating
% 91.97/71.08 eprover: CPU time limit exceeded, terminating
% 94.71/73.11 eprover: CPU time limit exceeded, terminating
% 97.50/75.13 eprover: CPU time limit exceeded, terminating
% 100.04/77.15 eprover: CPU time limit exceeded, terminating
% 102.76/79.27 eprover: CPU time limit exceeded, terminating
% 105.50/81.29 eprover: CPU time limit exceeded, terminating
% 108.17/83.31 eprover: CPU time limit exceeded, terminating
% 110.90/85.33 eprover: CPU time limit exceeded, terminating
% 113.69/87.35 eprover: CPU time limit exceeded, terminating
% 116.42/89.37 eprover: CPU time limit exceeded, terminating
% 119.20/91.39 eprover: CPU time limit exceeded, terminating
% 121.92/93.41 eprover: CPU time limit exceeded, terminating
% 124.67/95.43 eprover: CPU time limit exceeded, terminating
% 127.38/97.45 eprover: CPU time limit exceeded, terminating
% 130.17/99.47 eprover: CPU time limit exceeded, terminating
% 132.95/101.49 eprover: CPU time limit exceeded, terminating
% 135.70/103.51 eprover: CPU time limit exceeded, terminating
% 138.46/105.53 eprover: CPU time limit exceeded, terminating
% 141.20/107.55 eprover: CPU time limit exceeded, terminating
% 143.91/109.57 eprover: CPU time limit exceeded, terminating
% 146.61/111.58 eprover: CPU time limit exceeded, terminating
% 149.41/113.60 eprover: CPU time limit exceeded, terminating
% 152.13/115.62 eprover: CPU time limit exceeded, terminating
% 154.88/117.64 eprover: CPU time limit exceeded, terminating
% 157.61/119.66 eprover: CPU time limit exceeded, terminating
% 160.33/121.68 eprover: CPU time limit exceeded, terminating
% 163.05/123.70 eprover: CPU time limit exceeded, terminating
% 165.78/125.72 eprover: CPU time limit exceeded, terminating
% 168.46/127.75 eprover: CPU time limit exceeded, terminating
% 171.16/129.76 eprover: CPU time limit exceeded, terminating
% 173.92/131.79 eprover: CPU time limit exceeded, terminating
% 176.68/133.81 eprover: CPU time limit exceeded, terminating
% 179.44/135.83 eprover: CPU time limit exceeded, terminating
% 182.07/137.85 eprover: CPU time limit exceeded, terminating
% 184.84/139.87 eprover: CPU time limit exceeded, terminating
% 187.60/141.89 eprover: CPU time limit exceeded, terminating
% 190.38/143.91 eprover: CPU time limit exceeded, terminating
% 193.00/145.93 eprover: CPU time limit exceeded, terminating
% 195.72/147.96 eprover: CPU time limit exceeded, terminating
% 198.45/149.98 eprover: CPU time limit exceeded, terminating
% 201.18/152.00 eprover: CPU time limit exceeded, terminating
% 204.00/154.02 eprover: CPU time limit exceeded, terminating
% 206.89/156.04 eprover: CPU time limit exceeded, terminating
% 209.49/158.06 eprover: CPU time limit exceeded, terminating
% 212.29/160.09 eprover: CPU time limit exceeded, terminating
% 215.06/162.11 eprover: CPU time limit exceeded, terminating
% 217.81/164.13 eprover: CPU time limit exceeded, terminating
% 220.70/166.15 eprover: CPU time limit exceeded, terminating
% 223.38/168.17 eprover: CPU time limit exceeded, terminating
% 226.05/170.19 eprover: CPU time limit exceeded, terminating
% 228.87/172.23 eprover: CPU time limit exceeded, terminating
% 231.62/174.25 eprover: CPU time limit exceeded, terminating
% 234.25/176.26 eprover: CPU time limit exceeded, terminating
% 237.08/178.28 eprover: CPU time limit exceeded, terminating
% 239.99/180.31 eprover: CPU time limit exceeded, terminating
% 242.75/182.32 eprover: CPU time limit exceeded, terminating
% 245.46/184.35 eprover: CPU time limit exceeded, terminating
% 248.23/186.37 eprover: CPU time limit exceeded, terminating
% 251.08/188.39 eprover: CPU time limit exceeded, terminating
% 253.99/190.42 eprover: CPU time limit exceeded, terminating
% 256.54/192.43 eprover: CPU time limit exceeded, terminating
% 259.13/194.45 eprover: CPU time limit exceeded, terminating
% 261.85/196.47 eprover: CPU time limit exceeded, terminating
% 264.60/198.49 eprover: CPU time limit exceeded, terminating
% 267.36/200.51 eprover: CPU time limit exceeded, terminating
% 270.09/202.53 eprover: CPU time limit exceeded, terminating
% 272.79/204.55 eprover: CPU time limit exceeded, terminating
% 275.56/206.57 eprover: CPU time limit exceeded, terminating
% 278.25/208.59 eprover: CPU time limit exceeded, terminating
% 281.05/210.62 eprover: CPU time limit exceeded, terminating
% 283.80/212.64 eprover: CPU time limit exceeded, terminating
% 286.61/214.66 eprover: CPU time limit exceeded, terminating
% 289.34/216.68 eprover: CPU time limit exceeded, terminating
% 292.13/218.70 eprover: CPU time limit exceeded, terminating
% 294.83/220.72 eprover: CPU time limit exceeded, terminating
% 297.59/222.74 eprover: CPU time limit exceeded, terminating
% 300.03/224.45 eprover: CPU time limit exceeded, terminating
% 300.03/224.47 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------