detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1003.smt2 (content) sat unknown 0.086s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1002.smt2 (content) sat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1002.smt2 (content) sat unknown 0.073s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1001.smt2 (content) sat unknown 0.123s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1001.smt2 (content) sat unknown 0.121s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn100.smt2 (content) sat unknown 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn100.smt2 (content) sat unknown 0.091s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn099.smt2 (content) sat unknown 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn099.smt2 (content) sat unknown 0.098s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn098.smt2 (content) sat unknown 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn098.smt2 (content) sat unknown 0.055s
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_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_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_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_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