detailed results (978 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl081.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl079.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl077.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl076.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl074.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl071.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl070.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn998.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn969.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 10s
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_brn869.smt2 (content) timeout unknown 10.1s
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_brn851.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) timeout unknown 10s