detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn007.smt2 (content) sat unknown 0.142s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn007.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn006.smt2 (content) sat unknown 0.287s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn006.smt2 (content) sat unknown 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn006.smt2 (content) sat unknown 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn006.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn005.smt2 (content) unsat unknown 0.193s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn005.smt2 (content) unsat unknown 0.111s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn005.smt2 (content) unsat unknown 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn005.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn004.smt2 (content) unsat unknown 0.585s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn004.smt2 (content) unsat unknown 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn004.smt2 (content) unsat unknown 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn004.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn003.smt2 (content) unsat unknown 0.352s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn003.smt2 (content) unsat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn003.smt2 (content) unsat unknown 0.097s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn003.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk007.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk007.smt2 (content) unknown unknown 10.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk007.smt2 (content) unknown unknown 10.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk007.smt2 (content) unsat unknown 0.966s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk006.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk006.smt2 (content) unsat unknown 0.567s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_icl_sk006.smt2 (content) unsat unknown 0.511s