detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk006.smt2 (content) sat unknown 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk006.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk005.smt2 (content) unsat unknown 0.705s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk005.smt2 (content) unsat unknown 0.123s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk005.smt2 (content) unsat unknown 0.118s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk005.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk004.smt2 (content) unsat unknown 0.502s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk004.smt2 (content) unsat unknown 0.196s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk004.smt2 (content) unsat unknown 0.200s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk004.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk003.smt2 (content) unsat unknown 3.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk003.smt2 (content) unsat unknown 0.149s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk003.smt2 (content) unsat unknown 0.145s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk003.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk002.smt2 (content) sat unknown 0.351s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk002.smt2 (content) sat unknown 0.133s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk002.smt2 (content) sat unknown 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk002.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk001.smt2 (content) sat unknown 0.288s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk001.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk001.smt2 (content) sat unknown 0.111s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk001.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk055.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk055.smt2 (content) sat unknown 3.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk055.smt2 (content) sat unknown 3s