detailed results (3730 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd006.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd005.smt2 (content) unsat unsat 0.180s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd004.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd003.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd002.smt2 (content) unsat unsat 0.279s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd001.smt2 (content) unsat unsat 0.364s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ020_size5.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ019_size5.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ019_size4.smt2 (content) unsat unsat 0.319s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ018_size4.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ013_size5.smt2 (content) unsat unsat 4.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ012_size3.smt2 (content) unsat unsat 0.380s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ011_size5.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ010_size7.smt2 (content) unsat unsat 3.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ010_size6.smt2 (content) unsat unsat 9.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ010_size5.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ002_size5.smt2 (content) unsat unsat 4.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ046_size3.smt2 (content) unsat unsat 6.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ041_size6.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ033_size3.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ032_size3.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ023_size5.smt2 (content) unsat unsat 7.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ023_size4.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ016_size6.smt2 (content) unsat unsat 8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ016_size5.smt2 (content) unsat unsat 0.985s