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

Detailed results for SBT at QF_UF

BenchmarkAnswerTimeCorrect?
NEQ/NEQ004_size4.smtunsat 0.1 yes
NEQ/NEQ004_size7.smtunsat 0.1 yes
NEQ/NEQ006_size5.smtunsat 0.3 yes
NEQ/NEQ015_size3.smtunsat 0.3 yes
NEQ/NEQ016_size5.smtunsat 0.1 yes
NEQ/NEQ016_size8.smtunsat 0.1 yes
NEQ/NEQ031_size10.smtunsat 1.6 yes
NEQ/NEQ032_size3.smtunsat 0.1 yes
NEQ/NEQ041_size6.smtunsat 0.1 yes
NEQ/NEQ046_size3.smtunsat 0.3 yes
NEQ/NEQ048_size6.smtunsat 0.1 yes
NEQ/NEQ048_size9.smtunsat 0.2 yes
PEQ/PEQ002_size6.smtunsat 0.2 yes
PEQ/PEQ002_size8.smtunsat 0.3 yes
PEQ/PEQ003_size7.smtunsat 0.1 yes
PEQ/PEQ003_size9.smtunsat 0.2 yes
PEQ/PEQ004_size7.smtunsat 0.2 yes
PEQ/PEQ011_size5.smtunsat 0.1 yes
PEQ/PEQ011_size7.smtunsat 0.2 yes
PEQ/PEQ012_size3.smtunsat 0.1 yes
PEQ/PEQ012_size5.smtunsat 0.1 yes
PEQ/PEQ013_size8.smtunsat 0.4 yes
PEQ/PEQ016_size4.smtunsat 0.1 yes
PEQ/PEQ016_size6.smtunsat 0.4 yes
PEQ/PEQ016_size7.smtunsat 0.6 yes
PEQ/PEQ018_size4.smtunsat 0.1 yes
PEQ/PEQ018_size7.smtunsat 0.1 yes
PEQ/PEQ019_size5.smtunsat 0.1 yes
PEQ/PEQ020_size4.smtunsat 0.1 yes
PEQ/PEQ020_size6.smtunsat 0.2 yes
SEQ/SEQ004_size5.smtunsat 0.1 yes
SEQ/SEQ004_size6.smtunsat 0.2 yes
SEQ/SEQ004_size7.smtunsat 0.3 no
SEQ/SEQ005_size9.smtunsat 0.4 yes
SEQ/SEQ009_size7.smtunsat 0.1 yes
SEQ/SEQ009_size8.smtunsat 0.1 yes
SEQ/SEQ009_size9.smtunsat 0.1 yes
SEQ/SEQ010_size9.smtunsat 0.2 yes
SEQ/SEQ011_size4.smtunsat 0.5 no
SEQ/SEQ013_size6.smtunsat 0.1 no
SEQ/SEQ015_size4.smtunsat 0.1 no
SEQ/SEQ017_size6.smtunsat 0.1 no
SEQ/SEQ018_size8.smtunsat 0.2 no
SEQ/SEQ020_size4.smtunsat 0.5 no
SEQ/SEQ026_size4.smtunsat 0.1 yes
SEQ/SEQ032_size2.smtunsat 0.1 yes
SEQ/SEQ035_size6.smtunsat 0.1 no
SEQ/SEQ038_size9.smtunsat 0.2 yes
SEQ/SEQ042_size3.smtunsat 0.1 yes
SEQ/SEQ050_size3.smtunsat 0.1 yes
Home • Intro • Rules • Participants • Results • Tools • Bench • Org • SMT-LIB

Last modified: Tue 17 Feb 2015 14:59 UTC