detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412934/iso_icl1163.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412933/iso_icl1162.smt2 (content) unsat unsat 0.119s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412933/iso_icl1162.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412932/iso_icl1161.smt2 (content) unsat unsat 0.119s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412932/iso_icl1161.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412931/iso_icl1160.smt2 (content) unsat unsat 0.166s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412931/iso_icl1160.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412930/iso_icl116.smt2 (content) unsat unsat 0.163s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412930/iso_icl116.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412929/iso_icl1159.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412929/iso_icl1159.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412928/iso_icl1158.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412928/iso_icl1158.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412927/iso_icl1157.smt2 (content) unsat unsat 0.143s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412927/iso_icl1157.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412926/iso_icl1156.smt2 (content) unsat unsat 0.165s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412926/iso_icl1156.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412925/iso_icl1155.smt2 (content) unsat unsat 0.128s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412925/iso_icl1155.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412924/iso_icl1154.smt2 (content) unsat unsat 0.099s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412924/iso_icl1154.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412923/iso_icl1153.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412923/iso_icl1153.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412922/iso_icl1152.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412922/iso_icl1152.smt2 (content) unsat unsat 0.029s