detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410810/gensys_icl482.smt2 (content) unsat unsat 0.150s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410809/gensys_icl481.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410809/gensys_icl481.smt2 (content) unsat unsat 0.178s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410808/gensys_icl480.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410808/gensys_icl480.smt2 (content) unsat unsat 0.185s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410807/gensys_icl479.smt2 (content) unsat unsat 0.398s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410807/gensys_icl479.smt2 (content) unsat unsat 0.110s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410806/gensys_icl478.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410806/gensys_icl478.smt2 (content) unsat unsat 0.244s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410805/gensys_icl477.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410805/gensys_icl477.smt2 (content) unsat unsat 0.265s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410804/gensys_icl476.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410804/gensys_icl476.smt2 (content) unsat unsat 0.141s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410803/gensys_icl475.smt2 (content) unsat unsat 0.720s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410803/gensys_icl475.smt2 (content) unsat unsat 0.147s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410802/gensys_icl474.smt2 (content) unsat unsat 0.808s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410802/gensys_icl474.smt2 (content) unsat unsat 0.164s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410801/gensys_icl473.smt2 (content) unsat unsat 2.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410801/gensys_icl473.smt2 (content) unsat unsat 0.256s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410800/gensys_icl472.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410800/gensys_icl472.smt2 (content) unsat unsat 0.232s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410799/gensys_icl471.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410799/gensys_icl471.smt2 (content) unsat unsat 0.231s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410798/gensys_icl470.smt2 (content) unsat unsat 0.241s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410798/gensys_icl470.smt2 (content) unsat unsat 0.034s