Index of /smtlib/benchmarks/QF_LIA/rings

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 ring_2exp4_3vars_0ite_unsat.smt  01-Jun-2008 03:42  5.1K  
 ring_2exp4_3vars_1ite_unsat.smt  01-Jun-2008 03:42  4.6K  
 ring_2exp4_3vars_2ite_unsat.smt  01-Jun-2008 03:42  4.2K  
 ring_2exp4_4vars_0ite_unsat.smt  01-Jun-2008 03:42  7.5K  
 ring_2exp4_4vars_1ite_unsat.smt  01-Jun-2008 03:42  7.0K  
 ring_2exp4_4vars_2ite_unsat.smt  01-Jun-2008 03:42  6.6K  
 ring_2exp4_4vars_3ite_unsat.smt  01-Jun-2008 03:42  6.1K  
 ring_2exp4_5vars_0ite_unsat.smt  01-Jun-2008 03:42  9.8K  
 ring_2exp4_5vars_1ite_unsat.smt  01-Jun-2008 03:42  9.4K  
 ring_2exp4_5vars_2ite_unsat.smt  01-Jun-2008 03:42  8.9K  
 ring_2exp4_5vars_3ite_unsat.smt  01-Jun-2008 03:42  8.5K  
 ring_2exp4_5vars_4ite_unsat.smt  01-Jun-2008 03:42  8.1K  
 ring_2exp4_6vars_0ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp4_6vars_1ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp4_6vars_2ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp4_6vars_3ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp4_6vars_4ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp4_6vars_5ite_unsat.smt  01-Jun-2008 03:42   10K  
 ring_2exp4_7vars_0ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp4_7vars_1ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp4_7vars_2ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp4_7vars_3ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp4_7vars_4ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp4_7vars_5ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp4_7vars_6ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp4_8vars_0ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp4_8vars_1ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp4_8vars_2ite_unsat.smt  01-Jun-2008 03:42   16K  
 ring_2exp4_8vars_3ite_unsat.smt  01-Jun-2008 03:42   16K  
 ring_2exp4_8vars_4ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp4_8vars_5ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp4_8vars_6ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp4_8vars_7ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp4_9vars_0ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp4_9vars_1ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp4_9vars_2ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp4_9vars_3ite_unsat.smt  01-Jun-2008 03:42   18K  
 ring_2exp4_9vars_4ite_unsat.smt  01-Jun-2008 03:42   18K  
 ring_2exp4_9vars_5ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp4_9vars_6ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp4_9vars_7ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp4_9vars_8ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp6_3vars_0ite_unsat.smt  01-Jun-2008 03:42  5.1K  
 ring_2exp6_3vars_1ite_unsat.smt  01-Jun-2008 03:42  4.6K  
 ring_2exp6_3vars_2ite_unsat.smt  01-Jun-2008 03:42  4.2K  
 ring_2exp6_4vars_0ite_unsat.smt  01-Jun-2008 03:42  7.5K  
 ring_2exp6_4vars_1ite_unsat.smt  01-Jun-2008 03:42  7.0K  
 ring_2exp6_4vars_2ite_unsat.smt  01-Jun-2008 03:42  6.6K  
 ring_2exp6_4vars_3ite_unsat.smt  01-Jun-2008 03:42  6.1K  
 ring_2exp6_5vars_0ite_unsat.smt  01-Jun-2008 03:42  9.8K  
 ring_2exp6_5vars_1ite_unsat.smt  01-Jun-2008 03:42  9.4K  
 ring_2exp6_5vars_2ite_unsat.smt  01-Jun-2008 03:42  8.9K  
 ring_2exp6_5vars_3ite_unsat.smt  01-Jun-2008 03:42  8.5K  
 ring_2exp6_5vars_4ite_unsat.smt  01-Jun-2008 03:42  8.2K  
 ring_2exp6_6vars_0ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp6_6vars_1ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp6_6vars_2ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp6_6vars_3ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp6_6vars_4ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp6_6vars_5ite_unsat.smt  01-Jun-2008 03:42   10K  
 ring_2exp6_7vars_0ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp6_7vars_1ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp6_7vars_2ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp6_7vars_3ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp6_7vars_4ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp6_7vars_5ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp6_7vars_6ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp6_8vars_0ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp6_8vars_1ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp6_8vars_2ite_unsat.smt  01-Jun-2008 03:42   16K  
 ring_2exp6_8vars_3ite_unsat.smt  01-Jun-2008 03:42   16K  
 ring_2exp6_8vars_4ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp6_8vars_5ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp6_8vars_6ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp6_8vars_7ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp6_9vars_0ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp6_9vars_1ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp6_9vars_2ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp6_9vars_3ite_unsat.smt  01-Jun-2008 03:42   18K  
 ring_2exp6_9vars_4ite_unsat.smt  01-Jun-2008 03:42   18K  
 ring_2exp6_9vars_5ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp6_9vars_6ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp6_9vars_7ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp6_9vars_8ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp8_3vars_0ite_unsat.smt  01-Jun-2008 03:42  5.1K  
 ring_2exp8_3vars_1ite_unsat.smt  01-Jun-2008 03:42  4.7K  
 ring_2exp8_3vars_2ite_unsat.smt  01-Jun-2008 03:42  4.2K  
 ring_2exp8_4vars_0ite_unsat.smt  01-Jun-2008 03:42  7.5K  
 ring_2exp8_4vars_1ite_unsat.smt  01-Jun-2008 03:42  7.0K  
 ring_2exp8_4vars_2ite_unsat.smt  01-Jun-2008 03:42  6.6K  
 ring_2exp8_4vars_3ite_unsat.smt  01-Jun-2008 03:42  6.2K  
 ring_2exp8_5vars_0ite_unsat.smt  01-Jun-2008 03:42  9.9K  
 ring_2exp8_5vars_1ite_unsat.smt  01-Jun-2008 03:42  9.4K  
 ring_2exp8_5vars_2ite_unsat.smt  01-Jun-2008 03:42  9.0K  
 ring_2exp8_5vars_3ite_unsat.smt  01-Jun-2008 03:42  8.6K  
 ring_2exp8_5vars_4ite_unsat.smt  01-Jun-2008 03:42  8.2K  
 ring_2exp8_6vars_0ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp8_6vars_1ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp8_6vars_2ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp8_6vars_3ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp8_6vars_4ite_unsat.smt  01-Jun-2008 03:42   11K  
 ring_2exp8_6vars_5ite_unsat.smt  01-Jun-2008 03:42   10K  
 ring_2exp8_7vars_0ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp8_7vars_1ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp8_7vars_2ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp8_7vars_3ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp8_7vars_4ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp8_7vars_5ite_unsat.smt  01-Jun-2008 03:42   13K  
 ring_2exp8_7vars_6ite_unsat.smt  01-Jun-2008 03:42   12K  
 ring_2exp8_8vars_0ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp8_8vars_1ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp8_8vars_2ite_unsat.smt  01-Jun-2008 03:42   16K  
 ring_2exp8_8vars_3ite_unsat.smt  01-Jun-2008 03:42   16K  
 ring_2exp8_8vars_4ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp8_8vars_5ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp8_8vars_6ite_unsat.smt  01-Jun-2008 03:42   15K  
 ring_2exp8_8vars_7ite_unsat.smt  01-Jun-2008 03:42   14K  
 ring_2exp8_9vars_0ite_unsat.smt  01-Jun-2008 03:42   20K  
 ring_2exp8_9vars_1ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp8_9vars_2ite_unsat.smt  01-Jun-2008 03:42   19K  
 ring_2exp8_9vars_3ite_unsat.smt  01-Jun-2008 03:42   18K  
 ring_2exp8_9vars_4ite_unsat.smt  01-Jun-2008 03:42   18K  
 ring_2exp8_9vars_5ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp8_9vars_6ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp8_9vars_7ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp8_9vars_8ite_unsat.smt  01-Jun-2008 03:42   17K  
 ring_2exp10_3vars_0ite_unsat.smt 01-Jun-2008 03:41  5.1K  
 ring_2exp10_3vars_1ite_unsat.smt 01-Jun-2008 03:41  4.7K  
 ring_2exp10_3vars_2ite_unsat.smt 01-Jun-2008 03:41  4.3K  
 ring_2exp10_4vars_0ite_unsat.smt 01-Jun-2008 03:41  7.5K  
 ring_2exp10_4vars_1ite_unsat.smt 01-Jun-2008 03:41  7.1K  
 ring_2exp10_4vars_2ite_unsat.smt 01-Jun-2008 03:41  6.6K  
 ring_2exp10_4vars_3ite_unsat.smt 01-Jun-2008 03:41  6.2K  
 ring_2exp10_5vars_0ite_unsat.smt 01-Jun-2008 03:41  9.9K  
 ring_2exp10_5vars_1ite_unsat.smt 01-Jun-2008 03:41  9.5K  
 ring_2exp10_5vars_2ite_unsat.smt 01-Jun-2008 03:41  9.1K  
 ring_2exp10_5vars_3ite_unsat.smt 01-Jun-2008 03:41  8.6K  
 ring_2exp10_5vars_4ite_unsat.smt 01-Jun-2008 03:41  8.3K  
 ring_2exp10_6vars_0ite_unsat.smt 01-Jun-2008 03:41   12K  
 ring_2exp10_6vars_1ite_unsat.smt 01-Jun-2008 03:41   12K  
 ring_2exp10_6vars_2ite_unsat.smt 01-Jun-2008 03:41   11K  
 ring_2exp10_6vars_3ite_unsat.smt 01-Jun-2008 03:41   11K  
 ring_2exp10_6vars_4ite_unsat.smt 01-Jun-2008 03:41   11K  
 ring_2exp10_6vars_5ite_unsat.smt 01-Jun-2008 03:41   10K  
 ring_2exp10_7vars_0ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp10_7vars_1ite_unsat.smt 01-Jun-2008 03:41   14K  
 ring_2exp10_7vars_2ite_unsat.smt 01-Jun-2008 03:41   14K  
 ring_2exp10_7vars_3ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp10_7vars_4ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp10_7vars_5ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp10_7vars_6ite_unsat.smt 01-Jun-2008 03:41   12K  
 ring_2exp10_8vars_0ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp10_8vars_1ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp10_8vars_2ite_unsat.smt 01-Jun-2008 03:41   16K  
 ring_2exp10_8vars_3ite_unsat.smt 01-Jun-2008 03:41   16K  
 ring_2exp10_8vars_4ite_unsat.smt 01-Jun-2008 03:41   16K  
 ring_2exp10_8vars_5ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp10_8vars_6ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp10_8vars_7ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp10_9vars_0ite_unsat.smt 01-Jun-2008 03:41   20K  
 ring_2exp10_9vars_1ite_unsat.smt 01-Jun-2008 03:41   19K  
 ring_2exp10_9vars_2ite_unsat.smt 01-Jun-2008 03:41   19K  
 ring_2exp10_9vars_3ite_unsat.smt 01-Jun-2008 03:41   18K  
 ring_2exp10_9vars_4ite_unsat.smt 01-Jun-2008 03:41   18K  
 ring_2exp10_9vars_5ite_unsat.smt 01-Jun-2008 03:41   18K  
 ring_2exp10_9vars_6ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp10_9vars_7ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp10_9vars_8ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp12_3vars_0ite_unsat.smt 01-Jun-2008 03:41  5.1K  
 ring_2exp12_3vars_1ite_unsat.smt 01-Jun-2008 03:41  4.7K  
 ring_2exp12_3vars_2ite_unsat.smt 01-Jun-2008 03:41  4.3K  
 ring_2exp12_4vars_0ite_unsat.smt 01-Jun-2008 03:41  7.5K  
 ring_2exp12_4vars_1ite_unsat.smt 01-Jun-2008 03:41  7.1K  
 ring_2exp12_4vars_2ite_unsat.smt 01-Jun-2008 03:41  6.6K  
 ring_2exp12_4vars_3ite_unsat.smt 01-Jun-2008 03:41  6.2K  
 ring_2exp12_5vars_0ite_unsat.smt 01-Jun-2008 03:41  9.9K  
 ring_2exp12_5vars_1ite_unsat.smt 01-Jun-2008 03:41  9.5K  
 ring_2exp12_5vars_2ite_unsat.smt 01-Jun-2008 03:41  9.1K  
 ring_2exp12_5vars_3ite_unsat.smt 01-Jun-2008 03:41  8.6K  
 ring_2exp12_5vars_4ite_unsat.smt 01-Jun-2008 03:41  8.3K  
 ring_2exp12_6vars_0ite_unsat.smt 01-Jun-2008 03:41   12K  
 ring_2exp12_6vars_1ite_unsat.smt 01-Jun-2008 03:41   12K  
 ring_2exp12_6vars_2ite_unsat.smt 01-Jun-2008 03:41   11K  
 ring_2exp12_6vars_3ite_unsat.smt 01-Jun-2008 03:41   11K  
 ring_2exp12_6vars_4ite_unsat.smt 01-Jun-2008 03:41   11K  
 ring_2exp12_6vars_5ite_unsat.smt 01-Jun-2008 03:41   10K  
 ring_2exp12_7vars_0ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp12_7vars_1ite_unsat.smt 01-Jun-2008 03:41   14K  
 ring_2exp12_7vars_2ite_unsat.smt 01-Jun-2008 03:41   14K  
 ring_2exp12_7vars_3ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp12_7vars_4ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp12_7vars_5ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp12_7vars_6ite_unsat.smt 01-Jun-2008 03:41   13K  
 ring_2exp12_8vars_0ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp12_8vars_1ite_unsat.smt 01-Jun-2008 03:41   17K  
 ring_2exp12_8vars_2ite_unsat.smt 01-Jun-2008 03:41   16K  
 ring_2exp12_8vars_3ite_unsat.smt 01-Jun-2008 03:41   16K  
 ring_2exp12_8vars_4ite_unsat.smt 01-Jun-2008 03:41   16K  
 ring_2exp12_8vars_5ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp12_8vars_6ite_unsat.smt 01-Jun-2008 03:41   15K  
 ring_2exp12_8vars_7ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp12_9vars_0ite_unsat.smt 01-Jun-2008 03:42   20K  
 ring_2exp12_9vars_1ite_unsat.smt 01-Jun-2008 03:42   19K  
 ring_2exp12_9vars_2ite_unsat.smt 01-Jun-2008 03:42   19K  
 ring_2exp12_9vars_3ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp12_9vars_4ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp12_9vars_5ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp12_9vars_6ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp12_9vars_7ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp12_9vars_8ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp14_3vars_0ite_unsat.smt 01-Jun-2008 03:42  5.2K  
 ring_2exp14_3vars_1ite_unsat.smt 01-Jun-2008 03:42  4.7K  
 ring_2exp14_3vars_2ite_unsat.smt 01-Jun-2008 03:42  4.3K  
 ring_2exp14_4vars_0ite_unsat.smt 01-Jun-2008 03:42  7.6K  
 ring_2exp14_4vars_1ite_unsat.smt 01-Jun-2008 03:42  7.1K  
 ring_2exp14_4vars_2ite_unsat.smt 01-Jun-2008 03:42  6.7K  
 ring_2exp14_4vars_3ite_unsat.smt 01-Jun-2008 03:42  6.3K  
 ring_2exp14_5vars_0ite_unsat.smt 01-Jun-2008 03:42   10K  
 ring_2exp14_5vars_1ite_unsat.smt 01-Jun-2008 03:42  9.6K  
 ring_2exp14_5vars_2ite_unsat.smt 01-Jun-2008 03:42  9.1K  
 ring_2exp14_5vars_3ite_unsat.smt 01-Jun-2008 03:42  8.7K  
 ring_2exp14_5vars_4ite_unsat.smt 01-Jun-2008 03:42  8.3K  
 ring_2exp14_6vars_0ite_unsat.smt 01-Jun-2008 03:42   12K  
 ring_2exp14_6vars_1ite_unsat.smt 01-Jun-2008 03:42   12K  
 ring_2exp14_6vars_2ite_unsat.smt 01-Jun-2008 03:42   12K  
 ring_2exp14_6vars_3ite_unsat.smt 01-Jun-2008 03:42   11K  
 ring_2exp14_6vars_4ite_unsat.smt 01-Jun-2008 03:42   11K  
 ring_2exp14_6vars_5ite_unsat.smt 01-Jun-2008 03:42   10K  
 ring_2exp14_7vars_0ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp14_7vars_1ite_unsat.smt 01-Jun-2008 03:42   14K  
 ring_2exp14_7vars_2ite_unsat.smt 01-Jun-2008 03:42   14K  
 ring_2exp14_7vars_3ite_unsat.smt 01-Jun-2008 03:42   14K  
 ring_2exp14_7vars_4ite_unsat.smt 01-Jun-2008 03:42   13K  
 ring_2exp14_7vars_5ite_unsat.smt 01-Jun-2008 03:42   13K  
 ring_2exp14_7vars_6ite_unsat.smt 01-Jun-2008 03:42   13K  
 ring_2exp14_8vars_0ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp14_8vars_1ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp14_8vars_2ite_unsat.smt 01-Jun-2008 03:42   16K  
 ring_2exp14_8vars_3ite_unsat.smt 01-Jun-2008 03:42   16K  
 ring_2exp14_8vars_4ite_unsat.smt 01-Jun-2008 03:42   16K  
 ring_2exp14_8vars_5ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp14_8vars_6ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp14_8vars_7ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp14_9vars_0ite_unsat.smt 01-Jun-2008 03:42   20K  
 ring_2exp14_9vars_1ite_unsat.smt 01-Jun-2008 03:42   19K  
 ring_2exp14_9vars_2ite_unsat.smt 01-Jun-2008 03:42   19K  
 ring_2exp14_9vars_3ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp14_9vars_4ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp14_9vars_5ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp14_9vars_6ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp14_9vars_7ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp14_9vars_8ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp16_3vars_0ite_unsat.smt 01-Jun-2008 03:42  5.2K  
 ring_2exp16_3vars_1ite_unsat.smt 01-Jun-2008 03:42  4.7K  
 ring_2exp16_3vars_2ite_unsat.smt 01-Jun-2008 03:42  4.3K  
 ring_2exp16_4vars_0ite_unsat.smt 01-Jun-2008 03:42  7.6K  
 ring_2exp16_4vars_1ite_unsat.smt 01-Jun-2008 03:42  7.1K  
 ring_2exp16_4vars_2ite_unsat.smt 01-Jun-2008 03:42  6.7K  
 ring_2exp16_4vars_3ite_unsat.smt 01-Jun-2008 03:42  6.3K  
 ring_2exp16_5vars_0ite_unsat.smt 01-Jun-2008 03:42   10K  
 ring_2exp16_5vars_1ite_unsat.smt 01-Jun-2008 03:42  9.6K  
 ring_2exp16_5vars_2ite_unsat.smt 01-Jun-2008 03:42  9.1K  
 ring_2exp16_5vars_3ite_unsat.smt 01-Jun-2008 03:42  8.7K  
 ring_2exp16_5vars_4ite_unsat.smt 01-Jun-2008 03:42  8.3K  
 ring_2exp16_6vars_0ite_unsat.smt 01-Jun-2008 03:42   12K  
 ring_2exp16_6vars_1ite_unsat.smt 01-Jun-2008 03:42   12K  
 ring_2exp16_6vars_2ite_unsat.smt 01-Jun-2008 03:42   12K  
 ring_2exp16_6vars_3ite_unsat.smt 01-Jun-2008 03:42   11K  
 ring_2exp16_6vars_4ite_unsat.smt 01-Jun-2008 03:42   11K  
 ring_2exp16_6vars_5ite_unsat.smt 01-Jun-2008 03:42   10K  
 ring_2exp16_7vars_0ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp16_7vars_1ite_unsat.smt 01-Jun-2008 03:42   14K  
 ring_2exp16_7vars_2ite_unsat.smt 01-Jun-2008 03:42   14K  
 ring_2exp16_7vars_3ite_unsat.smt 01-Jun-2008 03:42   14K  
 ring_2exp16_7vars_4ite_unsat.smt 01-Jun-2008 03:42   13K  
 ring_2exp16_7vars_5ite_unsat.smt 01-Jun-2008 03:42   13K  
 ring_2exp16_7vars_6ite_unsat.smt 01-Jun-2008 03:42   13K  
 ring_2exp16_8vars_0ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp16_8vars_1ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp16_8vars_2ite_unsat.smt 01-Jun-2008 03:42   16K  
 ring_2exp16_8vars_3ite_unsat.smt 01-Jun-2008 03:42   16K  
 ring_2exp16_8vars_4ite_unsat.smt 01-Jun-2008 03:42   16K  
 ring_2exp16_8vars_5ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp16_8vars_6ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp16_8vars_7ite_unsat.smt 01-Jun-2008 03:42   15K  
 ring_2exp16_9vars_0ite_unsat.smt 01-Jun-2008 03:42   20K  
 ring_2exp16_9vars_1ite_unsat.smt 01-Jun-2008 03:42   19K  
 ring_2exp16_9vars_2ite_unsat.smt 01-Jun-2008 03:42   19K  
 ring_2exp16_9vars_3ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp16_9vars_4ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp16_9vars_5ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp16_9vars_6ite_unsat.smt 01-Jun-2008 03:42   18K  
 ring_2exp16_9vars_7ite_unsat.smt 01-Jun-2008 03:42   17K  
 ring_2exp16_9vars_8ite_unsat.smt 01-Jun-2008 03:42   17K