detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408659/dead_dnd008.smt2 (content) unsat unsat 0.296s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408658/dead_dnd007.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408658/dead_dnd007.smt2 (content) unsat unsat 0.416s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408657/dead_dnd006.smt2 (content) unsat unsat 4.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408657/dead_dnd006.smt2 (content) unsat unsat 0.427s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408656/dead_dnd005.smt2 (content) unsat unsat 8.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408656/dead_dnd005.smt2 (content) unsat unsat 0.564s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408655/dead_dnd004.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408655/dead_dnd004.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408654/dead_dnd003.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408654/dead_dnd003.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408653/dead_dnd002.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408653/dead_dnd002.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408652/dead_dnd001.smt2 (content) unsat unsat 0.182s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408652/dead_dnd001.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408651/iso_icl109.smt2 (content) unsat unsat 0.365s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408651/iso_icl109.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408650/iso_icl108.smt2 (content) unsat unsat 0.417s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408650/iso_icl108.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408649/iso_icl107.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408649/iso_icl107.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408648/iso_icl106.smt2 (content) unsat unsat 0.470s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408648/iso_icl106.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408647/iso_icl105.smt2 (content) unsat unsat 0.925s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408647/iso_icl105.smt2 (content) unsat unsat 0.085s