detailed results (2841 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn509.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn507.smt2 (content) sat unknown 0.173s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn505.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn504.smt2 (content) sat unknown 0.155s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn502.smt2 (content) sat unknown 0.239s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn501.smt2 (content) sat unknown 0.126s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn500.smt2 (content) sat unknown 0.163s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn499.smt2 (content) sat unknown 0.136s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn498.smt2 (content) sat unknown 0.093s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn497.smt2 (content) sat unknown 0.097s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn496.smt2 (content) sat unknown 0.078s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn495.smt2 (content) sat unknown 0.073s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat unknown 0.099s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat unknown 0.080s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat unknown 0.069s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat unknown 0.079s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat unknown 0.168s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat unknown 0.174s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat unknown 0.160s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn482.smt2 (content) sat unknown 0.105s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn481.smt2 (content) sat unknown 0.083s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn480.smt2 (content) sat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn479.smt2 (content) sat unknown 0.166s