TSTP Solution File: CSR071+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR071+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:49 EDT 2022
% Result : Timeout 287.39s 216.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR071+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n019.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 : Fri Jun 10 19:35:55 EDT 2022
% 0.13/0.34 % CPUTime :
% 15.10/14.58 eprover: CPU time limit exceeded, terminating
% 17.83/16.60 eprover: CPU time limit exceeded, terminating
% 20.58/18.62 eprover: CPU time limit exceeded, terminating
% 23.35/20.64 eprover: CPU time limit exceeded, terminating
% 26.04/22.66 eprover: CPU time limit exceeded, terminating
% 28.76/24.69 eprover: CPU time limit exceeded, terminating
% 31.51/26.71 eprover: CPU time limit exceeded, terminating
% 34.24/28.73 eprover: CPU time limit exceeded, terminating
% 36.93/30.75 eprover: CPU time limit exceeded, terminating
% 39.71/32.77 eprover: CPU time limit exceeded, terminating
% 42.41/34.80 eprover: CPU time limit exceeded, terminating
% 45.23/36.82 eprover: CPU time limit exceeded, terminating
% 47.93/38.84 eprover: CPU time limit exceeded, terminating
% 50.63/40.86 eprover: CPU time limit exceeded, terminating
% 53.31/42.88 eprover: CPU time limit exceeded, terminating
% 56.16/44.90 eprover: CPU time limit exceeded, terminating
% 58.85/46.93 eprover: CPU time limit exceeded, terminating
% 61.55/48.94 eprover: CPU time limit exceeded, terminating
% 64.23/50.96 eprover: CPU time limit exceeded, terminating
% 66.92/52.98 eprover: CPU time limit exceeded, terminating
% 69.72/55.00 eprover: CPU time limit exceeded, terminating
% 72.44/57.02 eprover: CPU time limit exceeded, terminating
% 75.15/59.05 eprover: CPU time limit exceeded, terminating
% 77.84/61.07 eprover: CPU time limit exceeded, terminating
% 80.57/63.09 eprover: CPU time limit exceeded, terminating
% 83.29/65.11 eprover: CPU time limit exceeded, terminating
% 86.03/67.14 eprover: CPU time limit exceeded, terminating
% 88.75/69.16 eprover: CPU time limit exceeded, terminating
% 91.43/71.18 eprover: CPU time limit exceeded, terminating
% 94.15/73.20 eprover: CPU time limit exceeded, terminating
% 96.96/75.23 eprover: CPU time limit exceeded, terminating
% 99.61/77.25 eprover: CPU time limit exceeded, terminating
% 102.31/79.27 eprover: CPU time limit exceeded, terminating
% 105.09/81.29 eprover: CPU time limit exceeded, terminating
% 107.80/83.32 eprover: CPU time limit exceeded, terminating
% 110.50/85.34 eprover: CPU time limit exceeded, terminating
% 113.18/87.36 eprover: CPU time limit exceeded, terminating
% 115.90/89.38 eprover: CPU time limit exceeded, terminating
% 118.68/91.40 eprover: CPU time limit exceeded, terminating
% 121.37/93.42 eprover: CPU time limit exceeded, terminating
% 124.10/95.45 eprover: CPU time limit exceeded, terminating
% 126.83/97.47 eprover: CPU time limit exceeded, terminating
% 129.49/99.49 eprover: CPU time limit exceeded, terminating
% 132.29/101.51 eprover: CPU time limit exceeded, terminating
% 135.04/103.53 eprover: CPU time limit exceeded, terminating
% 137.72/105.55 eprover: CPU time limit exceeded, terminating
% 140.43/107.58 eprover: CPU time limit exceeded, terminating
% 143.16/109.60 eprover: CPU time limit exceeded, terminating
% 145.92/111.62 eprover: CPU time limit exceeded, terminating
% 148.62/113.64 eprover: CPU time limit exceeded, terminating
% 151.33/115.66 eprover: CPU time limit exceeded, terminating
% 154.04/117.69 eprover: CPU time limit exceeded, terminating
% 156.82/119.71 eprover: CPU time limit exceeded, terminating
% 159.50/121.73 eprover: CPU time limit exceeded, terminating
% 162.22/123.75 eprover: CPU time limit exceeded, terminating
% 164.90/125.78 eprover: CPU time limit exceeded, terminating
% 167.64/127.80 eprover: CPU time limit exceeded, terminating
% 170.41/129.82 eprover: CPU time limit exceeded, terminating
% 173.11/131.84 eprover: CPU time limit exceeded, terminating
% 175.79/133.87 eprover: CPU time limit exceeded, terminating
% 178.51/135.89 eprover: CPU time limit exceeded, terminating
% 181.21/137.91 eprover: CPU time limit exceeded, terminating
% 184.02/139.93 eprover: CPU time limit exceeded, terminating
% 186.70/141.95 eprover: CPU time limit exceeded, terminating
% 189.42/143.98 eprover: CPU time limit exceeded, terminating
% 192.14/146.00 eprover: CPU time limit exceeded, terminating
% 194.89/148.02 eprover: CPU time limit exceeded, terminating
% 197.58/150.04 eprover: CPU time limit exceeded, terminating
% 200.31/152.07 eprover: CPU time limit exceeded, terminating
% 203.02/154.09 eprover: CPU time limit exceeded, terminating
% 205.79/156.11 eprover: CPU time limit exceeded, terminating
% 208.51/158.13 eprover: CPU time limit exceeded, terminating
% 211.22/160.15 eprover: CPU time limit exceeded, terminating
% 213.90/162.18 eprover: CPU time limit exceeded, terminating
% 216.73/164.20 eprover: CPU time limit exceeded, terminating
% 219.44/166.22 eprover: CPU time limit exceeded, terminating
% 222.15/168.24 eprover: CPU time limit exceeded, terminating
% 224.79/170.26 eprover: CPU time limit exceeded, terminating
% 227.57/172.29 eprover: CPU time limit exceeded, terminating
% 230.20/174.31 eprover: CPU time limit exceeded, terminating
% 233.00/176.33 eprover: CPU time limit exceeded, terminating
% 235.70/178.35 eprover: CPU time limit exceeded, terminating
% 238.44/180.37 eprover: CPU time limit exceeded, terminating
% 241.16/182.40 eprover: CPU time limit exceeded, terminating
% 243.81/184.42 eprover: CPU time limit exceeded, terminating
% 246.53/186.44 eprover: CPU time limit exceeded, terminating
% 249.26/188.46 eprover: CPU time limit exceeded, terminating
% 251.95/190.49 eprover: CPU time limit exceeded, terminating
% 254.77/192.51 eprover: CPU time limit exceeded, terminating
% 257.48/194.53 eprover: CPU time limit exceeded, terminating
% 260.21/196.55 eprover: CPU time limit exceeded, terminating
% 262.86/198.58 eprover: CPU time limit exceeded, terminating
% 265.57/200.60 eprover: CPU time limit exceeded, terminating
% 268.36/202.62 eprover: CPU time limit exceeded, terminating
% 271.07/204.64 eprover: CPU time limit exceeded, terminating
% 273.77/206.66 eprover: CPU time limit exceeded, terminating
% 276.47/208.69 eprover: CPU time limit exceeded, terminating
% 279.22/210.71 eprover: CPU time limit exceeded, terminating
% 281.99/212.73 eprover: CPU time limit exceeded, terminating
% 284.69/214.75 eprover: CPU time limit exceeded, terminating
% 287.39/216.77 eprover: CPU time limit exceeded, terminating
% 290.17/218.79 eprover: CPU time limit exceeded, terminating
% 292.88/220.81 eprover: CPU time limit exceeded, terminating
% 295.63/222.83 eprover: CPU time limit exceeded, terminating
% 298.36/224.85 eprover: CPU time limit exceeded, terminating
% 300.05/226.00 eprover: CPU time limit exceeded, terminating
% 300.05/226.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------