
c:\cygwin\home\yaaara\satzoo>FOR %f IN (tst/*.cnf) DO satzoo.exe tst/%f 

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/anomaly.cnf 
Parsing DIMACS
Solving (randomize)  10000/146 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 2
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 12
propagations          : 96
inspect_binary        : 252
inspect_normal        : 133
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/bmc-ibm-2.cnf 
Parsing DIMACS
Solving (randomize)  10000/1472 (0.00 %).
Computing static variable order.
restarts              : 8
conflicts             : 104
learnt_clauses        : 97
forgotten_clauses     : 0
decisions             : 2391
propagations          : 16614
inspect_binary        : 26316
inspect_normal        : 15328
inspect_learnt        : 753
CPU time              : 0.1 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/bmc-ibm-5.cnf 
Parsing DIMACS
Solving (randomize)  10000/8150 (0.00 %).
Computing static variable order.
restarts              : 149
conflicts             : 1680
learnt_clauses        : 1484
forgotten_clauses     : 790
decisions             : 55648
propagations          : 622637
inspect_binary        : 1167046
inspect_normal        : 598048
inspect_learnt        : 99102
CPU time              : 1.7 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/bw_large.a.cnf 
Parsing DIMACS
Solving (randomize)  10000/3002 (0.00 %).
Computing static variable order.
restarts              : 1
conflicts             : 21
learnt_clauses        : 14
forgotten_clauses     : 0
decisions             : 74
propagations          : 2633
inspect_binary        : 5423
inspect_normal        : 6415
inspect_learnt        : 8
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/CBS_k3_n100_m403_b10_0.cnf 
Parsing DIMACS
Solving (randomize)  10000/403 (0.00 %).
Computing static variable order.
restarts              : 85
conflicts             : 1003
learnt_clauses        : 1003
forgotten_clauses     : 997
decisions             : 2307
propagations          : 23301
inspect_binary        : 0
inspect_normal        : 87335
inspect_learnt        : 5341
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/CBS_k3_n100_m403_b10_999.cnf 
Parsing DIMACS
Solving (randomize)  10000/403 (0.00 %).
Computing static variable order.
restarts              : 52
conflicts             : 602
learnt_clauses        : 602
forgotten_clauses     : 598
decisions             : 1316
propagations          : 14211
inspect_binary        : 0
inspect_normal        : 54528
inspect_learnt        : 3115
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/flat30-1.cnf 
Parsing DIMACS
Solving (randomize)  10000/165 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 12
propagations          : 90
inspect_binary        : 180
inspect_normal        : 51
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/flat30-99.cnf 
Parsing DIMACS
Solving (randomize)  10000/165 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 7
propagations          : 90
inspect_binary        : 180
inspect_normal        : 53
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/qg4-08.cnf 
Parsing DIMACS
Solving (randomize)  10000/2280 (0.00 %).
Computing static variable order.
Solving (static)     5000/10000 (47.09 %).
restarts              : 505
conflicts             : 11069
learnt_clauses        : 11056
forgotten_clauses     : 9889
decisions             : 15434
propagations          : 721853
inspect_binary        : 2072819
inspect_normal        : 1941180
inspect_learnt        : 677068
CPU time              : 0.7 s

UNSATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/qg7-09.cnf 
Parsing DIMACS
Solving (randomize)  10000/3986 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 7
learnt_clauses        : 4
forgotten_clauses     : 0
decisions             : 47
propagations          : 1262
inspect_binary        : 2818
inspect_normal        : 5563
inspect_learnt        : 8
CPU time              : 0.1 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/sw100-1.cnf 
Parsing DIMACS
Solving (randomize)  10000/1600 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 56
propagations          : 500
inspect_binary        : 1200
inspect_normal        : 225
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/sw100-70.cnf 
Parsing DIMACS
Solving (randomize)  10000/1600 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 54
propagations          : 500
inspect_binary        : 1200
inspect_normal        : 248
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v100_c160.cnf 
Parsing DIMACS
Solving (randomize)  10000/160 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 79
propagations          : 100
inspect_binary        : 0
inspect_normal        : 126
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v100_c400.cnf 
Parsing DIMACS
Solving (randomize)  10000/400 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 1
learnt_clauses        : 1
forgotten_clauses     : 0
decisions             : 44
propagations          : 107
inspect_binary        : 0
inspect_normal        : 337
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v100_c425.cnf 
Parsing DIMACS
Solving (randomize)  10000/425 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 6
learnt_clauses        : 6
forgotten_clauses     : 0
decisions             : 34
propagations          : 245
inspect_binary        : 0
inspect_normal        : 915
inspect_learnt        : 6
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v10_c100.cnf 
Parsing DIMACS
Problem is trivial.
UNSATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v200_c210.cnf 
Parsing DIMACS
Solving (randomize)  10000/210 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 164
propagations          : 192
inspect_binary        : 0
inspect_normal        : 152
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v200_c220.cnf 
Parsing DIMACS
Solving (randomize)  10000/220 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 0
learnt_clauses        : 0
forgotten_clauses     : 0
decisions             : 164
propagations          : 193
inspect_binary        : 0
inspect_normal        : 161
inspect_learnt        : 0
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v25_c100.cnf 
Parsing DIMACS
Solving (randomize)  10000/100 (0.00 %).
Computing static variable order.
restarts              : 0
conflicts             : 7
learnt_clauses        : 7
forgotten_clauses     : 0
decisions             : 19
propagations          : 81
inspect_binary        : 0
inspect_normal        : 307
inspect_learnt        : 6
CPU time              : 0.0 s

SATISFIABLE

c:\cygwin\home\yaaara\satzoo>satzoo.exe tst/tst_v50_c500.cnf 
Parsing DIMACS
Solving (randomize)  10000/500 (0.00 %).
Computing static variable order.
restarts              : 3
conflicts             : 43
learnt_clauses        : 39
forgotten_clauses     : 0
decisions             : 54
propagations          : 444
inspect_binary        : 17
inspect_normal        : 3363
inspect_learnt        : 235
CPU time              : 0.0 s

UNSATISFIABLE
