detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl676.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl676.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl675.smt2 (content) unsat unsat 0.661s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl675.smt2 (content) unsat unsat 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl674.smt2 (content) unsat unsat 0.637s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl674.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl673.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl673.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl672.smt2 (content) unsat unsat 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl672.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl671.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl671.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl670.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl670.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl669.smt2 (content) unsat unsat 0.198s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl669.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl668.smt2 (content) unsat unsat 0.330s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl668.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl667.smt2 (content) unsat unsat 0.402s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl667.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl666.smt2 (content) unsat unsat 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl666.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl665.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl665.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl664.smt2 (content) unsat unsat 0.336s