root
file
detailed [1225..1249]
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_icl010.smt2
(content)
unsat
unsat
0.381s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2
(content)
unsat
unsat
0.513s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2
(content)
unsat
unsat
0.153s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2
(content)
unsat
unsat
0.205s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2
(content)
unsat
unsat
0.118s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2
(content)
unsat
unsat
0.166s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2
(content)
unsat
unsat
0.185s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl003.smt2
(content)
unsat
unsat
0.152s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl002.smt2
(content)
unsat
unsat
0.189s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl001.smt2
(content)
unsat
unsat
0.227s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn106.smt2
(content)
sat
sat
0.441s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn105.smt2
(content)
sat
sat
0.549s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn104.smt2
(content)
sat
sat
0.792s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn103.smt2
(content)
sat
sat
0.445s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn102.smt2
(content)
sat
sat
0.458s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn101.smt2
(content)
sat
sat
0.477s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn100.smt2
(content)
sat
sat
0.259s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn099.smt2
(content)
sat
sat
0.163s
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.5s
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.657s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn094.smt2
(content)
sat
sat
1.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn093.smt2
(content)
sat
sat
1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn092.smt2
(content)
sat
sat
1.1s