Index of /current_tree/solvers/SAT_WL/tests/tests-more

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 queens10.sat                        2021-01-03 13:20   12K  
 queens10.cnf                        2021-01-03 13:20   14K  
 mutex-fourbits-lemmas-1_UNSAT.sat   2021-01-03 13:20  6.0K  
 langford-10_UNSAT.sat               2021-01-03 13:20   21K  
 factorize_8bit.sat                  2021-01-03 13:20   30K  
 factorize_8bit.cnf                  2021-01-03 13:20   49K  
 factorize_6bit.sat                  2021-01-03 13:20   22K  
 factorize_6bit.cnf                  2021-01-03 13:20   42K  
 ais8.sat                            2021-01-03 13:20   13K  
 ais8.cnf                            2021-01-03 13:20   16K  
 ais6.sat                            2021-01-03 13:20  4.9K  
 ais6.cnf                            2021-01-03 13:20  6.0K  
 ais12.cnf                           2021-01-03 13:20   67K  
 ais10.sat                           2021-01-03 13:20   30K  
 ais10.cnf                           2021-01-03 13:20   36K  
 XOR_swap_4_bits.sat                 2021-01-03 13:20  1.6K  
 XOR_swap_4_bits.cnf                 2021-01-03 13:20  4.8K  
 POPCNT4.sat                         2021-01-03 13:20  1.4K  
 POPCNT4.cnf                         2021-01-03 13:20  1.6K  
 8queens.sat                         2021-01-03 13:20  5.7K  
 8queens.cnf                         2021-01-03 13:20  7.1K