0.12/1.13 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.12/1.14 % Command : eprover --auto -s --tableau=1 [--tableau-equality=1] --tableau-depth=10 %s 0.13/1.36 % Computer : n017.cluster.edu 0.13/1.36 % Model : x86_64 x86_64 0.13/1.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.13/1.36 % Memory : 8042.1875MB 0.13/1.36 % OS : Linux 3.10.0-693.el7.x86_64 0.13/1.36 % CPULimit : 960 0.13/1.36 % WCLimit : 120 0.13/1.36 % DateTime : Thu Jul 2 12:11:24 EDT 2020 0.13/1.36 % CPUTime : 0.13/1.39 % Running in FOF/CNF-non-UEQ mode 0.20/1.45 # No SInE strategy applied 0.20/1.45 # Auto-Mode selected heuristic G_E___200_C45_F1_SE_CS_SP_PI_CO_S5PRR_S0V 0.20/1.45 # and selection function PSelectComplexExceptRRHorn. 0.20/1.45 # 0.20/1.45 # Number of axioms: 306 Number of unprocessed: 306 0.20/1.45 # Tableaux proof search. 0.20/1.45 # 306 beginning clauses after preprocessing and clausification 0.20/1.45 # Creating start rules for all conjectures. 0.20/1.45 # 31 unit axioms, 7 start rules, and 275 other extension candidates. 0.20/1.45 ######## Beginning tableaux proof search with 7 start rule applications. 1.42/2.66 # Beginning deep saturation check 2.68/3.94 # Beginning deep saturation check 3.88/5.11 # Beginning deep saturation check 5.14/6.41 # Beginning deep saturation check 6.84/8.08 # Beginning deep saturation check 8.14/9.37 # Beginning deep saturation check 9.68/10.90 # Beginning deep saturation check 11.29/12.54 # Beginning deep saturation check 12.67/13.88 # Beginning deep saturation check 14.07/15.30 # Beginning deep saturation check 15.39/16.63 # Beginning deep saturation check 16.76/18.04 # Beginning deep saturation check 18.04/19.35 # Beginning deep saturation check 19.53/20.76 # Beginning deep saturation check 21.06/22.35 # Beginning deep saturation check 22.50/23.74 # Beginning deep saturation check 23.84/25.12 # Beginning deep saturation check 25.37/26.60 # Beginning deep saturation check 26.80/28.05 # Beginning deep saturation check 28.06/29.34 # Beginning deep saturation check 29.44/30.74 # Beginning deep saturation check 30.74/31.99 # Beginning deep saturation check 32.01/33.25 # Beginning deep saturation check 33.34/34.60 # Beginning deep saturation check 34.97/36.23 # Beginning deep saturation check 36.13/37.42 # Beginning deep saturation check 37.31/38.58 # Beginning deep saturation check 119.01/120.38 Alarm clock 119.01/120.38 EOF