TSTP Solution File: CSR283+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR283+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:13 EDT 2022
% Result : Timeout 286.14s 260.19s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : CSR283+1 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.15/0.36 % Computer : n008.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Sat Jun 11 14:42:07 EDT 2022
% 0.15/0.36 % CPUTime :
% 5.96/5.95 eprover: CPU time limit exceeded, terminating
% 8.14/7.97 eprover: CPU time limit exceeded, terminating
% 10.35/9.99 eprover: CPU time limit exceeded, terminating
% 12.56/12.01 eprover: CPU time limit exceeded, terminating
% 14.79/14.02 eprover: CPU time limit exceeded, terminating
% 17.03/16.04 eprover: CPU time limit exceeded, terminating
% 19.24/18.06 eprover: CPU time limit exceeded, terminating
% 21.49/20.08 eprover: CPU time limit exceeded, terminating
% 23.68/22.09 eprover: CPU time limit exceeded, terminating
% 25.92/24.11 eprover: CPU time limit exceeded, terminating
% 28.14/26.13 eprover: CPU time limit exceeded, terminating
% 30.39/28.15 eprover: CPU time limit exceeded, terminating
% 32.62/30.17 eprover: CPU time limit exceeded, terminating
% 34.84/32.18 eprover: CPU time limit exceeded, terminating
% 37.02/34.20 eprover: CPU time limit exceeded, terminating
% 39.21/36.22 eprover: CPU time limit exceeded, terminating
% 41.50/38.24 eprover: CPU time limit exceeded, terminating
% 43.75/40.26 eprover: CPU time limit exceeded, terminating
% 45.96/42.27 eprover: CPU time limit exceeded, terminating
% 48.20/44.29 eprover: CPU time limit exceeded, terminating
% 50.37/46.31 eprover: CPU time limit exceeded, terminating
% 52.61/48.33 eprover: CPU time limit exceeded, terminating
% 54.88/50.35 eprover: CPU time limit exceeded, terminating
% 57.05/52.37 eprover: CPU time limit exceeded, terminating
% 59.31/54.38 eprover: CPU time limit exceeded, terminating
% 61.54/56.40 eprover: CPU time limit exceeded, terminating
% 63.76/58.42 eprover: CPU time limit exceeded, terminating
% 65.94/60.44 eprover: CPU time limit exceeded, terminating
% 68.18/62.45 eprover: CPU time limit exceeded, terminating
% 70.41/64.47 eprover: CPU time limit exceeded, terminating
% 72.60/66.49 eprover: CPU time limit exceeded, terminating
% 74.83/68.51 eprover: CPU time limit exceeded, terminating
% 77.12/70.53 eprover: CPU time limit exceeded, terminating
% 79.27/72.54 eprover: CPU time limit exceeded, terminating
% 81.48/74.56 eprover: CPU time limit exceeded, terminating
% 83.79/76.58 eprover: CPU time limit exceeded, terminating
% 85.98/78.60 eprover: CPU time limit exceeded, terminating
% 88.19/80.62 eprover: CPU time limit exceeded, terminating
% 90.44/82.63 eprover: CPU time limit exceeded, terminating
% 92.69/84.65 eprover: CPU time limit exceeded, terminating
% 94.88/86.67 eprover: CPU time limit exceeded, terminating
% 97.12/88.69 eprover: CPU time limit exceeded, terminating
% 99.34/90.70 eprover: CPU time limit exceeded, terminating
% 101.53/92.72 eprover: CPU time limit exceeded, terminating
% 103.80/94.74 eprover: CPU time limit exceeded, terminating
% 106.05/96.76 eprover: CPU time limit exceeded, terminating
% 108.23/98.78 eprover: CPU time limit exceeded, terminating
% 110.45/100.79 eprover: CPU time limit exceeded, terminating
% 112.63/102.81 eprover: CPU time limit exceeded, terminating
% 114.87/104.83 eprover: CPU time limit exceeded, terminating
% 117.10/106.85 eprover: CPU time limit exceeded, terminating
% 119.33/108.87 eprover: CPU time limit exceeded, terminating
% 121.57/110.88 eprover: CPU time limit exceeded, terminating
% 123.83/112.90 eprover: CPU time limit exceeded, terminating
% 125.99/114.92 eprover: CPU time limit exceeded, terminating
% 128.27/116.94 eprover: CPU time limit exceeded, terminating
% 130.47/118.96 eprover: CPU time limit exceeded, terminating
% 132.74/120.97 eprover: CPU time limit exceeded, terminating
% 134.90/122.99 eprover: CPU time limit exceeded, terminating
% 137.16/125.01 eprover: CPU time limit exceeded, terminating
% 139.41/127.03 eprover: CPU time limit exceeded, terminating
% 141.64/129.05 eprover: CPU time limit exceeded, terminating
% 143.86/131.06 eprover: CPU time limit exceeded, terminating
% 146.05/133.08 eprover: CPU time limit exceeded, terminating
% 148.28/135.10 eprover: CPU time limit exceeded, terminating
% 150.51/137.12 eprover: CPU time limit exceeded, terminating
% 152.68/139.13 eprover: CPU time limit exceeded, terminating
% 154.90/141.15 eprover: CPU time limit exceeded, terminating
% 157.16/143.17 eprover: CPU time limit exceeded, terminating
% 159.44/145.19 eprover: CPU time limit exceeded, terminating
% 161.64/147.21 eprover: CPU time limit exceeded, terminating
% 163.85/149.23 eprover: CPU time limit exceeded, terminating
% 166.06/151.24 eprover: CPU time limit exceeded, terminating
% 168.32/153.26 eprover: CPU time limit exceeded, terminating
% 170.52/155.28 eprover: CPU time limit exceeded, terminating
% 172.71/157.30 eprover: CPU time limit exceeded, terminating
% 174.91/159.31 eprover: CPU time limit exceeded, terminating
% 177.11/161.33 eprover: CPU time limit exceeded, terminating
% 179.42/163.35 eprover: CPU time limit exceeded, terminating
% 181.65/165.37 eprover: CPU time limit exceeded, terminating
% 183.87/167.39 eprover: CPU time limit exceeded, terminating
% 186.03/169.40 eprover: CPU time limit exceeded, terminating
% 188.24/171.42 eprover: CPU time limit exceeded, terminating
% 190.51/173.44 eprover: CPU time limit exceeded, terminating
% 192.76/175.46 eprover: CPU time limit exceeded, terminating
% 194.96/177.47 eprover: CPU time limit exceeded, terminating
% 197.15/179.49 eprover: CPU time limit exceeded, terminating
% 199.42/181.51 eprover: CPU time limit exceeded, terminating
% 201.62/183.52 eprover: CPU time limit exceeded, terminating
% 203.86/185.54 eprover: CPU time limit exceeded, terminating
% 206.04/187.56 eprover: CPU time limit exceeded, terminating
% 208.28/189.58 eprover: CPU time limit exceeded, terminating
% 210.45/191.59 eprover: CPU time limit exceeded, terminating
% 212.75/193.61 eprover: CPU time limit exceeded, terminating
% 214.98/195.63 eprover: CPU time limit exceeded, terminating
% 217.17/197.64 eprover: CPU time limit exceeded, terminating
% 219.41/199.66 eprover: CPU time limit exceeded, terminating
% 221.63/201.68 eprover: CPU time limit exceeded, terminating
% 223.84/203.70 eprover: CPU time limit exceeded, terminating
% 226.09/205.71 eprover: CPU time limit exceeded, terminating
% 228.34/207.73 eprover: CPU time limit exceeded, terminating
% 230.57/209.75 eprover: CPU time limit exceeded, terminating
% 232.77/211.77 eprover: CPU time limit exceeded, terminating
% 235.00/213.78 eprover: CPU time limit exceeded, terminating
% 237.22/215.80 eprover: CPU time limit exceeded, terminating
% 239.41/217.82 eprover: CPU time limit exceeded, terminating
% 241.65/219.84 eprover: CPU time limit exceeded, terminating
% 243.91/221.85 eprover: CPU time limit exceeded, terminating
% 246.11/223.87 eprover: CPU time limit exceeded, terminating
% 248.33/225.89 eprover: CPU time limit exceeded, terminating
% 250.57/227.91 eprover: CPU time limit exceeded, terminating
% 252.75/229.93 eprover: CPU time limit exceeded, terminating
% 255.00/231.95 eprover: CPU time limit exceeded, terminating
% 257.24/233.97 eprover: CPU time limit exceeded, terminating
% 259.44/235.98 eprover: CPU time limit exceeded, terminating
% 261.64/238.00 eprover: CPU time limit exceeded, terminating
% 263.84/240.02 eprover: CPU time limit exceeded, terminating
% 266.10/242.04 eprover: CPU time limit exceeded, terminating
% 268.36/244.05 eprover: CPU time limit exceeded, terminating
% 270.60/246.07 eprover: CPU time limit exceeded, terminating
% 272.78/248.09 eprover: CPU time limit exceeded, terminating
% 275.04/250.11 eprover: CPU time limit exceeded, terminating
% 277.20/252.12 eprover: CPU time limit exceeded, terminating
% 279.39/254.14 eprover: CPU time limit exceeded, terminating
% 281.69/256.16 eprover: CPU time limit exceeded, terminating
% 283.93/258.17 eprover: CPU time limit exceeded, terminating
% 286.14/260.19 eprover: CPU time limit exceeded, terminating
% 288.34/262.21 eprover: CPU time limit exceeded, terminating
% 290.61/264.23 eprover: CPU time limit exceeded, terminating
% 292.83/266.25 eprover: CPU time limit exceeded, terminating
% 295.05/268.26 eprover: CPU time limit exceeded, terminating
% 297.25/270.28 eprover: CPU time limit exceeded, terminating
% 299.48/272.30 eprover: CPU time limit exceeded, terminating
% 300.04/272.74 eprover: CPU time limit exceeded, terminating
% 300.04/272.75 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------