detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn107.smt2 (content) sat unknown 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn107.smt2 (content) sat unknown 0.157s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1069.smt2 (content) sat unknown 0.270s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1069.smt2 (content) sat unknown 0.273s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1068.smt2 (content) sat unknown 0.161s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1068.smt2 (content) sat unknown 0.162s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1067.smt2 (content) sat unknown 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1067.smt2 (content) sat unknown 0.134s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1066.smt2 (content) sat unknown 0.215s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1066.smt2 (content) sat unknown 0.218s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1065.smt2 (content) sat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1065.smt2 (content) sat unknown 0.147s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1064.smt2 (content) sat unknown 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1064.smt2 (content) sat unknown 0.114s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1063.smt2 (content) sat unknown 0.089s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1063.smt2 (content) sat unknown 0.080s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1062.smt2 (content) sat unknown 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1062.smt2 (content) sat unknown 0.035s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1060.smt2 (content) sat unknown 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1060.smt2 (content) sat unknown 0.076s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn106.smt2 (content) sat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn106.smt2 (content) sat unknown 0.117s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1059.smt2 (content) sat unknown 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1059.smt2 (content) sat unknown 0.036s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1058.smt2 (content) sat unknown 0.253s