detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl289.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl283.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl282.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl281.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl280.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl279.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl278.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl277.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl276.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl275.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl274.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl273.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl272.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl271.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl270.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl269.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl268.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl267.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl266.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl265.smt2 (content) unsat unsat 0.044s