== Benchmark Data ==
== Benchmark Data ==
−This benchmark is located in ''crv.liflab.ca@/home/e-acsl/crv16_benchmarks/c-implicit-track/vampire-number''
+This benchmark is located in ''crv.liflab.ca@/home/e-acsl/crv16_benchmarks/c-generic-track/vampire-number''
=== The Trace Part ===
=== The Trace Part ===
A vampire number V is a natural number with an even number of digits that can be factored into two integers (fangs) with the following properties:
A vampire number V is a natural number with an even number of digits that can be factored into two integers (fangs) with the following properties:
Exception encountered, of type "Error"