detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl577.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl576.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl575.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl574.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl573.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl572.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl571.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl570.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl569.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl568.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl567.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl566.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl565.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl564.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl563.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl562.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl561.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl560.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl559.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl558.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl557.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl556.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl555.smt2 (content) unsat unsat 0.062s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl554.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl553.smt2 (content) unsat unsat 0.046s