TSTP Solution File: CSR304+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR304+1 : TPTP v8.1.0. Released v7.3.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:36:16 EDT 2022
% Result : Timeout 285.77s 255.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR304+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n019.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 : Thu Jun 9 22:55:25 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.76/5.81 eprover: CPU time limit exceeded, terminating
% 7.98/7.82 eprover: CPU time limit exceeded, terminating
% 10.19/9.83 eprover: CPU time limit exceeded, terminating
% 12.41/11.85 eprover: CPU time limit exceeded, terminating
% 14.63/13.86 eprover: CPU time limit exceeded, terminating
% 16.82/15.87 eprover: CPU time limit exceeded, terminating
% 19.04/17.89 eprover: CPU time limit exceeded, terminating
% 21.26/19.90 eprover: CPU time limit exceeded, terminating
% 23.44/21.91 eprover: CPU time limit exceeded, terminating
% 25.68/23.93 eprover: CPU time limit exceeded, terminating
% 27.89/25.94 eprover: CPU time limit exceeded, terminating
% 30.15/27.95 eprover: CPU time limit exceeded, terminating
% 32.36/29.96 eprover: CPU time limit exceeded, terminating
% 34.59/31.98 eprover: CPU time limit exceeded, terminating
% 36.80/33.99 eprover: CPU time limit exceeded, terminating
% 38.97/36.00 eprover: CPU time limit exceeded, terminating
% 41.24/38.02 eprover: CPU time limit exceeded, terminating
% 43.39/40.03 eprover: CPU time limit exceeded, terminating
% 45.69/42.04 eprover: CPU time limit exceeded, terminating
% 47.83/44.06 eprover: CPU time limit exceeded, terminating
% 50.09/46.07 eprover: CPU time limit exceeded, terminating
% 52.28/48.08 eprover: CPU time limit exceeded, terminating
% 54.55/50.10 eprover: CPU time limit exceeded, terminating
% 56.74/52.11 eprover: CPU time limit exceeded, terminating
% 58.98/54.12 eprover: CPU time limit exceeded, terminating
% 61.14/56.13 eprover: CPU time limit exceeded, terminating
% 63.35/58.15 eprover: CPU time limit exceeded, terminating
% 65.65/60.16 eprover: CPU time limit exceeded, terminating
% 67.84/62.18 eprover: CPU time limit exceeded, terminating
% 70.04/64.19 eprover: CPU time limit exceeded, terminating
% 72.23/66.20 eprover: CPU time limit exceeded, terminating
% 74.43/68.22 eprover: CPU time limit exceeded, terminating
% 76.68/70.23 eprover: CPU time limit exceeded, terminating
% 78.96/72.24 eprover: CPU time limit exceeded, terminating
% 81.14/74.26 eprover: CPU time limit exceeded, terminating
% 83.38/76.27 eprover: CPU time limit exceeded, terminating
% 85.57/78.28 eprover: CPU time limit exceeded, terminating
% 87.80/80.30 eprover: CPU time limit exceeded, terminating
% 89.98/82.31 eprover: CPU time limit exceeded, terminating
% 92.21/84.32 eprover: CPU time limit exceeded, terminating
% 94.39/86.33 eprover: CPU time limit exceeded, terminating
% 96.67/88.35 eprover: CPU time limit exceeded, terminating
% 98.85/90.36 eprover: CPU time limit exceeded, terminating
% 101.09/92.37 eprover: CPU time limit exceeded, terminating
% 103.27/94.39 eprover: CPU time limit exceeded, terminating
% 105.49/96.40 eprover: CPU time limit exceeded, terminating
% 107.68/98.41 eprover: CPU time limit exceeded, terminating
% 109.90/100.43 eprover: CPU time limit exceeded, terminating
% 112.16/102.44 eprover: CPU time limit exceeded, terminating
% 114.38/104.45 eprover: CPU time limit exceeded, terminating
% 116.58/106.47 eprover: CPU time limit exceeded, terminating
% 118.78/108.48 eprover: CPU time limit exceeded, terminating
% 120.96/110.49 eprover: CPU time limit exceeded, terminating
% 123.19/112.50 eprover: CPU time limit exceeded, terminating
% 125.40/114.51 eprover: CPU time limit exceeded, terminating
% 127.55/116.52 eprover: CPU time limit exceeded, terminating
% 131.79/118.54 eprover: CPU time limit exceeded, terminating
% 133.97/120.55 eprover: CPU time limit exceeded, terminating
% 136.22/122.56 eprover: CPU time limit exceeded, terminating
% 138.44/124.57 eprover: CPU time limit exceeded, terminating
% 140.68/126.58 eprover: CPU time limit exceeded, terminating
% 142.84/128.59 eprover: CPU time limit exceeded, terminating
% 145.06/130.61 eprover: CPU time limit exceeded, terminating
% 147.24/132.62 eprover: CPU time limit exceeded, terminating
% 149.44/134.63 eprover: CPU time limit exceeded, terminating
% 151.71/136.65 eprover: CPU time limit exceeded, terminating
% 153.91/138.66 eprover: CPU time limit exceeded, terminating
% 156.10/140.67 eprover: CPU time limit exceeded, terminating
% 158.31/142.68 eprover: CPU time limit exceeded, terminating
% 160.51/144.69 eprover: CPU time limit exceeded, terminating
% 162.69/146.70 eprover: CPU time limit exceeded, terminating
% 164.92/148.71 eprover: CPU time limit exceeded, terminating
% 167.15/150.73 eprover: CPU time limit exceeded, terminating
% 169.35/152.74 eprover: CPU time limit exceeded, terminating
% 171.51/154.75 eprover: CPU time limit exceeded, terminating
% 173.76/156.76 eprover: CPU time limit exceeded, terminating
% 175.96/158.77 eprover: CPU time limit exceeded, terminating
% 180.15/160.78 eprover: CPU time limit exceeded, terminating
% 182.33/162.80 eprover: CPU time limit exceeded, terminating
% 184.54/164.81 eprover: CPU time limit exceeded, terminating
% 186.75/166.82 eprover: CPU time limit exceeded, terminating
% 188.95/168.83 eprover: CPU time limit exceeded, terminating
% 191.12/170.84 eprover: CPU time limit exceeded, terminating
% 193.35/172.86 eprover: CPU time limit exceeded, terminating
% 195.56/174.87 eprover: CPU time limit exceeded, terminating
% 197.76/176.88 eprover: CPU time limit exceeded, terminating
% 199.98/178.89 eprover: CPU time limit exceeded, terminating
% 202.21/180.91 eprover: CPU time limit exceeded, terminating
% 204.38/182.92 eprover: CPU time limit exceeded, terminating
% 206.58/184.93 eprover: CPU time limit exceeded, terminating
% 208.79/186.94 eprover: CPU time limit exceeded, terminating
% 210.99/188.95 eprover: CPU time limit exceeded, terminating
% 213.23/190.96 eprover: CPU time limit exceeded, terminating
% 215.42/192.97 eprover: CPU time limit exceeded, terminating
% 217.60/194.99 eprover: CPU time limit exceeded, terminating
% 219.85/197.00 eprover: CPU time limit exceeded, terminating
% 222.03/199.01 eprover: CPU time limit exceeded, terminating
% 224.19/201.02 eprover: CPU time limit exceeded, terminating
% 226.45/203.04 eprover: CPU time limit exceeded, terminating
% 228.65/205.05 eprover: CPU time limit exceeded, terminating
% 230.80/207.06 eprover: CPU time limit exceeded, terminating
% 233.04/209.07 eprover: CPU time limit exceeded, terminating
% 235.23/211.08 eprover: CPU time limit exceeded, terminating
% 237.43/213.09 eprover: CPU time limit exceeded, terminating
% 239.61/215.11 eprover: CPU time limit exceeded, terminating
% 241.78/217.12 eprover: CPU time limit exceeded, terminating
% 246.03/219.13 eprover: CPU time limit exceeded, terminating
% 248.22/221.14 eprover: CPU time limit exceeded, terminating
% 250.46/223.15 eprover: CPU time limit exceeded, terminating
% 252.66/225.16 eprover: CPU time limit exceeded, terminating
% 254.83/227.18 eprover: CPU time limit exceeded, terminating
% 257.03/229.19 eprover: CPU time limit exceeded, terminating
% 259.22/231.20 eprover: CPU time limit exceeded, terminating
% 261.44/233.21 eprover: CPU time limit exceeded, terminating
% 263.67/235.22 eprover: CPU time limit exceeded, terminating
% 265.83/237.23 eprover: CPU time limit exceeded, terminating
% 268.06/239.24 eprover: CPU time limit exceeded, terminating
% 270.23/241.25 eprover: CPU time limit exceeded, terminating
% 272.50/243.27 eprover: CPU time limit exceeded, terminating
% 274.72/245.28 eprover: CPU time limit exceeded, terminating
% 276.88/247.30 eprover: CPU time limit exceeded, terminating
% 279.10/249.31 eprover: CPU time limit exceeded, terminating
% 281.36/251.32 eprover: CPU time limit exceeded, terminating
% 283.53/253.33 eprover: CPU time limit exceeded, terminating
% 285.77/255.35 eprover: CPU time limit exceeded, terminating
% 287.99/257.36 eprover: CPU time limit exceeded, terminating
% 290.18/259.37 eprover: CPU time limit exceeded, terminating
% 292.39/261.39 eprover: CPU time limit exceeded, terminating
% 294.58/263.40 eprover: CPU time limit exceeded, terminating
% 296.78/265.41 eprover: CPU time limit exceeded, terminating
% 298.95/267.42 eprover: CPU time limit exceeded, terminating
% 300.02/268.24 eprover: CPU time limit exceeded, terminating
% 300.02/268.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------