detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.252s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn606.smt2 (content) sat unknown 0.179s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn605.smt2 (content) sat unknown 0.169s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn604.smt2 (content) sat unknown 0.172s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn603.smt2 (content) sat unknown 0.211s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn602.smt2 (content) sat unknown 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn601.smt2 (content) sat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn600.smt2 (content) sat unknown 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn599.smt2 (content) sat unknown 0.123s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn598.smt2 (content) sat unknown 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn597.smt2 (content) unsat unknown 0.486s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn596.smt2 (content) sat unknown 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn595.smt2 (content) sat unknown 0.114s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn594.smt2 (content) sat unknown 0.242s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unknown 2.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn592.smt2 (content) sat unknown 0.745s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unsat unknown 8.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn590.smt2 (content) sat unknown 0.499s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn589.smt2 (content) sat unknown 0.222s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn588.smt2 (content) sat unknown 0.207s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn587.smt2 (content) sat unknown 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn586.smt2 (content) sat unknown 0.180s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn585.smt2 (content) sat unknown 0.266s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn584.smt2 (content) sat unknown 0.117s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn583.smt2 (content) sat unknown 0.070s