detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn882.smt2 (content) sat unknown 0.050s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn881.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn879.smt2 (content) sat unknown 0.217s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 2.7s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn877.smt2 (content) sat unknown 0.272s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 2.6s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 3.8s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn874.smt2 (content) sat unknown 0.145s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn873.smt2 (content) sat unknown 0.199s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn872.smt2 (content) sat unknown 1.3s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn871.smt2 (content) sat unknown 0.641s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn870.smt2 (content) sat unknown 0.452s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn869.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 6.5s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn867.smt2 (content) sat unknown 0.613s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn866.smt2 (content) sat unknown 0.196s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn865.smt2 (content) sat unknown 0.784s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.358s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.288s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.324s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.216s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.497s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.635s