We have following known issues. All of them are related to VE's hardware implementation.
FAIL: MultiSource/Applications/minisat/minisat.execution_time (504 of 2515)
FAIL: MultiSource/Benchmarks/TSVC/Reductions-flt/Reductions-flt.execution_time (505 of 2515)
FAIL: SingleSource/Regression/C/uint64_to_float.execution_time (506 of 2515)