Result page for solver minisat+ -cb -gs

Category "no optimization function" (SAT)

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

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

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

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

Category "optimization, medium integers" (OPTMEDINT)

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

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

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

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

Category "optimization, big integers" (OPTBIGINT)

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

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