detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl289.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unsat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl283.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl283.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl282.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl282.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl281.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl281.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl280.smt2 (content) unsat unsat 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl280.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl279.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl279.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl278.smt2 (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl278.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl277.smt2 (content) unsat unsat 0.122s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl277.smt2 (content) unsat unsat 0.042s