detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413334/iso_icl396.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413333/iso_icl395.smt2 (content) unsat unsat 0.066s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413333/iso_icl395.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413332/iso_icl394.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413332/iso_icl394.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413331/iso_icl393.smt2 (content) unsat unsat 0.063s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413331/iso_icl393.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413330/iso_icl392.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413330/iso_icl392.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413329/iso_icl391.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413329/iso_icl391.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413328/iso_icl390.smt2 (content) unsat unsat 0.095s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413328/iso_icl390.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413327/iso_icl389.smt2 (content) unsat unsat 0.162s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413327/iso_icl389.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413326/iso_icl388.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413326/iso_icl388.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413325/iso_icl387.smt2 (content) unsat unsat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413325/iso_icl387.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413324/iso_icl386.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413324/iso_icl386.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413323/iso_icl385.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413323/iso_icl385.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413322/iso_icl384.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413322/iso_icl384.smt2 (content) unsat unsat 0.030s