detailed results (127 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond92.smt2 (content) unknown unsat 10.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond86.smt2 (content) unknown unsat 11s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond84.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond81.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond80.smt2 (content) unknown unsat 12.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond72.smt2 (content) unknown unsat 12.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond50.smt2 (content) unknown unsat 11.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond42.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond28.smt2 (content) unknown unsat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond23.smt2 (content) unknown unsat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond20.smt2 (content) unknown unsat 11.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond19.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ038_size9.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ035_size5.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ026_size6.smt2 (content) unknown unsat 13.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ026_size5.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_icl_repgen_sk005.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_icl_repgen004.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk045.smt2 (content) unknown sat 10.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen051.smt2 (content) unknown sat 10.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_repgen_sk005.smt2 (content) unknown unsat 11.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_repgen_sk001.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_repgen012.smt2 (content) unknown unsat 11.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_repgen003.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_repgen002.smt2 (content) unknown unsat 10.4s