detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn632.smt2 (content) sat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn631.smt2 (content) sat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn631.smt2 (content) sat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn630.smt2 (content) sat unknown 0.314s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn630.smt2 (content) sat unknown 0.294s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn629.smt2 (content) sat unknown 0.235s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn629.smt2 (content) sat unknown 0.230s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn628.smt2 (content) sat unknown 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn628.smt2 (content) sat unknown 0.077s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn627.smt2 (content) sat unknown 0.247s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn627.smt2 (content) sat unknown 0.238s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn626.smt2 (content) sat unknown 0.428s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn626.smt2 (content) sat unknown 0.432s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn625.smt2 (content) sat unknown 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn625.smt2 (content) sat unknown 0.067s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn623.smt2 (content) sat unknown 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn623.smt2 (content) sat unknown 0.163s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) unsat unknown 5.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) unsat unknown 5.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn621.smt2 (content) sat unknown 0.272s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn621.smt2 (content) sat unknown 0.255s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn620.smt2 (content) sat unknown 0.145s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn620.smt2 (content) sat unknown 0.142s