Experiments with Nasa Advisor
This section provides the selected benchmark instances and results for the Nasa Advisor tests of clingcon 0.1.0.
All tests were made on a 3.4GHz PC under Linux, each individual run restricted to 3GB RAM and 600s.
The tested instances stem from the instance-monica folder, all instances without electrical faults.
Due to the amount of instances, only 1 run was made. Time is given in seconds.
"---" signals a timeout and is counted as 600 seconds.
"error" means a segmentation fault due to unknwon reasons.
The instances can be found here.
Benchmarks for comparing 4 different settings of clingcon.
Results
Benchmarks for comparing clingcon 0.1.0 (Lazy) to gringo and ADSolver.
Results
Experiments with Squares Problem
This section provides the selected benchmark instances and results for the Squares problem with clingcon 0.1.0.
All tests were made on a 3.4GHz PC under Linux, each individual run restricted to 3GB RAM and 1200s.
The average time in seconds for 3 runs is given.
Benchmarks for comparing clingo 2.0.2 and clingcon 0.1.0.
Results
