Index of /trunk/source/SMTInterpolTest/test/lira

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 cut-lemmas/                             2016-09-21 18:49    -   
 shareintreal.smt2                       2018-10-23 09:21  408   
 tightrhombus-lira-283-245-4-sat.smt2    2016-09-21 18:49  575   
 tightrhombus-lira-283-245-4-unsat.smt2  2016-09-21 18:49  583   
 tightrhombus-283-245-4.smt2             2016-09-21 18:49  611   
 tightrhombus-283-245-4-unsat.smt2       2016-09-21 18:49  613   
 tightrhombus-lira-283-245-8-sat.smt2    2016-09-21 18:49  619   
 tightrhombus-lira-273-245-9-sat.smt2    2016-09-21 18:49  622   
 tightrhombus-lira-283-245-8-unsat.smt2  2016-09-21 18:49  626   
 tightrhombus-lira-273-245-8-sat.smt2    2016-09-21 18:49  627   
 tightrhombus-lira-273-245-10-sat.smt2   2016-09-21 18:49  634   
 tightrhombus-lira-273-245-8-unsat.smt2  2016-09-21 18:49  635   
 tightrhombus-lira-283-245-9-sat.smt2    2016-09-21 18:49  637   
 tightrhombus-lira-283-245-10-sat.smt2   2016-09-21 18:49  642   
 tightrhombus-273-245-4-satmod.smt2      2016-09-21 18:49  643   
 tightrhombus-lira-273-245-9-unsat.smt2  2016-09-21 18:49  647   
 tightrhombus-273-245-4-sat.smt2         2016-09-21 18:49  655   
 tightrhombus-273-245-4-unsat.smt2       2016-09-21 18:49  658   
 tightrhombus-lira-273-245-10-unsat.smt2 2016-09-21 18:49  659   
 tightrhombus-lira-283-245-9-unsat.smt2  2016-09-21 18:49  664   
 tightrhombus-lira-283-245-10-unsat.smt2 2016-09-21 18:49  675   
 tightrhombus-283-245-4-sat.smt2         2016-09-21 18:49  680   
 tightrhombus-273-245-4b-sat.smt2        2016-09-21 18:49  707   
 tightrhombus-273-245-4b-unsat.smt2      2016-09-21 18:49  710