TSTP Solution File: CSR031+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR031+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:19 EDT 2022
% Result : Timeout 287.01s 214.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR031+4 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n026.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sat Jun 11 19:04:04 EDT 2022
% 0.13/0.35 % CPUTime :
% 14.97/14.64 eprover: CPU time limit exceeded, terminating
% 17.71/16.66 eprover: CPU time limit exceeded, terminating
% 20.42/18.68 eprover: CPU time limit exceeded, terminating
% 23.24/20.71 eprover: CPU time limit exceeded, terminating
% 26.04/22.73 eprover: CPU time limit exceeded, terminating
% 28.81/24.75 eprover: CPU time limit exceeded, terminating
% 31.60/26.77 eprover: CPU time limit exceeded, terminating
% 34.33/28.79 eprover: CPU time limit exceeded, terminating
% 37.12/30.82 eprover: CPU time limit exceeded, terminating
% 39.92/32.84 eprover: CPU time limit exceeded, terminating
% 42.65/34.86 eprover: CPU time limit exceeded, terminating
% 45.37/36.88 eprover: CPU time limit exceeded, terminating
% 48.14/38.90 eprover: CPU time limit exceeded, terminating
% 50.90/40.93 eprover: CPU time limit exceeded, terminating
% 53.69/42.95 eprover: CPU time limit exceeded, terminating
% 56.44/44.97 eprover: CPU time limit exceeded, terminating
% 59.10/46.99 eprover: CPU time limit exceeded, terminating
% 61.85/49.01 eprover: CPU time limit exceeded, terminating
% 64.51/51.04 eprover: CPU time limit exceeded, terminating
% 67.32/53.06 eprover: CPU time limit exceeded, terminating
% 70.01/55.08 eprover: CPU time limit exceeded, terminating
% 72.77/57.10 eprover: CPU time limit exceeded, terminating
% 75.47/59.13 eprover: CPU time limit exceeded, terminating
% 78.27/61.15 eprover: CPU time limit exceeded, terminating
% 80.98/63.17 eprover: CPU time limit exceeded, terminating
% 83.66/65.19 eprover: CPU time limit exceeded, terminating
% 86.42/67.21 eprover: CPU time limit exceeded, terminating
% 89.12/69.24 eprover: CPU time limit exceeded, terminating
% 91.89/71.26 eprover: CPU time limit exceeded, terminating
% 94.62/73.28 eprover: CPU time limit exceeded, terminating
% 97.33/75.30 eprover: CPU time limit exceeded, terminating
% 100.02/77.33 eprover: CPU time limit exceeded, terminating
% 102.79/79.35 eprover: CPU time limit exceeded, terminating
% 105.52/81.37 eprover: CPU time limit exceeded, terminating
% 108.22/83.39 eprover: CPU time limit exceeded, terminating
% 110.94/85.41 eprover: CPU time limit exceeded, terminating
% 113.74/87.43 eprover: CPU time limit exceeded, terminating
% 116.43/89.45 eprover: CPU time limit exceeded, terminating
% 119.22/91.47 eprover: CPU time limit exceeded, terminating
% 121.95/93.49 eprover: CPU time limit exceeded, terminating
% 124.66/95.51 eprover: CPU time limit exceeded, terminating
% 127.36/97.53 eprover: CPU time limit exceeded, terminating
% 130.14/99.55 eprover: CPU time limit exceeded, terminating
% 132.94/101.57 eprover: CPU time limit exceeded, terminating
% 135.63/103.59 eprover: CPU time limit exceeded, terminating
% 138.41/105.61 eprover: CPU time limit exceeded, terminating
% 141.17/107.64 eprover: CPU time limit exceeded, terminating
% 143.94/109.66 eprover: CPU time limit exceeded, terminating
% 146.68/111.68 eprover: CPU time limit exceeded, terminating
% 149.45/113.70 eprover: CPU time limit exceeded, terminating
% 152.16/115.72 eprover: CPU time limit exceeded, terminating
% 154.95/117.75 eprover: CPU time limit exceeded, terminating
% 157.72/119.77 eprover: CPU time limit exceeded, terminating
% 160.45/121.79 eprover: CPU time limit exceeded, terminating
% 163.18/123.82 eprover: CPU time limit exceeded, terminating
% 165.98/125.84 eprover: CPU time limit exceeded, terminating
% 168.75/127.86 eprover: CPU time limit exceeded, terminating
% 171.52/129.89 eprover: CPU time limit exceeded, terminating
% 174.20/131.91 eprover: CPU time limit exceeded, terminating
% 176.99/133.93 eprover: CPU time limit exceeded, terminating
% 179.75/135.95 eprover: CPU time limit exceeded, terminating
% 182.56/137.98 eprover: CPU time limit exceeded, terminating
% 185.26/140.00 eprover: CPU time limit exceeded, terminating
% 188.03/142.02 eprover: CPU time limit exceeded, terminating
% 190.80/144.05 eprover: CPU time limit exceeded, terminating
% 193.58/146.07 eprover: CPU time limit exceeded, terminating
% 196.30/148.10 eprover: CPU time limit exceeded, terminating
% 199.03/150.12 eprover: CPU time limit exceeded, terminating
% 201.75/152.14 eprover: CPU time limit exceeded, terminating
% 204.56/154.16 eprover: CPU time limit exceeded, terminating
% 207.29/156.19 eprover: CPU time limit exceeded, terminating
% 209.98/158.21 eprover: CPU time limit exceeded, terminating
% 212.80/160.23 eprover: CPU time limit exceeded, terminating
% 215.54/162.25 eprover: CPU time limit exceeded, terminating
% 218.26/164.28 eprover: CPU time limit exceeded, terminating
% 221.06/166.30 eprover: CPU time limit exceeded, terminating
% 223.82/168.32 eprover: CPU time limit exceeded, terminating
% 226.51/170.34 eprover: CPU time limit exceeded, terminating
% 229.34/172.37 eprover: CPU time limit exceeded, terminating
% 232.07/174.39 eprover: CPU time limit exceeded, terminating
% 234.82/176.41 eprover: CPU time limit exceeded, terminating
% 237.55/178.43 eprover: CPU time limit exceeded, terminating
% 240.36/180.46 eprover: CPU time limit exceeded, terminating
% 243.07/182.48 eprover: CPU time limit exceeded, terminating
% 245.82/184.50 eprover: CPU time limit exceeded, terminating
% 248.55/186.52 eprover: CPU time limit exceeded, terminating
% 251.37/188.55 eprover: CPU time limit exceeded, terminating
% 254.12/190.57 eprover: CPU time limit exceeded, terminating
% 256.89/192.59 eprover: CPU time limit exceeded, terminating
% 259.55/194.61 eprover: CPU time limit exceeded, terminating
% 262.33/196.64 eprover: CPU time limit exceeded, terminating
% 265.14/198.66 eprover: CPU time limit exceeded, terminating
% 267.86/200.68 eprover: CPU time limit exceeded, terminating
% 270.60/202.70 eprover: CPU time limit exceeded, terminating
% 273.33/204.72 eprover: CPU time limit exceeded, terminating
% 276.07/206.74 eprover: CPU time limit exceeded, terminating
% 278.77/208.77 eprover: CPU time limit exceeded, terminating
% 281.51/210.79 eprover: CPU time limit exceeded, terminating
% 284.27/212.81 eprover: CPU time limit exceeded, terminating
% 287.01/214.83 eprover: CPU time limit exceeded, terminating
% 289.70/216.86 eprover: CPU time limit exceeded, terminating
% 292.51/218.88 eprover: CPU time limit exceeded, terminating
% 295.23/220.90 eprover: CPU time limit exceeded, terminating
% 297.97/222.92 eprover: CPU time limit exceeded, terminating
% 300.04/224.26 eprover: CPU time limit exceeded, terminating
% 300.04/224.27 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------