detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl651.smt2 (content) unsat unsat 0.242s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl651.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl650.smt2 (content) unsat unsat 0.289s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl650.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl649.smt2 (content) unsat unsat 0.235s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl649.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl648.smt2 (content) unsat unsat 0.199s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl648.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl647.smt2 (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl647.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl646.smt2 (content) unsat unsat 0.337s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl646.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl645.smt2 (content) unsat unsat 0.249s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl645.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl644.smt2 (content) unsat unsat 0.202s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl644.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl643.smt2 (content) unsat unsat 0.308s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl643.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl642.smt2 (content) unsat unsat 0.254s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl642.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl641.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl641.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl640.smt2 (content) unsat unsat 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl640.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl639.smt2 (content) unsat unsat 0.631s