Index of /smtlib/benchmarks/QF_AX/storeinv
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
storeinv_invalid_t1_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 674
storeinv_invalid_t1_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 804
storeinv_invalid_t1_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 934
storeinv_invalid_t1_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_invalid_t1_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.2K
storeinv_invalid_t1_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_invalid_t1_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.4K
storeinv_invalid_t1_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_invalid_t1_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 1.7K
storeinv_invalid_t1_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_invalid_t1_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_invalid_t1_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_invalid_t1_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.9K
storeinv_invalid_t1_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.2K
storeinv_invalid_t1_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 2.5K
storeinv_invalid_t1_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 2.8K
storeinv_invalid_t1_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 3.1K
storeinv_invalid_t1_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.4K
storeinv_invalid_t3_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 674
storeinv_invalid_t3_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 804
storeinv_invalid_t3_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 934
storeinv_invalid_t3_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_invalid_t3_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.2K
storeinv_invalid_t3_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_invalid_t3_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.4K
storeinv_invalid_t3_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_invalid_t3_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 1.7K
storeinv_invalid_t3_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_invalid_t3_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_invalid_t3_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_invalid_t3_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.9K
storeinv_invalid_t3_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.2K
storeinv_invalid_t3_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 2.5K
storeinv_invalid_t3_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 2.8K
storeinv_invalid_t3_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 3.1K
storeinv_invalid_t3_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.4K
storeinv_t1_np_nf_ai_00001_001.cvc.smt 01-Jun-2008 20:47 546
storeinv_t1_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 676
storeinv_t1_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 806
storeinv_t1_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 936
storeinv_t1_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_t1_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.2K
storeinv_t1_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_t1_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.4K
storeinv_t1_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_t1_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 1.7K
storeinv_t1_np_sf_ai_00001_001.cvc.smt 01-Jun-2008 20:47 762
storeinv_t1_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_t1_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_t1_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_t1_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.9K
storeinv_t1_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.2K
storeinv_t1_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 2.5K
storeinv_t1_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 2.8K
storeinv_t1_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 3.1K
storeinv_t1_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.5K
storeinv_t2_np_nf_ai_00001_001.cvc.smt 01-Jun-2008 20:47 546
storeinv_t2_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 676
storeinv_t2_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 806
storeinv_t2_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 936
storeinv_t2_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_t2_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.2K
storeinv_t2_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_t2_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.4K
storeinv_t2_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_t2_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 1.7K
storeinv_t2_np_sf_ai_00001_001.cvc.smt 01-Jun-2008 20:47 762
storeinv_t2_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_t2_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_t2_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_t2_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.9K
storeinv_t2_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.2K
storeinv_t2_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 2.5K
storeinv_t2_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 2.8K
storeinv_t2_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 3.1K
storeinv_t2_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.5K
storeinv_t3_np_nf_ai_00001_001.cvc.smt 01-Jun-2008 20:47 546
storeinv_t3_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 676
storeinv_t3_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 806
storeinv_t3_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 936
storeinv_t3_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_t3_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.2K
storeinv_t3_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_t3_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.4K
storeinv_t3_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_t3_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 1.7K
storeinv_t3_np_sf_ai_00001_001.cvc.smt 01-Jun-2008 20:47 762
storeinv_t3_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 1.0K
storeinv_t3_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.3K
storeinv_t3_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.6K
storeinv_t3_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.9K
storeinv_t3_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.2K
storeinv_t3_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 2.5K
storeinv_t3_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 2.8K
storeinv_t3_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 3.1K
storeinv_t3_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.5K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80