results for 3000 runs

legend

state explanation state explanation
SUCCESS SUCCESS, no problems SUCCESS final state is SUCCESS, problems were TIMEOUT only
SUCCESS final state is SUCCESS, problems were OVER_RLIMIT only SUCCESS final state is SUCCESS, problems were SYSTEM only
SUCCESS final state is SUCCESS, multiple types of problems SEGFAULT final state is SEGFAULT
NULL NULL (this run/file was not registered) CANCELLED CANCELLED (all other final states)
OVER_RLIMIT final state was OVER_RLIMIT and no other problems TIMEOUT final state was TIMEOUT and no other problems
SYSTEM final state was SYSTEM and no other problems TIMEOUT/OVER_RLIMIT/SYSTEM multiple problems and final state is not SUCCESS



run file VER21 VER22 VER23 VER24 VER25 VER26
003000 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003001 000 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003002 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003003 000 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003004 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003007 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003008 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003009 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003010 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003011 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003012 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003013 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003014 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003015 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003016 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003017 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003018 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003018 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003018 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003018 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003018 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003019 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003019 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003019 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003019 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003020 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003020 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003020 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003020 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003020 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003021 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003021 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003021 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003021 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003021 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 005 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003022 006 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003023 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003024 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003025 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003026 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003027 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003028 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003029 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003030 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003031 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003032 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003033 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003034 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003035 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003036 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003037 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003037 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003038 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003039 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003040 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003041 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003042 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003043 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003044 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003045 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003046 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003047 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003048 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003049 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003050 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003051 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003052 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003053 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003054 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003055 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003056 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003057 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003058 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003058 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003058 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003059 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003059 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003060 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003061 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003062 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003063 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003064 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003065 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003065 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003066 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003066 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003066 002 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003066 003 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003067 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003068 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003069 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003070 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003070 001 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003070 002 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003070 003 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003070 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003070 005 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003072 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003072 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003073 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003074 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003075 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003076 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003077 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003077 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003077 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003077 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003077 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003078 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003078 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003078 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003078 003 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003078 004 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003078 005 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 000 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 004 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 005 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 006 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 007 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 008 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 009 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 010 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 011 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 012 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 013 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 014 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 015 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 016 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 017 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 018 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 019 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 020 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 021 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 022 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 023 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 024 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 025 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 026 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 027 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 028 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 029 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 030 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 031 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 032 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 033 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 034 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 035 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 036 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 037 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 038 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 039 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 040 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 041 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 042 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 043 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 044 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 045 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 046 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 047 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 048 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 049 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 050 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 051 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 052 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 053 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 054 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 055 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 056 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 057 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 058 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 059 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 060 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 061 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 062 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 063 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 064 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 065 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 066 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 067 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 068 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 069 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 070 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 071 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 072 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 073 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 074 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 075 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 076 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 077 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 078 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 079 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 080 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 081 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 082 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 083 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 084 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 085 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 086 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 087 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 088 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 089 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 090 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 091 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 092 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 093 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 094 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 095 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 096 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 097 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 098 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 099 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 100 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 101 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003079 102 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 001 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 002 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 003 TIMEOUT SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 004 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 005 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 006 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 007 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 008 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 009 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 010 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 011 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 012 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 013 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 014 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003080 015 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003081 000 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003081 001 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003081 002 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 001 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 002 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 003 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 004 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 005 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 006 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 007 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003082 008 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003083 000 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 001 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 002 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 003 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 004 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 005 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 006 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 007 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 008 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003084 009 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003085 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003086 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003087 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003088 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003089 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003090 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003091 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003092 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 001 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 002 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 003 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 004 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 005 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 006 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003093 007 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003094 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003095 000 SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003096 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS
003097 000 CANCELLED SUCCESS SUCCESS SUCCESS SUCCESS SUCCESS

Status for 003000 Runs Total (%) Success (%) Segfault (%) Cancelled (%) NULL (%) Over Limit (%) Timeout (%) System Error (%)
VER21 282 (100.00) 18 ( 6.38) 0 ( 0.00) 264 (93.62) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 1 ( 0.35)
VER22 282 (100.00) 282 (100.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 70 (24.82)
VER23 282 (100.00) 282 (100.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00)
VER24 282 (100.00) 282 (100.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00)
VER25 282 (100.00) 282 (100.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00)
VER26 282 (100.00) 282 (100.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00) 0 ( 0.00)

back to main