TSTP Solution File: CSR115+40 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+40 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:31 EDT 2022
% Result : Timeout 286.53s 267.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR115+40 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n011.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 : Sat Jun 11 17:24:47 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.69/3.75 eprover: CPU time limit exceeded, terminating
% 5.87/5.76 eprover: CPU time limit exceeded, terminating
% 8.02/7.78 eprover: CPU time limit exceeded, terminating
% 10.15/9.79 eprover: CPU time limit exceeded, terminating
% 12.31/11.80 eprover: CPU time limit exceeded, terminating
% 14.52/13.81 eprover: CPU time limit exceeded, terminating
% 16.69/15.82 eprover: CPU time limit exceeded, terminating
% 18.83/17.84 eprover: CPU time limit exceeded, terminating
% 20.95/19.85 eprover: CPU time limit exceeded, terminating
% 23.11/21.86 eprover: CPU time limit exceeded, terminating
% 25.25/23.88 eprover: CPU time limit exceeded, terminating
% 27.42/25.89 eprover: CPU time limit exceeded, terminating
% 29.61/27.90 eprover: CPU time limit exceeded, terminating
% 31.85/29.91 eprover: CPU time limit exceeded, terminating
% 34.01/31.93 eprover: CPU time limit exceeded, terminating
% 36.15/33.94 eprover: CPU time limit exceeded, terminating
% 38.32/35.95 eprover: CPU time limit exceeded, terminating
% 40.49/37.96 eprover: CPU time limit exceeded, terminating
% 42.70/39.98 eprover: CPU time limit exceeded, terminating
% 44.81/41.99 eprover: CPU time limit exceeded, terminating
% 47.05/44.00 eprover: CPU time limit exceeded, terminating
% 49.20/46.01 eprover: CPU time limit exceeded, terminating
% 51.34/48.02 eprover: CPU time limit exceeded, terminating
% 53.53/50.04 eprover: CPU time limit exceeded, terminating
% 55.71/52.05 eprover: CPU time limit exceeded, terminating
% 57.84/54.06 eprover: CPU time limit exceeded, terminating
% 60.03/56.08 eprover: CPU time limit exceeded, terminating
% 62.17/58.09 eprover: CPU time limit exceeded, terminating
% 64.35/60.10 eprover: CPU time limit exceeded, terminating
% 66.57/62.11 eprover: CPU time limit exceeded, terminating
% 68.71/64.13 eprover: CPU time limit exceeded, terminating
% 70.85/66.14 eprover: CPU time limit exceeded, terminating
% 73.06/68.15 eprover: CPU time limit exceeded, terminating
% 75.25/70.16 eprover: CPU time limit exceeded, terminating
% 77.35/72.18 eprover: CPU time limit exceeded, terminating
% 79.59/74.19 eprover: CPU time limit exceeded, terminating
% 81.63/76.20 eprover: CPU time limit exceeded, terminating
% 83.70/78.22 eprover: CPU time limit exceeded, terminating
% 85.91/80.23 eprover: CPU time limit exceeded, terminating
% 88.07/82.24 eprover: CPU time limit exceeded, terminating
% 90.24/84.25 eprover: CPU time limit exceeded, terminating
% 92.41/86.27 eprover: CPU time limit exceeded, terminating
% 94.58/88.28 eprover: CPU time limit exceeded, terminating
% 96.77/90.29 eprover: CPU time limit exceeded, terminating
% 98.96/92.30 eprover: CPU time limit exceeded, terminating
% 101.13/94.31 eprover: CPU time limit exceeded, terminating
% 103.28/96.33 eprover: CPU time limit exceeded, terminating
% 105.45/98.34 eprover: CPU time limit exceeded, terminating
% 107.61/100.35 eprover: CPU time limit exceeded, terminating
% 109.81/102.36 eprover: CPU time limit exceeded, terminating
% 111.96/104.38 eprover: CPU time limit exceeded, terminating
% 114.11/106.39 eprover: CPU time limit exceeded, terminating
% 116.28/108.40 eprover: CPU time limit exceeded, terminating
% 118.43/110.41 eprover: CPU time limit exceeded, terminating
% 120.63/112.43 eprover: CPU time limit exceeded, terminating
% 122.84/114.44 eprover: CPU time limit exceeded, terminating
% 124.95/116.45 eprover: CPU time limit exceeded, terminating
% 127.17/118.46 eprover: CPU time limit exceeded, terminating
% 129.36/120.47 eprover: CPU time limit exceeded, terminating
% 131.49/122.49 eprover: CPU time limit exceeded, terminating
% 133.71/124.50 eprover: CPU time limit exceeded, terminating
% 135.81/126.51 eprover: CPU time limit exceeded, terminating
% 138.05/128.53 eprover: CPU time limit exceeded, terminating
% 140.18/130.54 eprover: CPU time limit exceeded, terminating
% 142.30/132.55 eprover: CPU time limit exceeded, terminating
% 144.47/134.56 eprover: CPU time limit exceeded, terminating
% 146.70/136.58 eprover: CPU time limit exceeded, terminating
% 148.78/138.59 eprover: CPU time limit exceeded, terminating
% 150.99/140.60 eprover: CPU time limit exceeded, terminating
% 153.11/142.61 eprover: CPU time limit exceeded, terminating
% 155.34/144.62 eprover: CPU time limit exceeded, terminating
% 157.47/146.63 eprover: CPU time limit exceeded, terminating
% 159.59/148.64 eprover: CPU time limit exceeded, terminating
% 161.76/150.65 eprover: CPU time limit exceeded, terminating
% 163.91/152.66 eprover: CPU time limit exceeded, terminating
% 166.07/154.67 eprover: CPU time limit exceeded, terminating
% 168.25/156.68 eprover: CPU time limit exceeded, terminating
% 170.45/158.70 eprover: CPU time limit exceeded, terminating
% 172.55/160.71 eprover: CPU time limit exceeded, terminating
% 174.77/162.72 eprover: CPU time limit exceeded, terminating
% 176.90/164.73 eprover: CPU time limit exceeded, terminating
% 179.07/166.74 eprover: CPU time limit exceeded, terminating
% 181.24/168.76 eprover: CPU time limit exceeded, terminating
% 183.36/170.77 eprover: CPU time limit exceeded, terminating
% 185.55/172.78 eprover: CPU time limit exceeded, terminating
% 187.70/174.79 eprover: CPU time limit exceeded, terminating
% 189.85/176.81 eprover: CPU time limit exceeded, terminating
% 192.07/178.82 eprover: CPU time limit exceeded, terminating
% 194.24/180.83 eprover: CPU time limit exceeded, terminating
% 196.40/182.84 eprover: CPU time limit exceeded, terminating
% 198.53/184.85 eprover: CPU time limit exceeded, terminating
% 200.67/186.87 eprover: CPU time limit exceeded, terminating
% 202.80/188.88 eprover: CPU time limit exceeded, terminating
% 205.04/190.89 eprover: CPU time limit exceeded, terminating
% 207.12/192.90 eprover: CPU time limit exceeded, terminating
% 209.36/194.92 eprover: CPU time limit exceeded, terminating
% 211.52/196.93 eprover: CPU time limit exceeded, terminating
% 213.70/198.94 eprover: CPU time limit exceeded, terminating
% 215.82/200.95 eprover: CPU time limit exceeded, terminating
% 217.98/202.97 eprover: CPU time limit exceeded, terminating
% 220.11/204.98 eprover: CPU time limit exceeded, terminating
% 222.31/206.99 eprover: CPU time limit exceeded, terminating
% 224.52/209.00 eprover: CPU time limit exceeded, terminating
% 226.66/211.02 eprover: CPU time limit exceeded, terminating
% 228.84/213.03 eprover: CPU time limit exceeded, terminating
% 230.90/215.04 eprover: CPU time limit exceeded, terminating
% 232.93/217.05 eprover: CPU time limit exceeded, terminating
% 235.08/219.06 eprover: CPU time limit exceeded, terminating
% 237.26/221.08 eprover: CPU time limit exceeded, terminating
% 239.38/223.09 eprover: CPU time limit exceeded, terminating
% 241.65/225.10 eprover: CPU time limit exceeded, terminating
% 243.82/227.11 eprover: CPU time limit exceeded, terminating
% 245.95/229.13 eprover: CPU time limit exceeded, terminating
% 248.08/231.14 eprover: CPU time limit exceeded, terminating
% 250.24/233.15 eprover: CPU time limit exceeded, terminating
% 252.28/235.16 eprover: CPU time limit exceeded, terminating
% 254.35/237.17 eprover: CPU time limit exceeded, terminating
% 256.44/239.19 eprover: CPU time limit exceeded, terminating
% 258.65/241.20 eprover: CPU time limit exceeded, terminating
% 260.71/243.21 eprover: CPU time limit exceeded, terminating
% 262.93/245.22 eprover: CPU time limit exceeded, terminating
% 264.98/247.23 eprover: CPU time limit exceeded, terminating
% 267.14/249.25 eprover: CPU time limit exceeded, terminating
% 269.32/251.26 eprover: CPU time limit exceeded, terminating
% 271.42/253.27 eprover: CPU time limit exceeded, terminating
% 273.60/255.28 eprover: CPU time limit exceeded, terminating
% 275.75/257.29 eprover: CPU time limit exceeded, terminating
% 277.96/259.31 eprover: CPU time limit exceeded, terminating
% 280.11/261.32 eprover: CPU time limit exceeded, terminating
% 282.22/263.33 eprover: CPU time limit exceeded, terminating
% 284.39/265.34 eprover: CPU time limit exceeded, terminating
% 286.53/267.35 eprover: CPU time limit exceeded, terminating
% 288.66/269.37 eprover: CPU time limit exceeded, terminating
% 290.80/271.38 eprover: CPU time limit exceeded, terminating
% 293.02/273.39 eprover: CPU time limit exceeded, terminating
% 295.17/275.40 eprover: CPU time limit exceeded, terminating
% 297.26/277.41 eprover: CPU time limit exceeded, terminating
% 299.31/279.43 eprover: CPU time limit exceeded, terminating
% 300.07/280.11 eprover: CPU time limit exceeded, terminating
% 300.07/280.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------