TSTP Solution File: CSR113+31 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR113+31 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:22 EDT 2022
% Result : Timeout 287.06s 267.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.14 % Problem : CSR113+31 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n019.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 11 15:36:25 EDT 2022
% 0.14/0.36 % CPUTime :
% 3.71/3.78 eprover: CPU time limit exceeded, terminating
% 5.83/5.80 eprover: CPU time limit exceeded, terminating
% 8.06/7.82 eprover: CPU time limit exceeded, terminating
% 10.22/9.83 eprover: CPU time limit exceeded, terminating
% 12.41/11.85 eprover: CPU time limit exceeded, terminating
% 14.53/13.86 eprover: CPU time limit exceeded, terminating
% 16.74/15.87 eprover: CPU time limit exceeded, terminating
% 18.83/17.89 eprover: CPU time limit exceeded, terminating
% 21.06/19.91 eprover: CPU time limit exceeded, terminating
% 23.24/21.92 eprover: CPU time limit exceeded, terminating
% 25.41/23.94 eprover: CPU time limit exceeded, terminating
% 27.52/25.95 eprover: CPU time limit exceeded, terminating
% 29.72/27.97 eprover: CPU time limit exceeded, terminating
% 31.92/29.98 eprover: CPU time limit exceeded, terminating
% 34.11/32.00 eprover: CPU time limit exceeded, terminating
% 36.22/34.01 eprover: CPU time limit exceeded, terminating
% 38.41/36.03 eprover: CPU time limit exceeded, terminating
% 40.59/38.05 eprover: CPU time limit exceeded, terminating
% 42.77/40.06 eprover: CPU time limit exceeded, terminating
% 44.91/42.08 eprover: CPU time limit exceeded, terminating
% 47.12/44.09 eprover: CPU time limit exceeded, terminating
% 49.29/46.11 eprover: CPU time limit exceeded, terminating
% 51.43/48.12 eprover: CPU time limit exceeded, terminating
% 53.61/50.14 eprover: CPU time limit exceeded, terminating
% 55.76/52.15 eprover: CPU time limit exceeded, terminating
% 57.91/54.17 eprover: CPU time limit exceeded, terminating
% 60.10/56.19 eprover: CPU time limit exceeded, terminating
% 62.31/58.20 eprover: CPU time limit exceeded, terminating
% 64.48/60.22 eprover: CPU time limit exceeded, terminating
% 66.66/62.23 eprover: CPU time limit exceeded, terminating
% 68.78/64.25 eprover: CPU time limit exceeded, terminating
% 70.97/66.26 eprover: CPU time limit exceeded, terminating
% 73.20/68.28 eprover: CPU time limit exceeded, terminating
% 75.28/70.29 eprover: CPU time limit exceeded, terminating
% 77.53/72.31 eprover: CPU time limit exceeded, terminating
% 79.69/74.32 eprover: CPU time limit exceeded, terminating
% 81.81/76.34 eprover: CPU time limit exceeded, terminating
% 83.81/78.35 eprover: CPU time limit exceeded, terminating
% 85.99/80.37 eprover: CPU time limit exceeded, terminating
% 88.18/82.38 eprover: CPU time limit exceeded, terminating
% 90.39/84.40 eprover: CPU time limit exceeded, terminating
% 92.55/86.41 eprover: CPU time limit exceeded, terminating
% 94.72/88.43 eprover: CPU time limit exceeded, terminating
% 96.91/90.44 eprover: CPU time limit exceeded, terminating
% 99.08/92.46 eprover: CPU time limit exceeded, terminating
% 101.23/94.47 eprover: CPU time limit exceeded, terminating
% 103.40/96.49 eprover: CPU time limit exceeded, terminating
% 105.61/98.51 eprover: CPU time limit exceeded, terminating
% 107.76/100.52 eprover: CPU time limit exceeded, terminating
% 109.97/102.54 eprover: CPU time limit exceeded, terminating
% 112.09/104.55 eprover: CPU time limit exceeded, terminating
% 114.27/106.57 eprover: CPU time limit exceeded, terminating
% 116.51/108.58 eprover: CPU time limit exceeded, terminating
% 118.69/110.60 eprover: CPU time limit exceeded, terminating
% 120.85/112.61 eprover: CPU time limit exceeded, terminating
% 123.01/114.63 eprover: CPU time limit exceeded, terminating
% 125.20/116.64 eprover: CPU time limit exceeded, terminating
% 127.34/118.66 eprover: CPU time limit exceeded, terminating
% 129.49/120.67 eprover: CPU time limit exceeded, terminating
% 131.73/122.69 eprover: CPU time limit exceeded, terminating
% 133.83/124.70 eprover: CPU time limit exceeded, terminating
% 136.07/126.72 eprover: CPU time limit exceeded, terminating
% 138.21/128.74 eprover: CPU time limit exceeded, terminating
% 140.39/130.75 eprover: CPU time limit exceeded, terminating
% 142.53/132.77 eprover: CPU time limit exceeded, terminating
% 144.74/134.78 eprover: CPU time limit exceeded, terminating
% 146.92/136.80 eprover: CPU time limit exceeded, terminating
% 149.06/138.81 eprover: CPU time limit exceeded, terminating
% 151.26/140.83 eprover: CPU time limit exceeded, terminating
% 153.41/142.84 eprover: CPU time limit exceeded, terminating
% 155.57/144.86 eprover: CPU time limit exceeded, terminating
% 157.74/146.87 eprover: CPU time limit exceeded, terminating
% 159.88/148.89 eprover: CPU time limit exceeded, terminating
% 162.13/150.90 eprover: CPU time limit exceeded, terminating
% 164.29/152.92 eprover: CPU time limit exceeded, terminating
% 166.48/154.93 eprover: CPU time limit exceeded, terminating
% 168.65/156.95 eprover: CPU time limit exceeded, terminating
% 170.80/158.96 eprover: CPU time limit exceeded, terminating
% 173.02/160.98 eprover: CPU time limit exceeded, terminating
% 175.13/162.99 eprover: CPU time limit exceeded, terminating
% 177.29/165.01 eprover: CPU time limit exceeded, terminating
% 179.50/167.02 eprover: CPU time limit exceeded, terminating
% 181.62/169.04 eprover: CPU time limit exceeded, terminating
% 183.85/171.06 eprover: CPU time limit exceeded, terminating
% 185.98/173.07 eprover: CPU time limit exceeded, terminating
% 188.22/175.09 eprover: CPU time limit exceeded, terminating
% 190.32/177.10 eprover: CPU time limit exceeded, terminating
% 192.50/179.12 eprover: CPU time limit exceeded, terminating
% 194.71/181.13 eprover: CPU time limit exceeded, terminating
% 196.91/183.15 eprover: CPU time limit exceeded, terminating
% 199.02/185.17 eprover: CPU time limit exceeded, terminating
% 201.19/187.18 eprover: CPU time limit exceeded, terminating
% 203.42/189.20 eprover: CPU time limit exceeded, terminating
% 205.59/191.21 eprover: CPU time limit exceeded, terminating
% 207.71/193.23 eprover: CPU time limit exceeded, terminating
% 209.91/195.24 eprover: CPU time limit exceeded, terminating
% 212.02/197.26 eprover: CPU time limit exceeded, terminating
% 214.21/199.27 eprover: CPU time limit exceeded, terminating
% 216.40/201.28 eprover: CPU time limit exceeded, terminating
% 218.56/203.29 eprover: CPU time limit exceeded, terminating
% 220.74/205.30 eprover: CPU time limit exceeded, terminating
% 222.87/207.31 eprover: CPU time limit exceeded, terminating
% 225.03/209.32 eprover: CPU time limit exceeded, terminating
% 227.13/211.33 eprover: CPU time limit exceeded, terminating
% 229.32/213.35 eprover: CPU time limit exceeded, terminating
% 231.39/215.36 eprover: CPU time limit exceeded, terminating
% 233.41/217.37 eprover: CPU time limit exceeded, terminating
% 235.60/219.38 eprover: CPU time limit exceeded, terminating
% 237.82/221.39 eprover: CPU time limit exceeded, terminating
% 239.90/223.40 eprover: CPU time limit exceeded, terminating
% 242.10/225.41 eprover: CPU time limit exceeded, terminating
% 244.28/227.42 eprover: CPU time limit exceeded, terminating
% 246.39/229.44 eprover: CPU time limit exceeded, terminating
% 248.58/231.45 eprover: CPU time limit exceeded, terminating
% 250.67/233.46 eprover: CPU time limit exceeded, terminating
% 252.79/235.47 eprover: CPU time limit exceeded, terminating
% 254.80/237.48 eprover: CPU time limit exceeded, terminating
% 256.90/239.50 eprover: CPU time limit exceeded, terminating
% 259.09/241.51 eprover: CPU time limit exceeded, terminating
% 261.25/243.52 eprover: CPU time limit exceeded, terminating
% 263.37/245.54 eprover: CPU time limit exceeded, terminating
% 265.48/247.55 eprover: CPU time limit exceeded, terminating
% 267.62/249.56 eprover: CPU time limit exceeded, terminating
% 269.79/251.58 eprover: CPU time limit exceeded, terminating
% 271.94/253.59 eprover: CPU time limit exceeded, terminating
% 274.14/255.61 eprover: CPU time limit exceeded, terminating
% 276.33/257.62 eprover: CPU time limit exceeded, terminating
% 278.44/259.64 eprover: CPU time limit exceeded, terminating
% 280.59/261.65 eprover: CPU time limit exceeded, terminating
% 282.75/263.67 eprover: CPU time limit exceeded, terminating
% 284.94/265.68 eprover: CPU time limit exceeded, terminating
% 287.06/267.70 eprover: CPU time limit exceeded, terminating
% 289.26/269.71 eprover: CPU time limit exceeded, terminating
% 291.38/271.73 eprover: CPU time limit exceeded, terminating
% 293.56/273.74 eprover: CPU time limit exceeded, terminating
% 295.70/275.76 eprover: CPU time limit exceeded, terminating
% 297.75/277.77 eprover: CPU time limit exceeded, terminating
% 299.84/279.79 eprover: CPU time limit exceeded, terminating
% 300.03/279.91 eprover: CPU time limit exceeded, terminating
% 300.03/279.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------