SATracer

Trace

Step4: Push ``Play'' button.

CNF: Select Predefined CNF Rivest UNSAT 4 UNSAT 5 UNSAT 6 Waerden 3 3 8 Waerden 3 3 9 Waerden 3 4 17 Waerden 3 4 18 JSAI2010 PigeonHole 3 PigeonHole_SymBreak_Hole 3 PigeonHole_SymBreak_Pigeon 3 PigeonHole 4 PigeonHole 5 QueenGraphOrder 2 2 QueenGraphOrder 2 3 QueenGraphOrder 2 4 QueenGraphOrder 3 3 QueenGraphOrder 3 4 QueenGraphOrder 3 5 QueenGraphOrder 4 4 QueenGraphOrder 4 5 QueenGraphDirect 2 2 QueenGraphDirect 2 4 QueenGraphDirect 3 3 QueenGraphDirect 3 5 QueenGraphDirect 4 4 QueenGraphDirect 4 5 or your own instance

Step2: Choose Variable Order

VSIDS RandomOrder SpecificOrder

(in case of RandomOrder) Seed for RandomOrder: 12345678
(in case of SpecificOrder) SpecificOrder: 1 -1 2 -2 3 -3 4 -4

Step3: Push ``solve'' button.
Solve