Result page for solver minisat+ -S

Category "no optimization function" (SAT)

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

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

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

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

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

Category "optimization, medium integers" (OPTMEDINT)

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

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

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

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

Category "optimization, big integers" (OPTBIGINT)

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

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

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

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