0.04/0.07 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.04/0.07 % Command : eprover --auto -s --tableau=1 [--tableau-equality=1] --tableau-depth=10 %s 0.06/0.25 % Computer : n014.cluster.edu 0.06/0.25 % Model : x86_64 x86_64 0.06/0.25 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.06/0.25 % Memory : 8042.1875MB 0.06/0.25 % OS : Linux 3.10.0-693.el7.x86_64 0.06/0.25 % CPULimit : 960 0.06/0.25 % WCLimit : 120 0.06/0.25 % DateTime : Thu Jul 2 14:02:10 EDT 2020 0.06/0.25 % CPUTime : 0.99/1.19 % Running in FOF/CNF-non-UEQ mode 6.41/6.62 # No SInE strategy applied 6.41/6.62 # Auto-Mode selected heuristic C07_19_nc_SAT001_MinMin_rr 6.41/6.62 # and selection function SelectMaxLComplexAvoidPosPred. 6.41/6.62 # 6.41/6.62 # Presaturation interreduction done 6.41/6.62 # Number of axioms: 8453 Number of unprocessed: 7196 6.41/6.62 # Tableaux proof search. 6.41/6.62 # 7196 beginning clauses after preprocessing and clausification 6.41/6.62 # Creating start rules for all conjectures. 6.41/6.62 # 1779 unit axioms, 1 start rules, and 5417 other extension candidates. 6.41/6.62 ## Beginning tableaux proof search with 1 start rule applications. 6.95/7.20 # Beginning deep saturation check 7.54/7.79 # Beginning deep saturation check 8.13/8.37 # Beginning deep saturation check 8.77/8.97 # Beginning deep saturation check 9.35/9.56 # Beginning deep saturation check 9.95/10.15 # Beginning deep saturation check 10.45/10.74 # Beginning deep saturation check 11.10/11.34 # Beginning deep saturation check 11.70/11.95 # Beginning deep saturation check 12.31/12.54 # Beginning deep saturation check 12.91/13.13 # Beginning deep saturation check 13.49/13.72 # Beginning deep saturation check 14.04/14.30 # Beginning deep saturation check 14.63/14.91 # Beginning deep saturation check 15.28/15.49 # Beginning deep saturation check 15.86/16.09 # Beginning deep saturation check 16.46/16.71 # Beginning deep saturation check 17.09/17.32 # Beginning deep saturation check 17.70/17.92 # Beginning deep saturation check 18.30/18.51 # Beginning deep saturation check 18.96/19.17 # Beginning deep saturation check 19.46/19.74 # Beginning deep saturation check 20.19/20.43 # Beginning deep saturation check 20.80/21.02 # Beginning deep saturation check 21.43/21.69 # Beginning deep saturation check 22.08/22.31 # Beginning deep saturation check 22.81/23.05 # Beginning deep saturation check 23.44/23.72 # Beginning deep saturation check 24.14/24.36 # Beginning deep saturation check 24.69/24.94 # Beginning deep saturation check 25.29/25.53 # Beginning deep saturation check 25.90/26.12 # Beginning deep saturation check 26.45/26.71 # Beginning deep saturation check 27.09/27.31 # Beginning deep saturation check 27.65/27.90 # Beginning deep saturation check 28.24/28.50 # Beginning deep saturation check 28.85/29.09 # Beginning deep saturation check 29.47/29.69 # Beginning deep saturation check 30.07/30.28 # Beginning deep saturation check 30.63/30.87 # Beginning deep saturation check 31.24/31.46 # Beginning deep saturation check 31.85/32.08 # Beginning deep saturation check 32.45/32.71 # Beginning deep saturation check 33.05/33.33 # Beginning deep saturation check 33.79/34.01 # Beginning deep saturation check 34.54/34.77 # Beginning deep saturation check 120.93/121.27 Alarm clock 120.93/121.27 EOF