TSTP Solution File: CSR287+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR287+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:14 EDT 2022
% Result : Timeout 285.72s 263.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : CSR287+1 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n006.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 : Sat Jun 11 13:14:57 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.89/5.88 eprover: CPU time limit exceeded, terminating
% 8.11/7.89 eprover: CPU time limit exceeded, terminating
% 10.32/9.90 eprover: CPU time limit exceeded, terminating
% 12.50/11.92 eprover: CPU time limit exceeded, terminating
% 14.71/13.93 eprover: CPU time limit exceeded, terminating
% 16.94/15.94 eprover: CPU time limit exceeded, terminating
% 19.12/17.95 eprover: CPU time limit exceeded, terminating
% 21.31/19.96 eprover: CPU time limit exceeded, terminating
% 23.52/21.97 eprover: CPU time limit exceeded, terminating
% 25.78/23.98 eprover: CPU time limit exceeded, terminating
% 28.00/25.99 eprover: CPU time limit exceeded, terminating
% 30.20/28.00 eprover: CPU time limit exceeded, terminating
% 32.36/30.01 eprover: CPU time limit exceeded, terminating
% 34.64/32.03 eprover: CPU time limit exceeded, terminating
% 36.82/34.04 eprover: CPU time limit exceeded, terminating
% 39.06/36.05 eprover: CPU time limit exceeded, terminating
% 41.20/38.06 eprover: CPU time limit exceeded, terminating
% 43.43/40.07 eprover: CPU time limit exceeded, terminating
% 45.66/42.08 eprover: CPU time limit exceeded, terminating
% 47.94/44.09 eprover: CPU time limit exceeded, terminating
% 50.12/46.10 eprover: CPU time limit exceeded, terminating
% 52.27/48.11 eprover: CPU time limit exceeded, terminating
% 54.54/50.13 eprover: CPU time limit exceeded, terminating
% 56.70/52.14 eprover: CPU time limit exceeded, terminating
% 58.98/54.15 eprover: CPU time limit exceeded, terminating
% 61.20/56.16 eprover: CPU time limit exceeded, terminating
% 63.37/58.17 eprover: CPU time limit exceeded, terminating
% 65.60/60.18 eprover: CPU time limit exceeded, terminating
% 67.80/62.19 eprover: CPU time limit exceeded, terminating
% 69.98/64.20 eprover: CPU time limit exceeded, terminating
% 72.24/66.22 eprover: CPU time limit exceeded, terminating
% 74.43/68.23 eprover: CPU time limit exceeded, terminating
% 76.66/70.24 eprover: CPU time limit exceeded, terminating
% 78.89/72.25 eprover: CPU time limit exceeded, terminating
% 81.11/74.26 eprover: CPU time limit exceeded, terminating
% 83.30/76.27 eprover: CPU time limit exceeded, terminating
% 85.44/78.31 eprover: CPU time limit exceeded, terminating
% 87.69/80.35 eprover: CPU time limit exceeded, terminating
% 89.78/82.38 eprover: CPU time limit exceeded, terminating
% 91.93/84.41 eprover: CPU time limit exceeded, terminating
% 94.18/86.44 eprover: CPU time limit exceeded, terminating
% 96.35/88.47 eprover: CPU time limit exceeded, terminating
% 98.49/90.51 eprover: CPU time limit exceeded, terminating
% 100.71/92.55 eprover: CPU time limit exceeded, terminating
% 102.92/94.58 eprover: CPU time limit exceeded, terminating
% 105.05/96.62 eprover: CPU time limit exceeded, terminating
% 107.25/98.65 eprover: CPU time limit exceeded, terminating
% 109.45/100.69 eprover: CPU time limit exceeded, terminating
% 111.68/102.73 eprover: CPU time limit exceeded, terminating
% 113.86/104.76 eprover: CPU time limit exceeded, terminating
% 116.02/106.78 eprover: CPU time limit exceeded, terminating
% 118.18/108.81 eprover: CPU time limit exceeded, terminating
% 120.40/110.84 eprover: CPU time limit exceeded, terminating
% 122.57/112.88 eprover: CPU time limit exceeded, terminating
% 124.74/114.91 eprover: CPU time limit exceeded, terminating
% 126.97/116.96 eprover: CPU time limit exceeded, terminating
% 129.15/118.97 eprover: CPU time limit exceeded, terminating
% 131.38/120.98 eprover: CPU time limit exceeded, terminating
% 133.56/122.99 eprover: CPU time limit exceeded, terminating
% 135.74/125.01 eprover: CPU time limit exceeded, terminating
% 137.94/127.02 eprover: CPU time limit exceeded, terminating
% 140.14/129.03 eprover: CPU time limit exceeded, terminating
% 142.38/131.04 eprover: CPU time limit exceeded, terminating
% 144.58/133.06 eprover: CPU time limit exceeded, terminating
% 146.79/135.07 eprover: CPU time limit exceeded, terminating
% 148.98/137.08 eprover: CPU time limit exceeded, terminating
% 151.17/139.09 eprover: CPU time limit exceeded, terminating
% 153.40/141.11 eprover: CPU time limit exceeded, terminating
% 155.56/143.12 eprover: CPU time limit exceeded, terminating
% 157.74/145.13 eprover: CPU time limit exceeded, terminating
% 159.97/147.14 eprover: CPU time limit exceeded, terminating
% 162.22/149.15 eprover: CPU time limit exceeded, terminating
% 164.41/151.16 eprover: CPU time limit exceeded, terminating
% 166.65/153.17 eprover: CPU time limit exceeded, terminating
% 168.83/155.18 eprover: CPU time limit exceeded, terminating
% 171.03/157.20 eprover: CPU time limit exceeded, terminating
% 173.23/159.21 eprover: CPU time limit exceeded, terminating
% 175.43/161.22 eprover: CPU time limit exceeded, terminating
% 177.66/163.23 eprover: CPU time limit exceeded, terminating
% 179.80/165.24 eprover: CPU time limit exceeded, terminating
% 182.08/167.25 eprover: CPU time limit exceeded, terminating
% 184.22/169.44 eprover: CPU time limit exceeded, terminating
% 186.48/171.54 eprover: CPU time limit exceeded, terminating
% 188.67/173.62 eprover: CPU time limit exceeded, terminating
% 190.85/175.84 eprover: CPU time limit exceeded, terminating
% 193.08/178.03 eprover: CPU time limit exceeded, terminating
% 195.26/180.10 eprover: CPU time limit exceeded, terminating
% 197.52/182.18 eprover: CPU time limit exceeded, terminating
% 199.72/184.26 eprover: CPU time limit exceeded, terminating
% 201.91/186.35 eprover: CPU time limit exceeded, terminating
% 204.12/188.44 eprover: CPU time limit exceeded, terminating
% 206.26/190.51 eprover: CPU time limit exceeded, terminating
% 208.49/192.71 eprover: CPU time limit exceeded, terminating
% 210.73/194.92 eprover: CPU time limit exceeded, terminating
% 212.91/197.14 eprover: CPU time limit exceeded, terminating
% 215.15/199.23 eprover: CPU time limit exceeded, terminating
% 217.37/201.29 eprover: CPU time limit exceeded, terminating
% 219.53/203.30 eprover: CPU time limit exceeded, terminating
% 221.73/205.32 eprover: CPU time limit exceeded, terminating
% 223.93/207.33 eprover: CPU time limit exceeded, terminating
% 226.19/209.34 eprover: CPU time limit exceeded, terminating
% 228.41/211.35 eprover: CPU time limit exceeded, terminating
% 230.60/213.36 eprover: CPU time limit exceeded, terminating
% 232.80/215.37 eprover: CPU time limit exceeded, terminating
% 234.97/217.39 eprover: CPU time limit exceeded, terminating
% 237.18/219.40 eprover: CPU time limit exceeded, terminating
% 239.37/221.41 eprover: CPU time limit exceeded, terminating
% 241.60/223.42 eprover: CPU time limit exceeded, terminating
% 243.77/225.43 eprover: CPU time limit exceeded, terminating
% 246.05/227.44 eprover: CPU time limit exceeded, terminating
% 248.28/229.45 eprover: CPU time limit exceeded, terminating
% 250.50/231.46 eprover: CPU time limit exceeded, terminating
% 252.66/233.48 eprover: CPU time limit exceeded, terminating
% 254.90/235.49 eprover: CPU time limit exceeded, terminating
% 257.08/237.50 eprover: CPU time limit exceeded, terminating
% 259.29/239.51 eprover: CPU time limit exceeded, terminating
% 261.55/241.52 eprover: CPU time limit exceeded, terminating
% 263.71/243.54 eprover: CPU time limit exceeded, terminating
% 265.96/245.55 eprover: CPU time limit exceeded, terminating
% 268.16/247.56 eprover: CPU time limit exceeded, terminating
% 270.35/249.57 eprover: CPU time limit exceeded, terminating
% 272.55/251.58 eprover: CPU time limit exceeded, terminating
% 274.71/253.59 eprover: CPU time limit exceeded, terminating
% 276.97/255.60 eprover: CPU time limit exceeded, terminating
% 279.14/257.61 eprover: CPU time limit exceeded, terminating
% 281.34/259.63 eprover: CPU time limit exceeded, terminating
% 283.49/261.64 eprover: CPU time limit exceeded, terminating
% 285.72/263.65 eprover: CPU time limit exceeded, terminating
% 287.98/265.66 eprover: CPU time limit exceeded, terminating
% 290.17/267.67 eprover: CPU time limit exceeded, terminating
% 292.36/269.68 eprover: CPU time limit exceeded, terminating
% 294.56/271.69 eprover: CPU time limit exceeded, terminating
% 296.76/273.70 eprover: CPU time limit exceeded, terminating
% 298.98/275.71 eprover: CPU time limit exceeded, terminating
% 300.05/276.57 eprover: CPU time limit exceeded, terminating
% 300.05/276.58 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------