0.00/0.12 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.00/0.12 % Command : enigmatic-eprover.py %s %d 1 0.12/0.33 % Computer : n025.cluster.edu 0.12/0.33 % Model : x86_64 x86_64 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.12/0.33 % Memory : 8042.1875MB 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 0.12/0.33 % CPULimit : 180 0.12/0.33 % DateTime : Thu Aug 29 09:21:16 EDT 2019 0.12/0.33 % CPUTime : 0.18/0.42 # ENIGMATIC: Selected SinE mode: 0.18/0.42 # Parsing /export/starexec/sandbox/benchmark/theBenchmark.p 0.18/0.42 # Filter: axfilter_auto 0 goes into file theBenchmark_axfilter_auto 0.p 0.18/0.42 # Filter: axfilter_auto 1 goes into file theBenchmark_axfilter_auto 1.p 0.18/0.42 # Filter: axfilter_auto 2 goes into file theBenchmark_axfilter_auto 2.p 0.18/0.45 eprover: sined.p:2:(Column 1):(just read ''): Illegal character 0.18/0.50 # 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.18/0.52 # ENIGMATIC: Running G_E___208_C18_F1_SE_CS_SP_PS_S0Y on input.p for 5 seconds ... 0.18/0.54 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine02+loop04+coop on input.p for 5 seconds ... 0.18/0.56 # ENIGMATIC: Running mzr06 on input.p for 5 seconds ... 0.39/0.58 # 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.42/0.60 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine03+loop02+coop on input.p for 5 seconds ... 0.42/0.62 # ENIGMATIC: Running Enigma+T5d16l600+aim09+loop06+solo on input.p for 5 seconds ... 0.45/0.64 # ENIGMATIC: Running Enigma+T5d16l600+G_E___200_B02_F1_SE_CS_SP_PI_S0S+loop07+coop-xgb on input.p for 5 seconds ... 0.46/0.66 # 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.46/0.68 # ENIGMATIC: Running Enigma+T5d16l600+G_E___208_C18_F1_SE_CS_SP_PS_S0Y+loop07+coop-xgb on input.p for 5 seconds ... 0.46/0.70 # ENIGMATIC: Running G_E___107_C41_F1_PI_AE_Q4_CS_SP_PS_CO_S4S on input.p for 5 seconds ... 0.53/0.72 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine01+loop04+coop on input.p for 5 seconds ... 0.53/0.73 # ENIGMATIC: Running aim04 on input.p for 5 seconds ... 0.53/0.75 # 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.59/0.76 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+sine03+loop03+coop on input.p for 5 seconds ... 0.59/0.77 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+G_E___208_B07_F1_SE_CS_SP_PS_S0Y+loop06+coop on input.p for 5 seconds ... 0.59/0.79 # ENIGMATIC: Running Enigma+T5d16l600+G_____0021_C18_F1_SE_CS_SP_S4S+coop on input.p for 5 seconds ... 0.59/0.80 # ENIGMATIC: Running aim09 on input.p for 5 seconds ... 0.59/0.82 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+G_E___300_C18_F1_SE_CS_SP_PS_S0Y+loop04+solo on input.p for 5 seconds ... 0.59/0.83 # 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.59/0.84 # ENIGMATIC: Running Enigma+mizar40-10k-T5+mzr02-VHSLCAXPh+lgb-d150-l600-e0.2+loop07+solo on input.p for 5 seconds ... 0.68/0.86 # ENIGMATIC: Running G_E___300_C18_F1_SE_CS_SP_PS_S0Y on input.p for 5 seconds ... 0.68/0.87 # ENIGMATIC: Running G_E___200_B02_F1_SE_CS_SP_PI_S0S on input.p for 5 seconds ... 0.68/0.88 # ENIGMATIC: Running Enigma+T5d16l600+aim09+loop03+coop on input.p for 5 seconds ... 0.74/0.90 # 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.74/0.91 # ENIGMATIC: Running Enigma+mizar40+coop on input.p for 5 seconds ... 0.74/0.93 # ENIGMATIC: Running Enigma+NoInitT5d16l600-VHSLCXAPh+G_E___208_B07_F1_SE_CS_SP_PS_S0Y+loop04+coop on input.p for 5 seconds ... 0.78/0.94 # ENIGMATIC: Running Enigma+multi-air-03-cross+model-t150-d99-l999.lgb+aim09+coop on input.p for 5 seconds ... 0.78/0.95 # ENIGMATIC: Running autoschedule on /export/starexec/sandbox/benchmark/theBenchmark.p for 40 seconds ... 41.14/41.21 # SZS status GaveUp 41.19/41.29 EOF