[gecode-users] Freeze with MSVC 2015 optimized build
Filip Konvička
filip.konvicka at logis.cz
Fri Oct 2 09:57:41 CEST 2015
Hi,
We were looking a bit more into 4.4.0 on Linux where we've also hit some
issues.
All tests worked fine with gcc 4.9.3. However, with gcc 5.2.0 many
tests failed - see the attachements for details:
gecode-4.4.0-gcc-5.2.0-failed_tests.list
... list of failed tests (except two memory fails below)
gecode-4.4.0-gcc-5.2.0-failed_tests.log
... log from 'test' for failed tests
Two tests ran out of memory (allocated several GBs of memory before
getting killed by system):
Set::Branch::Sparse::3
Set::Channel::Sorted
gcc details:
target=x86_64-linux-gnu
GCC_VER=5.2.0
GMP_VER=6.0.0
MPFR_VER=3.1.3
MPC_VER=1.0.3
BINUTILS_VER=2.25
It could also be a gcc bug of course, hard to tell.
Thanks,
Filip
-------------- next part --------------
FlatZinc::fzn_sets -
Set::Rel::Bin::Eq::S0 -
Set::Rel::Bin::Eq::S0 -
Set::Rel::Bin::Sub::S0 -
Set::Rel::Bin::Sup::S0 -
Set::RelOp::ConstISI::Minus::Disj::0::0 -
Set::RelOp::ConstISI::Minus::Disj::0::1 -
Set::RelOp::ConstISI::Minus::Disj::0::2 -
Set::RelOp::ConstISI::Minus::Disj::1::0 -
Set::RelOp::ConstISI::Minus::Disj::1::2 -
Set::RelOp::ConstISI::Minus::Disj::2::0 -
Set::RelOp::ConstISI::Minus::Disj::2::1 -
Set::RelOp::ConstISI::Minus::Disj::2::2 -
Set::RelOp::ConstISI::Minus::Eq::0::0 -
Set::RelOp::ConstISI::Minus::Eq::1::1 -
Set::RelOp::ConstISI::Minus::Eq::2::2 -
Set::RelOp::ConstISI::Minus::Nq::0::0 -
Set::RelOp::ConstISI::Minus::Nq::0::1 -
Set::RelOp::ConstISI::Minus::Nq::0::2 -
Set::RelOp::ConstISI::Minus::Nq::1::0 -
Set::RelOp::ConstISI::Minus::Nq::1::2 -
Set::RelOp::ConstISI::Minus::Nq::2::0 -
Set::RelOp::ConstISI::Minus::Nq::2::1 -
Set::RelOp::ConstISI::Minus::Nq::2::2 -
Set::RelOp::ConstISI::Minus::Sub::0::0 -
Set::RelOp::ConstISI::Minus::Sub::0::1 -
Set::RelOp::ConstISI::Minus::Sub::0::2 -
Set::RelOp::ConstISI::Minus::Sub::1::1 -
Set::RelOp::ConstISI::Minus::Sub::2::0 -
Set::RelOp::ConstISI::Minus::Sub::2::1 -
Set::RelOp::ConstISI::Minus::Sub::2::2 -
Set::RelOp::ConstISI::Minus::Sup::0::0 -
Set::RelOp::ConstISI::Minus::Sup::1::1 -
Set::RelOp::ConstISI::Minus::Sup::2::2 -
Set::RelOp::ConstSIS::Minus::Disj::0 -
Set::RelOp::ConstSIS::Minus::Disj::1 -
Set::RelOp::ConstSIS::Minus::Eq::0 -
Set::RelOp::ConstSIS::Minus::Nq::0 -
Set::RelOp::ConstSIS::Minus::Nq::1 -
Set::RelOp::ConstSIS::Minus::Sub::0 -
Set::RelOp::ConstSIS::Minus::Sup::0 -
Set::RelOp::ConstSIS::Minus::Sup::1 -
Set::RelOp::ConstSSI::Minus::Disj::0 -
Set::RelOp::ConstSSI::Minus::Disj::1 -
Set::RelOp::ConstSSI::Minus::Disj::2 -
Set::RelOp::ConstSSI::Minus::Eq::0 -
Set::RelOp::ConstSSI::Minus::Nq::0 -
Set::RelOp::ConstSSI::Minus::Nq::1 -
Set::RelOp::ConstSSI::Minus::Nq::2 -
Set::RelOp::ConstSSI::Minus::Sub::0 -
Set::RelOp::ConstSSI::Minus::Sub::1 -
Set::RelOp::ConstSSI::Minus::Sub::2 -
Set::RelOp::ConstSSI::Minus::Sup::0 -
Set::RelOp::DUnion::Disj::S0 -
Set::RelOp::DUnion::Eq::S0 +-
Set::RelOp::DUnion::Sub::S0 -
Set::RelOp::Minus::Disj::S0 -
Set::RelOp::Minus::Disj::S3 -
Set::RelOp::Minus::Disj::S4 -
Set::RelOp::Minus::Eq::S0 -
Set::RelOp::Minus::Eq::S3 -
Set::RelOp::Minus::Nq::S0 -
Set::RelOp::Minus::Nq::S3 -
Set::RelOp::Minus::Nq::S4 -
Set::RelOp::Minus::Sub::S0 -
Set::RelOp::Minus::Sub::S3 -
Set::RelOp::Minus::Sub::S4 -
Set::RelOp::Minus::Sup::S0 -
Set::RelOp::Minus::Sup::S3 -
Set::RelOp::Union::Disj::S0 ++-
Set::RelOp::Union::Eq::S0 +++-
Set::RelOp::Union::Sub::S0 -
Set::RelOp::ConstISI::Minus::Disj::0::0 -
Set::RelOp::ConstISI::Minus::Disj::0::1 -
Set::RelOp::ConstISI::Minus::Disj::0::2 -
Set::RelOp::ConstISI::Minus::Disj::1::0 -
Set::RelOp::ConstISI::Minus::Disj::1::2 -
Set::RelOp::ConstISI::Minus::Disj::2::0 -
Set::RelOp::ConstISI::Minus::Disj::2::1 -
Set::RelOp::ConstISI::Minus::Disj::2::2 -
Set::RelOp::ConstISI::Minus::Eq::0::0 -
Set::RelOp::ConstISI::Minus::Eq::1::1 -
Set::RelOp::ConstISI::Minus::Eq::2::2 -
Set::RelOp::ConstISI::Minus::Nq::0::0 -
Set::RelOp::ConstISI::Minus::Nq::0::1 -
Set::RelOp::ConstISI::Minus::Nq::0::2 -
Set::RelOp::ConstISI::Minus::Nq::1::0 -
Set::RelOp::ConstISI::Minus::Nq::1::2 -
Set::RelOp::ConstISI::Minus::Nq::2::0 -
Set::RelOp::ConstISI::Minus::Nq::2::1 -
Set::RelOp::ConstISI::Minus::Nq::2::2 -
Set::RelOp::ConstISI::Minus::Sub::0::0 -
Set::RelOp::ConstISI::Minus::Sub::0::1 -
Set::RelOp::ConstISI::Minus::Sub::0::2 -
Set::RelOp::ConstISI::Minus::Sub::1::1 -
Set::RelOp::ConstISI::Minus::Sub::2::0 -
Set::RelOp::ConstISI::Minus::Sub::2::1 -
Set::RelOp::ConstISI::Minus::Sub::2::2 -
Set::RelOp::ConstISI::Minus::Sup::0::0 -
Set::RelOp::ConstISI::Minus::Sup::1::1 -
Set::RelOp::ConstISI::Minus::Sup::2::2 -
Set::RelOp::ConstSIS::Minus::Disj::0 -
Set::RelOp::ConstSIS::Minus::Disj::1 -
Set::RelOp::ConstSIS::Minus::Eq::0 -
Set::RelOp::ConstSIS::Minus::Nq::0 -
Set::RelOp::ConstSIS::Minus::Nq::1 -
Set::RelOp::ConstSIS::Minus::Sub::0 -
Set::RelOp::ConstSIS::Minus::Sup::0 -
Set::RelOp::ConstSIS::Minus::Sup::1 -
Set::RelOp::ConstSSI::Minus::Disj::0 -
Set::RelOp::ConstSSI::Minus::Disj::1 -
Set::RelOp::ConstSSI::Minus::Disj::2 -
Set::RelOp::ConstSSI::Minus::Eq::0 -
Set::RelOp::ConstSSI::Minus::Nq::0 -
Set::RelOp::ConstSSI::Minus::Nq::1 -
Set::RelOp::ConstSSI::Minus::Nq::2 -
Set::RelOp::ConstSSI::Minus::Sub::0 -
Set::RelOp::ConstSSI::Minus::Sub::1 -
Set::RelOp::ConstSSI::Minus::Sub::2 -
Set::RelOp::ConstSSI::Minus::Sup::0 -
Set::RelOp::DUnion::Disj::S0 ++-
Set::RelOp::DUnion::Eq::S0 ++-
Set::RelOp::DUnion::Sub::S0 -
Set::RelOp::Minus::Disj::S0 -
Set::RelOp::Minus::Disj::S3 -
Set::RelOp::Minus::Disj::S4 -
Set::RelOp::Minus::Eq::S0 -
Set::RelOp::Minus::Eq::S3 -
Set::RelOp::Minus::Nq::S0 -
Set::RelOp::Minus::Nq::S3 -
Set::RelOp::Minus::Nq::S4 -
Set::RelOp::Minus::Sub::S0 -
Set::RelOp::Minus::Sub::S3 -
Set::RelOp::Minus::Sub::S4 -
Set::RelOp::Minus::Sup::S0 -
Set::RelOp::Minus::Sup::S3 -
Set::RelOp::Union::Eq::S0 -
Set::RelOp::Union::Sub::S0 -
-------------- next part --------------
FlatZinc::fzn_sets -
Options: -seed 1262634475 -test FlatZinc::fzn_sets
-
Options: -seed 1262634475 -test FlatZinc::fzn_sets
-
Options: -seed 1262634475 -test FlatZinc::fzn_sets
-
Options: -seed 1262634475 -test FlatZinc::fzn_sets
-
Options: -seed 1262634475 -test FlatZinc::fzn_sets
Set::Rel::Bin::Eq::S0 -
Set::Rel::Bin::Eq::S0 -
Options: -seed 2018252358 -test Set::Rel::Bin::Eq::S0
-
Options: -seed 968671525 -test Set::Rel::Bin::Eq::S0
-
Options: -seed 1307339341 -test Set::Rel::Bin::Eq::S0
-
Options: -seed 262697525 -test Set::Rel::Bin::Eq::S0
-
Options: -seed 1007301774 -test Set::Rel::Bin::Eq::S0
Set::Rel::Bin::Sub::S0 -
Options: -seed 992592117 -test Set::Rel::Bin::Sub::S0
-
Options: -seed 1478275967 -test Set::Rel::Bin::Sub::S0
-
Options: -seed 1271235323 -test Set::Rel::Bin::Sub::S0
-
Options: -seed 1478275967 -test Set::Rel::Bin::Sub::S0
-
Options: -seed 1271235323 -test Set::Rel::Bin::Sub::S0
Set::Rel::Bin::Sup::S0 -
Options: -seed 1275857333 -test Set::Rel::Bin::Sup::S0
-
Options: -seed 1541130441 -test Set::Rel::Bin::Sup::S0
-
Options: -seed 1603687977 -test Set::Rel::Bin::Sup::S0
-
Options: -seed 1665845269 -test Set::Rel::Bin::Sup::S0
-
Options: -seed 1440102093 -test Set::Rel::Bin::Sup::S0
Set::RelOp::ConstISI::Minus::Disj::0::0 -
Options: -seed 1749839237 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 2021175430 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 4236845470 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 237552187 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 1598680238 -test Set::RelOp::ConstISI::Minus::Disj::0::0
Set::RelOp::ConstISI::Minus::Disj::0::1 -
Options: -seed 1239367895 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 965633477 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 322090825 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 4104082901 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 258431702 -test Set::RelOp::ConstISI::Minus::Disj::0::1
Set::RelOp::ConstISI::Minus::Disj::0::2 -
Options: -seed 324714930 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 479185478 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 593134870 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 1507312148 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 835283139 -test Set::RelOp::ConstISI::Minus::Disj::0::2
Set::RelOp::ConstISI::Minus::Disj::1::0 -
Options: -seed 1108449148 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 1813527161 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 343980427 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 1117788199 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 1097821286 -test Set::RelOp::ConstISI::Minus::Disj::1::0
Set::RelOp::ConstISI::Minus::Disj::1::2 -
Options: -seed 4290607494 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 1850382492 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 1617909347 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 2014850467 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 716638147 -test Set::RelOp::ConstISI::Minus::Disj::1::2
Set::RelOp::ConstISI::Minus::Disj::2::0 -
Options: -seed 1410152174 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 903669400 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 1881795605 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 1871623284 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 1791350041 -test Set::RelOp::ConstISI::Minus::Disj::2::0
Set::RelOp::ConstISI::Minus::Disj::2::1 -
Options: -seed 552703513 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 1213861822 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 1996654917 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 781491014 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 236314502 -test Set::RelOp::ConstISI::Minus::Disj::2::1
Set::RelOp::ConstISI::Minus::Disj::2::2 -
Options: -seed 1438373563 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 2043754310 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 967408449 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 1139390510 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 397241842 -test Set::RelOp::ConstISI::Minus::Disj::2::2
Set::RelOp::ConstISI::Minus::Eq::0::0 -
Options: -seed 343912068 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 1430488942 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 775388463 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 1294311911 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 980244474 -test Set::RelOp::ConstISI::Minus::Eq::0::0
Set::RelOp::ConstISI::Minus::Eq::1::1 -
Options: -seed 1814371170 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 984448522 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 1397286210 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 1972894581 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 184318989 -test Set::RelOp::ConstISI::Minus::Eq::1::1
Set::RelOp::ConstISI::Minus::Eq::2::2 -
Options: -seed 437288283 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 4147895791 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 858118214 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 724661902 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 1514734389 -test Set::RelOp::ConstISI::Minus::Eq::2::2
Set::RelOp::ConstISI::Minus::Nq::0::0 -
Options: -seed 1203456803 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 1976809811 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 202140247 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 1132873285 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 867623468 -test Set::RelOp::ConstISI::Minus::Nq::0::0
Set::RelOp::ConstISI::Minus::Nq::0::1 -
Options: -seed 964935372 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 373613343 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 853922779 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 538765689 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 345234622 -test Set::RelOp::ConstISI::Minus::Nq::0::1
Set::RelOp::ConstISI::Minus::Nq::0::2 -
Options: -seed 1449382863 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 1836820595 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 1394799789 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 1704281658 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 1604946085 -test Set::RelOp::ConstISI::Minus::Nq::0::2
Set::RelOp::ConstISI::Minus::Nq::1::0 -
Options: -seed 2000358047 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 918118347 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 1427578413 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 171363998 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 1555006908 -test Set::RelOp::ConstISI::Minus::Nq::1::0
Set::RelOp::ConstISI::Minus::Nq::1::2 -
Options: -seed 1380198196 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 1254852561 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 309295860 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 1584986553 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 26811339 -test Set::RelOp::ConstISI::Minus::Nq::1::2
Set::RelOp::ConstISI::Minus::Nq::2::0 -
Options: -seed 1471872520 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 1722598830 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 809861427 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 1458586712 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 4200061466 -test Set::RelOp::ConstISI::Minus::Nq::2::0
Set::RelOp::ConstISI::Minus::Nq::2::1 -
Options: -seed 1574886604 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 1325916243 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 1346984621 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 1150650163 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 1818481812 -test Set::RelOp::ConstISI::Minus::Nq::2::1
Set::RelOp::ConstISI::Minus::Nq::2::2 -
Options: -seed 1676230896 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 1405554078 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 845287656 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 280383283 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 540175453 -test Set::RelOp::ConstISI::Minus::Nq::2::2
Set::RelOp::ConstISI::Minus::Sub::0::0 -
Options: -seed 1984298095 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 65393334 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 407702311 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 1440627232 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 822094184 -test Set::RelOp::ConstISI::Minus::Sub::0::0
Set::RelOp::ConstISI::Minus::Sub::0::1 -
Options: -seed 1018451638 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 1928425045 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 723121389 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 1370112179 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 533467824 -test Set::RelOp::ConstISI::Minus::Sub::0::1
Set::RelOp::ConstISI::Minus::Sub::0::2 -
Options: -seed 1997238116 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 741292796 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 334848847 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 1824447097 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 1816032230 -test Set::RelOp::ConstISI::Minus::Sub::0::2
Set::RelOp::ConstISI::Minus::Sub::1::1 -
Options: -seed 199518095 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 799587078 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 126644370 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 702011438 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 1084588860 -test Set::RelOp::ConstISI::Minus::Sub::1::1
Set::RelOp::ConstISI::Minus::Sub::2::0 -
Options: -seed 1111590866 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 298775108 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 96975480 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 296513106 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 1285271353 -test Set::RelOp::ConstISI::Minus::Sub::2::0
Set::RelOp::ConstISI::Minus::Sub::2::1 -
Options: -seed 1933102603 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 942412642 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 1020175161 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 1215524221 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 322199126 -test Set::RelOp::ConstISI::Minus::Sub::2::1
Set::RelOp::ConstISI::Minus::Sub::2::2 -
Options: -seed 348316592 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 354839440 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 711234167 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 240325739 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 441442427 -test Set::RelOp::ConstISI::Minus::Sub::2::2
Set::RelOp::ConstISI::Minus::Sup::0::0 -
Options: -seed 1121958742 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 529919508 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 480908827 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 1959273672 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 4277896302 -test Set::RelOp::ConstISI::Minus::Sup::0::0
Set::RelOp::ConstISI::Minus::Sup::1::1 -
Options: -seed 474944671 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 977773603 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 1145467813 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 234446227 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 344352104 -test Set::RelOp::ConstISI::Minus::Sup::1::1
Set::RelOp::ConstISI::Minus::Sup::2::2 -
Options: -seed 1047469837 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 291134250 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 400523517 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 1884823886 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 410233064 -test Set::RelOp::ConstISI::Minus::Sup::2::2
Set::RelOp::ConstSIS::Minus::Disj::0 -
Options: -seed 2013185526 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 252684276 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 4015547851 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 1320514856 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 1028109984 -test Set::RelOp::ConstSIS::Minus::Disj::0
Set::RelOp::ConstSIS::Minus::Disj::1 -
Options: -seed 1471590543 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 705603814 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 565892289 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 1871896985 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 1035380594 -test Set::RelOp::ConstSIS::Minus::Disj::1
Set::RelOp::ConstSIS::Minus::Eq::0 -
Options: -seed 657541123 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 1704458751 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 1516061891 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 864170956 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 393107522 -test Set::RelOp::ConstSIS::Minus::Eq::0
Set::RelOp::ConstSIS::Minus::Nq::0 -
Options: -seed 1663660195 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 1946421791 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 1473345235 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 1661432921 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 918933604 -test Set::RelOp::ConstSIS::Minus::Nq::0
Set::RelOp::ConstSIS::Minus::Nq::1 -
Options: -seed 439523432 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 1431569913 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 133873795 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 487936040 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 1396656823 -test Set::RelOp::ConstSIS::Minus::Nq::1
Set::RelOp::ConstSIS::Minus::Sub::0 -
Options: -seed 1584034407 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 1445810606 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 1220599972 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 1108366363 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 28557450 -test Set::RelOp::ConstSIS::Minus::Sub::0
Set::RelOp::ConstSIS::Minus::Sup::0 -
Options: -seed 1600818206 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 1313375928 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 2039268145 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 2096378929 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 850438707 -test Set::RelOp::ConstSIS::Minus::Sup::0
Set::RelOp::ConstSIS::Minus::Sup::1 -
Options: -seed 1258812589 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 691197318 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 396292583 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 432552228 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 2085888921 -test Set::RelOp::ConstSIS::Minus::Sup::1
Set::RelOp::ConstSSI::Minus::Disj::0 -
Options: -seed 2031238269 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 1703050787 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 4265706958 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 1202033342 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 1254831122 -test Set::RelOp::ConstSSI::Minus::Disj::0
Set::RelOp::ConstSSI::Minus::Disj::1 -
Options: -seed 935418213 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 873621588 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 936733018 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 1518592239 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 1449254900 -test Set::RelOp::ConstSSI::Minus::Disj::1
Set::RelOp::ConstSSI::Minus::Disj::2 -
Options: -seed 1897967819 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 375706781 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 1125615077 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 374912186 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 1423576167 -test Set::RelOp::ConstSSI::Minus::Disj::2
Set::RelOp::ConstSSI::Minus::Eq::0 -
Options: -seed 759685896 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 1591550642 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 1234255976 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 847058249 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 1329577095 -test Set::RelOp::ConstSSI::Minus::Eq::0
Set::RelOp::ConstSSI::Minus::Nq::0 -
Options: -seed 637966071 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 4201973074 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 4294556280 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 965248388 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 1686242857 -test Set::RelOp::ConstSSI::Minus::Nq::0
Set::RelOp::ConstSSI::Minus::Nq::1 -
Options: -seed 1905876005 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1046925125 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1823490121 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1196288800 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1334972507 -test Set::RelOp::ConstSSI::Minus::Nq::1
Set::RelOp::ConstSSI::Minus::Nq::2 -
Options: -seed 2128134146 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 989858166 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 1868892819 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 680645051 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 1745290617 -test Set::RelOp::ConstSSI::Minus::Nq::2
Set::RelOp::ConstSSI::Minus::Sub::0 -
Options: -seed 574392076 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 1363474345 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 246495349 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 1621753367 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 1662784614 -test Set::RelOp::ConstSSI::Minus::Sub::0
Set::RelOp::ConstSSI::Minus::Sub::1 -
Options: -seed 588708272 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 1086126612 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 1568851018 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 1452927301 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 844936019 -test Set::RelOp::ConstSSI::Minus::Sub::1
Set::RelOp::ConstSSI::Minus::Sub::2 -
Options: -seed 1098748499 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 1755446229 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 178872550 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 930659691 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 37671503 -test Set::RelOp::ConstSSI::Minus::Sub::2
Set::RelOp::ConstSSI::Minus::Sup::0 -
Options: -seed 515045561 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 464917180 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 1988640934 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 1361817061 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 286486855 -test Set::RelOp::ConstSSI::Minus::Sup::0
Set::RelOp::DUnion::Disj::S0 -
Options: -seed 245483992 -test Set::RelOp::DUnion::Disj::S0
-
Options: -seed 519121018 -test Set::RelOp::DUnion::Disj::S0
+-
Options: -seed 417579688 -test Set::RelOp::DUnion::Disj::S0
+
Set::RelOp::DUnion::Eq::S0 +-
Options: -seed 412747607 -test Set::RelOp::DUnion::Eq::S0
+++
Set::RelOp::DUnion::Sub::S0 -
Options: -seed 1985455648 -test Set::RelOp::DUnion::Sub::S0
-
Options: -seed 1363757930 -test Set::RelOp::DUnion::Sub::S0
++-
Options: -seed 662868923 -test Set::RelOp::DUnion::Sub::S0
Set::RelOp::Minus::Disj::S0 -
Options: -seed 4289860304 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 1131140754 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 835681968 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 270139562 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 1101554295 -test Set::RelOp::Minus::Disj::S0
Set::RelOp::Minus::Disj::S3 -
Options: -seed 1260451579 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 432396487 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 414708528 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 348331587 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 1479889796 -test Set::RelOp::Minus::Disj::S3
Set::RelOp::Minus::Disj::S4 -
Options: -seed 866916067 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 696673486 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 1736260187 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 1766930174 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 4272411521 -test Set::RelOp::Minus::Disj::S4
Set::RelOp::Minus::Eq::S0 -
Options: -seed 1069923134 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 1788532634 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 1417600365 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 1456347256 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 1807599035 -test Set::RelOp::Minus::Eq::S0
Set::RelOp::Minus::Eq::S3 -
Options: -seed 1794444404 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 685003188 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 1470161582 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 1535398669 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 1161625455 -test Set::RelOp::Minus::Eq::S3
Set::RelOp::Minus::Nq::S0 -
Options: -seed 1101498438 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 868034886 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 137754227 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 1307277401 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 1892394452 -test Set::RelOp::Minus::Nq::S0
Set::RelOp::Minus::Nq::S3 -
Options: -seed 1277861462 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 4175461482 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 1723315714 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 1778376237 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 838335708 -test Set::RelOp::Minus::Nq::S3
Set::RelOp::Minus::Nq::S4 -
Options: -seed 1966925022 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 2051859151 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 1913301675 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 2061150661 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 909023185 -test Set::RelOp::Minus::Nq::S4
Set::RelOp::Minus::Sub::S0 -
Options: -seed 1292055884 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 1188636113 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 1100672003 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 1692830284 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 218116927 -test Set::RelOp::Minus::Sub::S0
Set::RelOp::Minus::Sub::S3 -
Options: -seed 228524535 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 1387108157 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 971949598 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 494378868 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 867237366 -test Set::RelOp::Minus::Sub::S3
Set::RelOp::Minus::Sub::S4 -
Options: -seed 1094116812 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 364103633 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 475576153 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 789652273 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 1589972146 -test Set::RelOp::Minus::Sub::S4
Set::RelOp::Minus::Sup::S0 -
Options: -seed 4272031760 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 879974963 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 550943128 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 1561876640 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 1348147247 -test Set::RelOp::Minus::Sup::S0
Set::RelOp::Minus::Sup::S3 -
Options: -seed 1001490444 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 1000453306 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 575825156 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 755139339 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 154782642 -test Set::RelOp::Minus::Sup::S3
Set::RelOp::Union::Disj::S0 ++-
Options: -seed 1293561583 -test Set::RelOp::Union::Disj::S0
++
Set::RelOp::Union::Eq::S0 +++-
Options: -seed 79438169 -test Set::RelOp::Union::Eq::S0
-
Options: -seed 90069900 -test Set::RelOp::Union::Eq::S0
Set::RelOp::Union::Sub::S0 -
Options: -seed 826997918 -test Set::RelOp::Union::Sub::S0
++-
Options: -seed 55210781 -test Set::RelOp::Union::Sub::S0
-
Options: -seed 28463203 -test Set::RelOp::Union::Sub::S0
Set::RelOp::ConstISI::Minus::Disj::0::0 -
Options: -seed 682251409 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 1126231341 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 495431456 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 685068268 -test Set::RelOp::ConstISI::Minus::Disj::0::0
-
Options: -seed 1891961418 -test Set::RelOp::ConstISI::Minus::Disj::0::0
Set::RelOp::ConstISI::Minus::Disj::0::1 -
Options: -seed 399414308 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 1738351847 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 1611448834 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 783274785 -test Set::RelOp::ConstISI::Minus::Disj::0::1
-
Options: -seed 1245197332 -test Set::RelOp::ConstISI::Minus::Disj::0::1
Set::RelOp::ConstISI::Minus::Disj::0::2 -
Options: -seed 660973883 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 1777776760 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 1972838914 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 1636204364 -test Set::RelOp::ConstISI::Minus::Disj::0::2
-
Options: -seed 1978837202 -test Set::RelOp::ConstISI::Minus::Disj::0::2
Set::RelOp::ConstISI::Minus::Disj::1::0 -
Options: -seed 815421561 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 1021874912 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 2048383431 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 1108922519 -test Set::RelOp::ConstISI::Minus::Disj::1::0
-
Options: -seed 1029293807 -test Set::RelOp::ConstISI::Minus::Disj::1::0
Set::RelOp::ConstISI::Minus::Disj::1::2 -
Options: -seed 1429504939 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 4234508215 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 973543539 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 1513556260 -test Set::RelOp::ConstISI::Minus::Disj::1::2
-
Options: -seed 1329490343 -test Set::RelOp::ConstISI::Minus::Disj::1::2
Set::RelOp::ConstISI::Minus::Disj::2::0 -
Options: -seed 417356447 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 1879706942 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 983313706 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 250173624 -test Set::RelOp::ConstISI::Minus::Disj::2::0
-
Options: -seed 310170646 -test Set::RelOp::ConstISI::Minus::Disj::2::0
Set::RelOp::ConstISI::Minus::Disj::2::1 -
Options: -seed 1170362187 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 805605852 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 933325102 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 861044689 -test Set::RelOp::ConstISI::Minus::Disj::2::1
-
Options: -seed 1291104015 -test Set::RelOp::ConstISI::Minus::Disj::2::1
Set::RelOp::ConstISI::Minus::Disj::2::2 -
Options: -seed 1268956168 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 1984543887 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 4289253966 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 1215255772 -test Set::RelOp::ConstISI::Minus::Disj::2::2
-
Options: -seed 167509902 -test Set::RelOp::ConstISI::Minus::Disj::2::2
Set::RelOp::ConstISI::Minus::Eq::0::0 -
Options: -seed 110018045 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 1145100863 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 101569325 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 956475057 -test Set::RelOp::ConstISI::Minus::Eq::0::0
-
Options: -seed 2046529081 -test Set::RelOp::ConstISI::Minus::Eq::0::0
Set::RelOp::ConstISI::Minus::Eq::1::1 -
Options: -seed 2076584143 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 1944405288 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 336996971 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 4088954264 -test Set::RelOp::ConstISI::Minus::Eq::1::1
-
Options: -seed 1779999563 -test Set::RelOp::ConstISI::Minus::Eq::1::1
Set::RelOp::ConstISI::Minus::Eq::2::2 -
Options: -seed 52121689 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 1344783153 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 1345592384 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 1197821758 -test Set::RelOp::ConstISI::Minus::Eq::2::2
-
Options: -seed 171295379 -test Set::RelOp::ConstISI::Minus::Eq::2::2
Set::RelOp::ConstISI::Minus::Nq::0::0 -
Options: -seed 1592105013 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 98651035 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 1953578633 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 417592594 -test Set::RelOp::ConstISI::Minus::Nq::0::0
-
Options: -seed 470739325 -test Set::RelOp::ConstISI::Minus::Nq::0::0
Set::RelOp::ConstISI::Minus::Nq::0::1 -
Options: -seed 71782463 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 763370604 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 195308301 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 4250152378 -test Set::RelOp::ConstISI::Minus::Nq::0::1
-
Options: -seed 192479806 -test Set::RelOp::ConstISI::Minus::Nq::0::1
Set::RelOp::ConstISI::Minus::Nq::0::2 -
Options: -seed 1474287513 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 1326085409 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 1811763061 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 408338739 -test Set::RelOp::ConstISI::Minus::Nq::0::2
-
Options: -seed 2000537829 -test Set::RelOp::ConstISI::Minus::Nq::0::2
Set::RelOp::ConstISI::Minus::Nq::1::0 -
Options: -seed 914720693 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 1875682588 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 1353759576 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 1325327017 -test Set::RelOp::ConstISI::Minus::Nq::1::0
-
Options: -seed 906003125 -test Set::RelOp::ConstISI::Minus::Nq::1::0
Set::RelOp::ConstISI::Minus::Nq::1::2 -
Options: -seed 464084931 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 588017898 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 251708069 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 627363117 -test Set::RelOp::ConstISI::Minus::Nq::1::2
-
Options: -seed 1599774540 -test Set::RelOp::ConstISI::Minus::Nq::1::2
Set::RelOp::ConstISI::Minus::Nq::2::0 -
Options: -seed 1171682276 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 1657334540 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 744676697 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 1884755961 -test Set::RelOp::ConstISI::Minus::Nq::2::0
-
Options: -seed 836722102 -test Set::RelOp::ConstISI::Minus::Nq::2::0
Set::RelOp::ConstISI::Minus::Nq::2::1 -
Options: -seed 829916921 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 986100576 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 1367525806 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 2016279797 -test Set::RelOp::ConstISI::Minus::Nq::2::1
-
Options: -seed 799786966 -test Set::RelOp::ConstISI::Minus::Nq::2::1
Set::RelOp::ConstISI::Minus::Nq::2::2 -
Options: -seed 1058082971 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 873876953 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 1375111062 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 26989285 -test Set::RelOp::ConstISI::Minus::Nq::2::2
-
Options: -seed 1166035590 -test Set::RelOp::ConstISI::Minus::Nq::2::2
Set::RelOp::ConstISI::Minus::Sub::0::0 -
Options: -seed 1473895475 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 1446770123 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 118809394 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 656302508 -test Set::RelOp::ConstISI::Minus::Sub::0::0
-
Options: -seed 978819095 -test Set::RelOp::ConstISI::Minus::Sub::0::0
Set::RelOp::ConstISI::Minus::Sub::0::1 -
Options: -seed 2104330967 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 811665612 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 1927482910 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 1726860852 -test Set::RelOp::ConstISI::Minus::Sub::0::1
-
Options: -seed 505628653 -test Set::RelOp::ConstISI::Minus::Sub::0::1
Set::RelOp::ConstISI::Minus::Sub::0::2 -
Options: -seed 4221479241 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 581487547 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 1906569625 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 903590701 -test Set::RelOp::ConstISI::Minus::Sub::0::2
-
Options: -seed 1097708425 -test Set::RelOp::ConstISI::Minus::Sub::0::2
Set::RelOp::ConstISI::Minus::Sub::1::1 -
Options: -seed 122997819 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 1673949654 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 882715211 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 1619022254 -test Set::RelOp::ConstISI::Minus::Sub::1::1
-
Options: -seed 1465728427 -test Set::RelOp::ConstISI::Minus::Sub::1::1
Set::RelOp::ConstISI::Minus::Sub::2::0 -
Options: -seed 701084922 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 1583975223 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 352409547 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 2056559759 -test Set::RelOp::ConstISI::Minus::Sub::2::0
-
Options: -seed 540274684 -test Set::RelOp::ConstISI::Minus::Sub::2::0
Set::RelOp::ConstISI::Minus::Sub::2::1 -
Options: -seed 1982070873 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 2062085736 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 933187718 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 1940877456 -test Set::RelOp::ConstISI::Minus::Sub::2::1
-
Options: -seed 2104059065 -test Set::RelOp::ConstISI::Minus::Sub::2::1
Set::RelOp::ConstISI::Minus::Sub::2::2 -
Options: -seed 1129181961 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 1760089695 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 367884889 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 4265557849 -test Set::RelOp::ConstISI::Minus::Sub::2::2
-
Options: -seed 1716298282 -test Set::RelOp::ConstISI::Minus::Sub::2::2
Set::RelOp::ConstISI::Minus::Sup::0::0 -
Options: -seed 120196979 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 1703783651 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 369785413 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 1091133030 -test Set::RelOp::ConstISI::Minus::Sup::0::0
-
Options: -seed 188967111 -test Set::RelOp::ConstISI::Minus::Sup::0::0
Set::RelOp::ConstISI::Minus::Sup::1::1 -
Options: -seed 621635975 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 57667520 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 411028742 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 799213901 -test Set::RelOp::ConstISI::Minus::Sup::1::1
-
Options: -seed 534161569 -test Set::RelOp::ConstISI::Minus::Sup::1::1
Set::RelOp::ConstISI::Minus::Sup::2::2 -
Options: -seed 1595450389 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 136551316 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 1917000832 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 1355354914 -test Set::RelOp::ConstISI::Minus::Sup::2::2
-
Options: -seed 1860397596 -test Set::RelOp::ConstISI::Minus::Sup::2::2
Set::RelOp::ConstSIS::Minus::Disj::0 -
Options: -seed 919982762 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 1104187143 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 1943394112 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 1922270712 -test Set::RelOp::ConstSIS::Minus::Disj::0
-
Options: -seed 1877975739 -test Set::RelOp::ConstSIS::Minus::Disj::0
Set::RelOp::ConstSIS::Minus::Disj::1 -
Options: -seed 2077496775 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 811780241 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 852557933 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 1094037103 -test Set::RelOp::ConstSIS::Minus::Disj::1
-
Options: -seed 876105650 -test Set::RelOp::ConstSIS::Minus::Disj::1
Set::RelOp::ConstSIS::Minus::Eq::0 -
Options: -seed 1224834779 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 864170956 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 393107522 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 1904527565 -test Set::RelOp::ConstSIS::Minus::Eq::0
-
Options: -seed 446733931 -test Set::RelOp::ConstSIS::Minus::Eq::0
Set::RelOp::ConstSIS::Minus::Nq::0 -
Options: -seed 1734260858 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 1421853470 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 663059114 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 304919364 -test Set::RelOp::ConstSIS::Minus::Nq::0
-
Options: -seed 1695503847 -test Set::RelOp::ConstSIS::Minus::Nq::0
Set::RelOp::ConstSIS::Minus::Nq::1 -
Options: -seed 1543713944 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 186023328 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 1593416293 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 730939821 -test Set::RelOp::ConstSIS::Minus::Nq::1
-
Options: -seed 684312891 -test Set::RelOp::ConstSIS::Minus::Nq::1
Set::RelOp::ConstSIS::Minus::Sub::0 -
Options: -seed 895165854 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 247788161 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 1833474273 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 895815597 -test Set::RelOp::ConstSIS::Minus::Sub::0
-
Options: -seed 46574023 -test Set::RelOp::ConstSIS::Minus::Sub::0
Set::RelOp::ConstSIS::Minus::Sup::0 -
Options: -seed 64302962 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 528235907 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 1423971567 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 1743521410 -test Set::RelOp::ConstSIS::Minus::Sup::0
-
Options: -seed 1386263986 -test Set::RelOp::ConstSIS::Minus::Sup::0
Set::RelOp::ConstSIS::Minus::Sup::1 -
Options: -seed 1501680344 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 1268750961 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 1692760810 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 1978924398 -test Set::RelOp::ConstSIS::Minus::Sup::1
-
Options: -seed 1185607526 -test Set::RelOp::ConstSIS::Minus::Sup::1
Set::RelOp::ConstSSI::Minus::Disj::0 -
Options: -seed 274971722 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 454147121 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 23443512 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 1045693252 -test Set::RelOp::ConstSSI::Minus::Disj::0
-
Options: -seed 1750152570 -test Set::RelOp::ConstSSI::Minus::Disj::0
Set::RelOp::ConstSSI::Minus::Disj::1 -
Options: -seed 1099907944 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 1656348272 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 947172666 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 1052141142 -test Set::RelOp::ConstSSI::Minus::Disj::1
-
Options: -seed 9185251 -test Set::RelOp::ConstSSI::Minus::Disj::1
Set::RelOp::ConstSSI::Minus::Disj::2 -
Options: -seed 80330461 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 338764068 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 815126417 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 181698645 -test Set::RelOp::ConstSSI::Minus::Disj::2
-
Options: -seed 1276063531 -test Set::RelOp::ConstSSI::Minus::Disj::2
Set::RelOp::ConstSSI::Minus::Eq::0 -
Options: -seed 2014177293 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 175659552 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 388857271 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 569964765 -test Set::RelOp::ConstSSI::Minus::Eq::0
-
Options: -seed 1089281635 -test Set::RelOp::ConstSSI::Minus::Eq::0
Set::RelOp::ConstSSI::Minus::Nq::0 -
Options: -seed 990375459 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 149062509 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 1034224471 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 866271795 -test Set::RelOp::ConstSSI::Minus::Nq::0
-
Options: -seed 159575825 -test Set::RelOp::ConstSSI::Minus::Nq::0
Set::RelOp::ConstSSI::Minus::Nq::1 -
Options: -seed 1078629945 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1526761154 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1013076165 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1458711322 -test Set::RelOp::ConstSSI::Minus::Nq::1
-
Options: -seed 1992372095 -test Set::RelOp::ConstSSI::Minus::Nq::1
Set::RelOp::ConstSSI::Minus::Nq::2 -
Options: -seed 267702658 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 1508182879 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 1679087796 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 799737615 -test Set::RelOp::ConstSSI::Minus::Nq::2
-
Options: -seed 781509747 -test Set::RelOp::ConstSSI::Minus::Nq::2
Set::RelOp::ConstSSI::Minus::Sub::0 -
Options: -seed 424021414 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 1798405885 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 848848777 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 1071566066 -test Set::RelOp::ConstSSI::Minus::Sub::0
-
Options: -seed 1361232169 -test Set::RelOp::ConstSSI::Minus::Sub::0
Set::RelOp::ConstSSI::Minus::Sub::1 -
Options: -seed 1626908810 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 2026441153 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 1140444732 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 112420348 -test Set::RelOp::ConstSSI::Minus::Sub::1
-
Options: -seed 1595527727 -test Set::RelOp::ConstSSI::Minus::Sub::1
Set::RelOp::ConstSSI::Minus::Sub::2 -
Options: -seed 719665600 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 255100420 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 98693545 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 798429484 -test Set::RelOp::ConstSSI::Minus::Sub::2
-
Options: -seed 447069212 -test Set::RelOp::ConstSSI::Minus::Sub::2
Set::RelOp::ConstSSI::Minus::Sup::0 -
Options: -seed 623632746 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 703456640 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 588849842 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 46648049 -test Set::RelOp::ConstSSI::Minus::Sup::0
-
Options: -seed 995116609 -test Set::RelOp::ConstSSI::Minus::Sup::0
Set::RelOp::DUnion::Disj::S0 ++-
Options: -seed 194158312 -test Set::RelOp::DUnion::Disj::S0
-
Options: -seed 1641928878 -test Set::RelOp::DUnion::Disj::S0
+
Set::RelOp::DUnion::Eq::S0 ++-
Options: -seed 49598948 -test Set::RelOp::DUnion::Eq::S0
-
Options: -seed 1772549887 -test Set::RelOp::DUnion::Eq::S0
-
Options: -seed 110396549 -test Set::RelOp::DUnion::Eq::S0
Set::RelOp::DUnion::Sub::S0 -
Options: -seed 843474023 -test Set::RelOp::DUnion::Sub::S0
++++
Set::RelOp::Minus::Disj::S0 -
Options: -seed 1889968013 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 720591811 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 1103852046 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 180992446 -test Set::RelOp::Minus::Disj::S0
-
Options: -seed 783944907 -test Set::RelOp::Minus::Disj::S0
Set::RelOp::Minus::Disj::S3 -
Options: -seed 605124714 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 1633079029 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 1724106616 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 173738806 -test Set::RelOp::Minus::Disj::S3
-
Options: -seed 1297398438 -test Set::RelOp::Minus::Disj::S3
Set::RelOp::Minus::Disj::S4 -
Options: -seed 1271090459 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 943636552 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 1335565001 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 1174547454 -test Set::RelOp::Minus::Disj::S4
-
Options: -seed 1209820578 -test Set::RelOp::Minus::Disj::S4
Set::RelOp::Minus::Eq::S0 -
Options: -seed 557798785 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 1374141457 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 2016917626 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 862676184 -test Set::RelOp::Minus::Eq::S0
-
Options: -seed 1769742102 -test Set::RelOp::Minus::Eq::S0
Set::RelOp::Minus::Eq::S3 -
Options: -seed 65362379 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 964502524 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 932475253 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 248655352 -test Set::RelOp::Minus::Eq::S3
-
Options: -seed 1056905263 -test Set::RelOp::Minus::Eq::S3
Set::RelOp::Minus::Nq::S0 -
Options: -seed 795320357 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 328416992 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 847030480 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 1661049702 -test Set::RelOp::Minus::Nq::S0
-
Options: -seed 1847197574 -test Set::RelOp::Minus::Nq::S0
Set::RelOp::Minus::Nq::S3 -
Options: -seed 715447892 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 1082049671 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 475061121 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 678330380 -test Set::RelOp::Minus::Nq::S3
-
Options: -seed 1196006010 -test Set::RelOp::Minus::Nq::S3
Set::RelOp::Minus::Nq::S4 -
Options: -seed 1826075847 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 1821688189 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 449443634 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 772727865 -test Set::RelOp::Minus::Nq::S4
-
Options: -seed 2038036980 -test Set::RelOp::Minus::Nq::S4
Set::RelOp::Minus::Sub::S0 -
Options: -seed 1640465412 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 1025411200 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 1175166261 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 1145591158 -test Set::RelOp::Minus::Sub::S0
-
Options: -seed 166512868 -test Set::RelOp::Minus::Sub::S0
Set::RelOp::Minus::Sub::S3 -
Options: -seed 379976283 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 377694065 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 171298630 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 1424181322 -test Set::RelOp::Minus::Sub::S3
-
Options: -seed 1307619459 -test Set::RelOp::Minus::Sub::S3
Set::RelOp::Minus::Sub::S4 -
Options: -seed 698832494 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 356140624 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 4063993804 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 1335359392 -test Set::RelOp::Minus::Sub::S4
-
Options: -seed 1112869228 -test Set::RelOp::Minus::Sub::S4
Set::RelOp::Minus::Sup::S0 -
Options: -seed 1011254353 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 147710659 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 532225647 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 1579033035 -test Set::RelOp::Minus::Sup::S0
-
Options: -seed 65393334 -test Set::RelOp::Minus::Sup::S0
Set::RelOp::Minus::Sup::S3 -
Options: -seed 412910288 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 118064215 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 785942557 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 944821562 -test Set::RelOp::Minus::Sup::S3
-
Options: -seed 306653942 -test Set::RelOp::Minus::Sup::S3
Set::RelOp::Union::Eq::S0 -
Options: -seed 938496537 -test Set::RelOp::Union::Eq::S0
++++
Set::RelOp::Union::Sub::S0 -
Options: -seed 1862984707 -test Set::RelOp::Union::Sub::S0
-
Options: -seed 4207439497 -test Set::RelOp::Union::Sub::S0
-
Options: -seed 1514214556 -test Set::RelOp::Union::Sub::S0
++
More information about the users
mailing list