detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn004.smt2 (content) sat unknown 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn004.smt2 (content) sat unknown 0.169s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn003.smt2 (content) sat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn003.smt2 (content) sat unknown 0.968s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn003.smt2 (content) sat unknown 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn003.smt2 (content) sat unknown 0.150s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk013.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk013.smt2 (content) unsat unknown 0.154s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk013.smt2 (content) unsat unknown 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk013.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk012.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk012.smt2 (content) unsat unknown 0.284s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk012.smt2 (content) unsat unknown 0.279s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk012.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk011.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk011.smt2 (content) unsat unknown 0.186s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk011.smt2 (content) unsat unknown 0.186s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk011.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk010.smt2 (content) unsat unknown 0.917s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk010.smt2 (content) unsat unknown 0.152s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk010.smt2 (content) unsat unknown 0.153s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk010.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk009.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk009.smt2 (content) unsat unknown 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk009.smt2 (content) unsat unknown 0.173s