detailed results (6058 total)

prover file res expected time
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.159s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.163s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.217s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.355s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.349s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.311s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.292s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.572s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.552s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.202s