Result page for solver minisat+_script -cb -gs

Category "no optimization function" (SAT)

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

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

Exit code doesn't match solution line (36 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]

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

Category "optimization, medium integers" (OPTMEDINT)

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

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

Category "optimization, big integers" (OPTBIGINT)

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

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

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