0.03/0.12 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.03/0.12 % Command : eprover --auto -s --tableau=1 [--tableau-equality=1] --tableau-depth=10 %s 0.13/0.33 % Computer : n005.cluster.edu 0.13/0.33 % Model : x86_64 x86_64 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.13/0.33 % Memory : 8042.1875MB 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 0.13/0.33 % CPULimit : 960 0.13/0.33 % WCLimit : 120 0.13/0.33 % DateTime : Thu Jul 2 12:45:36 EDT 2020 0.13/0.34 % CPUTime : 0.19/0.35 % Running in FOF/CNF-non-UEQ mode 0.19/0.40 # No SInE strategy applied 0.19/0.40 # Auto-Mode selected heuristic G_E___208_C18_F1_SE_CS_SP_PS_S5PRR_RG_S04AN 0.19/0.40 # and selection function SelectComplexExceptUniqMaxHorn. 0.19/0.40 # 0.19/0.40 # Presaturation interreduction done 0.19/0.40 # Number of axioms: 192 Number of unprocessed: 192 0.19/0.40 # Tableaux proof search. 0.19/0.40 # 192 beginning clauses after preprocessing and clausification 0.19/0.40 # Creating start rules for all conjectures. 0.19/0.40 # 113 unit axioms, 1 start rules, and 79 other extension candidates. 0.19/0.40 ## Beginning tableaux proof search with 1 start rule applications. 1.52/1.76 # Beginning deep saturation check 2.74/2.91 # Beginning deep saturation check 4.16/4.33 # Beginning deep saturation check 5.45/5.67 # Beginning deep saturation check 7.12/7.32 # Beginning deep saturation check 8.84/9.07 # Beginning deep saturation check 11.31/11.54 # Beginning deep saturation check 13.20/13.37 # Beginning deep saturation check 15.08/15.27 # Beginning deep saturation check 16.90/17.12 # Beginning deep saturation check 18.66/18.83 # Beginning deep saturation check 20.39/20.56 # Beginning deep saturation check 22.12/22.30 # Beginning deep saturation check 23.79/23.99 # Beginning deep saturation check 25.57/25.74 # Beginning deep saturation check 27.39/27.61 # Beginning deep saturation check 29.34/29.57 # Beginning deep saturation check 31.34/31.51 # Beginning deep saturation check 32.93/33.10 # Beginning deep saturation check 34.69/34.90 # Beginning deep saturation check 36.45/36.65 # Beginning deep saturation check 37.99/38.22 # Beginning deep saturation check 39.63/39.82 # Beginning deep saturation check 41.23/41.42 # Beginning deep saturation check 42.75/42.98 # Beginning deep saturation check 44.29/44.56 # Beginning deep saturation check 46.09/46.36 # Beginning deep saturation check 47.98/48.17 # Beginning deep saturation check 49.88/50.08 # Beginning deep saturation check 51.74/52.00 # Beginning deep saturation check 53.48/53.71 # Beginning deep saturation check 55.22/55.47 # Beginning deep saturation check 57.04/57.30 # Beginning deep saturation check 58.81/59.09 # Beginning deep saturation check 60.53/60.79 # Beginning deep saturation check 62.39/62.68 # Beginning deep saturation check 64.35/64.57 # Beginning deep saturation check 66.27/66.50 # Beginning deep saturation check 68.12/68.41 # Beginning deep saturation check 69.87/70.10 # Beginning deep saturation check 71.77/72.00 # Beginning deep saturation check 73.49/73.73 # Beginning deep saturation check 75.19/75.48 # Beginning deep saturation check 76.94/77.25 # Beginning deep saturation check 78.75/79.03 # Beginning deep saturation check 80.46/80.71 # Beginning deep saturation check 82.29/82.59 # Beginning deep saturation check 84.21/84.47 # Beginning deep saturation check 86.06/86.38 # Beginning deep saturation check 87.99/88.25 # Beginning deep saturation check 89.68/89.93 # Beginning deep saturation check 91.59/91.84 # Beginning deep saturation check 93.26/93.55 # Beginning deep saturation check 95.21/95.47 # Beginning deep saturation check 96.96/97.22 # Beginning deep saturation check 98.69/98.98 # Beginning deep saturation check 100.36/100.66 # Beginning deep saturation check 102.24/102.54 # Beginning deep saturation check 104.12/104.38 # Beginning deep saturation check 105.91/106.19 # Beginning deep saturation check 107.74/108.07 # Beginning deep saturation check 109.45/109.74 # Beginning deep saturation check 111.34/111.63 # Beginning deep saturation check 113.05/113.32 # Beginning deep saturation check 114.71/115.01 # Beginning deep saturation check 116.42/116.76 # Beginning deep saturation check 118.21/118.49 # Beginning deep saturation check 119.75/120.05 Alarm clock 119.78/120.05 EOF