XCSP 2.1 Benchmarks
radar-8-30-3-0ExtConvert
Lecoutre's category
PATT (Patterned Instances) - Radar Surveillance
Lecoutre's tooltips
Description is forthcoming.
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/radar-8-30-3-0.tgz
Comments
None
Number of instances:
4 (0 processed, 0 partially processed, 4 failed)
Processing completed
Partially processed
Processing failed
radar-8-30-3-0-0
radar-8-30-3-0-0_ext
radar-8-30-3-0-10
radar-8-30-3-0-10_ext
