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

Detailed results for SBT at QF_UFIDL

BenchmarkAnswerTimeCorrect?
check/int_incompleteness1.smtunsat 0.1 yes
pete/6stage-flush.smtunsat 0.3 yes
pete/9stage-flush.smtunsat 1.8 yes
pete/cxs-bp-ex-inp.smtunknown --
pete/cxs-bp.smtunsat 4.2 yes
pete/cxs-safety.smtunsat 0.2 yes
pete/cxs.smtunsat 0.2 yes
pete/fxs-bp-ex-inp-safety.smtunsat 5.2 yes
pete/fxs-bp-ex.smtunsat 4.6 yes
pete/fxs-safety.smtunsat 0.3 yes
pete/fxs.smtunsat 0.5 yes
pete2/c10ni.smtunknown --
pete2/c6_s.smtunsat 0.1 yes
pete2/c6b_s.smtunsat 0.1 yes
pete2/c6bidw_s.smtunsat 0.5 yes
pete2/c8b_i.smtunsat 11.5 yes
pete2/c8idw_i.smtunsat 3.9 yes
pete2/f10nidw.smtunknown --
pete2/f8b.smtunsat 4.3 yes
pete2/f8bidw.smtunknown --
pete2/f9.smtunsat 1.9 yes
pete2/f9idw.smtunknown --
pete2/g10bidw.smtunknown --
pete2/g10i.smtunknown --
pete2/g6bidw.smtunsat 9.7 yes
pete2/g7.smtunsat 3.0 yes
pete2/g8nidw.smtunknown --
pete2/g9idw.smtunknown --
pete2/g9n.smtunknown --
uclid/22s.smtunsat 0.1 yes
uclid/43s.smtunsat 0.2 yes
uclid/cache.inv12.smtunsat 1.2 yes
uclid/cache.inv8.smtunsat 0.2 yes
uclid/dlx1c.rwmem.smtunsat 0.3 yes
uclid/dlx1c.smtunsat 0.2 yes
uclid/elf.rf10.smtunsat 3.7 yes
uclid/elf.rf8.smtunsat 36.5 yes
uclid/ooo.rf10.smtunsat 0.9 yes
uclid/ooo.rf6.smtunsat 0.1 yes
uclid/ooo.tag10.smtunsat 0.6 yes
uclid/q2.10.smtunsat 0.3 yes
uclid/q2.14.smtunsat 2.2 yes
uclid2/bug1.smtunsat 0.6 no
uclid2/bug2.smtunsat 0.2 no
uclid2/cache.inv15.smtunknown --
uclid2/elf.rf12.smtunknown --
uclid2/ooo.rf13.smtunsat 2.0 yes
uclid2/ooo.tag15.smtunsat 3.2 yes
uclid2/ooo.tag19.smtunknown --
Home • Intro • Rules • Participants • Results • Tools • Bench • Org • SMT-LIB

Last modified: Tue 17 Feb 2015 14:59 UTC