TSTP Solution File: CSR249+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR249+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:09 EDT 2022
% Result : Timeout 286.44s 262.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR249+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 11 12:59:07 EDT 2022
% 0.13/0.34 % CPUTime :
% 6.39/6.38 eprover: CPU time limit exceeded, terminating
% 8.58/8.39 eprover: CPU time limit exceeded, terminating
% 10.72/10.40 eprover: CPU time limit exceeded, terminating
% 12.93/12.42 eprover: CPU time limit exceeded, terminating
% 15.04/14.43 eprover: CPU time limit exceeded, terminating
% 17.32/16.44 eprover: CPU time limit exceeded, terminating
% 19.43/18.45 eprover: CPU time limit exceeded, terminating
% 21.62/20.46 eprover: CPU time limit exceeded, terminating
% 23.89/22.49 eprover: CPU time limit exceeded, terminating
% 26.03/24.50 eprover: CPU time limit exceeded, terminating
% 28.16/26.51 eprover: CPU time limit exceeded, terminating
% 30.37/28.52 eprover: CPU time limit exceeded, terminating
% 32.67/30.54 eprover: CPU time limit exceeded, terminating
% 34.86/32.55 eprover: CPU time limit exceeded, terminating
% 37.07/34.57 eprover: CPU time limit exceeded, terminating
% 39.24/36.57 eprover: CPU time limit exceeded, terminating
% 41.46/38.59 eprover: CPU time limit exceeded, terminating
% 43.70/40.60 eprover: CPU time limit exceeded, terminating
% 45.88/42.61 eprover: CPU time limit exceeded, terminating
% 48.10/44.62 eprover: CPU time limit exceeded, terminating
% 50.39/46.64 eprover: CPU time limit exceeded, terminating
% 52.51/48.66 eprover: CPU time limit exceeded, terminating
% 54.79/50.68 eprover: CPU time limit exceeded, terminating
% 56.95/52.69 eprover: CPU time limit exceeded, terminating
% 59.14/54.70 eprover: CPU time limit exceeded, terminating
% 61.37/56.72 eprover: CPU time limit exceeded, terminating
% 63.54/58.73 eprover: CPU time limit exceeded, terminating
% 65.76/60.74 eprover: CPU time limit exceeded, terminating
% 67.94/62.75 eprover: CPU time limit exceeded, terminating
% 70.17/64.76 eprover: CPU time limit exceeded, terminating
% 72.39/66.77 eprover: CPU time limit exceeded, terminating
% 74.55/68.78 eprover: CPU time limit exceeded, terminating
% 76.79/70.80 eprover: CPU time limit exceeded, terminating
% 79.01/72.81 eprover: CPU time limit exceeded, terminating
% 81.20/74.82 eprover: CPU time limit exceeded, terminating
% 83.45/76.83 eprover: CPU time limit exceeded, terminating
% 85.61/78.84 eprover: CPU time limit exceeded, terminating
% 87.86/80.85 eprover: CPU time limit exceeded, terminating
% 90.03/82.86 eprover: CPU time limit exceeded, terminating
% 92.19/84.87 eprover: CPU time limit exceeded, terminating
% 94.43/86.88 eprover: CPU time limit exceeded, terminating
% 96.70/88.89 eprover: CPU time limit exceeded, terminating
% 98.91/90.90 eprover: CPU time limit exceeded, terminating
% 101.07/92.91 eprover: CPU time limit exceeded, terminating
% 103.33/94.92 eprover: CPU time limit exceeded, terminating
% 105.49/96.93 eprover: CPU time limit exceeded, terminating
% 107.70/98.95 eprover: CPU time limit exceeded, terminating
% 109.92/100.96 eprover: CPU time limit exceeded, terminating
% 112.13/102.97 eprover: CPU time limit exceeded, terminating
% 114.30/104.98 eprover: CPU time limit exceeded, terminating
% 116.51/106.99 eprover: CPU time limit exceeded, terminating
% 118.74/109.00 eprover: CPU time limit exceeded, terminating
% 120.89/111.01 eprover: CPU time limit exceeded, terminating
% 123.12/113.02 eprover: CPU time limit exceeded, terminating
% 125.33/115.03 eprover: CPU time limit exceeded, terminating
% 127.59/117.04 eprover: CPU time limit exceeded, terminating
% 129.75/119.05 eprover: CPU time limit exceeded, terminating
% 131.96/121.06 eprover: CPU time limit exceeded, terminating
% 134.20/123.15 eprover: CPU time limit exceeded, terminating
% 136.37/125.23 eprover: CPU time limit exceeded, terminating
% 138.52/127.31 eprover: CPU time limit exceeded, terminating
% 140.77/129.41 eprover: CPU time limit exceeded, terminating
% 142.94/131.48 eprover: CPU time limit exceeded, terminating
% 145.19/133.49 eprover: CPU time limit exceeded, terminating
% 147.36/135.57 eprover: CPU time limit exceeded, terminating
% 149.60/137.67 eprover: CPU time limit exceeded, terminating
% 151.77/139.68 eprover: CPU time limit exceeded, terminating
% 153.96/141.71 eprover: CPU time limit exceeded, terminating
% 156.22/143.72 eprover: CPU time limit exceeded, terminating
% 158.50/145.73 eprover: CPU time limit exceeded, terminating
% 160.73/147.82 eprover: CPU time limit exceeded, terminating
% 162.95/149.90 eprover: CPU time limit exceeded, terminating
% 165.18/151.99 eprover: CPU time limit exceeded, terminating
% 167.41/154.00 eprover: CPU time limit exceeded, terminating
% 169.54/156.08 eprover: CPU time limit exceeded, terminating
% 171.83/158.16 eprover: CPU time limit exceeded, terminating
% 174.01/160.18 eprover: CPU time limit exceeded, terminating
% 176.18/162.19 eprover: CPU time limit exceeded, terminating
% 178.44/164.20 eprover: CPU time limit exceeded, terminating
% 180.66/166.21 eprover: CPU time limit exceeded, terminating
% 182.85/168.22 eprover: CPU time limit exceeded, terminating
% 185.07/170.23 eprover: CPU time limit exceeded, terminating
% 187.26/172.24 eprover: CPU time limit exceeded, terminating
% 189.45/174.25 eprover: CPU time limit exceeded, terminating
% 191.59/176.26 eprover: CPU time limit exceeded, terminating
% 193.87/178.28 eprover: CPU time limit exceeded, terminating
% 196.07/180.29 eprover: CPU time limit exceeded, terminating
% 198.23/182.30 eprover: CPU time limit exceeded, terminating
% 200.46/184.31 eprover: CPU time limit exceeded, terminating
% 202.67/186.32 eprover: CPU time limit exceeded, terminating
% 204.84/188.34 eprover: CPU time limit exceeded, terminating
% 207.06/190.35 eprover: CPU time limit exceeded, terminating
% 209.29/192.36 eprover: CPU time limit exceeded, terminating
% 211.48/194.37 eprover: CPU time limit exceeded, terminating
% 213.67/196.38 eprover: CPU time limit exceeded, terminating
% 215.92/198.39 eprover: CPU time limit exceeded, terminating
% 218.13/200.41 eprover: CPU time limit exceeded, terminating
% 220.31/202.42 eprover: CPU time limit exceeded, terminating
% 222.53/204.43 eprover: CPU time limit exceeded, terminating
% 224.71/206.44 eprover: CPU time limit exceeded, terminating
% 226.91/208.45 eprover: CPU time limit exceeded, terminating
% 229.14/210.46 eprover: CPU time limit exceeded, terminating
% 231.33/212.47 eprover: CPU time limit exceeded, terminating
% 233.55/214.48 eprover: CPU time limit exceeded, terminating
% 235.77/216.49 eprover: CPU time limit exceeded, terminating
% 237.93/218.51 eprover: CPU time limit exceeded, terminating
% 240.18/220.52 eprover: CPU time limit exceeded, terminating
% 242.36/222.53 eprover: CPU time limit exceeded, terminating
% 244.60/224.54 eprover: CPU time limit exceeded, terminating
% 246.81/226.55 eprover: CPU time limit exceeded, terminating
% 248.99/228.56 eprover: CPU time limit exceeded, terminating
% 251.18/230.57 eprover: CPU time limit exceeded, terminating
% 253.33/232.59 eprover: CPU time limit exceeded, terminating
% 255.58/234.60 eprover: CPU time limit exceeded, terminating
% 257.78/236.61 eprover: CPU time limit exceeded, terminating
% 259.99/238.62 eprover: CPU time limit exceeded, terminating
% 262.14/240.63 eprover: CPU time limit exceeded, terminating
% 264.34/242.64 eprover: CPU time limit exceeded, terminating
% 266.56/244.65 eprover: CPU time limit exceeded, terminating
% 268.81/246.66 eprover: CPU time limit exceeded, terminating
% 271.00/248.67 eprover: CPU time limit exceeded, terminating
% 273.18/250.69 eprover: CPU time limit exceeded, terminating
% 275.38/252.70 eprover: CPU time limit exceeded, terminating
% 277.60/254.71 eprover: CPU time limit exceeded, terminating
% 279.79/256.72 eprover: CPU time limit exceeded, terminating
% 282.02/258.73 eprover: CPU time limit exceeded, terminating
% 284.23/260.74 eprover: CPU time limit exceeded, terminating
% 286.44/262.76 eprover: CPU time limit exceeded, terminating
% 288.64/264.77 eprover: CPU time limit exceeded, terminating
% 290.84/266.78 eprover: CPU time limit exceeded, terminating
% 293.03/268.79 eprover: CPU time limit exceeded, terminating
% 295.23/270.80 eprover: CPU time limit exceeded, terminating
% 297.41/272.81 eprover: CPU time limit exceeded, terminating
% 299.63/274.82 eprover: CPU time limit exceeded, terminating
% 300.03/275.17 eprover: CPU time limit exceeded, terminating
% 300.03/275.18 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------