detailed results (14914 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat unknown 0.317s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat unknown 0.309s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat unknown 0.212s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat unknown 0.210s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat unknown 0.370s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat unknown 0.373s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat unknown 0.896s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat unknown 0.894s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unknown 9.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unknown 9.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat unknown 0.169s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat unknown 0.167s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 0.228s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 0.230s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 1.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.297s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.292s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.196s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.192s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.293s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.285s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unknown 5.9s