detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn682.smt2 (content) sat unknown 0.267s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat unknown 0.336s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat unknown 0.333s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat unknown 0.383s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat unknown 0.377s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat unknown 0.185s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat unknown 0.193s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat unknown 0.175s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat unknown 0.239s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat unknown 0.246s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat unknown 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat unknown 0.143s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn675.smt2 (content) sat unknown 0.205s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn675.smt2 (content) sat unknown 0.200s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn674.smt2 (content) sat unknown 0.292s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn674.smt2 (content) sat unknown 0.289s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn673.smt2 (content) sat unknown 0.193s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn673.smt2 (content) sat unknown 0.197s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn672.smt2 (content) sat unknown 0.128s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn672.smt2 (content) sat unknown 0.120s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn671.smt2 (content) sat unknown 0.150s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn671.smt2 (content) sat unknown 0.155s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn670.smt2 (content) sat unknown 0.230s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn670.smt2 (content) sat unknown 0.230s