Index of /smtlib/benchmarks/QF_LRA/tta_startup

Icon  Name                                       Last modified      Size  Description
[DIR] Parent Directory                                                -   
[   ] simple_startup_3nodes.abstract.base.smt    14-Jul-2006 16:39   20K  
[   ] simple_startup_3nodes.abstract.induct.smt  01-Jun-2008 03:58   30K  
[   ] simple_startup_3nodes.bug.induct.smt       19-Feb-2008 13:24   30K  
[   ] simple_startup_3nodes.missing.induct.smt   14-Jul-2006 16:39   30K  
[   ] simple_startup_3nodes.synchro.base.smt     14-Jul-2006 16:39   22K  
[   ] simple_startup_3nodes.synchro.induct.smt   14-Jul-2006 16:39   22K  
[   ] simple_startup_4nodes.abstract.base.smt    14-Jul-2006 16:39   28K  
[   ] simple_startup_4nodes.abstract.induct.smt  01-Jun-2008 03:58   42K  
[   ] simple_startup_4nodes.bug.induct.smt       19-Feb-2008 13:24   42K  
[   ] simple_startup_4nodes.missing.induct.smt   14-Jul-2006 16:39   42K  
[   ] simple_startup_4nodes.synchro.base.smt     14-Jul-2006 16:39   31K  
[   ] simple_startup_4nodes.synchro.induct.smt   01-Jun-2008 03:58   31K  
[   ] simple_startup_5nodes.abstract.base.smt    14-Jul-2006 16:39   37K  
[   ] simple_startup_5nodes.abstract.induct.smt  01-Jun-2008 03:58   56K  
[   ] simple_startup_5nodes.bug.induct.smt       19-Feb-2008 13:24   56K  
[   ] simple_startup_5nodes.missing.induct.smt   14-Jul-2006 16:39   56K  
[   ] simple_startup_5nodes.synchro.base.smt     14-Jul-2006 16:39   41K  
[   ] simple_startup_5nodes.synchro.induct.smt   01-Jun-2008 03:58   41K  
[   ] simple_startup_6nodes.abstract.base.smt    14-Jul-2006 16:39   47K  
[   ] simple_startup_6nodes.abstract.induct.smt  01-Jun-2008 03:58   71K  
[   ] simple_startup_6nodes.bug.induct.smt       01-Jun-2008 03:58   71K  
[   ] simple_startup_6nodes.missing.induct.smt   01-Jun-2008 03:58   71K  
[   ] simple_startup_6nodes.synchro.base.smt     14-Jul-2006 16:39   53K  
[   ] simple_startup_6nodes.synchro.induct.smt   01-Jun-2008 03:59   52K  
[   ] simple_startup_7nodes.abstract.base.smt    14-Jul-2006 16:39   58K  
[   ] simple_startup_7nodes.abstract.induct.smt  01-Jun-2008 03:59   89K  
[   ] simple_startup_7nodes.bug.induct.smt       01-Jun-2008 03:59   89K  
[   ] simple_startup_7nodes.missing.induct.smt   01-Jun-2008 03:59   89K  
[   ] simple_startup_7nodes.synchro.base.smt     14-Jul-2006 16:39   66K  
[   ] simple_startup_7nodes.synchro.induct.smt   01-Jun-2008 03:59   65K  
[   ] simple_startup_8nodes.abstract.base.smt    14-Jul-2006 16:39   70K  
[   ] simple_startup_8nodes.abstract.induct.smt  01-Jun-2008 03:59  109K  
[   ] simple_startup_8nodes.bug.induct.smt       01-Jun-2008 03:59  109K  
[   ] simple_startup_8nodes.missing.induct.smt   19-Feb-2008 13:24  109K  
[   ] simple_startup_8nodes.synchro.base.smt     14-Jul-2006 16:39   80K  
[   ] simple_startup_8nodes.synchro.induct.smt   01-Jun-2008 03:59   79K  
[   ] simple_startup_9nodes.abstract.base.smt    14-Jul-2006 16:39   83K  
[   ] simple_startup_9nodes.abstract.induct.smt  01-Jun-2008 03:59  130K  
[   ] simple_startup_9nodes.bug.induct.smt       01-Jun-2008 03:59  130K  
[   ] simple_startup_9nodes.missing.induct.smt   01-Jun-2008 03:59  130K  
[   ] simple_startup_9nodes.synchro.base.smt     14-Jul-2006 16:39   96K  
[   ] simple_startup_9nodes.synchro.induct.smt   01-Jun-2008 03:59   95K  
[   ] simple_startup_10nodes.abstract.base.smt   14-Jul-2006 16:39   98K  
[   ] simple_startup_10nodes.abstract.induct.smt 01-Jun-2008 03:58  154K  
[   ] simple_startup_10nodes.bug.induct.smt      01-Jun-2008 03:58  154K  
[   ] simple_startup_10nodes.missing.induct.smt  14-Jul-2006 16:39  154K  
[   ] simple_startup_10nodes.synchro.base.smt    14-Jul-2006 16:39  113K  
[   ] simple_startup_10nodes.synchro.induct.smt  01-Jun-2008 03:58  112K  
[   ] simple_startup_11nodes.abstract.base.smt   14-Jul-2006 16:39  113K  
[   ] simple_startup_11nodes.abstract.induct.smt 01-Jun-2008 03:58  179K  
[   ] simple_startup_11nodes.bug.induct.smt      01-Jun-2008 03:58  179K  
[   ] simple_startup_11nodes.missing.induct.smt  01-Jun-2008 03:58  179K  
[   ] simple_startup_11nodes.synchro.base.smt    14-Jul-2006 16:39  132K  
[   ] simple_startup_11nodes.synchro.induct.smt  01-Jun-2008 03:58  130K  
[   ] simple_startup_12nodes.abstract.base.smt   14-Jul-2006 16:39  130K  
[   ] simple_startup_12nodes.abstract.induct.smt 01-Jun-2008 03:58  208K  
[   ] simple_startup_12nodes.bug.induct.smt      01-Jun-2008 03:58  208K  
[   ] simple_startup_12nodes.missing.induct.smt  01-Jun-2008 03:58  208K  
[   ] simple_startup_12nodes.synchro.base.smt    14-Jul-2006 16:39  152K  
[   ] simple_startup_12nodes.synchro.induct.smt  01-Jun-2008 03:58  150K  
[   ] simple_startup_14nodes.abstract.base.smt   14-Jul-2006 16:39  167K  
[   ] simple_startup_14nodes.abstract.induct.smt 01-Jun-2008 03:58  269K  
[   ] simple_startup_14nodes.bug.induct.smt      01-Jun-2008 03:58  269K  
[   ] simple_startup_14nodes.missing.induct.smt  01-Jun-2008 03:58  270K  
[   ] simple_startup_14nodes.synchro.base.smt    14-Jul-2006 16:39  198K  
[   ] simple_startup_14nodes.synchro.induct.smt  01-Jun-2008 03:58  196K  
[   ] simple_startup_15nodes.abstract.base.smt   14-Jul-2006 16:39  188K  
[   ] simple_startup_15nodes.abstract.induct.smt 01-Jun-2008 03:58  304K  
[   ] simple_startup_15nodes.bug.induct.smt      01-Jun-2008 03:58  304K  
[   ] simple_startup_15nodes.missing.induct.smt  01-Jun-2008 03:58  305K  
[   ] simple_startup_15nodes.synchro.base.smt    14-Jul-2006 16:39  224K  
[   ] simple_startup_15nodes.synchro.induct.smt  01-Jun-2008 03:58  220K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80