detailed results (14914 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn944.smt2 (content) sat unknown 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn944.smt2 (content) sat unknown 0.128s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2 (content) sat unknown 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2 (content) sat unknown 0.074s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2 (content) sat unknown 0.198s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2 (content) sat unknown 0.201s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2 (content) sat unknown 0.238s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2 (content) sat unknown 0.243s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2 (content) sat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2 (content) sat unknown 0.146s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2 (content) sat unknown 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2 (content) sat unknown 0.105s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn938.smt2 (content) sat unknown 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn938.smt2 (content) sat unknown 0.099s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn937.smt2 (content) sat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn937.smt2 (content) sat unknown 0.088s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn936.smt2 (content) sat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn936.smt2 (content) sat unknown 0.080s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 0.638s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 0.638s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn934.smt2 (content) sat unknown 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn934.smt2 (content) sat unknown 0.081s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unknown 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unknown 5.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unknown 10.5s