detailed results (14914 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn097.smt2 (content) sat unknown 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn097.smt2 (content) sat unknown 0.064s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn096.smt2 (content) sat unknown 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn096.smt2 (content) sat unknown 0.081s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unknown 3.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unknown 3.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn094.smt2 (content) sat unknown 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn094.smt2 (content) sat unknown 0.104s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn092.smt2 (content) sat unknown 0.167s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn092.smt2 (content) sat unknown 0.168s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) unsat unknown 10s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) unsat unknown 9.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn090.smt2 (content) sat unknown 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn090.smt2 (content) sat unknown 0.070s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn089.smt2 (content) sat unknown 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn089.smt2 (content) sat unknown 0.134s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn088.smt2 (content) unsat unknown 5.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn088.smt2 (content) unsat unknown 5.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn087.smt2 (content) sat unknown 0.133s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn087.smt2 (content) sat unknown 0.144s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn086.smt2 (content) sat unknown 0.141s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn086.smt2 (content) sat unknown 0.141s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn085.smt2 (content) sat unknown 0.246s