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

Detailed results for CVC at QF_RDL

BenchmarkAnswerTimeCorrect?
sal/fischer3-mutex-10.smtunknown --
sal/fischer3-mutex-11.smtunknown --
sal/fischer3-mutex-12.smtunknown --
sal/fischer3-mutex-15.smtunknown --
sal/fischer3-mutex-20.smtunknown --
sal/fischer3-mutex-3.smtunsat 0.7 yes
sal/fischer3-mutex-5.smtunsat 3.9 yes
sal/fischer3-mutex-8.smtunsat 35.2 yes
sal/fischer6-mutex-10.smtunknown --
sal/fischer6-mutex-11.smtunknown --
sal/fischer6-mutex-12.smtunknown --
sal/fischer6-mutex-15.smtunknown --
sal/fischer6-mutex-20.smtunknown --
sal/fischer6-mutex-3.smtunsat 2.4 yes
sal/fischer6-mutex-5.smtunsat 68.1 yes
sal/fischer6-mutex-8.smtunknown --
sal/fischer9-mutex-10.smtunknown --
sal/fischer9-mutex-11.smtunknown --
sal/fischer9-mutex-12.smtunknown --
sal/fischer9-mutex-15.smtunknown --
sal/fischer9-mutex-20.smtunknown --
sal/fischer9-mutex-3.smtunsat 5.0 yes
sal/fischer9-mutex-5.smtunknown --
sal/fischer9-mutex-8.smtunknown --
scheduling/abz5_1000.smtunknown --
scheduling/abz5_1200.smtunknown --
scheduling/abz5_1234.smtunknown --
scheduling/abz6_800.smtunknown --
scheduling/abz6_900.smtunknown --
scheduling/orb01_900.smtunknown --
scheduling/orb02_888.smtunknown --
scheduling/orb03_1005.smtunknown --
scheduling/orb03_950.smtunknown --
scheduling/orb07_250.smtunknown --
scheduling/orb07_330.smtunknown --
scheduling/orb07_397.smtunknown --
scheduling/orb09_800.smtunknown --
scheduling/orb09_900.smtunknown --
scheduling/orb09_934.smtunknown --
scheduling/orb10_1000.smtunknown --
scheduling/orb10_800.smtunknown --
scheduling/yn1_750.smtunknown --
scheduling/yn2_750.smtunknown --
scheduling/yn2_950.smtunknown --
scheduling/yn3_750.smtunknown --
scheduling/yn3_950.smtunknown --
skdmxa/skdmxa-3x3-10.smtunknown --
skdmxa/skdmxa-3x3-15.smtunknown --
skdmxa/skdmxa-3x3-20.smtunknown --
skdmxa/skdmxa-3x3-5.smtunknown --
Home • Intro • Rules • Participants • Results • Tools • Bench • Org • SMT-LIB

Last modified: Tue 17 Feb 2015 14:59 UTC