detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412747/iso_icl093.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412747/iso_icl093.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412746/iso_icl092.smt2 (content) unsat unsat 0.099s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412746/iso_icl092.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412745/iso_icl091.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412745/iso_icl091.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412744/iso_icl090.smt2 (content) unsat unsat 0.140s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412744/iso_icl090.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412743/iso_icl089.smt2 (content) unsat unsat 0.129s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412743/iso_icl089.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412742/iso_icl088.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412742/iso_icl088.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412741/iso_icl087.smt2 (content) unsat unsat 0.147s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412741/iso_icl087.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412740/iso_icl086.smt2 (content) unsat unsat 0.155s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412740/iso_icl086.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412739/iso_icl085.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412739/iso_icl085.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412738/iso_icl084.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412738/iso_icl084.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412737/iso_icl083.smt2 (content) unsat unsat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412737/iso_icl083.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412736/iso_icl082.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412736/iso_icl082.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412735/iso_icl081.smt2 (content) unsat unsat 0.110s