TSTP Solution File: CSR112+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR112+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 286.16s 265.48s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR112+1 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.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 : Thu Jun 9 19:13:38 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.67/3.77 eprover: CPU time limit exceeded, terminating
% 5.84/5.78 eprover: CPU time limit exceeded, terminating
% 7.95/7.79 eprover: CPU time limit exceeded, terminating
% 10.17/9.81 eprover: CPU time limit exceeded, terminating
% 12.35/11.82 eprover: CPU time limit exceeded, terminating
% 14.49/13.83 eprover: CPU time limit exceeded, terminating
% 16.61/15.84 eprover: CPU time limit exceeded, terminating
% 18.75/17.85 eprover: CPU time limit exceeded, terminating
% 20.90/19.86 eprover: CPU time limit exceeded, terminating
% 23.05/21.87 eprover: CPU time limit exceeded, terminating
% 25.26/23.88 eprover: CPU time limit exceeded, terminating
% 27.43/25.89 eprover: CPU time limit exceeded, terminating
% 29.50/27.90 eprover: CPU time limit exceeded, terminating
% 31.73/29.92 eprover: CPU time limit exceeded, terminating
% 33.87/31.93 eprover: CPU time limit exceeded, terminating
% 36.03/33.94 eprover: CPU time limit exceeded, terminating
% 38.17/35.95 eprover: CPU time limit exceeded, terminating
% 40.31/37.96 eprover: CPU time limit exceeded, terminating
% 42.48/39.97 eprover: CPU time limit exceeded, terminating
% 44.65/41.98 eprover: CPU time limit exceeded, terminating
% 46.85/44.00 eprover: CPU time limit exceeded, terminating
% 49.00/46.01 eprover: CPU time limit exceeded, terminating
% 51.15/48.02 eprover: CPU time limit exceeded, terminating
% 53.31/50.03 eprover: CPU time limit exceeded, terminating
% 55.42/52.04 eprover: CPU time limit exceeded, terminating
% 57.57/54.06 eprover: CPU time limit exceeded, terminating
% 59.74/56.07 eprover: CPU time limit exceeded, terminating
% 61.87/58.08 eprover: CPU time limit exceeded, terminating
% 64.02/60.09 eprover: CPU time limit exceeded, terminating
% 66.26/62.10 eprover: CPU time limit exceeded, terminating
% 68.40/64.12 eprover: CPU time limit exceeded, terminating
% 70.52/66.13 eprover: CPU time limit exceeded, terminating
% 72.69/68.14 eprover: CPU time limit exceeded, terminating
% 74.83/70.15 eprover: CPU time limit exceeded, terminating
% 76.98/72.16 eprover: CPU time limit exceeded, terminating
% 79.10/74.18 eprover: CPU time limit exceeded, terminating
% 81.24/76.19 eprover: CPU time limit exceeded, terminating
% 83.23/78.20 eprover: CPU time limit exceeded, terminating
% 85.48/80.21 eprover: CPU time limit exceeded, terminating
% 87.63/82.23 eprover: CPU time limit exceeded, terminating
% 89.76/84.24 eprover: CPU time limit exceeded, terminating
% 91.95/86.25 eprover: CPU time limit exceeded, terminating
% 94.09/88.27 eprover: CPU time limit exceeded, terminating
% 96.22/90.28 eprover: CPU time limit exceeded, terminating
% 100.39/92.30 eprover: CPU time limit exceeded, terminating
% 102.55/94.31 eprover: CPU time limit exceeded, terminating
% 104.72/96.32 eprover: CPU time limit exceeded, terminating
% 106.86/98.34 eprover: CPU time limit exceeded, terminating
% 109.03/100.35 eprover: CPU time limit exceeded, terminating
% 111.18/102.36 eprover: CPU time limit exceeded, terminating
% 113.39/104.38 eprover: CPU time limit exceeded, terminating
% 115.58/106.39 eprover: CPU time limit exceeded, terminating
% 117.74/108.40 eprover: CPU time limit exceeded, terminating
% 119.81/110.42 eprover: CPU time limit exceeded, terminating
% 122.02/112.43 eprover: CPU time limit exceeded, terminating
% 124.21/114.45 eprover: CPU time limit exceeded, terminating
% 126.35/116.46 eprover: CPU time limit exceeded, terminating
% 128.52/118.47 eprover: CPU time limit exceeded, terminating
% 130.67/120.49 eprover: CPU time limit exceeded, terminating
% 132.91/122.50 eprover: CPU time limit exceeded, terminating
% 135.08/124.51 eprover: CPU time limit exceeded, terminating
% 137.24/126.53 eprover: CPU time limit exceeded, terminating
% 139.39/128.54 eprover: CPU time limit exceeded, terminating
% 141.52/130.56 eprover: CPU time limit exceeded, terminating
% 143.68/132.57 eprover: CPU time limit exceeded, terminating
% 145.85/134.59 eprover: CPU time limit exceeded, terminating
% 148.00/136.60 eprover: CPU time limit exceeded, terminating
% 150.23/138.61 eprover: CPU time limit exceeded, terminating
% 152.40/140.63 eprover: CPU time limit exceeded, terminating
% 154.55/142.64 eprover: CPU time limit exceeded, terminating
% 156.73/144.65 eprover: CPU time limit exceeded, terminating
% 158.85/146.67 eprover: CPU time limit exceeded, terminating
% 161.01/148.68 eprover: CPU time limit exceeded, terminating
% 163.19/150.69 eprover: CPU time limit exceeded, terminating
% 165.41/152.71 eprover: CPU time limit exceeded, terminating
% 167.56/154.72 eprover: CPU time limit exceeded, terminating
% 169.73/156.74 eprover: CPU time limit exceeded, terminating
% 171.87/158.75 eprover: CPU time limit exceeded, terminating
% 174.04/160.76 eprover: CPU time limit exceeded, terminating
% 176.18/162.78 eprover: CPU time limit exceeded, terminating
% 178.34/164.79 eprover: CPU time limit exceeded, terminating
% 180.59/166.81 eprover: CPU time limit exceeded, terminating
% 182.74/168.82 eprover: CPU time limit exceeded, terminating
% 184.88/170.83 eprover: CPU time limit exceeded, terminating
% 187.04/172.85 eprover: CPU time limit exceeded, terminating
% 189.20/174.86 eprover: CPU time limit exceeded, terminating
% 191.38/176.87 eprover: CPU time limit exceeded, terminating
% 193.53/178.89 eprover: CPU time limit exceeded, terminating
% 195.70/180.90 eprover: CPU time limit exceeded, terminating
% 197.94/182.92 eprover: CPU time limit exceeded, terminating
% 200.10/184.93 eprover: CPU time limit exceeded, terminating
% 202.25/186.95 eprover: CPU time limit exceeded, terminating
% 204.39/188.96 eprover: CPU time limit exceeded, terminating
% 206.54/190.97 eprover: CPU time limit exceeded, terminating
% 208.78/192.99 eprover: CPU time limit exceeded, terminating
% 210.87/195.00 eprover: CPU time limit exceeded, terminating
% 213.10/197.01 eprover: CPU time limit exceeded, terminating
% 215.25/199.03 eprover: CPU time limit exceeded, terminating
% 217.42/201.04 eprover: CPU time limit exceeded, terminating
% 219.58/203.05 eprover: CPU time limit exceeded, terminating
% 221.71/205.07 eprover: CPU time limit exceeded, terminating
% 223.88/207.08 eprover: CPU time limit exceeded, terminating
% 226.11/209.09 eprover: CPU time limit exceeded, terminating
% 228.28/211.11 eprover: CPU time limit exceeded, terminating
% 230.45/213.12 eprover: CPU time limit exceeded, terminating
% 232.51/215.13 eprover: CPU time limit exceeded, terminating
% 234.55/217.15 eprover: CPU time limit exceeded, terminating
% 236.72/219.16 eprover: CPU time limit exceeded, terminating
% 238.88/221.18 eprover: CPU time limit exceeded, terminating
% 241.05/223.19 eprover: CPU time limit exceeded, terminating
% 243.30/225.20 eprover: CPU time limit exceeded, terminating
% 245.45/227.22 eprover: CPU time limit exceeded, terminating
% 247.59/229.23 eprover: CPU time limit exceeded, terminating
% 249.75/231.25 eprover: CPU time limit exceeded, terminating
% 251.89/233.26 eprover: CPU time limit exceeded, terminating
% 253.96/235.27 eprover: CPU time limit exceeded, terminating
% 256.01/237.29 eprover: CPU time limit exceeded, terminating
% 258.17/239.30 eprover: CPU time limit exceeded, terminating
% 260.31/241.32 eprover: CPU time limit exceeded, terminating
% 262.47/243.33 eprover: CPU time limit exceeded, terminating
% 264.61/245.34 eprover: CPU time limit exceeded, terminating
% 266.65/247.36 eprover: CPU time limit exceeded, terminating
% 268.84/249.37 eprover: CPU time limit exceeded, terminating
% 271.01/251.39 eprover: CPU time limit exceeded, terminating
% 273.24/253.40 eprover: CPU time limit exceeded, terminating
% 275.40/255.41 eprover: CPU time limit exceeded, terminating
% 277.56/257.43 eprover: CPU time limit exceeded, terminating
% 279.68/259.44 eprover: CPU time limit exceeded, terminating
% 281.85/261.46 eprover: CPU time limit exceeded, terminating
% 283.99/263.47 eprover: CPU time limit exceeded, terminating
% 286.16/265.48 eprover: CPU time limit exceeded, terminating
% 288.29/267.50 eprover: CPU time limit exceeded, terminating
% 290.44/269.51 eprover: CPU time limit exceeded, terminating
% 292.67/271.53 eprover: CPU time limit exceeded, terminating
% 294.84/273.54 eprover: CPU time limit exceeded, terminating
% 296.98/275.55 eprover: CPU time limit exceeded, terminating
% 299.02/277.57 eprover: CPU time limit exceeded, terminating
% 300.02/278.43 eprover: CPU time limit exceeded, terminating
% 300.02/278.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------