AIGER - Preliminary Experiments, Sequential
Date: | 26 May 2017 |
Description: | no description |
Jobs: | ||
Active: | ||
Finished: | ||
Not started: | ||
Running: | ||
Crashed: | ||
ETA |
Progress
Information about solvers and instances
List of solver configurations usedList of instances used
Results
By solver configuration and instance (runs accumulated) (CSV time/answers)By solver configuration
By instance
Unsolved instances
Solved instances
Analysis
Note: The computational complexity of the following analysis pages is indicated with asterisks (*). More asterisks
indicate that it may take longer for them to load.
Box plots - Box plots of the results of solvers on instances ***Scatter plot - One result property of two solvers (e.g. CPU time vs. CPU time) *
Scatter plot - Two result properties of a solver (e.g. CPU time vs. Memory) *
Scatter plot - Result property against instance property (e.g. CPU Time against Number of Atoms) *
Runtime matrix plot *
Cactus plot - Number of solved instances within a given amount of a property (e.g. time, memory, ...) *
Property distribution comparison of two solvers **
Result Property Distribution plots - Distribution and Kernel Density Estimation **
Analysis - Probabilistic Domination of solvers on the instances **
Ranking
RankingSOTA Solvers and VBS analysis