# XFAIL: 0
# FAIL:  0
# ERROR: 0
# XFAIL: 0
# FAIL:  0
# ERROR: 0
# XFAIL: 0
# FAIL:  0
# ERROR: 0
# XFAIL: 0
# FAIL:  0
# ERROR: 0
FAIL: tests/a00001.vtc
FAIL: tests/a00000.vtc
FAIL: tests/a00009.vtc
FAIL: tests/b00084.vtc
FAIL: tests/c00083.vtc
FAIL: tests/c00122.vtc
FAIL: tests/r02646.vtc
FAIL: tests/r02649.vtc
FAIL: tests/r02686.vtc
FAIL: tests/r02990.vtc
FAIL: tests/r03159.vtc
FAIL: tests/r03394.vtc
FAIL: tests/r03940.vtc
FAIL: tests/s00003.vtc
FAIL: tests/t02000.vtc
FAIL: tests/u00000.vtc
FAIL: tests/u00004.vtc
FAIL: tests/u00005.vtc
FAIL: tests/u00006.vtc
FAIL: tests/u00008.vtc
FAIL: tests/u00009.vtc
FAIL: tests/u00010.vtc
FAIL: tests/u00011.vtc
FAIL: tests/u00012.vtc
FAIL: tests/u00020.vtc
FAIL: tests/u00021.vtc
FAIL: tests/u00003.vtc