Detailed results for Ario at QF_UF
Benchmark | Answer | Time | Correct? |
NEQ/NEQ004_size4.smt | unsat |
0.4 |
yes |
NEQ/NEQ004_size7.smt | unsat |
5.3 |
yes |
NEQ/NEQ006_size5.smt | unknown |
- | - |
NEQ/NEQ015_size3.smt | unknown |
- | - |
NEQ/NEQ016_size5.smt | unknown |
- | - |
NEQ/NEQ016_size8.smt | unknown |
- | - |
NEQ/NEQ031_size10.smt | unknown |
- | - |
NEQ/NEQ032_size3.smt | unsat |
47.3 |
yes |
NEQ/NEQ041_size6.smt | unknown |
- | - |
NEQ/NEQ046_size3.smt | unknown |
- | - |
NEQ/NEQ048_size6.smt | unknown |
- | - |
NEQ/NEQ048_size9.smt | unknown |
- | - |
PEQ/PEQ002_size6.smt | unknown |
- | - |
PEQ/PEQ002_size8.smt | unknown |
- | - |
PEQ/PEQ003_size7.smt | unknown |
- | - |
PEQ/PEQ003_size9.smt | unknown |
- | - |
PEQ/PEQ004_size7.smt | unknown |
- | - |
PEQ/PEQ011_size5.smt | unknown |
- | - |
PEQ/PEQ011_size7.smt | unknown |
- | - |
PEQ/PEQ012_size3.smt | unsat |
324.0 |
yes |
PEQ/PEQ012_size5.smt | unknown |
- | - |
PEQ/PEQ013_size8.smt | unknown |
- | - |
PEQ/PEQ016_size4.smt | unknown |
- | - |
PEQ/PEQ016_size6.smt | unknown |
- | - |
PEQ/PEQ016_size7.smt | unknown |
- | - |
PEQ/PEQ018_size4.smt | unknown |
- | - |
PEQ/PEQ018_size7.smt | unknown |
- | - |
PEQ/PEQ019_size5.smt | unknown |
- | - |
PEQ/PEQ020_size4.smt | unknown |
- | - |
PEQ/PEQ020_size6.smt | unknown |
- | - |
SEQ/SEQ004_size5.smt | unsat |
7.4 |
yes |
SEQ/SEQ004_size6.smt | unsat |
36.9 |
yes |
SEQ/SEQ004_size7.smt | sat |
148.2 |
yes |
SEQ/SEQ005_size9.smt | unknown |
- | - |
SEQ/SEQ009_size7.smt | unsat |
100.2 |
yes |
SEQ/SEQ009_size8.smt | unknown |
- | - |
SEQ/SEQ009_size9.smt | unknown |
- | - |
SEQ/SEQ010_size9.smt | unknown |
- | - |
SEQ/SEQ011_size4.smt | unknown |
- | - |
SEQ/SEQ013_size6.smt | unknown |
- | - |
SEQ/SEQ015_size4.smt | unknown |
- | - |
SEQ/SEQ017_size6.smt | unknown |
- | - |
SEQ/SEQ018_size8.smt | unknown |
- | - |
SEQ/SEQ020_size4.smt | unknown |
- | - |
SEQ/SEQ026_size4.smt | unknown |
- | - |
SEQ/SEQ032_size2.smt | unsat |
0.3 |
yes |
SEQ/SEQ035_size6.smt | unknown |
- | - |
SEQ/SEQ038_size9.smt | unknown |
- | - |
SEQ/SEQ042_size3.smt | unsat |
67.5 |
yes |
SEQ/SEQ050_size3.smt | unsat |
55.0 |
yes |
Last modified: Tue 17 Feb 2015 14:59 UTC