0.03/0.13 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.03/0.14 % Command : eprover --auto -s --tableau=1 [--tableau-equality=1] --tableau-depth=10 %s 0.14/0.35 % Computer : n019.cluster.edu 0.14/0.35 % Model : x86_64 x86_64 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.14/0.35 % Memory : 8042.1875MB 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 0.14/0.35 % CPULimit : 960 0.14/0.35 % WCLimit : 120 0.14/0.35 % DateTime : Thu Jul 2 13:56:41 EDT 2020 0.14/0.36 % CPUTime : 0.14/0.37 % Running in FOF/CNF-non-UEQ mode 0.21/0.41 # No SInE strategy applied 0.21/0.41 # Auto-Mode selected heuristic G_E___300_C18_F1_URBAN_S0Y 0.21/0.41 # and selection function SelectMaxLComplexAvoidPosPred. 0.21/0.41 # 0.21/0.41 # Number of axioms: 92 Number of unprocessed: 92 0.21/0.41 # Tableaux proof search. 0.21/0.41 # 92 beginning clauses after preprocessing and clausification 0.21/0.41 # Creating start rules for all conjectures. 0.21/0.41 # 24 unit axioms, 2 start rules, and 68 other extension candidates. 0.21/0.41 ### Beginning tableaux proof search with 2 start rule applications. 4.39/4.58 # Beginning deep saturation check 8.87/9.08 # Beginning deep saturation check 13.24/13.42 # Beginning deep saturation check 18.71/18.90 # Beginning deep saturation check 23.60/23.79 # Beginning deep saturation check 28.20/28.41 # Beginning deep saturation check 33.27/33.49 # Beginning deep saturation check 36.96/37.19 # Beginning deep saturation check 41.37/41.58 # Beginning deep saturation check 45.84/46.09 # Beginning deep saturation check 49.77/50.01 # Beginning deep saturation check 53.71/53.98 # Beginning deep saturation check 57.97/58.22 # Beginning deep saturation check 61.83/62.12 # Beginning deep saturation check 65.50/65.74 # Beginning deep saturation check 69.32/69.58 # Beginning deep saturation check 72.94/73.21 # Beginning deep saturation check 76.78/77.05 # Beginning deep saturation check 80.89/81.13 # Beginning deep saturation check 84.11/84.44 # Beginning deep saturation check 87.68/87.99 # Beginning deep saturation check 91.61/91.88 # Beginning deep saturation check 95.10/95.41 # Beginning deep saturation check 98.62/98.94 # Beginning deep saturation check 102.86/103.18 # Beginning deep saturation check 107.00/107.35 # Beginning deep saturation check 111.14/111.41 # Beginning deep saturation check 115.35/115.63 # Beginning deep saturation check 119.57/119.89 # Beginning deep saturation check 119.75/120.04 Alarm clock 119.75/120.04 EOF