detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat unknown 0.158s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat unknown 0.143s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat unknown 0.077s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat unknown 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat unknown 0.086s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat unknown 0.313s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat unknown 0.312s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn731.smt2 (content) sat unknown 0.167s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn731.smt2 (content) sat unknown 0.170s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn730.smt2 (content) sat unknown 0.127s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn730.smt2 (content) sat unknown 0.128s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn729.smt2 (content) sat unknown 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn729.smt2 (content) sat unknown 0.142s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn728.smt2 (content) sat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn728.smt2 (content) sat unknown 0.071s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn726.smt2 (content) sat unknown 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn726.smt2 (content) sat unknown 0.092s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn725.smt2 (content) sat unknown 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn725.smt2 (content) sat unknown 0.085s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn724.smt2 (content) sat unknown 0.210s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn724.smt2 (content) sat unknown 0.184s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn721.smt2 (content) sat unknown 0.263s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn721.smt2 (content) sat unknown 0.264s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn720.smt2 (content) sat unknown 0.139s