Index of /smtlib/benchmarks/QF_LRA/sc

Icon  Name                       Last modified      Size  Description
[DIR] Parent Directory                                -   
[TXT] sc-5.base.cvc.smt          01-Jun-2008 03:57   12K  
[TXT] sc-5.induction.cvc.smt     01-Jun-2008 03:57   12K  
[TXT] sc-5.induction2.cvc.smt    01-Jun-2008 03:57   14K  
[TXT] sc-5.induction3.cvc.smt    01-Jun-2008 03:57   14K  
[TXT] sc-6.base.cvc.smt          01-Jun-2008 03:57   15K  
[TXT] sc-6.induction.cvc.smt     01-Jun-2008 03:57   14K  
[TXT] sc-6.induction2.cvc.smt    01-Jun-2008 03:57   17K  
[TXT] sc-6.induction3.cvc.smt    01-Jun-2008 03:57   17K  
[TXT] sc-7.base.cvc.smt          01-Jun-2008 03:57   17K  
[TXT] sc-7.induction.cvc.smt     01-Jun-2008 03:57   17K  
[TXT] sc-7.induction2.cvc.smt    01-Jun-2008 03:57   20K  
[TXT] sc-7.induction3.cvc.smt    01-Jun-2008 03:57   19K  
[TXT] sc-8.base.cvc.smt          01-Jun-2008 03:57   19K  
[TXT] sc-8.induction.cvc.smt     01-Jun-2008 03:57   19K  
[TXT] sc-8.induction2.cvc.smt    01-Jun-2008 03:57   22K  
[TXT] sc-8.induction3.cvc.smt    01-Jun-2008 03:57   22K  
[TXT] sc-9.base.cvc.smt          01-Jun-2008 03:57   21K  
[TXT] sc-9.induction.cvc.smt     01-Jun-2008 03:57   21K  
[TXT] sc-9.induction2.cvc.smt    01-Jun-2008 03:57   25K  
[TXT] sc-9.induction3.cvc.smt    01-Jun-2008 03:57   25K  
[TXT] sc-10.base.cvc.smt         01-Jun-2008 03:56   24K  
[TXT] sc-10.induction.cvc.smt    01-Jun-2008 03:56   24K  
[TXT] sc-10.induction2.cvc.smt   01-Jun-2008 03:56   27K  
[TXT] sc-10.induction3.cvc.smt   01-Jun-2008 03:56   27K  
[TXT] sc-11.base.cvc.smt         01-Jun-2008 03:56   26K  
[TXT] sc-11.induction.cvc.smt    01-Jun-2008 03:56   26K  
[TXT] sc-11.induction2.cvc.smt   01-Jun-2008 03:56   30K  
[TXT] sc-11.induction3.cvc.smt   01-Jun-2008 03:56   30K  
[TXT] sc-12.base.cvc.smt         01-Jun-2008 03:56   29K  
[TXT] sc-12.induction.cvc.smt    01-Jun-2008 03:56   28K  
[TXT] sc-12.induction2.cvc.smt   01-Jun-2008 03:56   33K  
[TXT] sc-12.induction3.cvc.smt   01-Jun-2008 03:56   33K  
[TXT] sc-13.base.cvc.smt         01-Jun-2008 03:56   31K  
[TXT] sc-13.induction.cvc.smt    01-Jun-2008 03:56   31K  
[TXT] sc-13.induction2.cvc.smt   01-Jun-2008 03:56   36K  
[TXT] sc-13.induction3.cvc.smt   01-Jun-2008 03:56   35K  
[TXT] sc-14.base.cvc.smt         01-Jun-2008 03:56   33K  
[TXT] sc-14.induction.cvc.smt    01-Jun-2008 03:56   33K  
[TXT] sc-14.induction2.cvc.smt   01-Jun-2008 03:56   38K  
[TXT] sc-14.induction3.cvc.smt   01-Jun-2008 03:56   38K  
[TXT] sc-15.base.cvc.smt         01-Jun-2008 03:56   36K  
[TXT] sc-15.induction.cvc.smt    01-Jun-2008 03:56   35K  
[TXT] sc-15.induction2.cvc.smt   01-Jun-2008 03:56   41K  
[TXT] sc-15.induction3.cvc.smt   01-Jun-2008 03:56   41K  
[TXT] sc-16.base.cvc.smt         01-Jun-2008 03:56   38K  
[TXT] sc-16.induction.cvc.smt    01-Jun-2008 03:56   38K  
[TXT] sc-16.induction2.cvc.smt   01-Jun-2008 03:56   44K  
[TXT] sc-16.induction3.cvc.smt   01-Jun-2008 03:56   43K  
[TXT] sc-17.base.cvc.smt         01-Jun-2008 03:56   40K  
[TXT] sc-17.induction.cvc.smt    01-Jun-2008 03:56   40K  
[TXT] sc-17.induction2.cvc.smt   01-Jun-2008 03:56   47K  
[TXT] sc-17.induction3.cvc.smt   01-Jun-2008 03:56   46K  
[TXT] sc-18.base.cvc.smt         01-Jun-2008 03:56   43K  
[TXT] sc-18.induction.cvc.smt    01-Jun-2008 03:56   42K  
[TXT] sc-18.induction2.cvc.smt   01-Jun-2008 03:56   49K  
[TXT] sc-18.induction3.cvc.smt   01-Jun-2008 03:56   49K  
[TXT] sc-19.base.cvc.smt         01-Jun-2008 03:56   45K  
[TXT] sc-19.induction.cvc.smt    01-Jun-2008 03:56   45K  
[TXT] sc-19.induction2.cvc.smt   01-Jun-2008 03:56   52K  
[TXT] sc-19.induction3.cvc.smt   01-Jun-2008 03:56   52K  
[TXT] sc-20.base.cvc.smt         01-Jun-2008 03:56   47K  
[TXT] sc-20.induction.cvc.smt    01-Jun-2008 03:56   47K  
[TXT] sc-20.induction2.cvc.smt   01-Jun-2008 03:56   55K  
[TXT] sc-20.induction3.cvc.smt   01-Jun-2008 03:56   54K  
[TXT] sc-21.base.cvc.smt         01-Jun-2008 03:56   50K  
[TXT] sc-21.induction.cvc.smt    01-Jun-2008 03:56   49K  
[TXT] sc-21.induction2.cvc.smt   01-Jun-2008 03:56   57K  
[TXT] sc-21.induction3.cvc.smt   01-Jun-2008 03:56   57K  
[TXT] sc-22.base.cvc.smt         01-Jun-2008 03:56   52K  
[TXT] sc-22.induction.cvc.smt    01-Jun-2008 03:56   52K  
[TXT] sc-22.induction2.cvc.smt   01-Jun-2008 03:56   60K  
[TXT] sc-22.induction3.cvc.smt   01-Jun-2008 03:56   60K  
[TXT] sc-23.base.cvc.smt         01-Jun-2008 03:56   54K  
[TXT] sc-23.induction.cvc.smt    01-Jun-2008 03:56   54K  
[TXT] sc-23.induction2.cvc.smt   01-Jun-2008 03:56   63K  
[TXT] sc-23.induction3.cvc.smt   01-Jun-2008 03:56   62K  
[TXT] sc-24.base.cvc.smt         01-Jun-2008 03:56   57K  
[TXT] sc-24.induction.cvc.smt    01-Jun-2008 03:56   57K  
[TXT] sc-24.induction2.cvc.smt   01-Jun-2008 03:56   66K  
[TXT] sc-24.induction3.cvc.smt   01-Jun-2008 03:56   65K  
[TXT] sc-25.base.cvc.smt         01-Jun-2008 03:56   59K  
[TXT] sc-25.induction.cvc.smt    01-Jun-2008 03:56   59K  
[TXT] sc-25.induction2.cvc.smt   01-Jun-2008 03:56   69K  
[TXT] sc-25.induction3.cvc.smt   01-Jun-2008 03:56   68K  
[TXT] sc-26.base.cvc.smt         01-Jun-2008 03:56   61K  
[TXT] sc-26.induction.cvc.smt    01-Jun-2008 03:56   61K  
[TXT] sc-26.induction2.cvc.smt   01-Jun-2008 03:56   71K  
[TXT] sc-26.induction3.cvc.smt   01-Jun-2008 03:56   70K  
[TXT] sc-27.base.cvc.smt         01-Jun-2008 03:56   64K  
[TXT] sc-27.induction.cvc.smt    01-Jun-2008 03:56   64K  
[TXT] sc-27.induction2.cvc.smt   01-Jun-2008 03:56   74K  
[TXT] sc-27.induction3.cvc.smt   01-Jun-2008 03:56   73K  
[TXT] sc-28.base.cvc.smt         01-Jun-2008 03:56   66K  
[TXT] sc-28.induction.cvc.smt    01-Jun-2008 03:56   66K  
[TXT] sc-28.induction2.cvc.smt   01-Jun-2008 03:56   77K  
[TXT] sc-28.induction3.cvc.smt   01-Jun-2008 03:56   76K  
[TXT] sc-29.base.cvc.smt         01-Jun-2008 03:56   68K  
[TXT] sc-29.induction.cvc.smt    01-Jun-2008 03:56   68K  
[TXT] sc-29.induction2.cvc.smt   01-Jun-2008 03:56   80K  
[TXT] sc-29.induction3.cvc.smt   01-Jun-2008 03:56   78K  
[TXT] sc-30.base.cvc.smt         01-Jun-2008 03:56   71K  
[TXT] sc-30.induction.cvc.smt    01-Jun-2008 03:56   71K  
[TXT] sc-30.induction2.cvc.smt   01-Jun-2008 03:56   82K  
[TXT] sc-30.induction3.cvc.smt   01-Jun-2008 03:56   81K  
[TXT] sc-31.base.cvc.smt         01-Jun-2008 03:56   73K  
[TXT] sc-31.induction.cvc.smt    01-Jun-2008 03:56   73K  
[TXT] sc-31.induction2.cvc.smt   01-Jun-2008 03:56   85K  
[TXT] sc-31.induction3.cvc.smt   01-Jun-2008 03:56   84K  
[TXT] sc-32.base.cvc.smt         01-Jun-2008 03:56   76K  
[TXT] sc-32.induction.cvc.smt    01-Jun-2008 03:56   75K  
[TXT] sc-32.induction2.cvc.smt   01-Jun-2008 03:56   88K  
[TXT] sc-32.induction3.cvc.smt   01-Jun-2008 03:56   87K  
[TXT] sc-33.base.cvc.smt         01-Jun-2008 03:56   78K  
[TXT] sc-33.induction.cvc.smt    01-Jun-2008 03:56   78K  
[TXT] sc-33.induction2.cvc.smt   01-Jun-2008 03:56   90K  
[TXT] sc-33.induction3.cvc.smt   01-Jun-2008 03:56   89K  
[TXT] sc-34.base.cvc.smt         01-Jun-2008 03:56   80K  
[TXT] sc-34.induction.cvc.smt    01-Jun-2008 03:56   80K  
[TXT] sc-34.induction2.cvc.smt   01-Jun-2008 03:57   93K  
[TXT] sc-34.induction3.cvc.smt   01-Jun-2008 03:57   92K  
[TXT] sc-35.base.cvc.smt         01-Jun-2008 03:57   83K  
[TXT] sc-35.induction.cvc.smt    01-Jun-2008 03:57   82K  
[TXT] sc-35.induction2.cvc.smt   01-Jun-2008 03:57   96K  
[TXT] sc-35.induction3.cvc.smt   01-Jun-2008 03:57   95K  
[TXT] sc-36.base.cvc.smt         01-Jun-2008 03:57   85K  
[TXT] sc-36.induction.cvc.smt    01-Jun-2008 03:57   85K  
[TXT] sc-36.induction2.cvc.smt   01-Jun-2008 03:57   99K  
[TXT] sc-36.induction3.cvc.smt   01-Jun-2008 03:57   97K  
[TXT] sc-37.base.cvc.smt         01-Jun-2008 03:57   87K  
[TXT] sc-37.induction.cvc.smt    01-Jun-2008 03:57   87K  
[TXT] sc-37.induction2.cvc.smt   01-Jun-2008 03:57  101K  
[TXT] sc-37.induction3.cvc.smt   01-Jun-2008 03:57  100K  
[TXT] sc-38.base.cvc.smt         01-Jun-2008 03:57   90K  
[TXT] sc-38.induction.cvc.smt    01-Jun-2008 03:57   89K  
[TXT] sc-38.induction2.cvc.smt   01-Jun-2008 03:57  104K  
[TXT] sc-38.induction3.cvc.smt   01-Jun-2008 03:57  103K  
[TXT] sc-39.base.cvc.smt         01-Jun-2008 03:57   92K  
[TXT] sc-39.induction.cvc.smt    01-Jun-2008 03:57   92K  
[TXT] sc-39.induction2.cvc.smt   01-Jun-2008 03:57  107K  
[TXT] sc-39.induction3.cvc.smt   01-Jun-2008 03:57  105K  
[TXT] sc-40.base.cvc.smt         01-Jun-2008 03:57   94K  
[TXT] sc-40.induction.cvc.smt    01-Jun-2008 03:57   94K  
[TXT] sc-40.induction2.cvc.smt   01-Jun-2008 03:57  109K  
[TXT] sc-40.induction3.cvc.smt   01-Jun-2008 03:57  108K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80