Result page for solver minisat+ -ca

Category "no optimization function" (SAT)

Solver proved unsatitisfiability (UNSATISFIABLE) (6 runs) [Show/Hide]

Solver timed out (no solution given) (42 runs) [Show/Hide]

Solver was terminated by a signal (1 runs) [Show/Hide]

Exit code doesn't match solution line (64 runs) [Show/Hide]

Category "optimization, small integers" (OPTSMALLINT)

Solver found optimum (OPTIMUM FOUND) (131 runs) [Show/Hide]

Solver proved unsatitisfiability (UNSATISFIABLE) (10 runs) [Show/Hide]

Solver timed out (no solution given) (242 runs) [Show/Hide]

Solver was terminated by a signal (3 runs) [Show/Hide]

Category "optimization, medium integers" (OPTMEDINT)

Solver found optimum (OPTIMUM FOUND) (22 runs) [Show/Hide]

Unexpected exit code (UNKNOWN) (9 runs) [Show/Hide]

Solver timed out (no solution given) (151 runs) [Show/Hide]

Solver was terminated by a signal (9 runs) [Show/Hide]

Category "optimization, big integers" (OPTBIGINT)

Solver proved unsatitisfiability (UNSATISFIABLE) (4 runs) [Show/Hide]

Unexpected exit code (UNKNOWN) (462 runs) [Show/Hide]