TSTP Solution File: ALG196+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG196+1 : TPTP v8.1.0. Released v2.7.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 : Thu Jul 14 17:00:37 EDT 2022
% Result : Timeout 286.40s 269.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : ALG196+1 : TPTP v8.1.0. Released v2.7.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n018.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 : Wed Jun 8 00:59:51 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.24/4.32 eprover: CPU time limit exceeded, terminating
% 6.41/6.33 eprover: CPU time limit exceeded, terminating
% 8.55/8.34 eprover: CPU time limit exceeded, terminating
% 10.64/10.35 eprover: CPU time limit exceeded, terminating
% 12.79/12.36 eprover: CPU time limit exceeded, terminating
% 14.96/14.37 eprover: CPU time limit exceeded, terminating
% 17.12/16.38 eprover: CPU time limit exceeded, terminating
% 19.26/18.39 eprover: CPU time limit exceeded, terminating
% 21.35/20.40 eprover: CPU time limit exceeded, terminating
% 23.53/22.41 eprover: CPU time limit exceeded, terminating
% 25.63/24.42 eprover: CPU time limit exceeded, terminating
% 27.82/26.43 eprover: CPU time limit exceeded, terminating
% 29.90/28.44 eprover: CPU time limit exceeded, terminating
% 32.09/30.45 eprover: CPU time limit exceeded, terminating
% 34.19/32.46 eprover: CPU time limit exceeded, terminating
% 36.36/34.47 eprover: CPU time limit exceeded, terminating
% 38.44/36.48 eprover: CPU time limit exceeded, terminating
% 40.63/38.49 eprover: CPU time limit exceeded, terminating
% 42.81/40.50 eprover: CPU time limit exceeded, terminating
% 44.91/42.51 eprover: CPU time limit exceeded, terminating
% 47.07/44.52 eprover: CPU time limit exceeded, terminating
% 49.19/46.53 eprover: CPU time limit exceeded, terminating
% 51.35/48.54 eprover: CPU time limit exceeded, terminating
% 53.45/50.54 eprover: CPU time limit exceeded, terminating
% 55.61/52.55 eprover: CPU time limit exceeded, terminating
% 57.73/54.56 eprover: CPU time limit exceeded, terminating
% 59.90/56.57 eprover: CPU time limit exceeded, terminating
% 61.98/58.58 eprover: CPU time limit exceeded, terminating
% 64.12/60.59 eprover: CPU time limit exceeded, terminating
% 66.29/62.60 eprover: CPU time limit exceeded, terminating
% 68.45/64.61 eprover: CPU time limit exceeded, terminating
% 70.59/66.62 eprover: CPU time limit exceeded, terminating
% 72.70/68.63 eprover: CPU time limit exceeded, terminating
% 74.82/70.64 eprover: CPU time limit exceeded, terminating
% 76.98/72.65 eprover: CPU time limit exceeded, terminating
% 79.13/74.66 eprover: CPU time limit exceeded, terminating
% 81.28/76.67 eprover: CPU time limit exceeded, terminating
% 83.36/78.68 eprover: CPU time limit exceeded, terminating
% 85.54/80.69 eprover: CPU time limit exceeded, terminating
% 87.69/82.70 eprover: CPU time limit exceeded, terminating
% 89.81/84.71 eprover: CPU time limit exceeded, terminating
% 91.92/86.72 eprover: CPU time limit exceeded, terminating
% 94.13/88.73 eprover: CPU time limit exceeded, terminating
% 96.20/90.74 eprover: CPU time limit exceeded, terminating
% 98.38/92.75 eprover: CPU time limit exceeded, terminating
% 100.48/94.76 eprover: CPU time limit exceeded, terminating
% 102.66/96.77 eprover: CPU time limit exceeded, terminating
% 104.77/98.78 eprover: CPU time limit exceeded, terminating
% 107.22/101.07 eprover: CPU time limit exceeded, terminating
% 109.34/103.08 eprover: CPU time limit exceeded, terminating
% 111.47/105.09 eprover: CPU time limit exceeded, terminating
% 113.63/107.10 eprover: CPU time limit exceeded, terminating
% 115.80/109.11 eprover: CPU time limit exceeded, terminating
% 117.91/111.12 eprover: CPU time limit exceeded, terminating
% 120.05/113.13 eprover: CPU time limit exceeded, terminating
% 122.20/115.14 eprover: CPU time limit exceeded, terminating
% 124.30/117.15 eprover: CPU time limit exceeded, terminating
% 126.44/119.16 eprover: CPU time limit exceeded, terminating
% 128.59/121.17 eprover: CPU time limit exceeded, terminating
% 130.69/123.18 eprover: CPU time limit exceeded, terminating
% 132.86/125.19 eprover: CPU time limit exceeded, terminating
% 135.02/127.20 eprover: CPU time limit exceeded, terminating
% 137.17/129.20 eprover: CPU time limit exceeded, terminating
% 139.26/131.21 eprover: CPU time limit exceeded, terminating
% 141.41/133.22 eprover: CPU time limit exceeded, terminating
% 143.56/135.23 eprover: CPU time limit exceeded, terminating
% 145.69/137.24 eprover: CPU time limit exceeded, terminating
% 147.77/139.25 eprover: CPU time limit exceeded, terminating
% 149.99/141.26 eprover: CPU time limit exceeded, terminating
% 152.11/143.27 eprover: CPU time limit exceeded, terminating
% 154.22/145.28 eprover: CPU time limit exceeded, terminating
% 156.38/147.29 eprover: CPU time limit exceeded, terminating
% 158.49/149.30 eprover: CPU time limit exceeded, terminating
% 160.65/151.31 eprover: CPU time limit exceeded, terminating
% 162.79/153.32 eprover: CPU time limit exceeded, terminating
% 164.94/155.33 eprover: CPU time limit exceeded, terminating
% 167.07/157.34 eprover: CPU time limit exceeded, terminating
% 169.17/159.35 eprover: CPU time limit exceeded, terminating
% 171.34/161.35 eprover: CPU time limit exceeded, terminating
% 173.48/163.36 eprover: CPU time limit exceeded, terminating
% 175.55/165.37 eprover: CPU time limit exceeded, terminating
% 177.77/167.38 eprover: CPU time limit exceeded, terminating
% 179.86/169.39 eprover: CPU time limit exceeded, terminating
% 182.03/171.40 eprover: CPU time limit exceeded, terminating
% 184.18/173.41 eprover: CPU time limit exceeded, terminating
% 186.25/175.42 eprover: CPU time limit exceeded, terminating
% 188.38/177.43 eprover: CPU time limit exceeded, terminating
% 190.54/179.44 eprover: CPU time limit exceeded, terminating
% 192.65/181.45 eprover: CPU time limit exceeded, terminating
% 194.74/183.46 eprover: CPU time limit exceeded, terminating
% 196.86/185.47 eprover: CPU time limit exceeded, terminating
% 198.93/187.48 eprover: CPU time limit exceeded, terminating
% 201.06/189.49 eprover: CPU time limit exceeded, terminating
% 203.13/191.50 eprover: CPU time limit exceeded, terminating
% 205.27/193.51 eprover: CPU time limit exceeded, terminating
% 207.32/195.52 eprover: CPU time limit exceeded, terminating
% 209.47/197.53 eprover: CPU time limit exceeded, terminating
% 211.52/199.54 eprover: CPU time limit exceeded, terminating
% 213.71/201.55 eprover: CPU time limit exceeded, terminating
% 215.85/203.56 eprover: CPU time limit exceeded, terminating
% 218.01/205.57 eprover: CPU time limit exceeded, terminating
% 220.08/207.58 eprover: CPU time limit exceeded, terminating
% 222.23/209.59 eprover: CPU time limit exceeded, terminating
% 224.39/211.60 eprover: CPU time limit exceeded, terminating
% 226.49/213.61 eprover: CPU time limit exceeded, terminating
% 228.67/215.62 eprover: CPU time limit exceeded, terminating
% 230.83/217.63 eprover: CPU time limit exceeded, terminating
% 232.91/219.64 eprover: CPU time limit exceeded, terminating
% 235.09/221.65 eprover: CPU time limit exceeded, terminating
% 237.24/223.66 eprover: CPU time limit exceeded, terminating
% 239.39/225.67 eprover: CPU time limit exceeded, terminating
% 241.46/227.68 eprover: CPU time limit exceeded, terminating
% 243.62/229.69 eprover: CPU time limit exceeded, terminating
% 245.78/231.70 eprover: CPU time limit exceeded, terminating
% 247.93/233.71 eprover: CPU time limit exceeded, terminating
% 250.05/235.72 eprover: CPU time limit exceeded, terminating
% 252.20/237.73 eprover: CPU time limit exceeded, terminating
% 254.29/239.74 eprover: CPU time limit exceeded, terminating
% 256.45/241.75 eprover: CPU time limit exceeded, terminating
% 258.62/243.76 eprover: CPU time limit exceeded, terminating
% 260.78/245.77 eprover: CPU time limit exceeded, terminating
% 262.90/247.79 eprover: CPU time limit exceeded, terminating
% 264.98/249.80 eprover: CPU time limit exceeded, terminating
% 267.16/251.81 eprover: CPU time limit exceeded, terminating
% 269.27/253.82 eprover: CPU time limit exceeded, terminating
% 271.44/255.83 eprover: CPU time limit exceeded, terminating
% 273.59/257.84 eprover: CPU time limit exceeded, terminating
% 275.68/259.85 eprover: CPU time limit exceeded, terminating
% 277.81/261.86 eprover: CPU time limit exceeded, terminating
% 280.00/263.87 eprover: CPU time limit exceeded, terminating
% 282.14/265.88 eprover: CPU time limit exceeded, terminating
% 284.25/267.89 eprover: CPU time limit exceeded, terminating
% 286.40/269.91 eprover: CPU time limit exceeded, terminating
% 288.51/271.91 eprover: CPU time limit exceeded, terminating
% 290.65/273.93 eprover: CPU time limit exceeded, terminating
% 292.81/275.94 eprover: CPU time limit exceeded, terminating
% 294.92/277.95 eprover: CPU time limit exceeded, terminating
% 297.08/279.96 eprover: CPU time limit exceeded, terminating
% 299.24/281.97 eprover: CPU time limit exceeded, terminating
% 300.11/282.72 eprover: CPU time limit exceeded, terminating
% 300.11/282.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------