detailed results (14914 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat unknown 0.192s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat unknown 0.196s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat unknown 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat unknown 0.139s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat unknown 0.174s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat unknown 0.173s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat unknown 0.186s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat unknown 0.191s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat unknown 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat unknown 0.125s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat unknown 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat unknown 0.107s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat unknown 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat unknown 0.053s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat unknown 0.091s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat unknown 0.159s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat unknown 0.156s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat unknown 0.268s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat unknown 0.268s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 0.517s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 0.485s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1327.smt2 (content) sat unknown 0.053s