| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/queens_bench/n_queen/queen100-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen10-1.smt | sat | 0 | crafted | sat | 5270 | Yes |
| QF_IDL/queens_bench/n_queen/queen11-1.smt | sat | 0 | crafted | sat | 4132 | Yes |
| QF_IDL/queens_bench/n_queen/queen12-1.smt | sat | 0 | crafted | sat | 6892 | Yes |
| QF_IDL/queens_bench/n_queen/queen13-1.smt | sat | 0 | crafted | sat | 4964 | Yes |
| QF_IDL/queens_bench/n_queen/queen14-1.smt | sat | 0 | crafted | sat | 24473 | Yes |
| QF_IDL/queens_bench/n_queen/queen15-1.smt | sat | 0 | crafted | sat | 16296 | Yes |
| QF_IDL/queens_bench/n_queen/queen16-1.smt | sat | 0 | crafted | sat | 93642 | Yes |
| QF_IDL/queens_bench/n_queen/queen17-1.smt | sat | 0 | crafted | sat | 66123 | Yes |
| QF_IDL/queens_bench/n_queen/queen18-1.smt | sat | 0 | crafted | sat | 427469 | Yes |
| QF_IDL/queens_bench/n_queen/queen19-1.smt | sat | 0 | crafted | sat | 44917 | Yes |
| QF_IDL/queens_bench/n_queen/queen20-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen21-1.smt | sat | 0 | crafted | sat | 147263 | Yes |
| QF_IDL/queens_bench/n_queen/queen2-1.smt | unsat | 0 | crafted | unsat | 690 | Yes |
| QF_IDL/queens_bench/n_queen/queen22-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen23-1.smt | sat | 0 | crafted | sat | 449792 | Yes |
| QF_IDL/queens_bench/n_queen/queen24-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen25-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen26-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen27-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen28-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen29-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen30-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen31-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen3-1.smt | unsat | 0 | crafted | unsat | 771 | Yes |
| QF_IDL/queens_bench/n_queen/queen32-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen33-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen34-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen35-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen36-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen37-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen38-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen39-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen40-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen41-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen4-1.smt | sat | 0 | crafted | sat | 1040 | Yes |
| QF_IDL/queens_bench/n_queen/queen42-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen43-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen44-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen45-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen46-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen47-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen48-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen49-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen50-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen51-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen5-1.smt | sat | 0 | crafted | sat | 1077 | Yes |
| QF_IDL/queens_bench/n_queen/queen52-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen53-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen54-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen55-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen56-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen57-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen58-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen59-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen60-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen61-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen6-1.smt | sat | 0 | crafted | sat | 1910 | Yes |
| QF_IDL/queens_bench/n_queen/queen62-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen63-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen64-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen65-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen66-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen67-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen68-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen69-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen70-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen71-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen7-1.smt | sat | 0 | crafted | sat | 1746 | Yes |
| QF_IDL/queens_bench/n_queen/queen72-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen73-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen74-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen75-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen76-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen77-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen78-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen79-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen80-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen81-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen8-1.smt | sat | 0 | crafted | sat | 4570 | Yes |
| QF_IDL/queens_bench/n_queen/queen82-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen83-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen84-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen85-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen86-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen87-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen88-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen89-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen90-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen91-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen9-1.smt | sat | 0 | crafted | sat | 2829 | Yes |
| QF_IDL/queens_bench/n_queen/queen92-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen93-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen94-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen95-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen96-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen97-1.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen98-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/n_queen/queen99-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen100-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen10-1.smt | sat | 0 | crafted | sat | 6184 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen11-1.smt | sat | 0 | crafted | sat | 5599 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen12-1.smt | sat | 0 | crafted | sat | 38203 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen13-1.smt | sat | 0 | crafted | sat | 31827 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen14-1.smt | sat | 0 | crafted | sat | 121544 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen15-1.smt | sat | 0 | crafted | sat | 34524 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen16-1.smt | sat | 0 | crafted | sat | 166974 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen17-1.smt | sat | 0 | crafted | sat | 25687 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen18-1.smt | sat | 0 | crafted | sat | 164108 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen19-1.smt | sat | 0 | crafted | sat | 95129 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen20-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen21-1.smt | sat | 0 | crafted | sat | 977899 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen2-1.smt | unsat | 0 | crafted | unsat | 646 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen22-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen23-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen24-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen25-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen26-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen27-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen28-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen29-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen30-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen31-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen3-1.smt | unsat | 0 | crafted | unsat | 728 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen32-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen33-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen34-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen35-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen36-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen37-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen38-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen39-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen40-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen41-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen4-1.smt | unsat | 0 | crafted | unsat | 971 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen42-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen43-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen44-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen45-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen46-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen47-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen48-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen49-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen50-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen51-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen5-1.smt | unsat | 0 | crafted | unsat | 1445 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen52-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen53-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen54-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen55-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen56-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen57-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen58-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen59-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen60-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen61-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen6-1.smt | unsat | 0 | crafted | unsat | 2097 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen62-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen63-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen64-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen65-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen66-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen67-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen68-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen69-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen70-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen71-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen7-1.smt | unsat | 0 | crafted | unsat | 2871 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen72-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen73-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen74-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen75-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen76-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen77-1.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen78-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen79-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen80-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen81-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen8-1.smt | unsat | 0 | crafted | unsat | 4477 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen82-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen83-1.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen84-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen85-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen86-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen87-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen88-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen89-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen90-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen91-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen9-1.smt | unsat | 0 | crafted | unsat | 8676 | Yes |
| QF_IDL/queens_bench/super_queen/super_queen92-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen93-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen94-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen95-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen96-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen97-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen98-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/super_queen/super_queen99-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen100-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen10-1.smt | unsat | 0 | crafted | unsat | 23666 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen11-1.smt | sat | 0 | crafted | sat | 3468 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen12-1.smt | unsat | 0 | crafted | unsat | 363930 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen13-1.smt | sat | 0 | crafted | sat | 3965 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen14-1.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen15-1.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen16-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen17-1.smt | sat | 0 | crafted | sat | 42046 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen18-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen19-1.smt | sat | 0 | crafted | sat | 532327 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen20-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen21-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen2-1.smt | unsat | 0 | crafted | unsat | 607 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen22-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen23-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen24-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen25-1.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen26-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen27-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen28-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen29-1.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen30-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen31-1.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen3-1.smt | unsat | 0 | crafted | unsat | 766 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen32-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen33-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen34-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen35-1.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen36-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen37-1.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen38-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen39-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen40-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen41-1.smt | sat | 3 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen4-1.smt | unsat | 0 | crafted | unsat | 886 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen42-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen43-1.smt | sat | 3 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen44-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen45-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen46-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen47-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen48-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen49-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen50-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen51-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen5-1.smt | sat | 0 | crafted | sat | 1011 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen52-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen53-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen54-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen55-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen56-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen57-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen58-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen59-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen60-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen61-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen6-1.smt | unsat | 0 | crafted | unsat | 1879 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen62-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen63-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen64-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen65-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen66-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen67-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen68-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen69-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen70-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen71-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen7-1.smt | sat | 0 | crafted | sat | 1413 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen72-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen73-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen74-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen75-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen76-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen77-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen78-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen79-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen80-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen81-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen8-1.smt | unsat | 0 | crafted | unsat | 3985 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen82-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen83-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen84-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen85-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen86-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen87-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen88-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen89-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen90-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen91-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen9-1.smt | unsat | 0 | crafted | unsat | 8541 | Yes |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen92-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen93-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen94-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen95-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen96-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen97-1.smt | sat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen98-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_IDL/queens_bench/toroidal_bench/toroidal_queen99-1.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| Total: | 297 | |||||
| Correct: | 53 | |||||
| Incorrect: | 0 |