| Event | SAT 2007 Competition AIG special track |
| Type | AIG |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-05-15 15:43 |
| Name | aig-cmusat |
| Version | 2007-05-15 |
| Authors | Himanshu Jain |
| Complete/Incomplete | Complete |
| Is able to solve | ALL |
| Solver command line | HOME/aig-cmusat BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition AIG special track |
| Type | AIG |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-05-15 15:46 |
| Name | aigsat-sp |
| Version | 2007-05-15 |
| Authors | Himanshu Jain, C. Bartzis and E. Clarke |
| Complete/Incomplete | Complete |
| Is able to solve | ALL |
| Solver command line | HOME/aigsat-sp BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition AIG special track |
| Type | AIG |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-05-15 15:47 |
| Name | aigsat-wc |
| Version | 2007-05-15 |
| Authors | Himanshu Jain, C. Bartzis and E. Clarke |
| Complete/Incomplete | Complete |
| Is able to solve | ALL |
| Solver command line | HOME/aigsat-wc BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition AIG special track |
| Type | AIG |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-05-17 00:00 |
| Name | minicirc |
| Version | 2007-05-17 |
| Authors | Niklas Een |
| Complete/Incomplete | Complete |
| Is able to solve | ALL |
| Solver command line | minicirc.bash BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition AIG special track |
| Type | AIG |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-05-15 16:10 |
| Name | picoaigersat |
| Version | 2007-05-15 |
| Authors | Armin Biere |
| Complete/Incomplete | Complete |
| Is able to solve | ALL |
| Solver command line | run BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |