0.06/0.11 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.06/0.12 % Command : enigmatic-eprover.py %s %d 1 0.11/0.32 % Computer : n018.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 : 180 0.11/0.32 % DateTime : Thu Aug 29 09:14:19 EDT 2019 0.11/0.32 % CPUTime : 0.26/0.53 # ENIGMATIC: Selected SinE mode: 0.26/0.53 # Parsing /export/starexec/sandbox2/benchmark/theBenchmark.p 0.26/0.53 # Filter: axfilter_auto 0 goes into file theBenchmark_axfilter_auto 0.p 0.26/0.53 # Filter: axfilter_auto 1 goes into file theBenchmark_axfilter_auto 1.p 0.26/0.53 # Filter: axfilter_auto 2 goes into file theBenchmark_axfilter_auto 2.p 0.26/0.57 eprover: sined.p:2:(Column 1):(just read ''): Illegal character 0.31/0.79 # ENIGMATIC: Running Enigma+multi-air-03-cross+model-t150-d60-l600.lgb+G_____0021_C18_F1_SE_CS_SP_S4S+coop on input.p for 5 seconds ... 0.33/0.81 # ENIGMATIC: Running G_E___208_C18_F1_SE_CS_SP_PS_S0Y on input.p for 5 seconds ... 0.33/0.83 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine02+loop04+coop on input.p for 5 seconds ... 0.33/0.85 # ENIGMATIC: Running mzr06 on input.p for 5 seconds ... 0.33/0.87 # ENIGMATIC: Running Enigma+multi-air-03-cross+model-t150-d99-l999.lgb+G_E___208_C18_F1_SE_CS_SP_PS_S0Y+coop on input.p for 5 seconds ... 0.33/0.89 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine03+loop02+coop on input.p for 5 seconds ... 0.33/0.91 # ENIGMATIC: Running Enigma+T5d16l600+aim09+loop06+solo on input.p for 5 seconds ... 0.33/0.92 # ENIGMATIC: Running Enigma+T5d16l600+G_E___200_B02_F1_SE_CS_SP_PI_S0S+loop07+coop-xgb on input.p for 5 seconds ... 0.33/0.94 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPIh+G_E___107_C41_F1_PI_AE_Q4_CS_SP_PS_CO_S4S+loop07+coop on input.p for 5 seconds ... 0.33/0.96 # ENIGMATIC: Running Enigma+T5d16l600+G_E___208_C18_F1_SE_CS_SP_PS_S0Y+loop07+coop-xgb on input.p for 5 seconds ... 0.33/0.98 # ENIGMATIC: Running G_E___107_C41_F1_PI_AE_Q4_CS_SP_PS_CO_S4S on input.p for 5 seconds ... 0.33/1.00 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine01+loop04+coop on input.p for 5 seconds ... 0.33/1.02 # ENIGMATIC: Running aim04 on input.p for 5 seconds ... 0.33/1.03 # ENIGMATIC: Running Enigma+LgbSine0T5-Zar1-VHSLCAXPh+G_E___208_C18_F1_SE_CS_SP_PS_S0Y+loop07+solo on input.p for 5 seconds ... 0.33/1.05 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine03+loop03+coop on input.p for 5 seconds ... 0.33/1.06 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+G_E___208_B07_F1_SE_CS_SP_PS_S0Y+loop06+coop on input.p for 5 seconds ... 0.33/1.07 # ENIGMATIC: Running Enigma+T5d16l600+G_____0021_C18_F1_SE_CS_SP_S4S+coop on input.p for 5 seconds ... 0.61/1.09 # ENIGMATIC: Running aim09 on input.p for 5 seconds ... 0.61/1.10 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+G_E___300_C18_F1_SE_CS_SP_PS_S0Y+loop04+solo on input.p for 5 seconds ... 0.61/1.11 # ENIGMATIC: Running Enigma+multi-air-03-cross+model-t150-d99-l999.lgb+G_E___200_B02_F1_SE_CS_SP_PI_S0S+coop on input.p for 5 seconds ... 0.66/1.13 # ENIGMATIC: Running Enigma+mizar40-10k-T5+mzr02-VHSLCAXPh+lgb-d150-l600-e0.2+loop07+solo on input.p for 5 seconds ... 0.66/1.14 # ENIGMATIC: Running G_E___300_C18_F1_SE_CS_SP_PS_S0Y on input.p for 5 seconds ... 0.71/1.15 # ENIGMATIC: Running G_E___200_B02_F1_SE_CS_SP_PI_S0S on input.p for 5 seconds ... 0.71/1.17 # ENIGMATIC: Running Enigma+T5d16l600+aim09+loop03+coop on input.p for 5 seconds ... 0.71/1.18 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPIh+G_E___107_C41_F1_PI_AE_Q4_CS_SP_PS_CO_S4S+loop03+solo on input.p for 5 seconds ... 0.71/1.19 # ENIGMATIC: Running Enigma+mizar40+coop on input.p for 5 seconds ... 0.71/1.20 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+G_E___208_B07_F1_SE_CS_SP_PS_S0Y+loop04+coop on input.p for 5 seconds ... 0.71/1.22 # ENIGMATIC: Running Enigma+multi-air-03-cross+model-t150-d99-l999.lgb+aim09+coop on input.p for 5 seconds ... 0.76/1.23 # ENIGMATIC: Running autoschedule on /export/starexec/sandbox2/benchmark/theBenchmark.p for 40 seconds ... 41.08/41.50 # SZS status GaveUp 41.08/41.57 EOF