Sequential, Application certified UNSAT track

Date:20 May 2014
Description:no description
Jobs:
Active:
Finished:
Not started:
Running:
Crashed:
ETA

Progress

Live information about experiment progress

Information about solvers and instances

List of solver configurations used
List 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

Ranking
SOTA Solvers and VBS analysis