TSTP Solution File: CSR115+60 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+60 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:33 EDT 2022
% Result : Timeout 285.97s 267.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR115+60 : TPTP v8.1.0. Released v4.0.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n027.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Thu Jun 9 22:01:58 EDT 2022
% 0.14/0.34 % CPUTime :
% 3.77/3.86 eprover: CPU time limit exceeded, terminating
% 5.94/5.87 eprover: CPU time limit exceeded, terminating
% 8.10/7.89 eprover: CPU time limit exceeded, terminating
% 10.22/9.90 eprover: CPU time limit exceeded, terminating
% 12.38/11.91 eprover: CPU time limit exceeded, terminating
% 14.61/13.92 eprover: CPU time limit exceeded, terminating
% 16.71/15.93 eprover: CPU time limit exceeded, terminating
% 18.87/17.95 eprover: CPU time limit exceeded, terminating
% 20.99/19.96 eprover: CPU time limit exceeded, terminating
% 23.16/21.97 eprover: CPU time limit exceeded, terminating
% 25.40/23.98 eprover: CPU time limit exceeded, terminating
% 27.57/26.00 eprover: CPU time limit exceeded, terminating
% 29.73/28.01 eprover: CPU time limit exceeded, terminating
% 31.90/30.02 eprover: CPU time limit exceeded, terminating
% 34.06/32.03 eprover: CPU time limit exceeded, terminating
% 36.19/34.04 eprover: CPU time limit exceeded, terminating
% 38.37/36.06 eprover: CPU time limit exceeded, terminating
% 40.50/38.07 eprover: CPU time limit exceeded, terminating
% 42.68/40.08 eprover: CPU time limit exceeded, terminating
% 44.82/42.09 eprover: CPU time limit exceeded, terminating
% 46.99/44.10 eprover: CPU time limit exceeded, terminating
% 49.22/46.12 eprover: CPU time limit exceeded, terminating
% 51.40/48.13 eprover: CPU time limit exceeded, terminating
% 53.52/50.14 eprover: CPU time limit exceeded, terminating
% 55.71/52.15 eprover: CPU time limit exceeded, terminating
% 57.84/54.16 eprover: CPU time limit exceeded, terminating
% 60.00/56.18 eprover: CPU time limit exceeded, terminating
% 62.22/58.19 eprover: CPU time limit exceeded, terminating
% 64.30/60.20 eprover: CPU time limit exceeded, terminating
% 66.55/62.21 eprover: CPU time limit exceeded, terminating
% 68.71/64.23 eprover: CPU time limit exceeded, terminating
% 70.87/66.24 eprover: CPU time limit exceeded, terminating
% 73.02/68.25 eprover: CPU time limit exceeded, terminating
% 75.18/70.26 eprover: CPU time limit exceeded, terminating
% 77.30/72.27 eprover: CPU time limit exceeded, terminating
% 79.55/74.29 eprover: CPU time limit exceeded, terminating
% 81.62/76.30 eprover: CPU time limit exceeded, terminating
% 83.68/78.31 eprover: CPU time limit exceeded, terminating
% 85.84/80.32 eprover: CPU time limit exceeded, terminating
% 88.04/82.33 eprover: CPU time limit exceeded, terminating
% 90.14/84.35 eprover: CPU time limit exceeded, terminating
% 92.31/86.36 eprover: CPU time limit exceeded, terminating
% 94.46/88.37 eprover: CPU time limit exceeded, terminating
% 96.62/90.38 eprover: CPU time limit exceeded, terminating
% 98.77/92.39 eprover: CPU time limit exceeded, terminating
% 100.97/94.40 eprover: CPU time limit exceeded, terminating
% 103.22/96.42 eprover: CPU time limit exceeded, terminating
% 105.38/98.43 eprover: CPU time limit exceeded, terminating
% 107.52/100.44 eprover: CPU time limit exceeded, terminating
% 109.68/102.45 eprover: CPU time limit exceeded, terminating
% 111.80/104.46 eprover: CPU time limit exceeded, terminating
% 113.97/106.48 eprover: CPU time limit exceeded, terminating
% 116.20/108.49 eprover: CPU time limit exceeded, terminating
% 118.35/110.50 eprover: CPU time limit exceeded, terminating
% 120.52/112.51 eprover: CPU time limit exceeded, terminating
% 122.68/114.52 eprover: CPU time limit exceeded, terminating
% 124.85/116.53 eprover: CPU time limit exceeded, terminating
% 126.99/118.54 eprover: CPU time limit exceeded, terminating
% 129.15/120.55 eprover: CPU time limit exceeded, terminating
% 131.29/122.57 eprover: CPU time limit exceeded, terminating
% 133.42/124.58 eprover: CPU time limit exceeded, terminating
% 135.60/126.59 eprover: CPU time limit exceeded, terminating
% 137.82/128.60 eprover: CPU time limit exceeded, terminating
% 139.96/130.61 eprover: CPU time limit exceeded, terminating
% 142.11/132.62 eprover: CPU time limit exceeded, terminating
% 144.26/134.64 eprover: CPU time limit exceeded, terminating
% 146.42/136.65 eprover: CPU time limit exceeded, terminating
% 148.60/138.66 eprover: CPU time limit exceeded, terminating
% 150.74/140.67 eprover: CPU time limit exceeded, terminating
% 152.95/142.68 eprover: CPU time limit exceeded, terminating
% 155.03/144.69 eprover: CPU time limit exceeded, terminating
% 157.24/146.70 eprover: CPU time limit exceeded, terminating
% 159.44/148.71 eprover: CPU time limit exceeded, terminating
% 161.58/150.73 eprover: CPU time limit exceeded, terminating
% 163.73/152.74 eprover: CPU time limit exceeded, terminating
% 165.88/154.75 eprover: CPU time limit exceeded, terminating
% 168.01/156.76 eprover: CPU time limit exceeded, terminating
% 170.20/158.77 eprover: CPU time limit exceeded, terminating
% 172.35/160.78 eprover: CPU time limit exceeded, terminating
% 174.58/162.79 eprover: CPU time limit exceeded, terminating
% 176.72/164.80 eprover: CPU time limit exceeded, terminating
% 178.85/166.82 eprover: CPU time limit exceeded, terminating
% 181.01/168.83 eprover: CPU time limit exceeded, terminating
% 183.17/170.84 eprover: CPU time limit exceeded, terminating
% 185.33/172.85 eprover: CPU time limit exceeded, terminating
% 187.46/174.86 eprover: CPU time limit exceeded, terminating
% 189.66/176.87 eprover: CPU time limit exceeded, terminating
% 191.74/178.88 eprover: CPU time limit exceeded, terminating
% 193.98/180.89 eprover: CPU time limit exceeded, terminating
% 196.13/182.90 eprover: CPU time limit exceeded, terminating
% 198.29/184.91 eprover: CPU time limit exceeded, terminating
% 200.39/186.93 eprover: CPU time limit exceeded, terminating
% 202.58/188.94 eprover: CPU time limit exceeded, terminating
% 204.69/190.95 eprover: CPU time limit exceeded, terminating
% 206.86/192.96 eprover: CPU time limit exceeded, terminating
% 209.00/194.97 eprover: CPU time limit exceeded, terminating
% 211.14/196.98 eprover: CPU time limit exceeded, terminating
% 213.36/198.99 eprover: CPU time limit exceeded, terminating
% 215.50/201.00 eprover: CPU time limit exceeded, terminating
% 217.64/203.02 eprover: CPU time limit exceeded, terminating
% 219.80/205.03 eprover: CPU time limit exceeded, terminating
% 221.97/207.04 eprover: CPU time limit exceeded, terminating
% 224.09/209.05 eprover: CPU time limit exceeded, terminating
% 226.24/211.06 eprover: CPU time limit exceeded, terminating
% 228.40/213.07 eprover: CPU time limit exceeded, terminating
% 230.51/215.08 eprover: CPU time limit exceeded, terminating
% 232.54/217.09 eprover: CPU time limit exceeded, terminating
% 234.76/219.10 eprover: CPU time limit exceeded, terminating
% 236.82/221.11 eprover: CPU time limit exceeded, terminating
% 239.02/223.12 eprover: CPU time limit exceeded, terminating
% 241.19/225.13 eprover: CPU time limit exceeded, terminating
% 243.28/227.14 eprover: CPU time limit exceeded, terminating
% 245.47/229.15 eprover: CPU time limit exceeded, terminating
% 247.64/231.17 eprover: CPU time limit exceeded, terminating
% 249.74/233.18 eprover: CPU time limit exceeded, terminating
% 251.85/235.19 eprover: CPU time limit exceeded, terminating
% 253.87/237.20 eprover: CPU time limit exceeded, terminating
% 255.98/239.21 eprover: CPU time limit exceeded, terminating
% 258.12/241.22 eprover: CPU time limit exceeded, terminating
% 260.27/243.23 eprover: CPU time limit exceeded, terminating
% 262.46/245.24 eprover: CPU time limit exceeded, terminating
% 264.51/247.25 eprover: CPU time limit exceeded, terminating
% 266.67/249.26 eprover: CPU time limit exceeded, terminating
% 268.81/251.28 eprover: CPU time limit exceeded, terminating
% 271.00/253.29 eprover: CPU time limit exceeded, terminating
% 273.09/255.30 eprover: CPU time limit exceeded, terminating
% 275.28/257.31 eprover: CPU time limit exceeded, terminating
% 277.36/259.32 eprover: CPU time limit exceeded, terminating
% 279.53/261.33 eprover: CPU time limit exceeded, terminating
% 281.69/263.34 eprover: CPU time limit exceeded, terminating
% 283.78/265.35 eprover: CPU time limit exceeded, terminating
% 285.97/267.36 eprover: CPU time limit exceeded, terminating
% 288.17/269.37 eprover: CPU time limit exceeded, terminating
% 290.27/271.39 eprover: CPU time limit exceeded, terminating
% 292.45/273.41 eprover: CPU time limit exceeded, terminating
% 294.60/275.42 eprover: CPU time limit exceeded, terminating
% 296.68/277.43 eprover: CPU time limit exceeded, terminating
% 298.76/279.44 eprover: CPU time limit exceeded, terminating
% 300.01/280.63 eprover: CPU time limit exceeded, terminating
% 300.01/280.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------