root
file
detailed [1125..1149]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn016.smt2
(content)
unsat
unsat
0.178s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn015.smt2
(content)
sat
sat
0.381s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn014.smt2
(content)
sat
sat
0.381s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn013.smt2
(content)
sat
sat
0.128s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn012.smt2
(content)
sat
sat
0.089s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn011.smt2
(content)
sat
sat
0.150s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn010.smt2
(content)
sat
sat
0.133s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn009.smt2
(content)
sat
sat
0.042s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn008.smt2
(content)
sat
sat
0.133s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn007.smt2
(content)
sat
sat
0.165s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn006.smt2
(content)
unsat
unsat
0.074s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn005.smt2
(content)
unsat
unsat
0.111s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn004.smt2
(content)
sat
sat
0.095s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn003.smt2
(content)
sat
sat
0.071s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn002.smt2
(content)
sat
sat
0.063s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn001.smt2
(content)
sat
sat
0.051s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl109.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl108.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl107.smt2
(content)
unsat
unsat
0.847s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl106.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl105.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl104.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl103.smt2
(content)
unsat
unsat
0.860s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl102.smt2
(content)
unsat
unsat
1.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl101.smt2
(content)
unsat
unsat
0.538s