Home • Intro • Rules • Participants • Results • Tools • Bench • Org • SMT-LIB

Detailed results for CVC Lite at QF_IDL

BenchmarkAnswerTimeCorrect?
DTP/DTP_k2_n35_c175_s9.smtunknown --
DTP/DTP_k2_n35_c210_s10.smtunknown --
DTP/DTP_k2_n35_c210_s16.smtunknown --
DTP/DTP_k2_n35_c210_s2.smtunknown --
DTP/DTP_k2_n35_c210_s4.smtunknown --
DTP/DTP_k2_n35_c210_s9.smtunknown --
DTP/DTP_k2_n35_c245_s10.smtunknown --
DTP/DTP_k2_n35_c245_s15.smtunknown --
DTP/DTP_k2_n35_c245_s2.smtunknown --
DTP/DTP_k2_n35_c245_s20.smtunknown --
DTP/DTP_k2_n35_c245_s5.smtunknown --
DTP/DTP_k2_n35_c245_s9.smtunknown --
check/int_incompleteness1.smtunsat 0.0 yes
diamonds/diamonds.10.2.i.a.u.smtunknown --
diamonds/diamonds.10.3.i.a.u.smtunsat 14.9 yes
diamonds/diamonds.14.5.i.a.u.smtunsat 304.4 yes
diamonds/diamonds.18.10.i.a.u.smtunknown --
diamonds/diamonds.18.5.i.a.u.smtunknown --
mathsat/FISCHER10-10-ninc.smtunknown --
mathsat/FISCHER10-11-ninc.smtunknown --
mathsat/FISCHER10-5-ninc.smtunsat 24.8 yes
mathsat/FISCHER13-10-ninc.smtunknown --
mathsat/FISCHER13-13-ninc.smtunknown --
mathsat/FISCHER13-14-ninc.smtunknown --
mathsat/FISCHER13-5-ninc.smtunsat 43.9 yes
mathsat/FISCHER14-10-ninc.smtunknown --
mathsat/FISCHER14-14-ninc.smtunknown --
mathsat/FISCHER14-15-ninc.smtunknown --
mathsat/FISCHER5-5-ninc.smtunsat 5.6 yes
mathsat/FISCHER9-10-ninc.smtunknown --
mathsat/FISCHER9-9-ninc.smtunknown --
mathsat/PO3-10-PO3.smtsat 142.4 yes
mathsat/PO3-5-PO3.smtunsat 31.0 yes
mathsat/PO3-7-PO3.smtunsat 66.5 yes
mathsat/PO4-10-PO4.smtunknown --
mathsat/PO4-11-PO4.smtunknown --
mathsat/PO4-4-PO4.smtunknown --
mathsat/PO4-6-PO4.smtunknown --
mathsat/PO4-8-PO4.smtunknown --
sal/inf-bakery-invalid-10.smtsat 2.7 yes
sal/inf-bakery-mutex-10.smtunsat 21.5 yes
sal/inf-bakery-mutex-15.smtunknown --
sal/inf-bakery-mutex-20.smtunknown --
sal/lpsat-goal-10.smtunknown --
sal/lpsat-goal-15.smtunknown --
sal/lpsat-goal-19.smtunknown --
sal/lpsat-goal-20.smtunknown --
sal/lpsat-goal-5.smtunknown --
sep/LD_ST_neg.2step.smtunsat 0.5 yes
sep/LD_ST_neg.3step.smtunsat 7.0 yes
sep/cache_neg.2step.smtunsat 0.2 yes
Home • Intro • Rules • Participants • Results • Tools • Bench • Org • SMT-LIB

Last modified: Tue 17 Feb 2015 14:59 UTC