TSTP Solution File: CSR111+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR111+4 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:35:19 EDT 2022
% Result : Timeout 287.07s 215.61s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR111+4 : TPTP v8.1.0. Released v3.5.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n014.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 11 07:03:08 EDT 2022
% 0.12/0.34 % CPUTime :
% 16.04/15.72 eprover: CPU time limit exceeded, terminating
% 18.78/17.74 eprover: CPU time limit exceeded, terminating
% 21.47/19.76 eprover: CPU time limit exceeded, terminating
% 24.25/21.78 eprover: CPU time limit exceeded, terminating
% 26.97/23.82 eprover: CPU time limit exceeded, terminating
% 29.74/25.84 eprover: CPU time limit exceeded, terminating
% 32.34/27.85 eprover: CPU time limit exceeded, terminating
% 35.09/29.87 eprover: CPU time limit exceeded, terminating
% 37.82/31.88 eprover: CPU time limit exceeded, terminating
% 40.57/33.90 eprover: CPU time limit exceeded, terminating
% 43.25/35.92 eprover: CPU time limit exceeded, terminating
% 46.03/37.94 eprover: CPU time limit exceeded, terminating
% 48.75/39.96 eprover: CPU time limit exceeded, terminating
% 51.40/41.98 eprover: CPU time limit exceeded, terminating
% 54.14/43.99 eprover: CPU time limit exceeded, terminating
% 56.95/46.01 eprover: CPU time limit exceeded, terminating
% 59.69/48.03 eprover: CPU time limit exceeded, terminating
% 62.32/50.05 eprover: CPU time limit exceeded, terminating
% 65.06/52.07 eprover: CPU time limit exceeded, terminating
% 67.85/54.09 eprover: CPU time limit exceeded, terminating
% 70.50/56.10 eprover: CPU time limit exceeded, terminating
% 73.34/58.12 eprover: CPU time limit exceeded, terminating
% 76.13/60.14 eprover: CPU time limit exceeded, terminating
% 78.85/62.16 eprover: CPU time limit exceeded, terminating
% 81.57/64.18 eprover: CPU time limit exceeded, terminating
% 84.34/66.20 eprover: CPU time limit exceeded, terminating
% 86.96/68.21 eprover: CPU time limit exceeded, terminating
% 89.72/70.23 eprover: CPU time limit exceeded, terminating
% 92.44/72.25 eprover: CPU time limit exceeded, terminating
% 95.20/74.27 eprover: CPU time limit exceeded, terminating
% 97.92/76.29 eprover: CPU time limit exceeded, terminating
% 100.62/78.31 eprover: CPU time limit exceeded, terminating
% 103.28/80.33 eprover: CPU time limit exceeded, terminating
% 106.02/82.35 eprover: CPU time limit exceeded, terminating
% 108.81/84.37 eprover: CPU time limit exceeded, terminating
% 111.56/86.38 eprover: CPU time limit exceeded, terminating
% 114.24/88.40 eprover: CPU time limit exceeded, terminating
% 116.98/90.42 eprover: CPU time limit exceeded, terminating
% 119.57/92.44 eprover: CPU time limit exceeded, terminating
% 122.44/94.46 eprover: CPU time limit exceeded, terminating
% 125.11/96.48 eprover: CPU time limit exceeded, terminating
% 127.73/98.50 eprover: CPU time limit exceeded, terminating
% 130.44/100.52 eprover: CPU time limit exceeded, terminating
% 133.19/102.54 eprover: CPU time limit exceeded, terminating
% 135.98/104.56 eprover: CPU time limit exceeded, terminating
% 138.72/106.58 eprover: CPU time limit exceeded, terminating
% 141.38/108.60 eprover: CPU time limit exceeded, terminating
% 144.08/110.62 eprover: CPU time limit exceeded, terminating
% 146.81/112.63 eprover: CPU time limit exceeded, terminating
% 149.52/114.65 eprover: CPU time limit exceeded, terminating
% 152.20/116.67 eprover: CPU time limit exceeded, terminating
% 154.95/118.69 eprover: CPU time limit exceeded, terminating
% 157.69/120.71 eprover: CPU time limit exceeded, terminating
% 160.40/122.73 eprover: CPU time limit exceeded, terminating
% 163.18/124.75 eprover: CPU time limit exceeded, terminating
% 165.88/126.77 eprover: CPU time limit exceeded, terminating
% 168.55/128.79 eprover: CPU time limit exceeded, terminating
% 171.29/130.81 eprover: CPU time limit exceeded, terminating
% 173.95/132.83 eprover: CPU time limit exceeded, terminating
% 176.70/134.85 eprover: CPU time limit exceeded, terminating
% 179.55/136.87 eprover: CPU time limit exceeded, terminating
% 182.30/138.88 eprover: CPU time limit exceeded, terminating
% 185.05/140.90 eprover: CPU time limit exceeded, terminating
% 187.83/142.92 eprover: CPU time limit exceeded, terminating
% 190.52/144.94 eprover: CPU time limit exceeded, terminating
% 193.31/146.97 eprover: CPU time limit exceeded, terminating
% 196.06/148.99 eprover: CPU time limit exceeded, terminating
% 198.82/151.01 eprover: CPU time limit exceeded, terminating
% 201.54/153.02 eprover: CPU time limit exceeded, terminating
% 204.31/155.04 eprover: CPU time limit exceeded, terminating
% 207.05/157.06 eprover: CPU time limit exceeded, terminating
% 209.81/159.08 eprover: CPU time limit exceeded, terminating
% 212.64/161.10 eprover: CPU time limit exceeded, terminating
% 215.39/163.11 eprover: CPU time limit exceeded, terminating
% 218.16/165.13 eprover: CPU time limit exceeded, terminating
% 220.93/167.15 eprover: CPU time limit exceeded, terminating
% 223.75/169.17 eprover: CPU time limit exceeded, terminating
% 226.31/171.19 eprover: CPU time limit exceeded, terminating
% 229.08/173.21 eprover: CPU time limit exceeded, terminating
% 231.84/175.23 eprover: CPU time limit exceeded, terminating
% 234.50/177.25 eprover: CPU time limit exceeded, terminating
% 237.31/179.27 eprover: CPU time limit exceeded, terminating
% 240.08/181.29 eprover: CPU time limit exceeded, terminating
% 242.80/183.31 eprover: CPU time limit exceeded, terminating
% 245.54/185.33 eprover: CPU time limit exceeded, terminating
% 248.33/187.35 eprover: CPU time limit exceeded, terminating
% 251.03/189.36 eprover: CPU time limit exceeded, terminating
% 253.79/191.38 eprover: CPU time limit exceeded, terminating
% 256.56/193.40 eprover: CPU time limit exceeded, terminating
% 259.33/195.42 eprover: CPU time limit exceeded, terminating
% 262.08/197.44 eprover: CPU time limit exceeded, terminating
% 264.84/199.46 eprover: CPU time limit exceeded, terminating
% 267.62/201.48 eprover: CPU time limit exceeded, terminating
% 270.40/203.50 eprover: CPU time limit exceeded, terminating
% 273.12/205.52 eprover: CPU time limit exceeded, terminating
% 275.88/207.53 eprover: CPU time limit exceeded, terminating
% 278.71/209.55 eprover: CPU time limit exceeded, terminating
% 281.53/211.57 eprover: CPU time limit exceeded, terminating
% 284.25/213.59 eprover: CPU time limit exceeded, terminating
% 287.07/215.61 eprover: CPU time limit exceeded, terminating
% 289.83/217.63 eprover: CPU time limit exceeded, terminating
% 292.56/219.65 eprover: CPU time limit exceeded, terminating
% 295.34/221.67 eprover: CPU time limit exceeded, terminating
% 298.17/223.69 eprover: CPU time limit exceeded, terminating
% 300.06/224.95 eprover: CPU time limit exceeded, terminating
% 300.06/224.97 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------