detailed results (913 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd053.smt2 (content) timeout unsat 12.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd051.smt2 (content) timeout unsat 12s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd048.smt2 (content) timeout unsat 12.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd043.smt2 (content) timeout unsat 13.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd042.smt2 (content) timeout unsat 11.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd037.smt2 (content) timeout unsat 12s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd035.smt2 (content) timeout unsat 12.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd034.smt2 (content) timeout unsat 12.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd032.smt2 (content) timeout unsat 12.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd029.smt2 (content) timeout unsat 11.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd028.smt2 (content) timeout unsat 13.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd026.smt2 (content) timeout unsat 11.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd025.smt2 (content) timeout unsat 11.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd014.smt2 (content) timeout unsat 13.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd013.smt2 (content) timeout unsat 11.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd012.smt2 (content) timeout unsat 11.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd011.smt2 (content) timeout unsat 11.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd008.smt2 (content) timeout unsat 14.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd005.smt2 (content) timeout unsat 11.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ020_size6.smt2 (content) timeout unsat 12.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ019_size7.smt2 (content) timeout unsat 13.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ019_size6.smt2 (content) timeout unsat 13.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ018_size7.smt2 (content) timeout unsat 13.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ016_size7.smt2 (content) timeout unsat 15s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ016_size5.smt2 (content) timeout unsat 13.5s