TSTP Solution File: CSR041+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR041+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:34:27 EDT 2022
% Result : Timeout 286.18s 267.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR041+3 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.30 % Computer : n032.cluster.edu
% 0.11/0.30 % Model : x86_64 x86_64
% 0.11/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.30 % Memory : 8042.1875MB
% 0.11/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.30 % CPULimit : 300
% 0.11/0.30 % WCLimit : 600
% 0.11/0.30 % DateTime : Sat Jun 11 03:37:39 EDT 2022
% 0.11/0.30 % CPUTime :
% 4.16/4.27 eprover: CPU time limit exceeded, terminating
% 6.26/6.28 eprover: CPU time limit exceeded, terminating
% 8.43/8.30 eprover: CPU time limit exceeded, terminating
% 10.56/10.31 eprover: CPU time limit exceeded, terminating
% 12.75/12.32 eprover: CPU time limit exceeded, terminating
% 14.92/14.34 eprover: CPU time limit exceeded, terminating
% 17.08/16.35 eprover: CPU time limit exceeded, terminating
% 19.20/18.36 eprover: CPU time limit exceeded, terminating
% 21.37/20.38 eprover: CPU time limit exceeded, terminating
% 23.54/22.39 eprover: CPU time limit exceeded, terminating
% 25.65/24.40 eprover: CPU time limit exceeded, terminating
% 27.83/26.41 eprover: CPU time limit exceeded, terminating
% 29.97/28.43 eprover: CPU time limit exceeded, terminating
% 32.16/30.44 eprover: CPU time limit exceeded, terminating
% 34.35/32.45 eprover: CPU time limit exceeded, terminating
% 36.50/34.47 eprover: CPU time limit exceeded, terminating
% 38.65/36.48 eprover: CPU time limit exceeded, terminating
% 40.75/38.49 eprover: CPU time limit exceeded, terminating
% 42.97/40.51 eprover: CPU time limit exceeded, terminating
% 45.15/42.52 eprover: CPU time limit exceeded, terminating
% 47.29/44.53 eprover: CPU time limit exceeded, terminating
% 49.43/46.55 eprover: CPU time limit exceeded, terminating
% 51.59/48.56 eprover: CPU time limit exceeded, terminating
% 53.76/50.57 eprover: CPU time limit exceeded, terminating
% 55.93/52.58 eprover: CPU time limit exceeded, terminating
% 58.05/54.60 eprover: CPU time limit exceeded, terminating
% 60.28/56.61 eprover: CPU time limit exceeded, terminating
% 62.43/58.62 eprover: CPU time limit exceeded, terminating
% 64.55/60.64 eprover: CPU time limit exceeded, terminating
% 66.71/62.65 eprover: CPU time limit exceeded, terminating
% 68.80/64.66 eprover: CPU time limit exceeded, terminating
% 71.00/66.67 eprover: CPU time limit exceeded, terminating
% 73.21/68.69 eprover: CPU time limit exceeded, terminating
% 75.38/70.70 eprover: CPU time limit exceeded, terminating
% 77.50/72.71 eprover: CPU time limit exceeded, terminating
% 79.66/74.73 eprover: CPU time limit exceeded, terminating
% 81.82/76.74 eprover: CPU time limit exceeded, terminating
% 83.95/78.75 eprover: CPU time limit exceeded, terminating
% 86.12/80.77 eprover: CPU time limit exceeded, terminating
% 88.31/82.78 eprover: CPU time limit exceeded, terminating
% 90.40/84.79 eprover: CPU time limit exceeded, terminating
% 92.64/86.80 eprover: CPU time limit exceeded, terminating
% 94.77/88.82 eprover: CPU time limit exceeded, terminating
% 96.94/90.83 eprover: CPU time limit exceeded, terminating
% 99.08/92.84 eprover: CPU time limit exceeded, terminating
% 101.23/94.86 eprover: CPU time limit exceeded, terminating
% 103.37/96.87 eprover: CPU time limit exceeded, terminating
% 105.59/98.88 eprover: CPU time limit exceeded, terminating
% 107.74/100.90 eprover: CPU time limit exceeded, terminating
% 109.89/102.91 eprover: CPU time limit exceeded, terminating
% 112.03/104.92 eprover: CPU time limit exceeded, terminating
% 114.20/106.93 eprover: CPU time limit exceeded, terminating
% 116.30/108.95 eprover: CPU time limit exceeded, terminating
% 118.48/110.96 eprover: CPU time limit exceeded, terminating
% 120.62/112.97 eprover: CPU time limit exceeded, terminating
% 122.79/114.98 eprover: CPU time limit exceeded, terminating
% 124.90/116.99 eprover: CPU time limit exceeded, terminating
% 127.05/119.00 eprover: CPU time limit exceeded, terminating
% 129.26/121.01 eprover: CPU time limit exceeded, terminating
% 131.41/123.02 eprover: CPU time limit exceeded, terminating
% 133.54/125.03 eprover: CPU time limit exceeded, terminating
% 135.67/127.04 eprover: CPU time limit exceeded, terminating
% 137.81/129.05 eprover: CPU time limit exceeded, terminating
% 139.99/131.06 eprover: CPU time limit exceeded, terminating
% 142.17/133.07 eprover: CPU time limit exceeded, terminating
% 144.31/135.08 eprover: CPU time limit exceeded, terminating
% 146.47/137.09 eprover: CPU time limit exceeded, terminating
% 148.61/139.11 eprover: CPU time limit exceeded, terminating
% 150.76/141.12 eprover: CPU time limit exceeded, terminating
% 152.88/143.13 eprover: CPU time limit exceeded, terminating
% 155.05/145.14 eprover: CPU time limit exceeded, terminating
% 157.21/147.15 eprover: CPU time limit exceeded, terminating
% 159.31/149.16 eprover: CPU time limit exceeded, terminating
% 161.48/151.17 eprover: CPU time limit exceeded, terminating
% 163.64/153.18 eprover: CPU time limit exceeded, terminating
% 165.84/155.19 eprover: CPU time limit exceeded, terminating
% 167.91/157.21 eprover: CPU time limit exceeded, terminating
% 170.11/159.22 eprover: CPU time limit exceeded, terminating
% 172.23/161.23 eprover: CPU time limit exceeded, terminating
% 174.42/163.24 eprover: CPU time limit exceeded, terminating
% 176.54/165.25 eprover: CPU time limit exceeded, terminating
% 178.73/167.26 eprover: CPU time limit exceeded, terminating
% 180.82/169.28 eprover: CPU time limit exceeded, terminating
% 183.02/171.29 eprover: CPU time limit exceeded, terminating
% 185.15/173.30 eprover: CPU time limit exceeded, terminating
% 187.34/175.31 eprover: CPU time limit exceeded, terminating
% 189.44/177.32 eprover: CPU time limit exceeded, terminating
% 191.61/179.33 eprover: CPU time limit exceeded, terminating
% 193.76/181.34 eprover: CPU time limit exceeded, terminating
% 195.89/183.35 eprover: CPU time limit exceeded, terminating
% 198.02/185.36 eprover: CPU time limit exceeded, terminating
% 200.19/187.38 eprover: CPU time limit exceeded, terminating
% 202.35/189.39 eprover: CPU time limit exceeded, terminating
% 204.49/191.40 eprover: CPU time limit exceeded, terminating
% 206.65/193.41 eprover: CPU time limit exceeded, terminating
% 208.80/195.42 eprover: CPU time limit exceeded, terminating
% 210.93/197.43 eprover: CPU time limit exceeded, terminating
% 213.08/199.44 eprover: CPU time limit exceeded, terminating
% 215.20/201.45 eprover: CPU time limit exceeded, terminating
% 217.35/203.46 eprover: CPU time limit exceeded, terminating
% 219.52/205.48 eprover: CPU time limit exceeded, terminating
% 221.62/207.49 eprover: CPU time limit exceeded, terminating
% 223.80/209.50 eprover: CPU time limit exceeded, terminating
% 226.03/211.51 eprover: CPU time limit exceeded, terminating
% 228.16/213.52 eprover: CPU time limit exceeded, terminating
% 230.32/215.53 eprover: CPU time limit exceeded, terminating
% 232.44/217.54 eprover: CPU time limit exceeded, terminating
% 234.61/219.55 eprover: CPU time limit exceeded, terminating
% 236.73/221.56 eprover: CPU time limit exceeded, terminating
% 238.87/223.57 eprover: CPU time limit exceeded, terminating
% 241.01/225.58 eprover: CPU time limit exceeded, terminating
% 243.14/227.60 eprover: CPU time limit exceeded, terminating
% 245.38/229.61 eprover: CPU time limit exceeded, terminating
% 247.53/231.62 eprover: CPU time limit exceeded, terminating
% 249.67/233.63 eprover: CPU time limit exceeded, terminating
% 251.78/235.64 eprover: CPU time limit exceeded, terminating
% 253.92/237.65 eprover: CPU time limit exceeded, terminating
% 256.05/239.66 eprover: CPU time limit exceeded, terminating
% 258.17/241.67 eprover: CPU time limit exceeded, terminating
% 260.33/243.68 eprover: CPU time limit exceeded, terminating
% 262.49/245.70 eprover: CPU time limit exceeded, terminating
% 264.73/247.71 eprover: CPU time limit exceeded, terminating
% 266.86/249.72 eprover: CPU time limit exceeded, terminating
% 268.97/251.73 eprover: CPU time limit exceeded, terminating
% 271.12/253.74 eprover: CPU time limit exceeded, terminating
% 273.28/255.75 eprover: CPU time limit exceeded, terminating
% 275.43/257.76 eprover: CPU time limit exceeded, terminating
% 277.61/259.77 eprover: CPU time limit exceeded, terminating
% 279.69/261.78 eprover: CPU time limit exceeded, terminating
% 281.85/263.79 eprover: CPU time limit exceeded, terminating
% 284.08/265.81 eprover: CPU time limit exceeded, terminating
% 286.18/267.82 eprover: CPU time limit exceeded, terminating
% 288.36/269.83 eprover: CPU time limit exceeded, terminating
% 290.51/271.84 eprover: CPU time limit exceeded, terminating
% 292.64/273.85 eprover: CPU time limit exceeded, terminating
% 294.78/275.86 eprover: CPU time limit exceeded, terminating
% 296.91/277.87 eprover: CPU time limit exceeded, terminating
% 299.06/279.89 eprover: CPU time limit exceeded, terminating
% 300.11/280.72 eprover: CPU time limit exceeded, terminating
% 300.11/280.74 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------