detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl364.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unsat 0.228s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unsat 0.286s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unsat 0.190s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unsat 0.169s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl357.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl357.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl356.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl356.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl355.smt2 (content) unsat unsat 0.130s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl355.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl354.smt2 (content) unsat unsat 0.119s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl354.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl353.smt2 (content) unsat unsat 0.209s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl353.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl352.smt2 (content) unsat unsat 0.288s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl352.smt2 (content) unsat unsat 0.035s