Index of /trunk/examples/smtlib/horn/regression

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[DIR] simple/                                       2023-06-01 16:08    -   
[   ] basic-hoaretriples-sat.smt2                   2018-05-30 23:31  280   
[TXT] dataflow-leq-sat.smt2                         2017-11-16 06:20  855   
[   ] increment.smt2                                2023-06-01 16:08  1.8K  
[   ] mccarthy91.smt2                               2017-11-16 06:20  396   
[   ] tas_simple.smt2                               2023-06-01 16:08  1.7K  
[   ] test-nested-quantifiers-mcarthy-hard-sat.smt2 2017-11-16 06:20  413   
[   ] test-nested-quantifiers-mcarthy-sat.smt2      2017-11-16 06:20  413   
[TXT] TreeAutomizer.xml                             2017-11-16 06:20  184   
[   ] TreeAutomizerStandardSettings.epf             2021-02-19 15:38  616