0.03/0.11 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.03/0.11 % Command : eprover --auto -s --tableau=1 [--tableau-equality=1] --tableau-depth=10 %s 0.11/0.32 % Computer : n025.cluster.edu 0.11/0.32 % Model : x86_64 x86_64 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.11/0.32 % Memory : 8042.1875MB 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 0.11/0.32 % CPULimit : 960 0.11/0.32 % WCLimit : 120 0.11/0.32 % DateTime : Thu Jul 2 12:37:48 EDT 2020 0.11/0.32 % CPUTime : 0.11/0.33 % Running in FOF/CNF-non-UEQ mode 0.17/0.37 # No SInE strategy applied 0.17/0.37 # Auto-Mode selected heuristic G_E___208_C18_F1_SE_CS_SP_PS_S5PRR_RG_S04AN 0.17/0.37 # and selection function SelectComplexExceptUniqMaxHorn. 0.17/0.37 # 0.17/0.37 # Presaturation interreduction done 0.17/0.37 # Number of axioms: 168 Number of unprocessed: 168 0.17/0.37 # Tableaux proof search. 0.17/0.37 # 168 beginning clauses after preprocessing and clausification 0.17/0.37 # Creating start rules for all conjectures. 0.17/0.37 # 107 unit axioms, 1 start rules, and 61 other extension candidates. 0.17/0.37 ## Beginning tableaux proof search with 1 start rule applications. 2.13/2.32 # Beginning deep saturation check 3.05/3.25 # Beginning deep saturation check 4.17/4.36 # Beginning deep saturation check 5.47/5.70 # Beginning deep saturation check 6.99/7.18 # Beginning deep saturation check 9.46/9.71 # Beginning deep saturation check 12.09/12.30 # Beginning deep saturation check 13.65/13.86 # Beginning deep saturation check 14.87/15.11 # Beginning deep saturation check 16.09/16.29 # Beginning deep saturation check 17.37/17.56 # Beginning deep saturation check 19.22/19.42 # Beginning deep saturation check 20.50/20.70 # Beginning deep saturation check 21.74/21.95 # Beginning deep saturation check 23.12/23.31 # Beginning deep saturation check 24.70/24.89 # Beginning deep saturation check 26.58/26.77 # Beginning deep saturation check 27.98/28.17 # Beginning deep saturation check 29.29/29.53 # Beginning deep saturation check 30.66/30.88 # Beginning deep saturation check 32.10/32.32 # Beginning deep saturation check 34.57/34.79 # Beginning deep saturation check 37.20/37.41 # Beginning deep saturation check 38.56/38.79 # Beginning deep saturation check 40.50/40.75 # Beginning deep saturation check 41.83/42.05 # Beginning deep saturation check 43.53/43.73 # Beginning deep saturation check 46.10/46.35 # Beginning deep saturation check 48.57/48.78 # Beginning deep saturation check 49.73/49.98 # Beginning deep saturation check 50.87/51.17 # Beginning deep saturation check 52.17/52.39 # Beginning deep saturation check 53.53/53.75 # Beginning deep saturation check 55.74/56.01 # Beginning deep saturation check 58.36/58.63 # Beginning deep saturation check 60.14/60.43 # Beginning deep saturation check 61.55/61.78 # Beginning deep saturation check 62.94/63.23 # Beginning deep saturation check 64.47/64.71 # Beginning deep saturation check 66.78/67.06 # Beginning deep saturation check 69.50/69.73 # Beginning deep saturation check 71.16/71.45 # Beginning deep saturation check 72.45/72.71 # Beginning deep saturation check 73.72/73.95 # Beginning deep saturation check 75.01/75.27 # Beginning deep saturation check 76.82/77.09 # Beginning deep saturation check 79.62/79.89 # Beginning deep saturation check 81.85/82.16 # Beginning deep saturation check 83.20/83.52 # Beginning deep saturation check 84.57/84.87 # Beginning deep saturation check 86.07/86.42 # Beginning deep saturation check 87.97/88.29 # Beginning deep saturation check 90.37/90.71 # Beginning deep saturation check 92.81/93.11 # Beginning deep saturation check 94.19/94.48 # Beginning deep saturation check 95.51/95.87 # Beginning deep saturation check 96.94/97.27 # Beginning deep saturation check 98.59/98.89 # Beginning deep saturation check 101.28/101.64 # Beginning deep saturation check 104.05/104.43 # Beginning deep saturation check 105.53/105.85 # Beginning deep saturation check 106.98/107.29 # Beginning deep saturation check 108.15/108.51 # Beginning deep saturation check 109.58/109.92 # Beginning deep saturation check 111.86/112.19 # Beginning deep saturation check 114.35/114.68 # Beginning deep saturation check 116.10/116.44 # Beginning deep saturation check 117.35/117.69 # Beginning deep saturation check 118.75/119.06 # Beginning deep saturation check 119.79/120.11 Alarm clock 119.79/120.11 EOF