detailed results (668 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1150.smt2 (content) timeout unsat 12.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) timeout unsat 12.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1074.smt2 (content) timeout unsat 14.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1073.smt2 (content) timeout unsat 12.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1071.smt2 (content) timeout unsat 12.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) timeout unsat 12.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unsat 13.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) timeout unsat 13s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd037.smt2 (content) timeout unsat 12.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd036.smt2 (content) timeout unsat 13s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd035.smt2 (content) timeout unsat 12.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd032.smt2 (content) timeout unsat 12.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd013.smt2 (content) timeout unsat 12.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd011.smt2 (content) timeout unsat 13s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd010.smt2 (content) timeout unsat 12.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd005.smt2 (content) timeout unsat 12.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ020_size7.smt2 (content) timeout unsat 14.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ019_size7.smt2 (content) timeout unsat 17.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ019_size6.smt2 (content) timeout unsat 18.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ018_size6.smt2 (content) timeout unsat 13.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ018_size5.smt2 (content) timeout unsat 12.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ016_size7.smt2 (content) timeout unsat 15.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ016_size6.smt2 (content) timeout unsat 16.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ016_size5.smt2 (content) timeout unsat 19.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ014_size9.smt2 (content) timeout unsat 13.8s