TSTP Solution File: CSR074+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR074+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:52 EDT 2022
% Result : Timeout 286.60s 212.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR074+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n025.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jun 10 20:15:36 EDT 2022
% 0.13/0.33 % CPUTime :
% 14.57/13.89 eprover: CPU time limit exceeded, terminating
% 17.30/15.91 eprover: CPU time limit exceeded, terminating
% 20.04/17.93 eprover: CPU time limit exceeded, terminating
% 22.83/19.95 eprover: CPU time limit exceeded, terminating
% 25.63/21.97 eprover: CPU time limit exceeded, terminating
% 28.33/23.99 eprover: CPU time limit exceeded, terminating
% 31.10/26.01 eprover: CPU time limit exceeded, terminating
% 33.88/28.03 eprover: CPU time limit exceeded, terminating
% 36.62/30.05 eprover: CPU time limit exceeded, terminating
% 39.41/32.08 eprover: CPU time limit exceeded, terminating
% 42.19/34.10 eprover: CPU time limit exceeded, terminating
% 44.94/36.12 eprover: CPU time limit exceeded, terminating
% 47.71/38.14 eprover: CPU time limit exceeded, terminating
% 50.49/40.17 eprover: CPU time limit exceeded, terminating
% 53.25/42.19 eprover: CPU time limit exceeded, terminating
% 56.06/44.21 eprover: CPU time limit exceeded, terminating
% 58.78/46.23 eprover: CPU time limit exceeded, terminating
% 61.54/48.26 eprover: CPU time limit exceeded, terminating
% 64.29/50.28 eprover: CPU time limit exceeded, terminating
% 67.10/52.30 eprover: CPU time limit exceeded, terminating
% 69.83/54.32 eprover: CPU time limit exceeded, terminating
% 72.60/56.35 eprover: CPU time limit exceeded, terminating
% 75.34/58.37 eprover: CPU time limit exceeded, terminating
% 78.13/60.39 eprover: CPU time limit exceeded, terminating
% 80.86/62.41 eprover: CPU time limit exceeded, terminating
% 83.65/64.43 eprover: CPU time limit exceeded, terminating
% 86.41/66.46 eprover: CPU time limit exceeded, terminating
% 89.15/68.48 eprover: CPU time limit exceeded, terminating
% 91.95/70.50 eprover: CPU time limit exceeded, terminating
% 94.66/72.52 eprover: CPU time limit exceeded, terminating
% 97.41/74.54 eprover: CPU time limit exceeded, terminating
% 100.16/76.57 eprover: CPU time limit exceeded, terminating
% 102.87/78.59 eprover: CPU time limit exceeded, terminating
% 105.69/80.61 eprover: CPU time limit exceeded, terminating
% 108.45/82.63 eprover: CPU time limit exceeded, terminating
% 111.21/84.65 eprover: CPU time limit exceeded, terminating
% 113.92/86.68 eprover: CPU time limit exceeded, terminating
% 116.66/88.70 eprover: CPU time limit exceeded, terminating
% 119.50/90.72 eprover: CPU time limit exceeded, terminating
% 122.20/92.74 eprover: CPU time limit exceeded, terminating
% 124.93/94.77 eprover: CPU time limit exceeded, terminating
% 127.66/96.79 eprover: CPU time limit exceeded, terminating
% 130.56/98.81 eprover: CPU time limit exceeded, terminating
% 133.29/100.83 eprover: CPU time limit exceeded, terminating
% 136.05/102.85 eprover: CPU time limit exceeded, terminating
% 138.80/104.88 eprover: CPU time limit exceeded, terminating
% 141.56/106.90 eprover: CPU time limit exceeded, terminating
% 144.30/108.92 eprover: CPU time limit exceeded, terminating
% 147.07/110.94 eprover: CPU time limit exceeded, terminating
% 149.81/112.96 eprover: CPU time limit exceeded, terminating
% 152.58/114.99 eprover: CPU time limit exceeded, terminating
% 155.27/117.01 eprover: CPU time limit exceeded, terminating
% 158.03/119.03 eprover: CPU time limit exceeded, terminating
% 160.84/121.05 eprover: CPU time limit exceeded, terminating
% 163.58/123.08 eprover: CPU time limit exceeded, terminating
% 166.27/125.10 eprover: CPU time limit exceeded, terminating
% 169.09/127.12 eprover: CPU time limit exceeded, terminating
% 171.83/129.14 eprover: CPU time limit exceeded, terminating
% 174.51/131.16 eprover: CPU time limit exceeded, terminating
% 177.34/133.19 eprover: CPU time limit exceeded, terminating
% 180.08/135.21 eprover: CPU time limit exceeded, terminating
% 182.85/137.23 eprover: CPU time limit exceeded, terminating
% 185.55/139.25 eprover: CPU time limit exceeded, terminating
% 188.34/141.27 eprover: CPU time limit exceeded, terminating
% 191.10/143.30 eprover: CPU time limit exceeded, terminating
% 193.79/145.31 eprover: CPU time limit exceeded, terminating
% 196.55/147.33 eprover: CPU time limit exceeded, terminating
% 199.32/149.36 eprover: CPU time limit exceeded, terminating
% 202.11/151.38 eprover: CPU time limit exceeded, terminating
% 204.86/153.40 eprover: CPU time limit exceeded, terminating
% 207.63/155.42 eprover: CPU time limit exceeded, terminating
% 210.41/157.44 eprover: CPU time limit exceeded, terminating
% 213.13/159.46 eprover: CPU time limit exceeded, terminating
% 215.93/161.48 eprover: CPU time limit exceeded, terminating
% 218.71/163.51 eprover: CPU time limit exceeded, terminating
% 221.44/165.53 eprover: CPU time limit exceeded, terminating
% 224.22/167.55 eprover: CPU time limit exceeded, terminating
% 226.90/169.57 eprover: CPU time limit exceeded, terminating
% 231.61/171.59 eprover: CPU time limit exceeded, terminating
% 234.34/173.62 eprover: CPU time limit exceeded, terminating
% 237.13/175.64 eprover: CPU time limit exceeded, terminating
% 239.88/177.66 eprover: CPU time limit exceeded, terminating
% 242.66/179.68 eprover: CPU time limit exceeded, terminating
% 245.41/181.70 eprover: CPU time limit exceeded, terminating
% 248.13/183.73 eprover: CPU time limit exceeded, terminating
% 250.87/185.75 eprover: CPU time limit exceeded, terminating
% 253.65/187.77 eprover: CPU time limit exceeded, terminating
% 256.42/189.79 eprover: CPU time limit exceeded, terminating
% 259.18/191.81 eprover: CPU time limit exceeded, terminating
% 261.88/193.84 eprover: CPU time limit exceeded, terminating
% 264.66/195.86 eprover: CPU time limit exceeded, terminating
% 267.39/197.88 eprover: CPU time limit exceeded, terminating
% 270.12/199.90 eprover: CPU time limit exceeded, terminating
% 272.88/201.92 eprover: CPU time limit exceeded, terminating
% 275.65/203.95 eprover: CPU time limit exceeded, terminating
% 278.41/205.97 eprover: CPU time limit exceeded, terminating
% 281.14/207.99 eprover: CPU time limit exceeded, terminating
% 283.82/210.01 eprover: CPU time limit exceeded, terminating
% 286.60/212.03 eprover: CPU time limit exceeded, terminating
% 289.40/214.06 eprover: CPU time limit exceeded, terminating
% 292.15/216.08 eprover: CPU time limit exceeded, terminating
% 294.90/218.10 eprover: CPU time limit exceeded, terminating
% 297.59/220.12 eprover: CPU time limit exceeded, terminating
% 300.06/221.78 eprover: CPU time limit exceeded, terminating
% 300.06/221.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------