transExt
transExt
Selected
True
base
base
Selected
False
transExtAll
transExtAll
transExt
transExtChoice
transExtWeight
transExtDynamic
Selected
False
transExtChoice
transExtChoice
transExt
transExtAll
transExtWeight
transExtDynamic
Selected
False
transExtWeight
transExtWeight
transExt
transExtAll
transExtChoice
transExtDynamic
Selected
False
transExtDynamic
transExtDynamic
transExt
transExtAll
transExtChoice
transExtWeight
Selected
False
eq
eq
Selected
True
eqFixpoint
eqFixpoint
eq
eq5
eq1
eq2
eq3
eq4
Selected
False
eq5
eq5
eq
eqFixpoint
eq1
eq2
eq3
eq4
Selected
False
eq1
eq1
eq
eqFixpoint
eq5
eq2
eq3
eq4
Selected
False
eq2
eq2
eq
eqFixpoint
eq5
eq1
eq3
eq4
Selected
False
eq3
eq3
eq
eqFixpoint
eq5
eq1
eq2
eq4
Selected
False
eq4
eq4
eq
eqFixpoint
eq5
eq1
eq2
eq3
Selected
False
backprop
backprop
Selected
True
heuristic
heuristic
Selected
True
heuristicBerkmin
heuristicBerkmin
heuristic
heuristicVmtf
heuristicVsids
heuristicUnit
Selected
False
heuristicVmtf
heuristicVmtf
heuristic
heuristicBerkmin
heuristicVsids
heuristicUnit
Selected
False
heuristicVsids
heuristicVsids
heuristic
heuristicBerkmin
heuristicVmtf
heuristicUnit
Selected
False
heuristicUnit
heuristicUnit
heuristic
heuristicBerkmin
heuristicVmtf
heuristicVsids
Selected
False
satPreproYes
satPreproYes
Selected
True
Num1
Num1
1
1000
Num1 + 1
500
Num2
Num2
1
1000
Num2 + 1
500
Num3
Num3
1
1000
Num3 + 1
500
Num4
Num4
1
1000
Num4 + 1
500