detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl739.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl738.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl738.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl737.smt2 (content) unsat unsat 0.420s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl737.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl736.smt2 (content) unsat unsat 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl736.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl735.smt2 (content) unsat unsat 0.127s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl735.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl734.smt2 (content) unsat unsat 0.214s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl734.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl733.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl733.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl732.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl732.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl731.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl731.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl730.smt2 (content) unsat unsat 0.474s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl730.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl729.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl729.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl728.smt2 (content) unsat unsat 0.350s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl728.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl727.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl727.smt2 (content) unsat unsat 0.097s