detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl007.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl006.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl005.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl004.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl003.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl002.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl001.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk054.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk047.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk044.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk043.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk040.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk039.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk038.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk033.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk032.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk031.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk025.smt2 (content) unsat unsat 0.056s