detailed results (2841 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn179.smt2 (content) sat unknown 0.145s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn178.smt2 (content) sat unknown 0.132s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn177.smt2 (content) sat unknown 0.093s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn176.smt2 (content) sat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn175.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn174.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn173.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn172.smt2 (content) sat unknown 0.668s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn171.smt2 (content) sat unknown 0.336s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn170.smt2 (content) sat unknown 0.675s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat unknown 1.9s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat unknown 0.289s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat unknown 0.288s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat unknown 0.270s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat unknown 0.284s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.383s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.156s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.128s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.192s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat unknown 0.130s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn156.smt2 (content) sat unknown 0.100s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn155.smt2 (content) sat unknown 0.420s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn154.smt2 (content) sat unknown 0.154s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn153.smt2 (content) sat unknown 0.223s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn152.smt2 (content) sat unknown 0.257s