Result page for solver minisat+ -w

Category "no optimization function" (SAT)

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

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

Solver wrongly proved unsatitisfiability (2 runs) [Show/Hide]

Solver timed out (no solution given) (186 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) (134 runs) [Show/Hide]

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

Solver gave a wrong solution (FAILED) (1 runs) [Show/Hide]

Category "optimization, big integers" (OPTBIGINT)

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

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