| Test | Status | Reason |
|---|---|---|
| Check Formula1 | ✅ Passed | - |
| Check Formula2 | ❌ Failed | Encoding of formula 2 is wrong |
| Check Formula3 | ❌ Failed | Encoding of formula 3 is wrong |
| Check Formula4 | ❌ Failed | Encoding of formula 4 is wrong |
| Check Formula5 | ❌ Failed | Encoding of formula 5 is wrong |
| Check Formula6 | ❌ Failed | Encoding of formula 6 is wrong |
| Check Formula7 | ❌ Failed | Encoding of formula 7 is wrong |
| Check Conclusion | ✅ Passed | - |
| Test | Status | Reason |
|---|---|---|
| Check Formula1 | ❌ Failed | |
| Check Formula2 | ❌ Failed | |
| Check Formula3 | ❌ Failed | |
| Check Formula4 | ❌ Failed | |
| Check Conclusion | ❌ Failed |
| Test | Status | Reason |
|---|---|---|
| Purpose Office1 | ✅ Passed | - |
| Purpose Office2 | ❌ Failed | For office purpose, the budget should be at least €283, Check (get-value (budget)) |
| Purpose Server1 | ✅ Passed | - |
| Purpose Server2 | ❌ Failed | For server purpose, the budget should be at least €307, Check (get-value (budget)) |
| Purpose Gaming1 | ✅ Passed | - |
| Purpose Gaming2 | ❌ Failed | For gaming purpose, the budget should be at least €1006, Check (get-value (budget)) |
| Purpose Video Editing1 | ✅ Passed | - |
| Purpose Video Editing2 | ❌ Failed | For video editing purpose, the budget should be at least €318, Check (get-value (budget)) |