detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl540.smt2 (content) unsat unsat 0.452s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl539.smt2 (content) unsat unsat 0.313s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl538.smt2 (content) unsat unsat 0.494s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl537.smt2 (content) unsat unsat 0.310s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl536.smt2 (content) unsat unsat 0.540s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl535.smt2 (content) unsat unsat 0.563s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl534.smt2 (content) unsat unsat 0.351s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl533.smt2 (content) unsat unsat 0.954s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl532.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl531.smt2 (content) unsat unsat 0.208s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl530.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl529.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl528.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl527.smt2 (content) unsat unsat 0.219s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl526.smt2 (content) unsat unsat 0.519s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl525.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl524.smt2 (content) unsat unsat 0.143s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl523.smt2 (content) unsat unsat 0.254s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl522.smt2 (content) unsat unsat 0.420s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl521.smt2 (content) unsat unsat 0.241s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl520.smt2 (content) unsat unsat 0.458s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl519.smt2 (content) unsat unsat 0.267s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl518.smt2 (content) unsat unsat 0.502s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl517.smt2 (content) unsat unsat 0.968s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl516.smt2 (content) unsat unsat 0.095s