detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413397/iso_icl459.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413397/iso_icl459.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413396/iso_icl458.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413396/iso_icl458.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413395/iso_icl457.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413395/iso_icl457.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413394/iso_icl456.smt2 (content) unsat unsat 0.110s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413394/iso_icl456.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413393/iso_icl455.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413393/iso_icl455.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413392/iso_icl454.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413392/iso_icl454.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413391/iso_icl453.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413391/iso_icl453.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413390/iso_icl452.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413390/iso_icl452.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413389/iso_icl451.smt2 (content) unsat unsat 0.124s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413389/iso_icl451.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413388/iso_icl450.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413388/iso_icl450.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413387/iso_icl449.smt2 (content) unsat unsat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413387/iso_icl449.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413386/iso_icl448.smt2 (content) unsat unsat 0.086s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413386/iso_icl448.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413385/iso_icl447.smt2 (content) unsat unsat 0.078s