Index of /smtlib/benchmarks/QF_AUFLIA/storeinv

 Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 storeinv_invalid_t1_pp_nf_ai_00002_001.cvc.smt 02-Jun-2008 09:42  819   
 storeinv_invalid_t1_pp_nf_ai_00003_001.cvc.smt 02-Jun-2008 09:42  964   
 storeinv_invalid_t1_pp_nf_ai_00004_001.cvc.smt 02-Jun-2008 09:42  1.1K  
 storeinv_invalid_t1_pp_nf_ai_00005_001.cvc.smt 02-Jun-2008 09:42  1.2K  
 storeinv_invalid_t1_pp_nf_ai_00006_001.cvc.smt 02-Jun-2008 09:42  1.4K  
 storeinv_invalid_t1_pp_nf_ai_00007_001.cvc.smt 02-Jun-2008 09:42  1.6K  
 storeinv_invalid_t1_pp_nf_ai_00008_001.cvc.smt 02-Jun-2008 09:42  1.7K  
 storeinv_invalid_t1_pp_nf_ai_00009_001.cvc.smt 02-Jun-2008 09:42  1.9K  
 storeinv_invalid_t1_pp_nf_ai_00010_001.cvc.smt 02-Jun-2008 09:42  2.1K  
 storeinv_invalid_t1_pp_sf_ai_00002_001.cvc.smt 02-Jun-2008 09:42  1.2K  
 storeinv_invalid_t1_pp_sf_ai_00003_001.cvc.smt 02-Jun-2008 09:42  1.5K  
 storeinv_invalid_t1_pp_sf_ai_00004_001.cvc.smt 02-Jun-2008 09:42  1.8K  
 storeinv_invalid_t1_pp_sf_ai_00005_001.cvc.smt 02-Jun-2008 09:42  2.1K  
 storeinv_invalid_t1_pp_sf_ai_00006_001.cvc.smt 02-Jun-2008 09:42  2.4K  
 storeinv_invalid_t1_pp_sf_ai_00007_001.cvc.smt 02-Jun-2008 09:42  2.7K  
 storeinv_invalid_t1_pp_sf_ai_00008_001.cvc.smt 02-Jun-2008 09:42  3.0K  
 storeinv_invalid_t1_pp_sf_ai_00009_001.cvc.smt 02-Jun-2008 09:42  3.3K  
 storeinv_invalid_t1_pp_sf_ai_00010_001.cvc.smt 02-Jun-2008 09:42  3.6K  
 storeinv_invalid_t3_pp_nf_ai_00002_001.cvc.smt 02-Jun-2008 09:42  819   
 storeinv_invalid_t3_pp_nf_ai_00003_001.cvc.smt 02-Jun-2008 09:42  964   
 storeinv_invalid_t3_pp_nf_ai_00004_001.cvc.smt 02-Jun-2008 09:42  1.1K  
 storeinv_invalid_t3_pp_nf_ai_00005_001.cvc.smt 02-Jun-2008 09:42  1.2K  
 storeinv_invalid_t3_pp_nf_ai_00006_001.cvc.smt 02-Jun-2008 09:42  1.4K  
 storeinv_invalid_t3_pp_nf_ai_00007_001.cvc.smt 02-Jun-2008 09:42  1.6K  
 storeinv_invalid_t3_pp_nf_ai_00008_001.cvc.smt 02-Jun-2008 09:42  1.7K  
 storeinv_invalid_t3_pp_nf_ai_00009_001.cvc.smt 02-Jun-2008 09:42  1.9K  
 storeinv_invalid_t3_pp_nf_ai_00010_001.cvc.smt 02-Jun-2008 09:42  2.1K  
 storeinv_invalid_t3_pp_sf_ai_00002_001.cvc.smt 02-Jun-2008 09:42  1.2K  
 storeinv_invalid_t3_pp_sf_ai_00003_001.cvc.smt 02-Jun-2008 09:42  1.5K  
 storeinv_invalid_t3_pp_sf_ai_00004_001.cvc.smt 02-Jun-2008 09:42  1.8K  
 storeinv_invalid_t3_pp_sf_ai_00005_001.cvc.smt 02-Jun-2008 09:42  2.1K  
 storeinv_invalid_t3_pp_sf_ai_00006_001.cvc.smt 02-Jun-2008 09:42  2.4K  
 storeinv_invalid_t3_pp_sf_ai_00007_001.cvc.smt 02-Jun-2008 09:42  2.7K  
 storeinv_invalid_t3_pp_sf_ai_00008_001.cvc.smt 02-Jun-2008 09:42  3.0K  
 storeinv_invalid_t3_pp_sf_ai_00009_001.cvc.smt 02-Jun-2008 09:42  3.3K  
 storeinv_invalid_t3_pp_sf_ai_00010_001.cvc.smt 02-Jun-2008 09:42  3.6K  
 storeinv_t1_pp_nf_ai_00001_001.cvc.smt         02-Jun-2008 09:42  678   
 storeinv_t1_pp_nf_ai_00002_001.cvc.smt         02-Jun-2008 09:42  821   
 storeinv_t1_pp_nf_ai_00003_001.cvc.smt         02-Jun-2008 09:42  966   
 storeinv_t1_pp_nf_ai_00004_001.cvc.smt         02-Jun-2008 09:42  1.1K  
 storeinv_t1_pp_nf_ai_00005_001.cvc.smt         02-Jun-2008 09:42  1.2K  
 storeinv_t1_pp_nf_ai_00006_001.cvc.smt         02-Jun-2008 09:42  1.4K  
 storeinv_t1_pp_nf_ai_00007_001.cvc.smt         02-Jun-2008 09:42  1.6K  
 storeinv_t1_pp_nf_ai_00008_001.cvc.smt         02-Jun-2008 09:42  1.7K  
 storeinv_t1_pp_nf_ai_00009_001.cvc.smt         02-Jun-2008 09:42  1.9K  
 storeinv_t1_pp_nf_ai_00010_001.cvc.smt         19-Feb-2008 10:39  2.1K  
 storeinv_t1_pp_sf_ai_00001_001.cvc.smt         02-Jun-2008 09:42  1.0K  
 storeinv_t1_pp_sf_ai_00002_001.cvc.smt         02-Jun-2008 09:42  1.2K  
 storeinv_t1_pp_sf_ai_00003_001.cvc.smt         02-Jun-2008 09:42  1.5K  
 storeinv_t1_pp_sf_ai_00004_001.cvc.smt         02-Jun-2008 09:42  1.8K  
 storeinv_t1_pp_sf_ai_00005_001.cvc.smt         02-Jun-2008 09:42  2.1K  
 storeinv_t1_pp_sf_ai_00006_001.cvc.smt         02-Jun-2008 09:42  2.4K  
 storeinv_t1_pp_sf_ai_00007_001.cvc.smt         02-Jun-2008 09:42  2.7K  
 storeinv_t1_pp_sf_ai_00008_001.cvc.smt         02-Jun-2008 09:42  3.0K  
 storeinv_t1_pp_sf_ai_00009_001.cvc.smt         02-Jun-2008 09:42  3.3K  
 storeinv_t1_pp_sf_ai_00010_001.cvc.smt         19-Feb-2008 10:39  3.6K  
 storeinv_t3_pp_nf_ai_00001_001.cvc.smt         02-Jun-2008 09:42  678   
 storeinv_t3_pp_nf_ai_00002_001.cvc.smt         02-Jun-2008 09:42  821   
 storeinv_t3_pp_nf_ai_00003_001.cvc.smt         02-Jun-2008 09:42  966   
 storeinv_t3_pp_nf_ai_00004_001.cvc.smt         02-Jun-2008 09:42  1.1K  
 storeinv_t3_pp_nf_ai_00005_001.cvc.smt         02-Jun-2008 09:42  1.2K  
 storeinv_t3_pp_nf_ai_00006_001.cvc.smt         02-Jun-2008 09:42  1.4K  
 storeinv_t3_pp_nf_ai_00007_001.cvc.smt         02-Jun-2008 09:42  1.6K  
 storeinv_t3_pp_nf_ai_00008_001.cvc.smt         02-Jun-2008 09:42  1.7K  
 storeinv_t3_pp_nf_ai_00009_001.cvc.smt         02-Jun-2008 09:42  1.9K  
 storeinv_t3_pp_nf_ai_00010_001.cvc.smt         19-Feb-2008 10:39  2.1K  
 storeinv_t3_pp_sf_ai_00001_001.cvc.smt         02-Jun-2008 09:42  1.0K  
 storeinv_t3_pp_sf_ai_00002_001.cvc.smt         02-Jun-2008 09:42  1.2K  
 storeinv_t3_pp_sf_ai_00003_001.cvc.smt         02-Jun-2008 09:42  1.5K  
 storeinv_t3_pp_sf_ai_00004_001.cvc.smt         02-Jun-2008 09:42  1.8K  
 storeinv_t3_pp_sf_ai_00005_001.cvc.smt         02-Jun-2008 09:42  2.1K  
 storeinv_t3_pp_sf_ai_00006_001.cvc.smt         02-Jun-2008 09:42  2.4K  
 storeinv_t3_pp_sf_ai_00007_001.cvc.smt         02-Jun-2008 09:42  2.7K  
 storeinv_t3_pp_sf_ai_00008_001.cvc.smt         02-Jun-2008 09:42  3.0K  
 storeinv_t3_pp_sf_ai_00009_001.cvc.smt         02-Jun-2008 09:42  3.3K  
 storeinv_t3_pp_sf_ai_00010_001.cvc.smt         19-Feb-2008 10:39  3.6K