detailed results (3039 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1034.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1024.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unsat 12.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2 (content) unsat unsat 10.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn035.smt2 (content) unsat unsat 0.455s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn034.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn033.smt2 (content) unsat unsat 0.467s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn024.smt2 (content) unsat unsat 0.689s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn020.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn009.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn007.smt2 (content) unsat unsat 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unsat 0.802s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2 (content) unsat unsat 7.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd060.smt2 (content) unsat unsat 5.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd059.smt2 (content) unsat unsat 9.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd058.smt2 (content) unsat unsat 8.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd052.smt2 (content) unsat unsat 0.727s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd050.smt2 (content) unsat unsat 0.792s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd044.smt2 (content) unsat unsat 4.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd040.smt2 (content) unsat unsat 4.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd039.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd030.smt2 (content) unsat unsat 3.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd024.smt2 (content) unsat unsat 1.5s