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

Detailed results for SVC at QF_LIA

BenchmarkAnswerTimeCorrect?
CIRC/MULTIPLIER_10.msat.smtunknown --
CIRC/MULTIPLIER_14.msat.smtunknown --
CIRC/MULTIPLIER_16.msat.smtunknown --
CIRC/MULTIPLIER_5.msat.smtunknown --
CIRC/MULTIPLIER_8.msat.smtunknown --
CIRC/MULTIPLIER_PRIME_10.msat.smtunknown --
CIRC/MULTIPLIER_PRIME_15.msat.smtunknown --
CIRC/MULTIPLIER_PRIME_3.msat.smtunknown --
CIRC/MULTIPLIER_PRIME_5.msat.smtunknown --
CIRC/MULTIPLIER_PRIME_8.msat.smtunknown --
CIRC/SIMPLEBITADDER_COMPOSE_10.msat.smtunknown --
CIRC/SIMPLEBITADDER_COMPOSE_15.msat.smtunknown --
CIRC/SIMPLEBITADDER_COMPOSE_3.msat.smtunsat 0.2 yes
CIRC/SIMPLEBITADDER_COMPOSE_32.msat.smtunknown --
CIRC/SIMPLEBITADDER_COMPOSE_5.msat.smtunsat 6.7 yes
CIRC/SIMPLEBITADDER_COMPOSE_8.msat.smtunknown --
RTCL/b04_tf_15/ckt_PROP0_tf_15.smtunknown --
RTCL/b04_tf_20/ckt_PROP0_tf_20.smtunknown --
RTCL/b13_tf_100/b13_tf_100.smtunsat 8.3 yes
check/int_incompleteness2.smtunknown --
check/int_incompleteness3.smtunknown --
mathsat/FISCHER10-10-fair.smtunknown --
mathsat/FISCHER10-12-fair.smtunknown --
mathsat/FISCHER10-15-fair.smtunknown --
mathsat/FISCHER10-4-fair.smtunknown --
mathsat/FISCHER10-5-fair.smtunknown --
mathsat/FISCHER10-8-fair.smtunknown --
mathsat/FISCHER10-9-fair.smtunknown --
mathsat/FISCHER11-10-fair.smtunknown --
mathsat/FISCHER11-12-fair.smtunknown --
mathsat/FISCHER11-13-fair.smtunknown --
mathsat/FISCHER11-14-fair.smtunknown --
mathsat/FISCHER11-15-fair.smtunknown --
mathsat/FISCHER11-16-fair.smtunknown --
mathsat/FISCHER11-5-fair.smtunknown --
mathsat/FISCHER2-2-fair.smtunsat 0.2 yes
mathsat/FISCHER2-5-fair.smtunsat 4.7 yes
mathsat/FISCHER6-10-fair.smtunknown --
mathsat/FISCHER6-11-fair.smtunknown --
mathsat/FISCHER6-5-fair.smtunknown --
mathsat/FISCHER7-10-fair.smtunknown --
mathsat/FISCHER7-12-fair.smtunknown --
mathsat/FISCHER7-5-fair.smtunknown --
mathsat/FISCHER8-10-fair.smtunknown --
mathsat/FISCHER8-13-fair.smtunknown --
mathsat/FISCHER8-5-fair.smtunknown --
mathsat/FISCHER9-10-fair.smtunknown --
mathsat/FISCHER9-14-fair.smtunknown --
mathsat/FISCHER9-5-fair.smtunknown --
wisa/wisa1.smtunknown --
wisa/wisa2.smtunknown --
wisa/wisa3.smtunknown --
wisa/wisa4.smtunknown --
wisa/wisa5.smtunknown --
Home • Intro • Rules • Participants • Results • Tools • Bench • Org • SMT-LIB

Last modified: Tue 17 Feb 2015 14:59 UTC