detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl010.smt2 (content) unsat unsat 0.502s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unsat 0.499s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unsat 0.198s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unsat 0.151s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl003.smt2 (content) unsat unsat 0.279s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl002.smt2 (content) unsat unsat 0.207s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl001.smt2 (content) unsat unsat 0.195s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn106.smt2 (content) sat sat 0.608s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn105.smt2 (content) sat sat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn104.smt2 (content) sat sat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn103.smt2 (content) sat sat 0.543s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn102.smt2 (content) sat sat 0.527s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn101.smt2 (content) sat sat 0.691s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn100.smt2 (content) sat sat 0.358s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn099.smt2 (content) sat sat 0.244s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn097.smt2 (content) sat sat 1.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn096.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn095.smt2 (content) sat sat 0.523s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn094.smt2 (content) sat sat 1.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn093.smt2 (content) sat sat 0.849s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn092.smt2 (content) sat sat 1.5s