Index of /src/rustsat-glucose-0.3.3/data/


../
AP_p-3_n-5_ins-1.dat                               24-Jul-2006 01:21                 305
AProVE11-12.cnf                                    24-Jul-2006 01:21             2717714
AProVE11-12.cnf.bz2                                24-Jul-2006 01:21              736676
AProVE11-12.cnf.gz                                 24-Jul-2006 01:21              644788
F5050W01.dat                                       24-Jul-2006 01:21                 653
KP_p-3_n-10_ins-1.dat                              24-Jul-2006 01:21                 210
bmo.wcnf                                           24-Jul-2006 01:21                  44
cadical-AProVE11-12.log                            24-Jul-2006 01:21              307236
cadical-smtlib-qfbv-aigs-ext_con_032_008_0256-t..> 24-Jul-2006 01:21                7842
didactic1.txt                                      24-Jul-2006 01:21                 337
gbmo-1.wcnf                                        24-Jul-2006 01:21                  62
gbmo-2.wcnf                                        24-Jul-2006 01:21                  65
gimsatul-AProVE11-12.log                           24-Jul-2006 01:21              313653
gimsatul-smtlib-qfbv-aigs-ext_con_032_008_0256-..> 24-Jul-2006 01:21                6230
inc-sis-fails.wcnf                                 24-Jul-2006 01:21                  98
kissat-AProVE11-12.log                             24-Jul-2006 01:21              308710
kissat-smtlib-qfbv-aigs-ext_con_032_008_0256-ts..> 24-Jul-2006 01:21                7443
minisat-segfault.cnf                               24-Jul-2006 01:21                7612
small-gbmo.wcnf                                    24-Jul-2006 01:21                  99
small.cnf                                          24-Jul-2006 01:21                  38
small.mcnf                                         24-Jul-2006 01:21                 119
small.opb                                          24-Jul-2006 01:21                 194
small.wcnf                                         24-Jul-2006 01:21                  53
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf  24-Jul-2006 01:21             1111443
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.c..> 24-Jul-2006 01:21              334484
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.c..> 24-Jul-2006 01:21              305562
tiny-opt.opb                                       24-Jul-2006 01:21                 161
tiny-sat.opb                                       24-Jul-2006 01:21                 127
tiny-single-opt.opb                                24-Jul-2006 01:21                 143
tiny-unsat.opb                                     24-Jul-2006 01:21                 139