TSTP Solution File: CSR116+46 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+46 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:43 EDT 2022
% Result : Timeout 286.46s 267.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR116+46 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n020.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 : Fri Jun 10 10:04:36 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.71/3.77 eprover: CPU time limit exceeded, terminating
% 5.86/5.79 eprover: CPU time limit exceeded, terminating
% 8.01/7.80 eprover: CPU time limit exceeded, terminating
% 10.17/9.81 eprover: CPU time limit exceeded, terminating
% 12.38/11.82 eprover: CPU time limit exceeded, terminating
% 14.53/13.83 eprover: CPU time limit exceeded, terminating
% 16.69/15.85 eprover: CPU time limit exceeded, terminating
% 18.85/17.86 eprover: CPU time limit exceeded, terminating
% 20.98/19.87 eprover: CPU time limit exceeded, terminating
% 23.16/21.88 eprover: CPU time limit exceeded, terminating
% 25.32/23.89 eprover: CPU time limit exceeded, terminating
% 27.50/25.90 eprover: CPU time limit exceeded, terminating
% 29.63/27.91 eprover: CPU time limit exceeded, terminating
% 31.85/29.93 eprover: CPU time limit exceeded, terminating
% 34.02/31.94 eprover: CPU time limit exceeded, terminating
% 36.10/33.95 eprover: CPU time limit exceeded, terminating
% 38.31/35.96 eprover: CPU time limit exceeded, terminating
% 40.50/37.97 eprover: CPU time limit exceeded, terminating
% 42.59/39.98 eprover: CPU time limit exceeded, terminating
% 44.79/41.99 eprover: CPU time limit exceeded, terminating
% 46.99/44.00 eprover: CPU time limit exceeded, terminating
% 49.12/46.01 eprover: CPU time limit exceeded, terminating
% 51.30/48.03 eprover: CPU time limit exceeded, terminating
% 53.49/50.04 eprover: CPU time limit exceeded, terminating
% 55.68/52.05 eprover: CPU time limit exceeded, terminating
% 57.85/54.06 eprover: CPU time limit exceeded, terminating
% 60.00/56.07 eprover: CPU time limit exceeded, terminating
% 62.17/58.08 eprover: CPU time limit exceeded, terminating
% 64.38/60.09 eprover: CPU time limit exceeded, terminating
% 66.52/62.11 eprover: CPU time limit exceeded, terminating
% 68.68/64.12 eprover: CPU time limit exceeded, terminating
% 70.85/66.13 eprover: CPU time limit exceeded, terminating
% 73.00/68.14 eprover: CPU time limit exceeded, terminating
% 75.18/70.15 eprover: CPU time limit exceeded, terminating
% 77.34/72.16 eprover: CPU time limit exceeded, terminating
% 79.49/74.17 eprover: CPU time limit exceeded, terminating
% 81.60/76.18 eprover: CPU time limit exceeded, terminating
% 83.66/78.19 eprover: CPU time limit exceeded, terminating
% 85.80/80.20 eprover: CPU time limit exceeded, terminating
% 88.00/82.22 eprover: CPU time limit exceeded, terminating
% 90.14/84.23 eprover: CPU time limit exceeded, terminating
% 92.34/86.24 eprover: CPU time limit exceeded, terminating
% 94.46/88.25 eprover: CPU time limit exceeded, terminating
% 96.66/90.26 eprover: CPU time limit exceeded, terminating
% 98.83/92.27 eprover: CPU time limit exceeded, terminating
% 100.98/94.28 eprover: CPU time limit exceeded, terminating
% 103.18/96.29 eprover: CPU time limit exceeded, terminating
% 105.34/98.30 eprover: CPU time limit exceeded, terminating
% 107.47/100.32 eprover: CPU time limit exceeded, terminating
% 109.65/102.33 eprover: CPU time limit exceeded, terminating
% 111.78/104.34 eprover: CPU time limit exceeded, terminating
% 114.01/106.35 eprover: CPU time limit exceeded, terminating
% 116.19/108.36 eprover: CPU time limit exceeded, terminating
% 118.33/110.37 eprover: CPU time limit exceeded, terminating
% 120.47/112.38 eprover: CPU time limit exceeded, terminating
% 122.66/114.39 eprover: CPU time limit exceeded, terminating
% 124.85/116.41 eprover: CPU time limit exceeded, terminating
% 126.99/118.42 eprover: CPU time limit exceeded, terminating
% 129.12/120.43 eprover: CPU time limit exceeded, terminating
% 131.31/122.44 eprover: CPU time limit exceeded, terminating
% 133.50/124.45 eprover: CPU time limit exceeded, terminating
% 135.59/126.46 eprover: CPU time limit exceeded, terminating
% 137.85/128.47 eprover: CPU time limit exceeded, terminating
% 139.99/130.48 eprover: CPU time limit exceeded, terminating
% 142.15/132.50 eprover: CPU time limit exceeded, terminating
% 144.30/134.51 eprover: CPU time limit exceeded, terminating
% 146.48/136.52 eprover: CPU time limit exceeded, terminating
% 148.66/138.53 eprover: CPU time limit exceeded, terminating
% 150.79/140.54 eprover: CPU time limit exceeded, terminating
% 152.97/142.55 eprover: CPU time limit exceeded, terminating
% 155.13/144.56 eprover: CPU time limit exceeded, terminating
% 157.31/146.57 eprover: CPU time limit exceeded, terminating
% 159.45/148.58 eprover: CPU time limit exceeded, terminating
% 161.59/150.59 eprover: CPU time limit exceeded, terminating
% 163.78/152.61 eprover: CPU time limit exceeded, terminating
% 165.90/154.62 eprover: CPU time limit exceeded, terminating
% 168.11/156.63 eprover: CPU time limit exceeded, terminating
% 170.25/158.64 eprover: CPU time limit exceeded, terminating
% 172.46/160.65 eprover: CPU time limit exceeded, terminating
% 174.63/162.66 eprover: CPU time limit exceeded, terminating
% 176.77/164.68 eprover: CPU time limit exceeded, terminating
% 178.95/166.69 eprover: CPU time limit exceeded, terminating
% 181.06/168.70 eprover: CPU time limit exceeded, terminating
% 183.27/170.71 eprover: CPU time limit exceeded, terminating
% 185.43/172.72 eprover: CPU time limit exceeded, terminating
% 187.59/174.73 eprover: CPU time limit exceeded, terminating
% 189.77/176.75 eprover: CPU time limit exceeded, terminating
% 191.95/178.76 eprover: CPU time limit exceeded, terminating
% 194.09/180.78 eprover: CPU time limit exceeded, terminating
% 196.28/182.79 eprover: CPU time limit exceeded, terminating
% 198.41/184.80 eprover: CPU time limit exceeded, terminating
% 200.57/186.82 eprover: CPU time limit exceeded, terminating
% 202.76/188.83 eprover: CPU time limit exceeded, terminating
% 204.90/190.84 eprover: CPU time limit exceeded, terminating
% 207.08/192.85 eprover: CPU time limit exceeded, terminating
% 209.24/194.86 eprover: CPU time limit exceeded, terminating
% 211.43/196.87 eprover: CPU time limit exceeded, terminating
% 213.62/198.88 eprover: CPU time limit exceeded, terminating
% 215.76/200.89 eprover: CPU time limit exceeded, terminating
% 217.94/202.91 eprover: CPU time limit exceeded, terminating
% 220.06/204.92 eprover: CPU time limit exceeded, terminating
% 222.20/206.93 eprover: CPU time limit exceeded, terminating
% 224.37/208.94 eprover: CPU time limit exceeded, terminating
% 226.54/210.95 eprover: CPU time limit exceeded, terminating
% 228.75/212.96 eprover: CPU time limit exceeded, terminating
% 230.81/214.97 eprover: CPU time limit exceeded, terminating
% 232.87/216.98 eprover: CPU time limit exceeded, terminating
% 235.03/219.00 eprover: CPU time limit exceeded, terminating
% 237.16/221.01 eprover: CPU time limit exceeded, terminating
% 239.32/223.03 eprover: CPU time limit exceeded, terminating
% 241.55/225.04 eprover: CPU time limit exceeded, terminating
% 243.69/227.05 eprover: CPU time limit exceeded, terminating
% 245.84/229.07 eprover: CPU time limit exceeded, terminating
% 247.97/231.10 eprover: CPU time limit exceeded, terminating
% 250.11/233.11 eprover: CPU time limit exceeded, terminating
% 252.20/235.12 eprover: CPU time limit exceeded, terminating
% 254.28/237.13 eprover: CPU time limit exceeded, terminating
% 256.28/239.15 eprover: CPU time limit exceeded, terminating
% 258.53/241.16 eprover: CPU time limit exceeded, terminating
% 260.66/243.17 eprover: CPU time limit exceeded, terminating
% 262.84/245.19 eprover: CPU time limit exceeded, terminating
% 264.86/247.20 eprover: CPU time limit exceeded, terminating
% 267.07/249.21 eprover: CPU time limit exceeded, terminating
% 269.18/251.22 eprover: CPU time limit exceeded, terminating
% 271.37/253.23 eprover: CPU time limit exceeded, terminating
% 273.46/255.25 eprover: CPU time limit exceeded, terminating
% 275.67/257.26 eprover: CPU time limit exceeded, terminating
% 277.77/259.27 eprover: CPU time limit exceeded, terminating
% 279.95/261.28 eprover: CPU time limit exceeded, terminating
% 282.15/263.29 eprover: CPU time limit exceeded, terminating
% 284.28/265.31 eprover: CPU time limit exceeded, terminating
% 286.46/267.32 eprover: CPU time limit exceeded, terminating
% 288.57/269.33 eprover: CPU time limit exceeded, terminating
% 290.79/271.34 eprover: CPU time limit exceeded, terminating
% 292.96/273.35 eprover: CPU time limit exceeded, terminating
% 295.14/275.37 eprover: CPU time limit exceeded, terminating
% 297.17/277.38 eprover: CPU time limit exceeded, terminating
% 299.28/279.39 eprover: CPU time limit exceeded, terminating
% 300.01/280.05 eprover: CPU time limit exceeded, terminating
% 300.01/280.06 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------