Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | bmc-ibm-1.smtv1.smt2 | 1845002 | logplain |
-rw-r--r-- | bmc-ibm-2.smtv1.smt2 | 394235 | logplain |
-rw-r--r-- | bmc-ibm-5.smtv1.smt2 | 1428542 | logplain |
-rw-r--r-- | bmc-ibm-7.smtv1.smt2 | 1353034 | logplain |
-rw-r--r-- | eq_diamond14.smtv1.smt2 | 2093 | logplain |
-rw-r--r-- | friedman_n6_i4.smtv1.smt2 | 1661509 | logplain |
-rw-r--r-- | hole9.cvc | 13887 | logplain |
-rw-r--r-- | incorrect1.smtv1.smt2 | 122471 | logplain |
-rw-r--r-- | issue2429.smt2 | 7934 | logplain |
-rw-r--r-- | pp-regfile.smtv1.smt2 | 265438 | logplain |
-rw-r--r-- | qwh.35.405.shuffled-as.sat03-1651.smtv1.smt2 | 295247 | logplain |
-rw-r--r-- | sixfuncs.sy | 1397 | logplain |
-rw-r--r-- | strings-any-term.sy | 367 | logplain |
d--------- | strings | 44 | logplain |