== 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"